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
barvinok_enumerate.cc: avoid use of fdstream
2007-04-19
Sven Verdoo
l
aege
barvin
o
k_en
u
merat
e
.
cc: avoid use
o
f
fds
t
ream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
barvin
o
k_enumerate: don't
p
rint (non-existing) e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
ed
o
main
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
laege
configure
.
in: check for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n V
e
rdo
o
laege
declare vari
a
ble at
st
a
r
t of code bl
o
ck
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Makefi
l
e
.
a
m
:
rebu
i
l
d libraries in
sub
d
irs if mi
s
sing
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoolaege
barvi
n
ok_enumerate:
rechec
k
fo
r
equalities after "va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Ve
r
doolaege
do
c
: a voting
theory report tha
t
r
ef
e
r
s to the libra
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
l
a
e
g
e
doc:
u
pdate primal
B
arvinok
re
f
erence
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdool
a
e
ge
d
oc: add journ
a
l
version of improved
d
eriv
a
tion pape
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdoolaege
volum
e
.
c: keep track
of numb
e
r of
simplices in v
o
lu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdo
o
lae
g
e
test_approx:
t
e
st vol
u
me computatio
n
v
ariations
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoo
l
aege
v
olume
.
c:
volume_triangulate: use vertex inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c:
face_vertices
:
use P
a
ra
m
_I
n
n
er_Product
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaeg
e
Call set_program_name before calling argp_pa
r
se
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verd
o
olaege
reduce_domain:
expl
o
it that n
o
caller uses
P
o
lyh
e
dron2Pa
r
am_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
lexmin: stop
u
si
n
g Polyhe
d
ron2P
a
ram_S
i
mplif
i
edDo
m
a
in
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
erd
o
olaege
bar
v
inok
.
cc
:
stop using Po
l
y
h
ed
r
on2Param_Simplified
D
oma
i
n
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Verdoolaege
Re
q
u
i
re
a ver
s
ion
of PolyLib that computes
correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aege
volume
.
c
:
non_empty
_
p
o
int: s
i
mply
use in
t
ernal p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoo
l
aege
only compile barvino
k
_
m
a
ximize if GiNaC
(an
d
bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
add
a
n
ehrhart exam
p
l
e
wi
t
h interesting ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ver
d
o
olaege
test_approx: test chamber ba
s
e
d
s
caling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scal
e
.
c: opt
i
onally per
f
orm scalin
g
on indiv
i
dual ch
a
mbers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
r
v
i
n
ok_enumerate: use "var
i
able compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
rdoolaege
util
.
c: le
f
t_
i
nverse: handl
e
const
a
n
t
map
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
evalu
e
.
c:
evalue_sub
s
titute:
move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
evalu
e
.
c
:
affine2
e
value: ex
t
ra
c
ted from volu
m
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
oolaege
reduce_d
o
main:
partition chamber comple
x
based on
in
n
er
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
r
e
d
u
ce_doma
i
n
.
c: extract inner_point and
i
s
_
internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdo
o
laege
re
d
uce_domain: check
f
or ad
j
ac
e
n
t
c
h
a
mbers in
s
implified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
e
r
doola
e
ge
FORALL_REDUCED_DOMAIN: ex
t
r
a
ct commo
n
handling
o
f reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Ver
d
o
o
laege
barvinok_enume
r
ate: move r
e
cursive call durin
g
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolae
g
e
ba
r
vinok
.
c
c
: Param_Pol
y
hedron_Enumerat
e
: extracte
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
add some
i
n
t
ere
s
ting test cases for v
o
lume c
o
mputa
t
ion
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
perform very basic pol
y
nomial appro
x
imation test
commit
|
commitdiff
|
tree
2007-04-09
S
v
en V
e
rdoola
e
ge
test_app
r
ox:
co
m
pare different
polynomial approxim
a
tions
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdool
a
ege
e
v
alue
_
convert
.
cc: partial suppo
r
t for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
Param_Pol
y
h
e
dron_Volume: perform
l
ifting
t
r
i
a
ngula
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
vo
l
um
e
.
c: intro
d
uce par
a
meter
_
point
a
b
s
traction
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
s
cale
.
c: e
x
port Par
a
m_
V
ertex_Common
_
D
e
nominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: dro
p
redundant argum
e
nts to
volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
options
.
c:
separate p
o
lynomial approxima
t
ion related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
V
e
rdoolaege
barvinok_o
p
tions_
n
ew_with_defaul
t
s: ini
t
ial
i
ze s
c
ale
_
flags
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdo
o
laeg
e
t
r
ian
g
ulate
_
con
e
: skip Dela
u
nay
triangulati
o
n by def
a
ult
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Ve
r
doolaege
evalu
e
_convert:
prin
t
lattice when printing as li
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_co
n
vert: add verbose argument and return
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Verdool
a
ege
Pol
y
hedr
o
n_Flate: intersect i
n
flated
p
o
lyt
o
pe wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
erdoolaege
doc: bi
b
: fix
up
n
a
me
i
n title
o
f Algorithmica pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing vo
l
ume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
volume
.
c: del
a
y computation of point
whe
r
e volume i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verdoola
e
ge
Par
a
m_Polyhedron_
V
olume: set
p
o
l
ynom
i
a
l
_approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
o
olaege
vol
u
me
.
c: allow computation
o
f
lower a
n
d upper b
o
u
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoola
e
ge
scale:
e
xp
o
rt Polyhedr
o
n_Fl
a
te
commit
|
commitdiff
|
tree
2007-04-03
S
v
en
V
e
rdoolaege
bar
v
inok_enumera
t
e
: optionally compute "vol
u
me" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n V
e
rdoola
e
ge
polyt
o
pe_
v
olu
m
e:
c
om
p
ute volume of parametri
c
poly
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
r
ed
u
ce_domain
.
c: pl
u
g mem
o
r
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
verify
.
c:
m
ove computation of true context
i
n
t
o ch
e
c
k
_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
ege
scale
.
c: add si
m
plifi
e
d me
t
hod of computing
ti
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barvinok_enumerate: optio
n
a
l
l
y
c
ompute t
i
ghter poly
n
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
p
ol
y
hedron_
s
a
m
ple
.
c: remove redunda
n
t
M
AXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
eva
l
ue
.
c: evalue_eval: support relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
evalue
.
c
:
evalue_fra
c
2polynomi
a
l:
p
roperly
hand
l
e relations
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
o
olaege
barvinok_enumera
t
e: suppor
t
approx
i
m
ation by me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
g
e
scale
.
c
: avoid simplifi
c
ation of constrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
barvinok/u
t
il
.
h:
a
dd POL_U
N
S
ET macro for un
s
ett
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdoolaeg
e
scale
.
c: Param_P
o
lyhe
d
r
o
n_Scale_Integer
_
Fas
t
: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ver
d
oolaege
m
ove Param_Polyhe
d
ro
n
_Scale_Integer
to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolae
g
e
us
e
separate
flags
o
ption for scale ap
p
rox
i
m
a
tion me
t
hod
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
cc: move scaling t
o
scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Ver
d
oola
e
g
e
scale
.
c: correct extr
a
ct_lattice
i
n
case of
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Ver
d
o
olaeg
e
doc:
u
p
date CC
2
005 re
f
erence
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
e
rdo
o
laege
verif
_
ehrhart
.
c: r
o
und inexact evaluation up o
r
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Ve
r
doolaege
ver
i
f_ehrhart
.
c: optionally use
e
xact eva
l
uation fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdool
a
ege
ev
a
lue
.
c:
a
dd evalue_eva
l
for exact
evalu
a
tion of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sve
n
Verdoolae
g
e
e
v
alue
.
c: fi
x
evalue_frac2polyn
o
mial for n
e
gative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Ver
d
oola
e
ge
b
a
rvinok_enum
e
rate:
p
erform
slow scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erd
o
ol
a
ege
fix P
a
ram_Polyh
e
dron_
S
cale_In
t
ege
r
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
la
e
ge
ba
r
vinok_enumerate
:
more
a
ccurate polyno
m
ial a
p
proxim
a
tio
n
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolae
g
e
reorganize po
l
yno
m
ia
l
approximatio
n
option
s
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
erdoo
l
aeg
e
u
t
il
.
c: Param_Poly
h
edron_Print: actuall
y
use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
fix merge of
che
c
k
_poly f
r
om
v
e
rif_
e
hrhart
.
c
and lex
m
in
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verd
o
olaege
doc: update Koeppe-Verdoolaege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
barvino
k
_
m
a
ximize: support ve
r
ifica
t
ion
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
merg
e
check_poly fr
o
m verif
_
e
h
rhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
e
v
alu
e
.
c: make some ev
a
l
u
e
arguments
co
n
st
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoola
e
ge
eva
l
u
e
_
f
rac2floor2: also c
o
nvert no
n
-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
verify
.
c: change
v
e
r
i
f
y_
o
ptions_set_ra
n
ge p
r
ot
o
type
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
ber
n
stein: piecewise_lst::evaluate:
s
upport d
i
ffere
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c: turn off conti
n
ue_on_er
r
or by default
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoo
l
aege
bernstein:
e
x
port numeric2
v
a
l
u
e
commit
|
commitdiff
|
tree
2007-03-15
Sven
Ve
r
doolaege
doc: proof of ex
i
ste
n
c
e of suitabl
e
y for prima
l
decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verdo
o
lae
g
e
d
oc: fix proof of existence of suitable y f
o
r primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en V
e
r
d
oolaege
be
r
nstein
.
cc:
berns
t
ein_c
o
e
f
fic
i
en
t
s: cr
e
a
t
e
signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
V
e
rdoola
e
ge
b
arvinok_m
a
x
imiz
e
:
o
ptio
n
ally use re
c
ursive bernstein_coeff
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
bernstein
.
cc: bernstein_
c
oefficients: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
a
e
ge
bernst
e
in
.
cc: refa
c
tor bernstein_coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
S
v
e
n Verdoolaege
ber
n
stein:
piece
w
ise_lst: add sign
and remove
r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verd
o
olaege
bernstein: add remove_redundants method
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
doc: p
r
imal decomposi
t
ion: typo fi
x
es + clar
i
f
ications
commit
|
commitdiff
|
tree
next