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 reports explaining parts of barvinok
2007-04-28
Sve
n
Verdoolaege
doc: more r
e
ports exp
l
a
i
ning parts
of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rd
o
olaege
bernstein
:
bump vers
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
do
o
laege
doc: transformatio
n
of parameter dom
a
in to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
V
erdoolaege
barvino
k
.
cc: barvino
k
_co
u
nt_f: avoid wa
r
nin
g
on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven V
e
r
doola
e
ge
u
t
il
.
c: uni
m
odular_complete:
h
andle com
p
letion o
f
mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoolaege
barvinok_enumerate
.
cc: h
a
ndle a
l
l lines i
n
--
s
eries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoo
l
aege
barvinok
_
enumerate
.
cc:
s
eries:
p
lug memory leak
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdo
o
laege
doc: docum
e
n
t
l
e
ft_invers
e
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remove reference to old ba
r
vinok_seri
e
s applicat
i
on
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
doc: upda
t
e evalue_bernstein
_
c
o
e
fficie
n
ts
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n
Verdoolaege
barvino
k
/option
s
.
h:
put stat
s
first
in b
a
rvinok_o
p
tions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: r
e
ad_eval
u
e: support relations
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n
Verdoolaege
berns
t
ein
.
cc: evalue_bernstei
n
_co
e
fficie
n
ts: hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
e
rdoolaege
bar
v
i
nok
_
ma
x
imize:
e
v
a
lu
e
_read
:
a
l
low ide
n
t
i
fier
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaeg
e
b
a
r
vin
o
k_m
a
ximize: move --(bernstein-)recurse
optio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoola
e
ge
lib/argp: fix logic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
arvinok
_
m
a
ximize: allow specification of the v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
barvinok_maximize
:
barf o
n
u
n
expected first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: more
documents re
f
eri
n
g to the libra
r
y
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolae
g
e
eva
l
ue
_
convert
.
cc: evalue_
c
oset:
s
u
p
port relations
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
eval
u
e
.
c
: print_e
v
alue: always pr
i
nt
newl
i
n
e at th
e
end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
m
u
l
tivariate quasi-
p
olyno
m
ials as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
o
o
laege
evalue_
c
o
nvert
.
cc: include "
c
onfig
.
h" to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verd
o
o
la
e
ge
d
o
c: index additions
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc:
triangulation
in primal space
+ some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
r
d
o
olaeg
e
doc: do
c
ument inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verd
o
o
laege
doc: refer to K
o
e
ppe article
f
or simpler
motiva
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
more
p
ublicatio
n
s
(im
p
l
ic
i
tly) refer
i
ng to
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sve
n
Ver
d
oolaege
conf
i
gure
.
in: add
$
(
EXEEXT)
t
o op
t
i
onal pro
g
rams
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
V
erdoolaege
Make
f
ile
.
am: make
sure distribution c
o
n
tains r
e
quir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
work around incompl
e
te na
m
esp
a
c
e support in old
co
m
pilers
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
disable
som
e
features if fdstr
e
am doe
s
n't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
doolae
g
e
b
a
rvinok_en
u
m
e
rat
e
.
cc: avo
i
d
use of
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
barvinok_enumerate: d
o
n't
p
rint
(
non-existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doola
e
ge
e
d
o
m
ain
.
cc: avoid use of fdstr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
c
o
nfigure
.
in: che
c
k for polyl
i
b/poly
l
ibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
r
doolaege
d
eclare variable at start of code
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
Sve
n
Verdoolaege
Makefile
.
am: reb
u
ild libraries in subdirs if missing
commit
|
commitdiff
|
tree
2007-04-18
S
ven Verdoo
l
a
e
ge
b
a
rv
i
nok_enumerate
:
reche
c
k for equalities after "variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
doc: a votin
g
theory rep
o
rt that refers to the libr
a
ry
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
do
c
: update primal Barvinok re
f
e
r
ence
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaege
doc: add journal version of
i
mpro
v
ed derivation pa
p
er
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdool
a
e
g
e
volume
.
c
: keep track of number
o
f simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolae
g
e
test_appro
x
: test volume computation variations
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdo
o
laeg
e
v
olu
m
e
.
c: vol
u
me_triangulate: use vert
e
x
i
ns
t
ead o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
vol
u
me
.
c: face_vert
i
ces:
use Pa
r
am_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
o
l
a
e
ge
Ca
l
l set_program_name before ca
l
ling ar
g
p_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
r
educe
_
domain: exploit that no caller uses Polyh
e
dr
o
n2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
laege
lexm
i
n: stop u
s
i
n
g
Pol
y
hedron
2
Param_Simplified
D
omain
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaeg
e
barv
i
nok
.
cc: stop using Polyhe
d
r
o
n2
P
aram_Simpli
f
iedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
Require a
version of PolyLi
b
that comp
u
tes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
a
ege
v
o
lume
.
c: non_empty_point: simpl
y
use in
t
ernal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
only
c
ompile
b
arvinok_maximize if GiNaC (and ber
n
ste
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
ad
d
an ehr
h
art example with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdo
o
laege
test_approx: tes
t
chamber
based
s
ca
l
ing
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
scale
.
c: op
t
iona
l
l
y perform scaling on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdo
o
laege
barvi
n
ok_e
n
umerate
:
use "variab
l
e compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
util
.
c
: left_in
v
erse: handle const
a
nt map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aeg
e
ev
a
l
ue
.
c: evalue_substitut
e
:
move fro
m
edomain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
evalue
.
c: affine2ev
a
lue: extracted
f
ro
m
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
re
d
u
ce_domain: partit
i
on chamber complex
b
ased on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verdo
o
l
aege
reduce_dom
a
in
.
c: e
x
tract
i
nner_point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoolaege
reduce_domain: ch
e
ck f
o
r adjacent chambers in s
i
m
p
lifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ve
n
Verdoolaege
FORALL_REDUCED_D
O
M
A
I
N: e
x
tract common handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
e
r
doolaege
barv
i
nok_enumerate: move recu
r
sive c
a
ll during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvin
o
k
.
cc: P
a
r
a
m
_Polyhedro
n
_Enume
r
a
te: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add
som
e
intere
s
ti
n
g test c
a
s
e
s for vol
u
me co
m
putatio
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oo
l
aege
p
e
rform very basi
c
polynomia
l
app
r
oximation test
commit
|
commitdiff
|
tree
2007-04-09
S
ven
Ver
d
o
o
laege
te
s
t
_
approx:
c
ompare dif
f
erent
polynomial
a
pproximat
i
ons
commit
|
commitdiff
|
tree
2007-04-08
S
ven Ve
r
doolae
g
e
e
valu
e
_convert
.
c
c: partial support for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaeg
e
Param_Polyh
e
d
r
on_Volume: perform li
f
ti
n
g
t
riangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: in
t
r
oduce parameter_point
abstrac
t
ion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
s
c
a
le
.
c: export Pa
r
a
m_Vertex_Comm
o
n_Deno
m
ina
t
or
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
volume
.
c:
d
r
o
p redundant argumen
t
s to volume_s
i
mplex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaege
options
.
c: separa
t
e
p
olynomial ap
p
roximation relate
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
V
e
rdoolaege
b
arvinok_options_new
_
with_defau
l
ts: initial
i
ze scale_flags
commit
|
commitdiff
|
tree
2007-04-07
S
v
en
V
erdool
a
ege
tria
n
gulate_
c
one: skip Del
a
unay triangulatio
n
by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
v
alu
e
_conve
r
t:
p
rint
lat
t
ic
e
w
h
en printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_conver
t
: add ver
b
ose
arg
u
ment an
d
return 1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Pol
y
he
d
ron_Flate: i
n
tersect inf
l
ated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoo
l
ae
g
e
d
oc: bib: fix
up name in title of Al
g
ori
t
hmica
paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missi
n
g vo
l
ume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven
Verdoolaege
volume
.
c: delay comput
a
tion of point w
h
ere
v
o
lu
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven V
e
r
d
ool
a
ege
Param_
P
olyhedron_Volume: set
p
o
lyno
m
ial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoola
e
ge
v
o
l
u
m
e
.
c: allo
w
comput
a
tion
o
f lowe
r
and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale: export Pol
y
hedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n Ve
r
doolaege
barvi
n
ok
_
e
num
e
rate: o
p
t
i
onally comput
e
"
volume" polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
polytope_volume: c
o
mpute vo
l
ume of paramet
r
ic poly
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
la
e
ge
reduce_do
m
ain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
V
erdoolae
g
e
verif
y
.
c: move co
m
putatio
n
of true con
t
ext into c
h
ec
k
_p
o
ly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
g
e
sc
a
l
e
.
c: a
d
d simpl
i
fied method o
f
computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
barvinok_enumerate: op
t
ionall
y
c
o
mpute tighter p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoo
l
aege
polyh
e
dron_sample
.
c: remove red
u
n
d
ant MAXRAYS defi
n
e
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
evalue
.
c: evalue_eval: support
re
l
at
i
o
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
olaege
eval
u
e
.
c: evalue_frac2
p
olynomial: pr
o
perly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
bar
v
inok_enumerate
:
suppor
t
approximati
o
n by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
scale
.
c
: avoi
d
simplifi
c
ati
o
n
o
f constraints a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ve
r
do
o
laege
barvinok/util
.
h: add
P
OL_UNSET macro for u
n
s
etting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
scal
e
.
c:
Par
a
m_Pol
y
h
edron
_
Sc
a
l
e
_
Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Para
m
_P
o
ly
h
edron_Scale_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
next