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
document barvinok_summate and barvinok_maximize
2007-06-06
Sve
n
Ver
d
o
olaege
options: me
n
tion default and availa
b
l
e
s
o
lvers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
e
g
e
polyhedr
o
n
_
sample: take o
p
tions
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verdoolaege
d
oc
:
more about
power
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
Ve
r
doolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
e
n Verdoolaege
doc: repeat Matthi
a
s' stopped Bar
v
inok exp
e
riments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ve
r
d
oolaege
ad
d
bar
v
inok_
s
ummate to sum a qua
s
i-polyn
o
mial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoolaege
eva
l
ue_r
e
ad
:
f
i
x
f
o
r
t
op
-
level
f
ractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Ver
d
oolaege
b
erno
u
lli
.
c: Berno
u
lli_sum_evalue: reduce resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
ven Verdoolaeg
e
be
r
noulli
.
c:
p
erform nes
t
ed s
u
ms approximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolae
g
e
add polynomi
a
l appro
x
im
a
tion
b
ased on ne
s
ted
s
ums
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdo
o
laeg
e
util
.
c: extra
c
t f
o
r_eac
h
_
l
ow
e
r_upper_
b
ound from Para
m
Line_
L
e
ngth
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
deco
m
poser: use NTL to invert
m
atrix
r
a
ther than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
latti
c
e_point
.
cc: allo
w
r
a
ys an
d
vertex to have
b
een
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoo
l
aege
co
u
nter: o
p
timi
z
e summi
n
g over
p
oin
t
s
in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
o
o
laege
lattice_point
.
cc: avoid co
n
v
ersion between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
conver
s
ion
.
cc:
r
emove rays2ma
t
r
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
evalue
.
c: evalue_polynomi
a
l extracted fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ver
d
oolaeg
e
eva
l
ue
.
c: add evalue_negat
e
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
d
o
c: a not
e
on the connec
t
ion b
e
twe
e
n Tod
d
p
o
l
ynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
e
g
e
doc: po
i
n
t
s in fun
d
apiped:
f
ix typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdoolaege
barvi
n
ok
.
c
c: simplify dpoly_n co
n
s
tructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remove "normali
z
ation" or powers in
denominato
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
decomposer
.
cc
:
pass op
t
ions t
o
triang
u
late_co
n
e
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdool
a
ege
barvinok_co
u
n
t
:
option
a
lly us
e
expon
e
nti
a
l substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdoolaege
c
ounter
.
c
c
: ext
r
acted f
r
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaege
dpol
y
::div: avoid compu
t
a
tion w
i
th rati
o
nal nu
m
b
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaeg
e
d
p
o
l
y
:
u
se
V
a
lue instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
olaege
do
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
olaege
a
d
d test for
latti
c
e point computation
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
eval
u
e_r
e
ad
.
c:
a
d
d
e
v
alue_r
e
ad_
f
r
o
m
_str f
o
r reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lue_re
a
d_
f
rom_f
i
le: don't
m
odify v
a
r_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eva
l
ue_read: rea
d
more
gener
a
l eva
l
ues
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
oolaege
ev
a
lu
e
_convert
.
cc: add miss
i
ng include
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
olaeg
e
conv
e
rsion
.
h: generalize
r
ays2ma
t
rix2 to zz2matri
x
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lattice_
p
oin
t
.
h: make s
e
lf-containe
d
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
ev
a
lue_
r
ead: extract from maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
enumer
a
to
r
:
support p
r
imal (half-open) decomposi
t
i
o
ns
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
n
umerator: h
a
n
d
le (dual)
stopped Barvinok deco
m
position
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoo
l
aege
latt
i
ce_po
i
nt
.
c
c: rem
o
v
e
unused PD
argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oola
e
ge
la
t
tice_point
.
c
c
:
e
xtract
coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_p
o
i
nt
.
cc: rename ceil_mod to f
r
action
a
l_p
a
rt
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdo
o
la
e
ge
lattice
_
point
.
cc: use some h
e
lper fu
n
c
t
i
ons to si
m
plif
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdoolae
g
e
lattice_po
i
nt
.
cc: imp
l
ement l
o
oku
p
-
t
able ver
s
i
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
do
o
laege
move more lattice point co
m
putati
o
ns to lattice_po
i
nt
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
barv
i
nok
.
c
c: lattice_po
i
nt: r
e
move
a special case
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ver
d
oolaeg
e
doc: i
n
t
eger points i
n
fundamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaeg
e
util
.
c
:
export Matri
x
_Tran
s
position
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
util
.
c: e
x
po
r
t
Vec
t
or
_
Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c:
move Pa
r
a
m_Vertex_Common
_
Denominator
t
o param
_
u
til
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lue
.
c: add evalu
e
_add
_
constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
evalue
.
c: a
f
f
i
ne2eval
u
e: sk
i
p zero c
o
e
f
fic
i
ents
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoola
e
ge
evalue
.
c: emul_
p
o
ly
:
e
ffic
i
ent
l
y
handle ca
s
e of multipl
i
ca
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Ver
d
o
o
laeg
e
bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
doc: updat
e
opti
o
n
s
and some f
u
n
c
tion
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
Ver
d
oolaege
doc:
d
o
cument vo
l
ume
c
omputation
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ver
d
oolaege
d
oc: more reports
e
xplaining parts
o
f barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
berns
t
ei
n
: bump versio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
rdoolaege
doc: t
r
a
nsf
o
r
m
ation of parameter domain to hav
e
r
e
v
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
bar
v
inok
.
cc: bar
v
inok_
c
ount_f: avoid
warning on rec
u
rsive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ve
r
doo
l
aege
uti
l
.
c: unimo
d
ular_complete: handle
com
p
letion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Ve
r
doolaege
barvinok_enumerat
e
.
c
c: hand
l
e al
l
li
n
e
s
in --ser
i
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verd
o
olae
g
e
barvinok_enumer
a
te
.
cc: series: plug me
m
ory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
doc: documen
t
left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
d
oc
:
remo
v
e
r
eference to
old barvinok_series a
p
plication
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
ege
doc: update evalue_berns
t
e
in_coeffic
i
ents
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Ver
d
oolaege
bar
v
inok/options
.
h: put sta
t
s firs
t
in barv
i
nok_
o
p
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: read_ev
a
lue:
s
u
p
p
ort
r
elations
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
oolaege
berns
t
e
in
.
cc: ev
a
lue_
b
ernstein_coefficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
ba
r
vinok_m
a
xi
m
iz
e
: evalue_rea
d
: allow
i
dentifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n V
e
rd
o
olaeg
e
barvinok_maxim
i
ze:
m
ove --(
b
ernste
i
n
-
)r
e
c
u
r
s
e
o
ptio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
l
i
b
/argp: fi
x
l
o
gi
c
in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
barvinok_maxi
m
ize: al
l
ow specification of t
h
e variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
ba
r
v
inok_max
i
mize: ba
r
f on un
e
x
p
ected
f
i
rst token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more documents
refer
i
ng to the libr
a
ry
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolae
g
e
evalue_c
o
nvert
.
cc
:
evalue_coset: s
u
ppor
t
r
elations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
g
e
e
v
alue
.
c: print_e
v
alue:
a
lways pr
i
nt newline at t
h
e end
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erd
o
olae
g
e
doc: multivariate quasi-polynomi
a
ls
a
s lists o
f
polynom
i
als
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaege
evalue_conver
t
.
cc: incl
u
d
e
"
config
.
h" to
p
ick up USE_FDS
T
REA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
doc: index
additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aeg
e
doc:
t
r
i
a
n
g
ulation in primal space
+ some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ver
d
o
olaege
doc: d
o
cum
e
nt inner_
p
oin
t
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc: refe
r
to Koeppe article for simpler mo
t
i
vation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: more publications (implic
i
tly) r
e
fering
t
o the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sve
n
V
e
r
d
oolae
g
e
c
onfig
u
r
e
.
in: add $(EX
E
EXT) t
o
op
t
i
o
n
al programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaeg
e
Makefile
.
am: mak
e
sure distribution
c
o
n
t
ains requi
r
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaeg
e
w
ork aroun
d
inc
o
mplet
e
namespace
support in old compil
e
rs
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
di
s
able some features i
f
f
d
s
t
r
e
am doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
laege
barvin
o
k_en
u
merate
.
cc: avoid use
of
fdst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaeg
e
barvinok_enu
m
erate
:
don't print (non-e
x
isting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
o
o
laege
e
d
o
m
ain
.
cc: a
v
oid us
e
o
f
fdstrea
m
commit
|
commitdiff
|
tree
2007-04-19
S
ven Ve
r
dool
a
ege
config
u
re
.
in
:
check for
p
o
l
y
lib/polylibgm
p
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en
V
er
d
oolaege
declare va
r
i
a
ble a
t
start
o
f code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
d
oola
e
ge
M
akefile
.
am: rebuild li
b
ra
r
ies
in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdo
o
laeg
e
barvinok_enumerate: recheck for equal
i
ties after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoola
e
ge
doc: a voting
t
h
eory report th
a
t refer
s
to the
l
ibrary
commit
|
commitdiff
|
tree
2007-04-15
S
ven Ve
r
dool
a
ege
doc: update
primal Barvinok refere
n
ce
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
o
c: add journal
v
ersion
of impr
o
ve
d
derivat
i
on paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
olaege
volume
.
c: keep tr
a
ck
of numbe
r
of simplices i
n
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
Ver
d
oo
l
aege
test_appr
o
x
: test volume
computation
v
ariations
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdoolaege
volume
.
c
:
volum
e
_triangulate:
u
se verte
x
instead of
.
.
.
commit
|
commitdiff
|
tree
next