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/options.h: put stats first in barvinok_options
2007-04-26
S
v
en Verdoolaeg
e
ba
r
vi
n
ok
/
options
.
h:
put stats
f
irst in barvinok
_
options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvin
o
k_maximize: re
a
d_evalue: support relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
ber
n
stein
.
cc:
e
valu
e
_berns
t
ein_coeffic
i
ents: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
oolaege
barvinok_
m
aximiz
e
: eva
l
ue_
r
ea
d
:
allow ide
n
tifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
barvinok_maximi
z
e: move
--(bern
s
tei
n
-)r
e
curse op
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
l
aege
lib/argp:
f
ix logic
i
n
hol_clu
s
ter_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok
_
maxi
m
ize: allow s
p
ecif
i
c
a
tion of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
e
ge
b
a
r
vinok_maximiz
e
: barf on un
e
xpec
t
ed first
tok
e
n
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verd
o
o
l
a
e
ge
doc: mor
e
documents ref
e
ring to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaeg
e
e
v
alue_convert
.
cc: evalue_coset: supp
o
rt relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
eva
l
ue
.
c:
print_e
v
alu
e
:
a
lways prin
t
newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
rdoola
e
ge
doc: multivariate q
u
asi-polyno
m
ials as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
er
d
oolaege
evalue_co
n
v
e
rt
.
cc: i
n
clude
"config
.
h
" to
pick up USE_F
D
STREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
do
c
: index additions
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ver
d
oolaege
doc: tria
n
gulation in
primal
s
pace + some ty
p
o fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aeg
e
d
o
c
: document inner_p
o
int
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: refer to Koeppe art
i
cle for simpler motiv
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdo
o
l
a
eg
e
doc:
more
public
a
tion
s
(impli
c
itly)
refering to
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ven Verdo
o
laege
confi
g
u
r
e
.
in: add
$(EXEEXT) to option
a
l progra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
ven Verd
o
olaege
Mak
e
f
i
le
.
am: mak
e
sure distribution contains r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
er
d
o
o
laege
work
a
ro
u
nd
i
ncomplete na
m
e
space sup
p
or
t
i
n old co
m
p
ilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
lae
g
e
disable som
e
features if fdstr
e
am doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
barvino
k
_
enumerate
.
cc: avoid use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Ve
r
doolaege
barvino
k
_enumerate: don't print (non-existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
e
domain
.
cc: avoid us
e
of
f
dstream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
configure
.
in: check for poly
l
ib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Verdoolaege
declare variable a
t
start of co
d
e bloc
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n
Verdoolaege
Makefile
.
am: rebuild lib
r
aries in
s
ubdi
r
s if mi
s
sing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdool
a
ege
barvinok_enumerate:
r
echeck
f
o
r equalities af
t
e
r "v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verd
o
o
l
aege
doc: a
v
oting theo
r
y
repor
t
t
h
at
refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oolaege
doc: update p
r
im
a
l Barvinok reference
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n Verdoolaege
doc:
a
dd journal ver
s
i
o
n
o
f imp
r
oved
d
e
riva
t
io
n
paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
vol
u
m
e
.
c: keep t
r
ack of numb
e
r of simplice
s
in
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
olaege
t
e
st_appr
o
x: test v
o
lum
e
c
o
mputation
variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaeg
e
volume
.
c: volume_triangulate: u
s
e vert
e
x instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
v
o
lume
.
c
: face_vertices: u
s
e Par
a
m_Inner_Prod
u
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoo
l
a
e
ge
Call set_program_name before callin
g
ar
g
p_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
reduce_domain: exploit that no caller uses Polyh
e
dron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
l
exmin: stop using Po
l
yhedron
2
Param_Si
m
p
lifiedDom
a
in
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oolaege
barvinok
.
cc: stop using Polyhedron2Param_Si
m
plifiedDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
Require a version of PolyLib that
compu
t
es c
o
rr
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
v
o
l
u
me
.
c:
non
_
empty_point: simply use intern
a
l po
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven V
e
rdool
a
e
g
e
only
c
ompile barvinok_maximize if GiNaC (and ber
n
s
t
ein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add an
e
hrhart exam
p
l
e
with int
e
resting
c
h
a
m
b
ers
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
doolaeg
e
test_approx: test chamb
e
r
base
d
scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
scale
.
c: opt
i
onally p
e
r
f
orm scaling o
n
in
d
ividual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
barvinok_
e
numerate
:
use "variable compressi
o
n" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdo
o
laege
util
.
c: left_inverse: handle constant ma
p
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
evalu
e
.
c: evalu
e
_su
b
s
t
i
t
ute: move
from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c
:
a
ffine2evalue: extracted f
r
om
v
o
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
redu
c
e
_dom
a
in: partition chamber complex bas
e
d on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoo
l
aege
red
u
ce_
d
omain
.
c
:
extract inner_poi
n
t and is_int
e
rnal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
e
rdo
o
l
a
eg
e
reduce_domain: check
f
or adjacent
c
hambers i
n
simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoolaeg
e
F
ORALL
_
R
E
DUCED
_
DO
M
AIN
:
extract common handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en
V
erd
o
olaege
barvinok_e
n
u
merate:
m
ove recursive c
a
l
l
durin
g
scali
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
o
l
aege
b
a
rvino
k
.
c
c: Param_P
o
lyhedr
o
n_Enume
r
at
e
: extract
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
add some i
n
terestin
g
t
e
s
t ca
s
es for v
o
lume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
p
erform very basi
c
polynomial
approxima
t
ion
t
est
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
test_ap
p
rox:
c
ompare different polynomial
a
pproximations
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdool
a
ege
eva
l
ue_conve
r
t
.
c
c: partial
sup
p
ort f
o
r printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ver
d
ool
a
ege
P
a
ram_Polyhe
d
ron
_
V
olum
e
: perform l
i
fti
n
g tria
n
gulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
volume
.
c:
in
t
roduce
paramet
e
r_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c: export Pa
r
am_Vertex
_
Common
_
Denomi
n
ator
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verd
o
olaege
volume
.
c: drop redundant arguments to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaege
opt
i
ons
.
c:
s
e
parate
p
olynomial approx
i
mation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
la
e
ge
barvinok_options_ne
w
_
w
ith_
d
efau
l
ts:
i
n
itia
l
ize sca
l
e_flags
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaeg
e
tr
i
angulate_c
o
ne: skip Delaunay triangul
a
tion b
y
defa
u
lt
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
evalu
e
_co
n
vert: p
r
int
l
attice when
printi
n
g as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
eva
l
ue_conve
r
t
:
add verbose
a
rgument and return
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
olaege
Polyhedron_Flate: intersect
inflate
d
p
olytope wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
e
n Verdoolaeg
e
doc:
bib: fix up name in title of Alg
o
rithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sve
n
Verdoola
e
ge
add mis
s
ing
v
ol
u
me
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdoo
l
aege
volume
.
c: dela
y
co
m
p
u
tat
i
o
n
of point
w
here
v
olume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Ve
r
doo
l
a
e
ge
Param_Polyh
e
dron_
V
olume: set
p
olynomi
a
l_a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
volum
e
.
c: all
o
w comput
a
tion of lower
a
n
d upper bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
sca
l
e
: expor
t
Polyhedr
o
n_F
l
ate
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaeg
e
b
a
rvinok
_
enumerate
:
optionally compu
t
e
"volume" p
o
l
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ve
n
Verdool
a
e
ge
polyt
o
pe_volume:
c
ompu
t
e vo
l
ume of
p
arametric
p
o
l
y
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
erdoolaege
r
e
d
uce_domain
.
c
:
plug memory
l
eak
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
ve
r
ify
.
c: m
o
ve
c
ompu
t
ation of tru
e
cont
e
xt
i
n
t
o c
h
e
ck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
scale
.
c: add simplified
me
t
hod of
c
omputi
n
g tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdool
a
ege
b
arvinok_enu
m
e
rate
:
o
p
tionally compute
t
igh
t
er
po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
p
olyhedron_samp
l
e
.
c: remove r
e
dundant MA
X
RAYS define
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaeg
e
evalue
.
c: evalue_eval: support rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
o
olaege
evalue
.
c: evalue_
f
rac2polynomial: properly
h
andl
e
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
barvinok_enumerat
e
: support
approxima
t
i
on by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n V
e
rdo
o
laeg
e
scale
.
c: avoid sim
p
lification
of
c
onstraints
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
barvinok/util
.
h: ad
d
P
O
L_UNSE
T
macro for uns
e
tti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
scale
.
c: Par
a
m
_
Pol
y
h
edron_
S
cal
e
_Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Param_Polyhedro
n
_Scale_Int
e
ger to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
erdoolaege
use
s
ep
a
rate flags option
for scale app
r
oximation meth
o
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
cc: move scaling t
o
s
cale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolae
g
e
scale
.
c: correct extr
a
c
t
_
lattice in case of re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
do
c
: update
C
C2
0
0
5
reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehr
h
art
.
c:
r
oun
d
ine
x
act e
v
aluation up o
r
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoo
l
aege
verif_ehrhart
.
c:
o
ptionally
use exact
e
v
a
luat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdool
a
eg
e
eva
l
ue
.
c:
a
dd evalue_eval for ex
a
ct
evalu
a
tio
n
of eva
l
ue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verd
o
olaege
evalue
.
c: fix evalu
e
_
frac2polynomial for ne
g
ative
v
alues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_enumerate:
p
erform slo
w
s
c
aling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n Verd
o
olaege
fix
Param_Polyhe
d
ron_Scale_Integ
e
r
commit
|
commitdiff
|
tree
next