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: declare first argument of emul const
2007-06-14
Sv
e
n Ve
r
doolaege
evalue: declare first ar
g
ument
o
f
e
m
u
l const
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdool
a
e
g
e
e
value
.
c
:
e
m
ul:
d
on
'
t u
s
e
e
xplic
i
t_compleme
n
t
on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaege
add a t
e
st f
o
r
eva
l
u
e
_
split_p
e
riods
commit
|
commitdiff
|
tree
2007-06-12
S
ven Ve
r
doolae
g
e
ev
a
lue
.
c:
e
value
_
split_per
i
ods: ma
k
e
sure s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
laege
ev
a
lue
.
c
: polynomial_proj
e
ction: use eval
u
e_extr
a
ct_affine
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
add a test for barvinok_maximiz
e
a
n
d barvin
o
k
_
s
ummat
e
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
Verdoo
l
aege
barv
i
n
o
k_
s
u
m
mate: suppo
r
t verification
o
f
resu
l
t
s
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
o
l
aege
evalue
.
c: evalue_s
u
m
: split into
o
rthants + some refactorin
g
commit
|
commitdiff
|
tree
2007-06-10
S
v
en
V
erd
o
olae
g
e
barvi
n
ok_union:
u
se ar
g
p for
a
rgument parsing
commit
|
commitdiff
|
tree
2007-06-09
S
v
en
Verdoola
e
ge
barvinok_enumer
a
te_union_ser
i
es_with_options: fix
t
y
p
o
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
V
erdoo
l
aege
b
asis_reduction_cdd
.
c
c
: g
e
t
corre
c
t
d
ual
so
l
ution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoo
l
aege
b
a
sis_reduction_glpk
.
c:
c
orrec
t
ly se
t
ty
p
e
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
Ver
d
oolae
g
e
basis_reduction_glpk
.
c: check
f
or sanit
y
of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
o
ptions:
men
t
ion default and
a
v
ailable so
l
vers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
p
o
ly
h
edron_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
e
rdoolaege
doc
:
mor
e
abo
u
t power
s
ums
commit
|
commitdiff
|
tree
2007-06-04
Sven Ver
d
oola
e
ge
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
en Verdool
a
ege
doc: repe
a
t Ma
t
thia
s
' stopped Barvin
o
k experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
la
e
ge
a
d
d
b
arvi
n
ok
_
su
m
ma
t
e t
o
su
m
a qua
s
i-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
eval
u
e
_
re
a
d
: fix for top-level fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c
:
Bern
o
ulli_sum_evalue:
r
e
d
uce
re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernou
l
li
.
c: per
f
orm nested s
u
ms ap
p
roximati
o
n depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erd
o
olaeg
e
add polynomial approxi
m
ation based on n
e
sted
s
um
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oo
l
a
ege
util
.
c: extract for_
e
ach_lower_upper_bound from ParamL
i
ne_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
decom
p
oser:
u
se NTL
t
o invert matrix rather
than co
n
vering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
lattice_
p
oint
.
c
c
:
allow
rays a
n
d vertex to hav
e
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
cou
n
ter: opt
i
mize summing
o
ver points in fu
n
dap
i
ped
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
erdoolae
g
e
lattice_point
.
cc: avoid conversion betwee
n
NTL a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
conver
s
i
on
.
cc: remove rays2ma
t
r
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
ola
e
ge
e
v
a
l
ue
.
c:
e
valu
e
_po
l
ynomia
l
extract
e
d from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolae
g
e
evalue
.
c
: add evalue
_
negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: a note on the connection between Todd
p
olynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oola
e
ge
doc: points
in
f
un
d
apiped: f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdool
a
ege
b
arvi
n
ok
.
cc: si
m
plify dpoly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdo
o
laege
Remove
"
nor
m
al
i
zation" or powers in denominator
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven
Verdoolaege
decomposer
.
cc: pass
options
t
o
t
r
i
angulate_
c
one
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
barvinok_c
o
unt: optionally use
expo
n
ential
s
u
bst
i
tution
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Ver
d
oolaege
count
e
r
.
cc: extr
a
cted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoola
e
ge
d
p
o
l
y
:
:
div: avoid
computation with rati
o
nal
n
umbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoo
l
a
ege
dpoly
:
use Value instea
d
of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdool
a
ege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoolae
g
e
add test for lattic
e
point
computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
ev
a
lue_read
.
c
: ad
d
evalue
_
read
_
from_str
f
or reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdo
o
la
e
ge
eva
l
ue
_
r
e
a
d_
f
rom_file: don't
m
o
d
if
y
v
ar_list argumen
t
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
evalue_re
a
d:
read more genera
l
evalues
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rd
o
olaege
evalue_
c
o
nvert
.
c
c: add missing include
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Ver
d
oolaege
c
o
nversion
.
h: generaliz
e
rays
2
matrix2 to z
z
2matrix
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Ve
r
doolaege
latti
c
e_point
.
h: make self
-
cont
a
ined
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdo
o
lae
g
e
evalue
_
read: e
x
t
r
act from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdo
o
laege
enum
e
rator: s
u
ppo
r
t primal (hal
f
-open) decompositi
o
ns
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enum
e
r
ator: handle (
d
u
a
l) stopped Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
lattice
_
p
oint
.
c
c
:
remove unu
s
ed PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
lattice_point
.
c
c
:
e
x
t
ract
c
o
se
t
generation
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
lattice_p
o
i
n
t
.
cc: rename ceil_mod to fract
i
onal
_
part
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ver
d
oolaege
lattice_p
o
int
.
c
c
:
use some helpe
r
functions to simpl
i
fy
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ve
r
doolaege
lattice_point
.
cc:
implement
lookup-tab
l
e
v
e
rsion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
move more latt
i
ce poin
t
computations
t
o la
t
tice_point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
dool
a
e
ge
ba
r
vinok
.
c
c
:
l
a
ttice_poin
t
: remove a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
g
e
d
oc: integer points
in fu
n
damental
p
arallelep
i
ped
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
ut
i
l
.
c: expo
r
t Matri
x
_Trans
p
o
s
ition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c
: expo
r
t Vec
t
or_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoo
l
aege
s
cale
.
c: mov
e
Param_Vertex
_
C
ommon_D
e
nominator
t
o
param
_
uti
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rdoolaege
evalue
.
c: add eval
u
e_
a
dd_co
n
st
a
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
value
.
c: affine2evalue: skip zero coeffici
e
nts
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
evalue
.
c: emu
l
_poly: e
f
ficiently
h
andle case
of mu
l
tiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verd
o
olaege
doc: update o
p
tions and so
m
e function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
doc: doc
u
ment vo
l
um
e
comp
u
t
a
t
ion
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
e
r
d
oolaege
doc: mo
r
e
r
e
p
o
rts expla
i
nin
g
part
s
of bar
v
inok
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n V
e
rdoolaege
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
rdoolaege
doc: tr
a
ns
f
ormation of pa
r
am
e
t
er domain to have
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
bar
v
in
o
k
.
cc: barvi
n
ok
_
count_f: avoid warning on re
c
urs
i
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Ver
d
oolaege
u
til
.
c
: un
i
m
o
dular_complete:
h
an
d
le complet
i
o
n
o
f
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
ege
ba
r
vinok_e
n
umerate
.
c
c: handle all lines in
-
-series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdo
o
laege
bar
v
i
n
ok_enumer
a
te
.
cc: series: p
l
ug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
ege
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoolaege
d
oc: remove re
f
erence t
o
old barv
i
nok_series appli
c
a
t
ion
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
do
c
: update
e
v
al
u
e_be
r
nste
i
n_coefficie
n
t
s
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verd
o
olae
g
e
ba
r
vin
o
k/option
s
.
h
:
p
u
t st
a
t
s
first
i
n b
a
r
vinok_
o
ptions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
b
a
rvinok
_
maximize: read_evalue: supp
o
r
t relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
bern
s
te
i
n
.
cc: evalue_bernstein_coefficients:
h
an
d
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvino
k
_
maxi
m
ize: evalue_re
a
d: allow identif
i
ers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
ol
a
ege
barvinok_maxi
m
ize: move --(bernstein-)re
c
u
r
se option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
lib
/
a
r
gp: fi
x
logic in ho
l
_cl
u
ster_
c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
arvinok_m
a
xim
i
ze:
al
l
ow specific
a
tion of the vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
V
erdo
o
laeg
e
b
a
rvin
o
k_maxim
i
ze: barf o
n
une
x
pected
firs
t
to
k
en
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
do
c
: more documents ref
e
ring to th
e
library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
evalue_c
o
nvert
.
cc: evalu
e
_cos
e
t: sup
p
ort relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
g
e
e
v
alue
.
c: print_evalu
e
: a
l
w
ays print
n
ewline at the end
commit
|
commitdiff
|
tree
2007-04-23
S
ve
n
Verdoolaege
doc: mult
i
va
r
i
a
te quas
i
-poly
n
omials as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ver
d
ool
a
e
ge
ev
a
lu
e
_
c
o
nvert
.
cc: i
n
clude "conf
i
g
.
h
"
to pic
k
up US
E
_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
o
o
l
a
e
g
e
d
o
c:
i
nde
x
add
i
tio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdo
o
laege
d
o
c: tria
n
gulation
in p
r
imal
space + so
m
e
t
ypo
fi
x
e
s
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoo
l
a
ege
doc: document inne
r
_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: refer
t
o Koep
p
e arti
c
le f
o
r simpl
e
r
m
otivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
d
oc: m
o
re publications (implicitly)
refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
conf
i
gure
.
i
n
: add
$(EXEEXT) to o
p
t
ional progra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
V
e
r
d
oolaege
Makefile
.
am: make sure distr
i
buti
o
n
c
ontain
s
requi
r
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n Verd
o
olae
g
e
wo
r
k around
i
ncomplete names
p
ace
support
i
n old
compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disab
l
e some fe
a
tures if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
next