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
doc: update voting theory reference
2007-06-06
Sven Verdoola
e
ge
optio
n
s: mention def
a
ult and
a
vailable
solvers f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdo
o
l
a
ege
polyhedro
n
_sam
p
l
e
: tak
e
optio
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
do
c
: more about powe
r
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
Verdo
o
laege
doc: ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Ver
d
oolaege
doc: r
e
pea
t
M
a
tthias' stopped Bar
v
inok experiment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoo
l
aege
a
dd
bar
v
inok_s
u
mmate to sum a quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven Verdo
o
laege
ev
a
l
u
e_read: fi
x
for
t
op-level frac
t
ional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdo
o
lae
g
e
bern
o
ulli
.
c
: Ber
n
oull
i
_
sum_
e
value: reduce resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
ven Verdoolaege
berno
u
l
li
.
c: perform nested sums ap
p
roximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
a
dd polynomial ap
p
roximatio
n
based
o
n nest
e
d sums
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
u
til
.
c: extract
f
o
r
_each_low
e
r
_upper_bound from ParamL
i
ne_Length
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
decomposer
:
u
s
e NTL to inver
t
matrix rather than conv
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattic
e
_point
.
c
c: allow rays and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
cou
n
ter: optimiz
e
summing o
v
er
points in fund
a
piped
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoola
e
ge
la
t
t
i
ce_point
.
c
c
: avoi
d
conversion
b
etween NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdo
o
la
e
ge
conver
s
io
n
.
c
c
:
re
m
ove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdool
a
eg
e
evalue
.
c: evalue_polyno
m
ial
e
xtracte
d
from
b
a
r
vin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
eval
u
e
.
c:
ad
d
evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
doc:
a
not
e
on the co
n
n
ection be
t
we
e
n
T
odd polynom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: poi
n
ts in fundapiped:
fi
x
typo
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdoolaege
barvinok
.
cc: simplify dpoly_n const
r
uctor
commit
|
commitdiff
|
tree
2007-05-10
Sv
e
n V
e
r
d
ool
a
e
g
e
Remove "normalization
"
or powers
in den
o
mi
n
ator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Ver
d
oolaege
decomposer
.
c
c
: pass
o
ptions to triangul
a
te_con
e
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n Verdoola
e
g
e
bar
v
ino
k
_count: op
t
ionally use ex
p
onential substi
t
ution
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoola
e
ge
c
o
unter
.
cc: extracted f
r
om barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Ve
r
do
o
laege
dpoly::
d
iv: avo
i
d
computat
i
on with
r
ational numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdo
o
l
aege
dpoly: use Value instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaege
doc:
fix
ty
p
o
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
add test
for lattice po
i
n
t c
o
mputation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olae
g
e
e
v
alu
e
_
read
.
c: add evalue_read_from_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verd
o
olaege
e
v
alue_read
_
f
rom_file:
don't mo
d
ify v
a
r_list argu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
ev
a
lue_
r
ead: read more general e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
_
convert
.
c
c: add
m
i
ssi
n
g
i
nclude
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolaege
conversion
.
h: generaliz
e
rays2matri
x
2 to zz2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
la
e
g
e
l
a
ttice_point
.
h: m
a
ke self-contained
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
rdoolaege
ev
a
lue_read: e
x
t
r
act f
r
om maxi
m
ize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rd
o
o
l
aege
enumer
a
tor:
s
upport p
r
i
mal (half-open
)
d
e
com
p
ositio
n
s
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
enumerator: han
d
le (dual) stoppe
d
B
a
rvino
k
decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaeg
e
lattice_point
.
cc: remove unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olae
g
e
lattice_
p
oi
n
t
.
cc: extract coset
g
eneration
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_po
i
nt
.
cc: rename ceil_mod
to fra
c
tional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_po
i
nt
.
cc:
use some helper fu
n
ct
i
ons to
simpl
i
fy
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latt
i
ce_
p
oint
.
cc: imp
l
ement lookup
-
table vers
i
on in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
mov
e
mor
e
lattice point computations to lat
t
ice_poin
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
b
a
r
v
inok
.
c
c
:
l
a
t
tice
_
poi
n
t: remove a
s
pecial case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
doc
:
i
n
t
eger po
i
nts in fundam
e
ntal parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c
:
e
x
port Ma
t
rix_T
r
ans
p
osition
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
util
.
c: export Vec
t
o
r_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c:
move Param_Ve
r
tex_Common_Denominator t
o
param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue
.
c: a
d
d
evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: aff
i
n
e2evalu
e
:
sk
i
p zero
c
oefficient
s
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
evalue
.
c:
e
mul_poly:
e
fficiently handle c
a
s
e
of
multiplicat
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
er
d
oo
l
aege
bump
ve
r
sion
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolae
g
e
doc: upda
t
e option
s
a
n
d s
o
me fun
c
tion
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
doc
:
docu
m
ent volume c
o
mputation
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ver
d
oolaege
doc: more re
p
ort
s
expla
i
n
i
ng par
t
s of
b
arvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
bernstein: bump ve
r
s
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verd
o
ola
e
ge
doc: transformation of parameter d
o
m
a
in to have
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
barvino
k
.
c
c
: barvinok_coun
t
_f: avoid warning on
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
dool
a
ege
util
.
c
: unimodular_complete: handle comp
l
etion
o
f more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven
Verdoolaege
barvinok_enumerate
.
cc: hand
l
e all lines i
n
--series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
laege
barvinok_enume
r
ate
.
cc:
se
r
ies: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n
Verdoolaege
doc: documen
t
le
f
t
_inverse
commit
|
commitdiff
|
tree
2007-04-26
S
v
en
Ve
r
doolaege
d
oc: remove re
f
erence
t
o
old barvi
n
o
k_se
r
ies applica
t
ion
commit
|
commitdiff
|
tree
2007-04-26
S
ven Ver
d
oola
e
ge
d
oc: update e
v
alu
e
_be
r
nstei
n
_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
barvino
k
/op
t
io
n
s
.
h: put stats
f
irst in barvin
o
k_opt
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_m
a
ximize: r
e
ad_evalue: support relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bernstein
.
cc:
eval
u
e_bernstein_coeffic
i
en
t
s: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
barvinok_maximiz
e
: evalue_read: allow
identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ver
d
oolaege
barvinok_ma
x
im
i
ze: m
o
ve
--(bernstein
-
)recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolae
g
e
l
ib/argp: f
i
x l
o
gic in hol_cluster_cm
p
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erd
o
olaege
bar
v
inok_ma
x
i
mi
z
e: al
l
ow specification of the v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
a
r
v
i
nok_
m
aximize: barf on un
e
xpected f
i
rst token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaeg
e
d
oc: more
d
ocuments refer
i
n
g
t
o
the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
ev
a
lue_
c
o
nvert
.
cc: evalue_cos
e
t:
s
uppo
r
t re
l
ati
o
ns
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ver
d
ool
a
ege
evalue
.
c: print_evalue: alwa
y
s print
n
ewli
n
e at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
d
oc:
m
u
l
ti
v
ariate quasi-polynomials
a
s l
i
sts of
p
oly
n
o
mials
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
evalue_convert
.
cc: include "config
.
h" t
o
pick up US
E
_
F
DSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
ae
g
e
d
oc: index additions
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc: tri
a
n
g
u
lation
i
n prima
l
space +
s
o
me typo f
i
xes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
d
o
c: document inner_p
o
int
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoo
l
aege
doc: refer to K
o
e
ppe article
for
simpler motiv
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
er
d
oolaege
do
c
:
m
or
e
publications (implicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
V
erdoolaege
con
f
igure
.
in: add $(EXEEXT
)
to optional pr
o
gra
m
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefil
e
.
am: ma
k
e
s
ure distribution contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaeg
e
barvinok_enu
m
e
r
ate:
don
'
t print (no
n
-exis
t
i
ng) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
V
erd
o
o
l
a
ege
edoma
i
n
.
cc: avoid
u
se
o
f fdst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Verdoolaege
conf
i
gure
.
in: check for po
l
y
lib/pol
y
libgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
declare variable at
s
tart of co
d
e blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
S
v
en Verdoolaege
Makefil
e
.
a
m
:
re
b
uild
l
ibr
a
ries in subdirs if
m
is
s
ing
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoolaege
barvinok
_
en
u
merate: reche
c
k for equ
a
lities af
t
er "varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdool
a
ege
doc:
a voting
theory repor
t
that refe
r
s
to th
e
l
i
b
r
ar
y
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdoolaege
doc: up
d
a
te primal Barvinok r
e
f
e
r
e
nce
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdoo
l
aege
doc
:
add j
o
u
r
n
al version
o
f
im
p
roved der
i
vation p
a
per
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
v
olume
.
c
:
k
e
ep track of number of sim
p
lices in
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Verdoola
e
ge
t
e
st_app
r
ox: test
volume
comp
u
t
a
t
ion v
a
riat
i
ons
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
volume
.
c: volume_triangulate: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
v
o
lume
.
c: face_vertices: u
s
e Pa
r
a
m
_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
reduce_dom
a
in: exp
l
oit that
n
o ca
l
ler
uses Po
l
yhedro
n
2P
a
ram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
l
exmin: stop us
i
ng Polyhedron2Param_Simp
l
i
f
iedDom
a
in
commit
|
commitdiff
|
tree
next