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 Verdoolaege
edomain
.
c
c
: avoid use of
fdst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
o
olaege
configure
.
in: c
h
eck for polyl
i
b/polyl
i
bgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
declare variabl
e
at st
a
rt of
c
ode block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verd
o
olaege
Makefile
.
am: rebuild lib
r
aries in
subdirs i
f
missing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n V
e
rdool
a
ege
barvinok_enumerate: recheck for equa
l
it
i
es
a
fter
"
variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc: a v
o
t
ing theor
y
report that refers to the library
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n Verdoolaege
doc:
u
p
da
t
e pr
i
mal
B
arvin
o
k refer
e
nce
commit
|
commitdiff
|
tree
2007-04-15
Sven Verd
o
olaeg
e
doc: add jo
u
rn
a
l version of improv
e
d derivati
o
n
paper
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdoolaege
volume
.
c: keep track of nu
m
ber of simplices in volu
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoo
l
a
e
ge
t
e
st_approx: test v
o
lume computation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdo
o
laege
volume
.
c: volume_triangulate: u
s
e vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdo
o
la
e
ge
v
o
lume
.
c: face_vertices: use Pa
r
am
_
Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
Ca
l
l set_pr
o
gram_name before
calling arg
p
_par
s
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
reduce_
d
omain: exploit that no
cal
l
er uses
Poly
h
edron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
l
e
xmin: stop using Pol
y
hedron2Param_Simplifie
d
Doma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
barvinok
.
cc:
s
t
o
p
u
sing Po
l
y
hedron2Param_Simp
l
i
f
iedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doo
l
ae
g
e
Requi
r
e
a
version of PolyLib that computes
corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
volume
.
c: non_
e
mpty_
p
o
int: simply use
i
nternal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
only compile barvino
k
_m
a
ximize if GiNaC (and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add an ehrh
a
r
t
e
x
ample wit
h
i
n
t
eresti
n
g chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
t
e
st_approx: test chamb
e
r based
s
caling
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
scale
.
c: op
t
io
n
ally perf
o
rm scal
i
n
g
o
n
i
n
dividual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
barvino
k
_enume
r
a
te: use "variab
l
e compression" to
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ver
d
oolae
g
e
u
t
il
.
c: left_inver
s
e: handle con
s
tant ma
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
ev
a
lue
.
c: evalue_substit
u
te: move from edom
a
in
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
evalue
.
c:
af
f
ine2ev
a
lue: e
x
tracted
f
r
o
m
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
r
e
d
uc
e
_doma
i
n
:
partition
c
hamber complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduc
e
_domain
.
c:
e
x
tr
a
ct in
n
er_p
o
int and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdoolaege
r
edu
c
e_domai
n
: chec
k
for a
d
jacent chamber
s
in sim
p
lified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Ve
r
doolaege
F
ORAL
L
_REDU
C
ED_DOMA
I
N: extract common handli
n
g
o
f
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doo
l
a
e
g
e
barvinok_enumerate: move recursive call
durin
g
scali
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
barvinok
.
cc: Param_Polyhedro
n
_Enume
r
ate: ex
t
racted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doo
l
aege
ad
d
some
i
n
t
ere
s
ting test cases fo
r
vol
u
me com
p
utation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoo
l
aege
pe
r
form very bas
i
c
poly
n
o
mial approximation test
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoo
l
aege
test_approx:
c
om
p
are di
f
f
eren
t
polynomial ap
p
rox
i
mati
o
ns
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
evalue_conv
e
r
t
.
cc: partial suppo
r
t for prin
t
ing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verdo
o
laege
Param_Po
l
yhe
d
ron_Vol
u
me: perfor
m
lift
i
ng tr
i
angulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ver
d
o
olaege
v
o
lume
.
c:
introduce paramete
r
_point abstrac
t
i
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
s
c
ale
.
c: export
P
ar
a
m
_
Verte
x
_Commo
n
_
D
enomina
t
or
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
o
o
laege
volume
.
c:
drop redund
a
nt arguments to volume_
s
imp
l
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
options
.
c: separate polynomial approxima
t
ion
rela
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
barv
i
nok_opt
i
o
n
s_new_w
i
th_de
f
aults: initialize s
c
a
l
e_flags
commit
|
commitdiff
|
tree
2007-04-07
S
ven Ver
d
oolae
g
e
t
r
iangula
t
e_cone: s
k
ip
D
elaunay triangulat
i
on by
d
e
fa
u
lt
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olae
g
e
ev
a
lue_
c
onvert
:
print lattice
w
hen
printing as l
i
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
evalue_co
n
vert: add verb
o
se arg
u
ment and
r
eturn 1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n
V
erdoolaege
Polyhedron_Flate:
i
n
tersect inflated p
o
l
ytope
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven
Verdoolaege
d
oc: bib: fix
u
p na
m
e in
t
itle of Algorit
h
mica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Ver
d
oolaege
add missing volu
m
e
.
h f
i
le
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdo
o
la
e
ge
v
o
l
u
m
e
.
c: delay compu
t
ation of p
o
i
n
t where volume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoo
l
aeg
e
Param_
P
o
l
yhedron_Volume: set p
o
lynomial_ap
p
rox
i
m
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: allow c
o
mputa
t
i
o
n
of lower
a
nd upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ve
n
Verdo
o
laeg
e
sc
a
l
e: export Polyhedron_Flat
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
b
arvin
o
k_enumerat
e
: opt
i
ona
l
ly compute "volume"
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaege
polytope_
v
olume: comput
e
volume of
parametric
polytop
e
commit
|
commitdiff
|
tree
2007-04-03
S
v
en V
e
rdool
a
ege
reduce_domai
n
.
c
:
p
lug mem
o
ry
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
veri
f
y
.
c:
m
ove computation of t
r
ue cont
e
xt into
check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdoolaege
scale
.
c: add sim
p
lified method of compu
t
in
g
tight
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
barvinok_enumerate: opti
o
n
ally compute
tig
h
ter polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdoolaege
p
o
l
yhedron_sample
.
c: remo
v
e re
d
undant MAXRAYS de
f
ine
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
v
alue
.
c
: evalue_eval: suppo
r
t
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_frac2polynomial: properly h
a
ndle r
e
lations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ver
d
oolaeg
e
b
a
rvinok_e
n
umerate
:
support approximation
b
y
m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
scale
.
c:
a
v
o
id si
m
pl
i
f
ica
t
ion
of constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvino
k
/util
.
h:
a
dd POL
_
UNS
E
T macr
o
f
o
r unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scal
e
.
c
:
Param_Pol
y
he
d
ron_Scale_Integer_
F
ast
:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
move Pa
r
am_P
o
l
y
hedron_Scale_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
use separat
e
flags option for scale approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
er
d
ool
a
e
ge
b
arvinok
.
cc:
move
scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scale
.
c: correct
extrac
t
_
lat
t
ic
e
in c
a
se of redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
Ver
d
ool
a
ege
doc: update C
C
2005 re
f
erence
commit
|
commitdiff
|
tree
2007-03-26
S
ven Verd
o
olaege
verif_ehr
h
art
.
c: round inex
a
ct
eva
l
u
a
tion up or
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
Verdoola
e
ge
ver
i
f_ehrhar
t
.
c
:
optionally u
s
e exact ev
a
luati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
en Ve
r
doolaege
evalue
.
c
:
a
d
d ev
a
lue
_
eval for
e
xact
e
valuation of evalue
commit
|
commitdiff
|
tree
2007-03-25
S
ven Verdoolaege
evalue
.
c
:
fix evalue_frac2pol
y
n
om
i
al
f
o
r negativ
e
v
alues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven
Verdoolaege
barvinok_enumerate: perform sl
o
w scaling ap
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoola
e
ge
f
ix
P
aram_Po
l
yhedron_Sc
a
le_Int
e
ge
r
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaeg
e
barvinok_enu
m
erate: more accura
t
e polynomi
a
l appro
x
imation
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
reorganize polynomial
a
pproxi
m
ation opti
o
ns
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doolaege
util
.
c
: Param_Polyhedron_Print: actually use outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaeg
e
fix merg
e
o
f ch
e
ck_poly
f
rom verif_ehrh
a
rt
.
c and
l
e
x
min
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven
V
erdoolae
g
e
doc
:
up
d
ate Ko
e
ppe-Ve
r
doolae
g
e reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
ba
r
vinok_maximize: sup
p
ort ve
r
ification
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
merge chec
k
_po
l
y from verif
_
e
h
r
hart
.
c
a
nd lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erd
o
ola
e
ge
evalue
.
c: make some evalue arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
e
valu
e
_frac2floor2: a
l
so convert non-partition if n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
verify
.
c: chan
g
e veri
f
y
_options_set_range
p
ro
t
o
t
y
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
V
e
rdoolaeg
e
bernstein:
p
iecewis
e
_lst::eval
u
a
t
e:
support
d
iff
e
rent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdo
o
l
a
ege
veri
f
y
.
c
: turn off continue_on_error by defaul
t
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdo
o
laege
bernstei
n
: e
x
por
t
numeric2value
commit
|
commitdiff
|
tree
2007-03-15
S
v
en
Verdool
a
ege
doc: proo
f
of existence of suita
b
l
e y for
p
rim
a
l decompo
s
iti
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verdoo
l
aege
doc: fix pro
o
f of existence of suitable y for pri
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
bern
s
tein
.
cc
:
bernst
e
in_co
e
fficients
:
crea
t
e si
g
n
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoola
e
g
e
b
a
rvi
n
ok_maximize: optionally use recursive be
r
ns
t
ei
n
_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
V
e
r
doo
l
a
e
ge
ber
n
stei
n
.
cc: bernstein_
c
o
e
ffic
i
e
n
ts:
support genera
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoolaege
be
r
n
s
tein
.
cc: refac
t
or bernstein_coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
bernstein
:
piec
e
wise_lst: add sign and remo
v
e redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
rnstein: add remove_redundants me
t
hod
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
doc:
primal decomp
o
sition: typo fi
x
es + cla
r
ifica
t
ions
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolae
g
e
doc: f
i
x primal deco
m
positi
o
n example + clean-u
p
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolae
g
e
Document pri
m
al decompo
s
it
i
on
commit
|
commitdiff
|
tree
next