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
volume.c: drop redundant arguments to volume_simplex
2007-04-08
Sven
V
e
rdool
a
eg
e
volume
.
c: drop redun
d
ant argumen
t
s to volume_si
m
plex
commit
|
commitdiff
|
tree
2007-04-08
S
v
en
Verd
o
olaege
opti
o
ns
.
c: separ
a
te
p
olynomial approxi
m
ation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
e
n Ve
r
d
o
olaege
barvinok_options_new
_
with_defa
u
l
t
s
:
initialize
s
cale_fl
a
gs
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaege
t
r
i
ang
u
l
ate_co
n
e: skip Delaunay t
r
i
a
ngulation
by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_c
o
nvert:
p
r
int lattice when printing as
l
ist
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaege
evalue_conve
r
t: ad
d
verbos
e
argument and return 1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Ve
r
doo
l
aege
Poly
h
e
dron_Flate: i
n
terse
c
t in
f
la
t
ed p
o
lytope
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
e
n Verdo
o
la
e
g
e
d
oc: bib:
fix
up name in title of Algorithmica pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing v
o
lume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Ve
r
doolaege
volume
.
c: del
a
y co
m
putation of po
i
nt
where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
e
n Verdoolaege
Param_Polyhedron
_
Volume: set
polynomial_approxim
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Ve
r
doolaege
volume
.
c: al
l
ow c
o
m
p
uta
t
i
on of l
o
w
er and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
scale: expor
t
P
o
lyhedron
_
Fl
a
t
e
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaeg
e
barvino
k
_enu
m
er
a
te: optionally compute "volum
e
" pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
laege
polytope_volum
e
:
c
ompute volume of parametr
i
c poly
t
ope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
r
ed
u
c
e
_domain
.
c
:
plug memo
r
y leak
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoola
e
g
e
verify
.
c: move computation of true
c
ontex
t
into check_pol
y
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
s
cale
.
c: add simplified method of
computing tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
bar
v
i
n
ok_enumera
t
e: optionally compu
t
e
tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
o
la
e
ge
polyhedro
n
_sample
.
c: remove redundant MAXRAYS def
i
ne
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c:
e
value_e
v
al: supp
o
rt relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
evalue
.
c:
e
value_frac2polynomial:
p
roperly handle
relations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
barvinok_enum
e
rat
e
: support ap
p
r
o
ximatio
n
by mea
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sca
l
e
.
c:
avo
i
d
simplifica
t
i
o
n of cons
t
rain
t
s af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoola
e
ge
barvinok
/
u
t
i
l
.
h
:
a
d
d
P
OL_
U
NSET macr
o
for unsetti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
erdo
o
laege
scale
.
c
:
P
a
ram_Po
l
yhedron
_
Scale_Integer_Fa
s
t:
i
gnore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verd
o
o
l
aege
move Param_P
o
l
yhedron_Scale_Integer to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
use separate
flags option for scale approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ba
r
vin
o
k
.
cc:
m
ove
s
caling to
sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolae
g
e
s
c
ale
.
c: corre
c
t e
x
tract_lattice in case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: update CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdoolaege
ve
r
if_eh
r
hart
.
c: round inex
a
ct evalua
t
ion
up
or do
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven V
e
rdoola
e
ge
ve
r
if_eh
r
hart
.
c: o
p
t
i
onall
y
use exact
eva
l
uation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
e
rdoolaege
evalue
.
c:
add evalue_eva
l
for exact evaluation
o
f
e
value
commit
|
commitdiff
|
tree
2007-03-25
S
ven Verdool
a
ege
e
v
alue
.
c: fix evalue
_
frac2polynomial for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven V
e
rdo
o
laege
barvinok_en
u
merate
:
perform slow scaling a
p
pro
x
im
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
fix Param_Polyhedron_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
S
ve
n
Verdoolaege
barvin
o
k_enumerate: mo
r
e
a
ccurate
p
olynomial
approxima
t
ion
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdool
a
eg
e
re
o
rganize poly
n
omial a
p
p
roximation
options
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoola
e
ge
util
.
c:
P
aram_P
o
lyhedron_Pri
n
t
:
actually us
e
output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
fix merge of c
h
eck_poly from
v
erif
_
ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven
V
erdoolaege
doc: update Ko
e
p
p
e-Verdoolaege r
e
ference
commit
|
commitdiff
|
tree
2007-03-17
S
ven V
e
rdoo
l
ae
g
e
barvinok_maximize: suppor
t
verificati
o
n
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
ool
a
ege
merge check_poly from verif_ehr
h
a
rt
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
ven Ver
d
oolaege
eval
u
e
.
c:
m
a
ke some evalue
arg
u
m
e
n
ts const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
evalue
_
frac2floor2:
also
conv
e
rt
non-part
i
tion if
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Ve
r
d
oolaege
verify
.
c: change v
e
rify_o
p
tions_set_r
a
nge protot
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaege
bernstein:
p
iecewise
_
l
s
t::evalu
a
t
e: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
ege
verify
.
c
: turn off
c
o
n
ti
n
ue_
o
n_error by defaul
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
d
ool
a
e
g
e
bernstein: export numeric2val
u
e
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
Ve
r
doo
l
a
ege
doc: proof o
f
e
xis
t
ence of suitable
y
for p
r
imal
d
ec
o
mpositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
erdool
a
ege
d
oc: fix pro
o
f of existence of suitable y for pr
i
mal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc: bernstein_coef
f
ic
i
en
t
s:
c
re
a
te si
g
ned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verd
o
olae
g
e
bar
v
inok_maximiz
e
:
o
p
t
i
o
nally use recursive ber
n
s
t
ein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoolaege
bernstein
.
cc: bernstein_coeffi
c
ients: suppo
r
t
gen
e
ral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaege
bernst
e
in
.
cc: refactor bernstein_coeffi
c
ien
t
s_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
bernstein: piecewise_lst: a
d
d sign an
d
remo
v
e
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoo
l
a
e
ge
bernstein:
add remove_redundants
m
ethod
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
doc: primal decomposi
t
ion: typo fixes +
cla
r
ification
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
doc
:
fix primal
d
ecompos
i
t
ion
example
+
clean-
u
p
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoola
e
ge
Doc
u
ment
p
rimal dec
o
mposi
t
ion
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n
Ver
d
oo
l
aeg
e
ba
r
v
inok
.
c
c
:
b
arvi
n
ok_enumerate: fix lower
b
ound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n
Verdoolae
g
e
eva
l
ue_split_periods: grace
f
ully handle
z
ero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoolaege
barvi
n
ok_ma
x
imize: han
d
le zero i
n
put
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Ve
r
d
o
ol
a
eg
e
barvi
n
ok_enumer
a
te_e:
c
l
ean up
allo
c
ation of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
ege
barvino
k
.
cc: handle c
a
se w
h
ere n
o
thing is l
e
ft af
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
ev
a
lue_convert: suppo
r
t
printin
g
a quasi-p
o
lynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdoola
e
ge
lattice_point
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
do
o
laege
evalue
.
c: extract eva
l
ue_extr
a
ct
_
affine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven
Verdoolaege
b
e
rnstein
.
cc:
b
e
rnstei
n
_coefficients_product:
no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
la
e
ge
b
e
rnste
i
n_coefficients: optionally op
t
imize
during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Verdoolaege
ber
n
s
tein_coeff
i
cients: factorize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
Polyhedron_Fa
c
to
r
: optio
n
al
l
y
r
eturn re
l
atio
n
bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verd
o
olaege
ber
n
stei
n
: export r
e
p
l
a
c
e
V
ariab
l
esInPolyn
o
m
i
al
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
aege
bernstein
.
cc:
e
v
a
lue2
e
x: repre
s
en
t
fractiona
l
by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
b
a
rvinok_maximize: f
i
x hand
l
ing
o
f
UNION
s
i
n
do
m
a
i
ns
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
oolaeg
e
bernste
i
n_coef
f
i
c
ients: ski
p
empty
s
ubdomains
commit
|
commitdiff
|
tree
2007-02-28
S
ven
Verdoola
e
ge
barvinok_
m
aximize:
f
ix de
t
ection of
e
nd of doma
i
n s
p
ecification
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdo
o
l
a
ege
barvinok_maximize: add input convers
i
on
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdo
o
laege
ev
a
lue_conv
e
r
t
:
e
xtra
c
ted
f
rom barvinok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdool
a
ege
util
.
c
:
move Polyhedron
_
is_unboun
d
e
d
from bernstein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
ber
n
stein_coef
f
i
c
i
e
nts: skip in
f
ini
t
e (s
u
b)doma
i
ns
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
arvinok_max
i
mize: let
u
ser specify var
i
ables ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
bernstein_coef
f
icients: sk
i
p computations if do
m
ain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en
Verdool
a
ege
bar
v
inok_
m
a
ximize: fix ac
c
ess to fr
e
ed memory
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdool
a
ege
b
e
rnstei
n
/
piece
w
ise_lst
.
c
p
p: add minim
i
ze
(
)
m
ethod
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n
Verd
o
olaege
b
arv
i
nok_maximize: read dom
a
ins wi
t
h UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
use GiNaC cfl
a
gs
a
nd lib
s
commit
|
commitdiff
|
tree
2007-02-23
S
ven
V
er
d
oolaege
barvinok_maximize: o
p
tiona
l
ly
call evalue_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdo
o
laege
evalu
e
.
c
:
add evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
V
erdoolaege
util
.
c:
v
alue_lcm: ma
r
k
a
rguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c
: po
l
ynomial_projection: allow
N
U
L
L
R a
r
g
um
e
nt
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
dool
a
ege
e
v
a
lue
.
c: extract
f
iddling with coeff
i
cients
o
ut of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
v
e
n Verdoolaege
e
v
alue_bernstein_coefficients: handle
e
a
c
h cose
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
erdoolaege
b
a
rvinok_maximi
z
e
:
r
ead e
v
alues wi
t
h perio
d
ics
commit
|
commitdiff
|
tree
2007-02-21
S
v
en Verdoolaeg
e
e
value_bernstein_coe
f
f
i
cients
:
handle perio
d
i
c
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
b
e
rn
s
t
ein: bernste
i
nExpansion: accept
l
ist of
polynomia
l
s
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok_maximiz
e
: make e
v
alue p
a
rse a littl
e
bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
o
olaege
barvinok_en
u
m
e
r
a
t
e*: be less c
h
atty
b
y
defa
u
lt
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
c
ount/enumera
t
e
: warn if inpu
t
is
a
un
i
on
commit
|
commitdiff
|
tree
next