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
edomain.cc: avoid use of fdstream
2007-04-19
Sven
V
erd
o
olaege
edomai
n
.
cc: a
v
o
id use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Ver
d
oolaege
config
u
re
.
in: check fo
r
po
l
ylib/p
o
l
y
lib
g
mp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
d
e
c
l
are variable at start of c
o
d
e block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
M
a
kefile
.
am: rebuild libraries in
s
ubdir
s
i
f m
i
ss
i
ng
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
do
o
l
a
e
ge
barvinok_enumerate: recheck fo
r
equa
l
iti
e
s after
"
variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Ve
r
doolaeg
e
doc
:
a
vo
t
ing theor
y
report that refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdoola
e
ge
doc: upda
t
e
pr
i
mal Barvinok re
f
erence
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdoo
l
aege
d
oc:
a
dd
j
ournal vers
i
o
n of improved derivation pape
r
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c
: keep
t
rack of n
u
mber of simpli
c
es in vol
u
me
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
Verdoo
l
aege
test
_
appro
x
: test vol
u
me
c
o
m
putatio
n
v
ari
a
tions
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
e
r
doolaege
v
olume
.
c: volum
e
_triangul
a
te:
u
se v
e
r
t
ex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ver
d
oolaege
volume
.
c: f
a
ce_vertices: use Param_In
n
e
r
_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_program_name before calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdool
a
ege
r
educe_domain: exploit
that no caller uses Polyh
e
d
r
on2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verd
o
o
l
aege
lexmin: stop using Poly
h
edron2
P
aram_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolaege
barvinok
.
cc: st
o
p using Pol
y
h
e
dron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doolaege
Requi
r
e a versio
n
of
P
ol
y
L
ib t
h
at compute
s
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
erdoolaege
volume
.
c: non_empty_point
:
s
imply use internal
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
only compile ba
r
vinok_maximi
z
e
if GiNaC (and bernstei
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
add an ehr
h
art e
x
ample with in
t
ere
s
ti
n
g c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
test_a
p
p
rox: te
s
t chamber based
sca
l
ing
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
scale
.
c
:
opti
o
nally perform s
c
aling on
i
ndividual c
h
am
b
ers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
b
arvi
n
ok_
e
numerat
e
:
use
"variable comp
r
essio
n
"
t
o remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c: left_i
n
ver
s
e:
handle constant map
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoola
e
ge
evalue
.
c: evalue_
s
u
bstitute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
evalue
.
c: a
f
fine2evalue: ext
r
acted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
reduce_dom
a
in: partition cham
b
e
r c
o
mplex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ve
r
doolaege
reduce_domain
.
c: extract inner_
p
o
i
n
t a
n
d is
_
internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduc
e
_domain: c
h
e
c
k for adja
c
e
n
t
chambers in si
m
plified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoolaege
FORA
L
L_
R
E
DUCED
_
DOMAIN: extract co
m
mon handli
n
g
of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laege
bar
v
inok_en
u
merate: mo
v
e recursive call d
u
ring scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdool
a
e
ge
barvinok
.
cc: Par
a
m_Polyhedron_Enumerate: extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven V
e
rdool
a
ege
add some i
n
ter
e
s
t
ing
t
est cases
f
or volume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
p
e
rform ver
y
basic pol
y
nomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
S
v
en
V
erdool
a
ege
te
s
t
_
approx
:
com
p
are di
f
feren
t
polynomial approx
i
mations
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ve
r
do
o
l
aege
evalu
e
_convert
.
cc: partial sup
p
ort for print
i
n
g
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ver
d
oolaege
Param_
P
olyh
e
dron_Vol
u
me: perform lifting tria
n
gulati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
volume
.
c
: introduce pa
r
a
m
e
t
er_poi
n
t ab
s
traction
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
scale
.
c: export Param_Vertex_Commo
n
_D
e
nomina
t
or
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ve
r
doolaege
v
olume
.
c: drop redundant argu
m
ent
s
to volume_si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
options
.
c
: se
p
arate pol
y
n
o
mial a
p
p
roximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
barvinok_o
p
ti
o
n
s
_n
e
w_with_defaults: init
i
alize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
ool
a
e
ge
tr
i
angulate_cone: ski
p
Delaunay triangu
l
at
i
on by d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
evalue_conv
e
rt: print lattice when pri
n
ting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
v
al
u
e_convert: add verb
o
s
e
arg
u
ment and
r
et
u
rn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Ve
r
doolaege
P
o
ly
h
edron_Fla
t
e:
intersect infl
a
ted po
l
ytope wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ver
d
oolaege
d
o
c: b
i
b: fix up name in
t
itle of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
S
v
en Verdoola
e
ge
add missing volu
m
e
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
volum
e
.
c: delay comput
a
t
ion o
f
point where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_Polyhedron_
V
olume: set polynomial_a
p
proximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
v
olu
m
e
.
c:
al
l
o
w computa
t
ion of low
e
r and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scal
e
: ex
p
ort Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolaege
barvinok_
e
numerat
e
:
o
p
tionally compute
"
vol
u
me" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
aege
polytope_
v
o
lume: c
o
mpute vol
u
me
of
p
a
r
ametric p
o
l
y
t
o
pe
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_dom
a
i
n
.
c: plu
g
me
m
or
y
le
a
k
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ver
d
oolaege
veri
f
y
.
c: move
computation of true conte
x
t into
c
h
eck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
scale
.
c
:
a
dd
s
implified
m
eth
o
d o
f
computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_enu
m
erate
:
option
a
lly compute t
i
ghte
r
po
l
ynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
polyhedron_sa
m
ple
.
c: remove
r
edundant MA
X
RAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erd
o
olaege
evalue
.
c
: evalue_eval: supp
o
rt relation
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
v
a
lue
.
c:
evalue_frac
2
p
olyn
o
mi
a
l: properl
y
handle relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolae
g
e
b
a
rvinok_enumerate: s
u
pport
a
p
pr
o
ximation
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdoolaege
scal
e
.
c:
avoi
d
sim
p
lification of constrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvi
n
ok/util
.
h: add POL_UN
S
ET m
a
cro for unset
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
scale
.
c:
Par
a
m_
P
olyhedron_Scal
e
_Inte
g
er_Fast
:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aeg
e
move Param_Poly
h
edron_Scale
_
Intege
r
to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
us
e
separ
a
te f
l
ags option for
scale approximation meth
o
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oo
l
aege
b
a
r
vinok
.
cc: move scal
i
ng to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scale
.
c
:
c
orrect extra
c
t_latti
c
e
in cas
e
of red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verdool
a
ege
doc: up
d
ate CC2005 referen
c
e
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdo
o
l
a
ege
v
erif
_
e
h
rh
a
rt
.
c: round inexact eva
l
u
a
t
i
o
n u
p
or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
Ve
r
doolaege
v
e
rif
_
ehrhart
.
c
: optionally use exact e
v
aluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdool
a
e
g
e
ev
a
lue
.
c: add e
v
alue_
e
val
f
o
r ex
a
c
t
e
v
alua
t
ion of e
v
alu
e
commit
|
commitdiff
|
tree
2007-03-25
S
ven
V
erdoolaeg
e
evalue
.
c:
f
i
x
evalue_fra
c
2
p
olynomial
f
o
r
ne
g
ative v
a
lues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
b
a
rvi
n
ok_e
n
umerate: perform
s
low scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
fix P
a
ram_Polyhedron_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verd
o
olaege
barvinok
_
enumerate
:
more acc
u
rat
e
polyn
o
mial
appr
o
ximation
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolae
g
e
reorganize po
l
ynomi
a
l
a
pproximatio
n
options
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdool
a
ege
util
.
c: Param_Polyhedron_Print:
a
ctually use
output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix merge of
check_poly from
ver
i
f_ehrh
a
rt
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven Ver
d
oolae
g
e
doc: update
K
oeppe-Verdoolaege re
f
erence
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
barvinok_maximize: s
u
pport verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
m
e
rge check_poly from
v
e
rif_ehrhart
.
c and
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Ve
r
do
o
laege
e
v
alue
.
c: make some evalue arguments
const
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
Verdool
a
e
ge
evalue_frac
2
floor2: al
s
o
co
n
vert non-partition
i
f no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n
Verdool
a
ege
v
e
r
ify
.
c:
c
h
ange
verify
_
options_set_r
a
nge prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
ber
n
ste
i
n
:
p
iec
e
wi
s
e_lst::evalu
a
te
:
support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolae
g
e
ve
r
ify
.
c
:
tur
n
off cont
i
nue_on_erro
r
by default
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
b
e
rnstein: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
S
ven Verdo
o
laege
doc:
proof o
f
e
x
iste
n
ce of suitable
y for primal
d
ec
o
m
positi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
ven
V
erdoolaege
doc: fix proof of ex
i
stence of suitable y f
o
r
p
ri
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven
Ve
r
d
o
ol
a
ege
bernstei
n
.
cc: bernstein_coeff
i
cients: cre
a
te signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
barvi
n
ok_ma
x
imize: option
a
lly
use recursive ber
n
stein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
bernst
e
i
n
.
cc: bern
s
t
ein_coeff
i
c
ients: suppo
r
t general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
g
e
be
r
nste
i
n
.
c
c
:
refa
c
tor
b
e
rnstein_c
o
efficients
_
pr
o
duct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
bernstein
:
piecewise_lst: add sign and remove redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolae
g
e
bernstein: a
d
d remov
e
_redun
d
ants met
h
od
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
doc:
pri
m
al
de
c
omposit
i
on: typo fixes + clarifi
c
ati
o
ns
commit
|
commitdiff
|
tree
2007-03-11
Sven Ve
r
doolaege
d
o
c: fix pr
i
m
al de
c
o
m
positi
o
n example +
c
le
a
n-ups
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verd
o
olaege
Document prim
a
l
deco
m
position
commit
|
commitdiff
|
tree
next