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: more documents refering to the library
2007-04-23
Sven Verdoo
l
aege
doc:
m
ore docu
m
en
t
s ref
e
ri
n
g to th
e
libr
a
ry
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
ge
evalu
e
_convert
.
cc: evalue_cos
e
t: support relations
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolaege
e
v
alue
.
c: print_
e
value:
al
w
a
y
s
p
rin
t
n
ewline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
l
a
ege
doc: mu
l
tiv
a
riate
quasi-polynomials as lists of p
o
ly
n
omi
a
ls
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
evalue_
c
o
n
vert
.
c
c: include "conf
i
g
.
h" to pi
c
k u
p
US
E
_FDSTR
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaeg
e
d
oc:
index
a
dditions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oolaeg
e
doc: triangulation in primal space + so
m
e typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ver
d
ool
a
ege
doc: docu
m
ent
i
nner_poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaeg
e
doc:
refer to Koeppe art
i
c
le for simpler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
l
aege
do
c
: more publications
(
i
m
plicitly) refering to t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven V
e
rdoolaege
configu
r
e
.
in: ad
d
$
(EXEEXT)
t
o optional pro
g
rams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
ven Verdoo
l
a
e
ge
M
a
k
ef
i
le
.
am: make sure
distribution contains requir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
V
e
rdoolaeg
e
work ar
o
und i
n
complete namespace support in ol
d
compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disabl
e
some features
if
f
dstream doesn't c
o
mpile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_
e
n
u
m
erat
e
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaeg
e
barvino
k
_enu
m
erate:
don't print (non-ex
i
sting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
aege
edomain
.
cc: avoid use of
f
d
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoo
l
aege
conf
i
gure
.
in: check for polylib
/
p
o
l
ylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
declare variable
a
t star
t
of code
blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdoolaege
M
akefile
.
am: rebuild
l
ib
r
a
r
ies in subd
i
rs if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
dool
a
ege
b
a
rvi
n
ok_enumerate: recheck f
o
r
e
q
ualiti
e
s
after "vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en
Ver
d
o
ola
e
ge
do
c
: a vo
t
ing theory
re
p
ort th
a
t
r
efers to the
l
ibr
a
r
y
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erdo
o
l
aege
doc:
u
pdate pri
m
al Barvinok r
e
f
e
ren
c
e
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: add journal ve
r
sion o
f
improved
deri
v
ation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: k
e
ep trac
k
of number of simp
l
ices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
t
e
s
t
_ap
p
rox: test volume computati
o
n varia
t
ions
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
doolaege
volume
.
c: volume_
t
riangulate: use
vertex
instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rd
o
olaege
v
olum
e
.
c: face_
v
e
r
ti
c
es: us
e
P
aram_In
n
er
_
Produ
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
C
a
ll set_
p
rogram_
n
ame before
c
alling
a
rgp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
re
d
uce_domai
n
: exp
l
oit that n
o
caller us
e
s
Polyh
e
d
r
on2P
a
ram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
l
exmin: stop usin
g
P
olyhedron2Pa
r
am_Simp
l
ifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
o
olaege
barvinok
.
cc: s
t
op us
i
ng Polyhedro
n
2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
Require a version of P
o
lyLi
b
that compute
s
correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoo
l
aege
v
o
l
u
me
.
c: n
o
n
_
empty_point: simply use inte
r
nal
p
oint
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
add a
n
eh
r
hart
example with
i
n
ter
e
s
t
ing chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoo
l
aege
t
e
st_approx: test ch
a
m
b
er
b
ased scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
scale
.
c: o
p
tionally perfor
m
scalin
g
on individual c
h
a
m
bers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
r
v
inok_
e
numerate: use
"variabl
e
co
m
p
ress
i
on" to re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdo
o
laege
ut
i
l
.
c:
l
eft
_
inv
e
rse: handle cons
t
ant map
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
evalue
.
c
:
evalue_substitute: move from
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdo
o
l
aege
evalue
.
c
:
a
f
fine2evalue: extracted
f
rom volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoola
e
ge
reduc
e
_domain: partitio
n
chamber comp
l
e
x based on i
n
ner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verdoolaeg
e
redu
c
e_
d
omain
.
c: ext
r
act
i
nner_point a
n
d
i
s_interna
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
redu
c
e_domain: c
h
eck for
adj
a
cent chamb
e
rs i
n
s
impl
i
fied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoo
l
aege
FORA
L
L_REDU
C
ED
_
DOMAIN: extract
co
m
mon ha
n
dlin
g
of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoola
e
ge
b
a
rv
i
nok_
e
n
u
m
era
t
e: m
o
ve
r
e
cursive call during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
o
o
la
e
g
e
barvi
n
o
k
.
cc: Param_Polyhedron_En
u
m
erate: extract
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
add s
o
m
e
inte
r
esting
t
e
st cases for volu
m
e computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaeg
e
perform very bas
i
c polynomial approximation
t
est
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
er
d
oola
e
ge
tes
t
_a
p
prox: compa
r
e different poly
n
o
m
ial appr
o
ximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olaege
eval
u
e
_conve
r
t
.
cc:
partial support for printing i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Param_Polyhed
r
on_Volume: per
f
o
rm
lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
volume
.
c
: intr
o
duce parameter_
p
oint abstraction
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verd
o
olae
g
e
s
cale
.
c: export Param_Ve
r
tex_C
o
mmon_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
r
d
oolaege
v
o
lume
.
c:
d
ro
p
r
e
d
u
ndant
a
rguments to
vo
l
ume_
s
implex
commit
|
commitdiff
|
tree
2007-04-08
S
ven
Verd
o
olaege
o
ptions
.
c: sepa
r
ate polynomial appro
x
imation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
e
ge
bar
v
ino
k
_optio
n
s_new_
w
ith_defaults: initia
l
ize scale
_
f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
t
ria
n
gulate_con
e
:
s
kip
D
ela
u
na
y
t
r
i
a
n
gula
t
ion by defau
l
t
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaege
evalue_
c
onvert:
pr
i
nt la
t
tice when print
i
ng as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
evalue_co
n
vert:
a
dd verbose argumen
t
a
n
d
return
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ver
d
oolaege
Polyhe
d
r
on_F
l
ate: i
n
tersect i
n
flated pol
y
tope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaeg
e
doc
:
bib
:
fix up name in title of Alg
o
rithmica pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
S
v
en Ve
r
doolaege
a
d
d missing volume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdoolaege
volume
.
c: delay c
o
m
putation of p
o
int where
v
olume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verd
o
o
laege
Param_Po
l
yhedron_Volume: set polynomial_
a
pproximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdool
a
ege
vol
u
me
.
c:
all
o
w comput
a
tion of
l
o
w
e
r and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale
:
export Polyhedron_
F
late
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
o
o
la
e
ge
ba
r
vinok_enumerate: opt
i
o
nally compute "volume" p
o
ly
n
omi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
ol
a
e
g
e
polytope_vol
u
me:
compute volume of pa
r
a
m
e
t
ric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoolaeg
e
reduce_
d
o
m
ain
.
c: pl
u
g
memory
lea
k
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verify
.
c
:
move
c
o
m
pu
t
ation o
f
true context in
t
o
check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
scale
.
c
:
a
dd sim
p
lified method of co
m
p
u
t
ing
t
i
ghter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvinok_enum
e
r
a
te:
o
pt
i
onally compute tigh
t
er polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
po
l
yh
e
dron_s
a
mple
.
c: remove re
d
undant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
va
l
ue
.
c: evalu
e
_
e
val
:
su
p
po
r
t rel
a
tion
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c:
e
val
u
e
_frac2po
l
ynomia
l
: properly
h
andle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_en
u
merate
:
support approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n V
e
rdo
o
l
a
ege
scale
.
c: a
v
oid simplification of
cons
t
r
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
bar
v
in
o
k
/
util
.
h: add POL_UNSET macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoola
e
ge
scale
.
c
:
Param_Polyhed
r
on_Sc
a
le_Int
e
ger_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olae
g
e
m
ove Par
a
m_Po
l
yhe
d
ron_S
c
a
l
e_Inte
g
e
r
t
o scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdo
o
laege
use s
e
p
arate flags option
f
or s
c
al
e
approxim
a
t
i
on m
e
thod
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
bar
v
inok
.
cc: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Ve
r
doolaeg
e
scale
.
c: corr
e
ct extract_la
t
ti
c
e in case
of re
d
und
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: up
d
ate CC2
0
0
5
r
e
ference
commit
|
commitdiff
|
tree
2007-03-26
S
ven V
e
rdool
a
ege
verif_ehrhart
.
c: rou
n
d in
e
x
act
e
v
alua
t
ion u
p
or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdo
o
l
aege
verif_ehrhart
.
c:
optionally use exac
t
evaluati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sve
n
Verdoolaege
e
v
alu
e
.
c: add
e
v
alue_eval
f
or
exact
e
val
u
ation of evalu
e
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
aeg
e
evalu
e
.
c
:
fix ev
a
l
u
e_
f
rac2po
l
ynomia
l
for
n
e
gative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Ver
d
oolaege
bar
v
inok_enume
r
ate
:
perform
s
l
ow s
c
al
i
ng approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
fix Param_Polyhedr
o
n_Scale_Intege
r
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
bar
v
inok_e
n
umerate: more accura
t
e poly
n
omi
a
l ap
p
roximati
o
n
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaeg
e
reorgani
z
e polynomial approximat
i
on o
p
tions
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
util
.
c: Param_P
o
lyhedron_Print: actu
a
lly use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix mer
g
e
o
f che
c
k_poly from ver
i
f
_
ehrhart
.
c and
lexmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc: update Koeppe-V
e
rdoolaege r
e
ference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
olaege
barvinok_m
a
x
i
mize:
s
u
pport verification
commit
|
commitdiff
|
tree
2007-03-17
S
v
en V
e
r
doo
l
ae
g
e
merge check_poly
from verif_ehrh
a
rt
.
c a
n
d le
x
min
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue
.
c: make some evalue arg
u
ments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
a
ege
evalue_frac2floor2: als
o
c
onvert
n
o
n-par
t
itio
n
if no
.
.
.
commit
|
commitdiff
|
tree
next