repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
evalue.c: evalue_sum: better handling of negative values
2007-06-16
Sven Verdoola
e
ge
e
val
u
e
.
c: e
v
alue_sum:
b
e
t
ter handling of negat
i
ve values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdo
o
la
e
g
e
evalue
.
c: reord
e
r_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
o
olaege
evalue: declare f
i
rst argument
of emul c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaege
ev
a
lue
.
c:
emul: don't use e
x
plicit_complement o
n
argument
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
a
dd a test for e
v
alue_split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Verdoolaege
evalu
e
.
c: eval
u
e_split_
p
eriods
:
make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Verd
o
olaege
evalue
.
c: polynomial_projection: u
s
e evalue_ex
t
ract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
ad
d
a te
s
t for bar
v
inok_maximize and barvinok_summat
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaege
barv
i
no
k
_
s
u
mmate: s
u
pport
v
er
i
ficati
o
n o
f
resu
l
ts
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
evalue
.
c: evalue_sum:
s
plit
i
n
to
o
rth
a
n
ts + some refactori
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaege
barv
i
nok_union: use argp f
o
r ar
g
ument
pa
r
s
ing
commit
|
commitdiff
|
tree
2007-06-09
S
ven V
e
rdoolaege
b
arvinok
_
e
n
u
m
e
rate_unio
n
_series_with_op
t
ions: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaeg
e
basis
_
reduction_cdd
.
cc
:
get correct dual
s
olu
t
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basis_reducti
o
n
_
g
l
p
k
.
c: cor
r
ectly set type of
r
ow
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
o
l
a
ege
b
a
sis_reduction_glpk
.
c:
check for sanity
of
solu
t
ion
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rdoolaege
options:
m
ention
de
f
ault and
available
s
olver
s
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
ge
polyhedron_s
a
m
p
l
e
: t
a
ke options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verd
o
o
l
ae
g
e
doc: t
y
p
o
commit
|
commitdiff
|
tree
2007-05-30
S
v
e
n Verdo
o
l
a
ege
doc: repeat Matthias' stopp
e
d Barvino
k
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaeg
e
add
b
arvinok_summate to s
u
m a
q
uas
i
-po
l
ynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaeg
e
eval
u
e_read: fix
for top
-
level
f
r
a
ctional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoola
e
ge
b
e
rn
o
ull
i
.
c: B
e
rnou
l
l
i
_su
m
_evalue: reduce
r
esu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en Verdo
o
laege
be
r
noulli
.
c: p
e
r
f
o
r
m
ne
s
ted s
u
ms approxi
m
ati
o
n depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoola
e
ge
a
d
d pol
y
n
o
mial approx
i
mati
o
n ba
s
ed on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
util
.
c: extract
f
or_each
_
lower_up
p
er_bo
u
n
d from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
decomposer
:
use NT
L
to inv
e
rt matr
i
x rat
h
e
r than converin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
lattice_point
.
cc: allow
rays and vertex to ha
v
e
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoola
e
ge
c
o
unter: optimize s
u
mming over p
o
ints in fun
d
apip
e
d
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
lattic
e
_point
.
cc: avoid convers
i
on between N
T
L and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolae
g
e
conversion
.
cc: remove
r
ays
2
m
a
tr
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c: evalue_polynomial
e
xtract
e
d from bar
v
ino
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verdoola
e
ge
evalue
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
d
o
c: a
n
ote on th
e
connection between To
d
d polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
e
rdoolaege
doc
:
p
o
ints in fundap
i
ped: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
doolaege
b
a
rvinok
.
cc: simplify dpoly_
n
constr
u
ctor
commit
|
commitdiff
|
tree
2007-05-10
Sven Ver
d
oolaege
Remove "normali
z
ation" or po
w
ers in denomi
n
a
t
or on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdoolaege
deco
m
po
s
er
.
cc: pass op
t
ions to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Ve
r
doolaege
barv
i
nok
_
co
u
nt: op
t
ionall
y
use e
x
ponenti
a
l sub
s
titution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaeg
e
counter
.
cc: extracted from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
d
p
o
ly::div:
avoid computat
i
on wi
t
h ra
t
i
o
nal numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
l
a
e
g
e
dpoly:
u
se Valu
e
ins
t
ead
of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
doc: fix
t
y
p
o
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
olaeg
e
add
test for lattice point compu
t
atio
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
ola
e
ge
evalue
_
rea
d
.
c: add evalue_read_f
r
om_str
f
or reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
evalue_rea
d
_
from_file:
don't
m
odify var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lu
e
_read:
r
ead more gene
r
al
evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
evalue_
c
onv
e
rt
.
c
c
:
add missi
n
g includ
e
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoolaeg
e
con
v
ersion
.
h: general
i
ze
rays2m
a
trix2
to
z
z2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_point
.
h: make
self-
c
o
n
tained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
lae
g
e
evalue
_
r
e
a
d: extrac
t
from m
a
x
i
m
ize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
e
n
u
merator: support pr
i
mal (half-open) decompositio
n
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
enumerator: handle (dual) s
t
opped Ba
r
vinok decomp
o
sition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
lattic
e
_
p
o
int
.
cc: remove unused PD ar
g
ume
n
t
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
l
attic
e
_point
.
cc: e
x
tract
c
oset gen
e
rati
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ve
r
doolaeg
e
l
attice_point
.
c
c: rename c
e
il_mod to
f
ractional_
p
art
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdo
o
laege
latti
c
e_point
.
c
c
:
u
s
e some hel
p
er functions to
s
implify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verd
o
o
la
e
ge
lattice_p
o
int
.
cc: imp
l
ement
l
oo
k
up-table versi
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
er
d
oolaege
move more lattice po
i
nt computa
t
ions to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
eg
e
barvi
n
ok
.
cc: l
a
tti
c
e_poi
n
t: remove a
s
p
ecial c
a
se
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
doc: in
t
e
ger points
i
n funda
m
ental para
l
lelep
i
ped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
ut
i
l
.
c: expo
r
t Ma
t
rix
_
Trans
p
o
s
itio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
uti
l
.
c: expor
t
Vecto
r
_
O
ppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
scale
.
c
:
mo
v
e Param_Ver
t
ex_Commo
n
_
Deno
m
i
n
ator to param_u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value
.
c: add eval
u
e_add_consta
n
t
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolae
g
e
e
value
.
c: affine2
e
va
l
u
e
: sk
i
p zero coefficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
evalue
.
c: emul_poly: effi
c
iently handle cas
e
of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bu
m
p versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olae
g
e
doc: update
o
pt
i
ons and
s
o
me f
u
nction
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
do
c
: document volum
e
computat
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
rdoolaege
doc: more repo
r
ts explain
i
ng
p
a
rts o
f
barv
i
nok
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Ver
d
oolaege
bern
s
tein:
b
ump ver
s
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
doc:
t
r
ansforma
t
ion of para
m
eter dom
a
in to
hav
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
d
oolaege
barv
i
n
ok
.
cc
:
b
a
rv
i
nok
_
c
ount_f: avoid warning o
n
rec
u
rsive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
util
.
c
: unimo
d
ul
a
r_complete:
h
andle complet
i
on of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
d
o
o
laege
bar
v
inok_enumerate
.
cc: han
d
le all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoolae
g
e
barvinok_e
n
umerate
.
cc: series: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
do
c
: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
doc: remove ref
e
re
n
ce to old ba
r
vinok_series
app
l
ication
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
o
o
lae
g
e
doc
:
up
d
ate ev
a
lue_bernstein_coefficien
t
s
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Ver
d
oolaege
barvinok/option
s
.
h: put stats first in
barvin
o
k_op
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
barvin
o
k_maximize: rea
d
_
e
value: su
p
port relations
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
er
d
oolaege
bernstei
n
.
cc: evalue_bernstein_co
e
ffic
i
e
n
ts: hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvi
n
o
k_maximize: evalu
e
_read: allow
identifiers t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verd
o
o
laege
barvinok_maximize: move --(bernstein-)recurse o
p
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
d
oola
e
g
e
l
i
b/argp: fix logi
c
in
h
ol_cluster_cm
p
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
l
a
ege
barvino
k
_
m
aximize:
a
ll
o
w s
p
ecifica
t
ion of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
barv
i
nok_maximize: barf on unexpec
t
ed first token
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoo
l
ae
g
e
doc: more
d
ocuments refering
to t
h
e libra
r
y
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolaege
evalue
_
convert
.
cc: evalue_coset: support
r
elations
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoo
l
ae
g
e
evalue
.
c:
print_evalue: always prin
t
newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolae
g
e
doc: mult
i
v
a
riate quasi
-
p
olyno
m
ials as lists
of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
e
v
alue_conve
r
t
.
cc
:
in
c
lu
d
e
"
config
.
h
"
to
pic
k
up USE_
F
DS
T
REA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc: index
addi
t
i
ons
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoola
e
g
e
d
oc: triangulation in primal s
p
ace + some t
y
po
fix
e
s
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc
:
document inner_poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdool
a
ege
do
c
: r
e
fer t
o
Koeppe artic
l
e for si
m
pler motivatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
Verdoola
e
ge
doc:
more pub
l
ications
(
i
mpli
c
itly)
refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ve
n
Verd
o
olaege
co
n
f
i
g
u
re
.
in: add $(EX
E
EXT) to optional pr
o
gr
a
ms fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolae
g
e
Makefile
.
a
m
: make sure distribution co
n
tains required
.
.
.
commit
|
commitdiff
|
tree
next