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: index additions
2007-04-23
Sv
e
n Verdo
o
laege
d
oc: inde
x
additions
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ve
r
doola
e
ge
d
o
c: tria
n
gulation
in pr
i
mal spac
e
+ so
m
e typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc:
d
ocument inn
e
r_point
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
d
o
c: refe
r
to Ko
e
ppe arti
c
le for simpler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Verdoo
l
aeg
e
do
c
:
more
publications (implicitly) referin
g
t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
c
o
n
figu
r
e
.
in: add
$
(EXEEXT) to
o
ptional programs
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoola
e
g
e
Makefile
.
a
m:
make
s
ur
e
distribution contain
s
r
equired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
work around
i
ncomple
t
e namespace support
in old
c
ompilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
ool
a
ege
dis
a
ble so
m
e fea
t
ures if fdstream doe
s
n't comp
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oolaege
ba
r
vinok_enum
e
rate
.
cc: avoid use of fds
t
ream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
ge
barvi
n
ok_e
n
um
e
rate
:
don'
t
print (no
n
-existing
)
evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
e
domain
.
cc: avoid use of fds
t
ream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ver
d
oolaege
configure
.
in:
check for p
o
l
ylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erd
o
olaege
declare
varia
b
l
e at start of c
o
de block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
M
a
kefile
.
am: re
b
uild libra
r
ies in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
S
ve
n
Verdo
o
laege
barvinok_enum
e
rate: recheck for
e
qualities after "variabl
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
V
erdoolaege
doc: a voting theory report that refers to the
library
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdool
a
ege
d
oc: update primal Barvinok
reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verd
o
olaege
doc: ad
d
journal v
e
r
s
ion
o
f improved
d
eri
v
at
i
on paper
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rdoolaege
volume
.
c: keep trac
k
of number of simplices
i
n vol
u
me
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdool
a
e
g
e
test_ap
p
ro
x
: test
v
olume com
p
uta
t
ion variations
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
V
erdoolaege
v
o
lume
.
c: volume
_
triangulate: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
vol
u
me
.
c:
f
a
ce
_
v
ertices:
u
se
Param_
I
n
n
e
r_Prod
u
c
t
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoo
l
aege
Call set_progr
a
m_na
m
e before calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdool
a
ege
reduce_doma
i
n: exploit th
a
t no caller
use
s
P
o
lyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
l
exmin:
s
top usin
g
Poly
h
ed
r
on2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
barvinok
.
cc: stop using Poly
h
edron
2
P
a
ram_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaeg
e
Require a vers
i
on of
P
o
lyLib
t
hat
c
omputes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
volume
.
c: n
o
n_empty_point: si
m
pl
y
use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
e
rdoolaege
on
l
y compile barvinok_maximi
z
e if G
i
NaC
(and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
add an ehrhart
e
xample
w
i
th inter
e
st
i
n
g
c
h
a
m
ber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
test_
a
pprox: test ch
a
mb
e
r
b
a
se
d
scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
s
cale
.
c: optionally perform
scaling on indivi
d
u
al chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
ba
r
vinok_e
n
umerate: use "variable
c
o
m
pression" to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdo
o
l
aege
u
t
il
.
c
:
left_invers
e
: ha
n
dle
c
onstant ma
p
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Ve
r
doola
e
ge
evalue
.
c:
e
value_substitute:
m
o
ve fr
o
m edomain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
evalu
e
.
c: a
f
fin
e
2
e
value:
e
xtracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
r
ed
u
ce_do
m
ain
:
partition c
h
amber co
m
plex
based on
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
V
e
rdo
o
l
aege
reduc
e
_domai
n
.
c: extract
in
n
er_point and
i
s_intern
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
o
o
laege
red
u
ce_
d
omain: check for adjacent chambers
in simplif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoolaeg
e
FORAL
L
_REDUCE
D
_DOMAIN: extrac
t
common
h
a
ndl
i
ng of red
u
ced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
barvin
o
k_enumerate
:
mov
e
r
e
cur
s
ive
c
all
during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
e
n Verdoolaege
barvinok
.
cc:
P
ara
m
_
Po
l
yhedr
o
n_Enumer
a
t
e
:
e
x
tracte
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
a
dd some interesting test cases
f
o
r
vo
l
u
m
e
computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doo
l
aege
perf
o
rm v
e
r
y
b
a
sic po
l
ynomia
l
approximation tes
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolaege
test_approx:
c
ompare diffe
r
ent po
l
yn
o
mial
a
pproximations
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdo
o
laege
evalue_convert
.
c
c
: partial
s
upport for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyhed
r
on_V
o
lume: perfo
r
m li
f
ting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
volume
.
c
: introdu
c
e
paramet
e
r_point a
b
s
traction
commit
|
commitdiff
|
tree
2007-04-08
S
ven Ve
r
doola
e
ge
sc
a
le
.
c: export Param_Vertex
_
Common_Denominator
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdoolaege
v
o
lume
.
c: drop redundan
t
argu
m
en
t
s to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
S
v
en
Verdo
o
lae
g
e
o
p
tions
.
c: separate po
l
ynomial approximation r
e
lated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
b
a
rvino
k
_
o
ptions_new_wi
t
h_defaults: initial
i
ze scale_fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
S
ven Ve
r
doolaege
triang
u
l
a
te_cone: ski
p
D
e
launay
trian
g
ul
a
t
ion by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
doolaeg
e
evalue_convert: print lattice when printi
n
g as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalu
e
_convert:
a
dd verb
o
s
e argument
a
nd return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Pol
y
hed
r
on_Flate: intersect
i
nflate
d
po
l
ytop
e
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Ve
r
doolae
g
e
doc: bib: fix u
p
name in titl
e
of Algorit
h
mic
a
pa
p
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
a
d
d
missing v
o
lume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
S
ven
V
erdool
a
e
ge
vo
l
ume
.
c: delay
c
om
p
utation of
p
o
in
t
wh
e
re volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdool
a
e
g
e
Param
_
Polyhed
r
on_Volume: set pol
y
nomial_a
p
proximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
V
e
rdo
o
laege
volume
.
c
: al
l
ow
c
om
p
utation o
f
lower a
n
d u
p
p
e
r bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdo
o
l
aege
scale: expo
r
t Poly
h
edron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
barvinok
_
e
n
umerate: o
p
t
ionall
y
c
o
mpute "
v
ol
u
me" polyn
o
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
polytop
e
_
v
olume: compute volume of
p
arametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoola
e
ge
red
u
ce_domain
.
c: pl
u
g memo
r
y leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n V
e
rdoolaege
v
e
rify
.
c: move computati
o
n of true context into check
_
poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
sca
l
e
.
c: ad
d
s
i
mp
l
ified
meth
o
d
o
f computing
t
ighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoola
e
ge
barvinok_e
n
u
mer
a
te: optionally compute tigh
t
e
r pol
y
nomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
p
olyhedron_sample
.
c: rem
o
ve red
u
nda
n
t MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: eval
u
e_eval: su
p
port relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
eval
u
e
.
c: eval
u
e
_
frac2polynomial: properly
h
andle relati
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
barvinok
_
e
numer
a
t
e: support a
p
pr
o
ximation
b
y
m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Verdoolaege
sca
l
e
.
c: avoid simpl
i
fi
c
atio
n
of con
s
traints af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoola
e
ge
barvino
k
/util
.
h: add
P
OL
_
UN
S
ET
m
acro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en V
e
rdoolaege
scale
.
c
:
Param_Poly
h
edron_Scale_In
t
eger_Fast: i
g
nore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
m
ove
Para
m
_Polyhedr
o
n_Scale_Int
e
g
er
to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
u
s
e separate flags option for scale app
r
o
ximation met
h
od
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvino
k
.
cc: move sca
l
ing to
scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
ven Ver
d
oolaege
scale
.
c:
c
or
r
ect extra
c
t_lattice i
n
case o
f
redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc:
u
pdate
C
C2005 referen
c
e
commit
|
commitdiff
|
tree
2007-03-26
Sven Ver
d
oola
e
ge
verif
_
ehrhart
.
c
:
ro
u
nd inexac
t
evaluat
i
on up
or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
V
erdoolaeg
e
verif_ehrhart
.
c: optionally use exact ev
a
luation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdo
o
laege
evalue
.
c: ad
d
e
v
alue_eval for exact evalua
t
i
o
n of
evalue
commit
|
commitdiff
|
tree
2007-03-25
S
v
en Verdoolaege
e
v
a
lue
.
c
:
fi
x
e
v
a
l
ue_fra
c
2polynom
i
al
fo
r
negative va
l
ues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Ver
d
oolaege
barvinok_enumer
a
te:
p
e
rform
slow
s
ca
l
ing a
p
p
roxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
fix Param_Polyhedron
_
Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolae
g
e
barv
i
n
o
k_enumerate: mor
e
accurate p
o
ly
n
omial
approximati
o
n
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
reorga
n
ize polynomial a
p
prox
i
matio
n
o
ptions
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
uti
l
.
c: P
a
ram_P
o
lyhedron_Print:
a
ct
u
ally use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdo
o
lae
g
e
f
ix merge of check_poly from ve
r
if_ehrhart
.
c and lexmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven Verd
o
olaege
doc: update
K
o
e
ppe-Ve
r
doolaege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
barvinok_maximi
z
e:
s
u
pp
o
r
t
verification
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
m
e
rge check_poly from v
e
rif_e
h
rhart
.
c an
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue
.
c: mak
e
s
o
m
e
evalue arguments cons
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
g
e
evalue_
f
r
a
c2f
l
oor2:
also convert n
o
n
-partition if
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
verify
.
c
:
change ver
i
fy_opti
o
n
s_s
e
t_range pro
t
o
t
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
rdoolaeg
e
bernstein: piecewise_
l
st:
:
eval
u
at
e
: suppor
t
dif
f
erent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c
: turn off continue_on_error
b
y
d
e
fault
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
b
e
rnstein: expo
r
t
nume
r
i
c2val
u
e
commit
|
commitdiff
|
tree
next