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
counter.cc: extracted from barvinok.cc
2007-04-08
Sven V
e
rdoo
l
aege
options
.
c
:
s
eparate polynomia
l
approxi
m
ati
o
n related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolae
g
e
ba
r
vinok
_
op
t
ions_new_with_defaul
t
s: initialize s
c
ale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaege
tr
i
angulate_cone
:
sk
i
p
Delau
n
ay tria
n
gul
a
tion b
y
d
efault
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
eva
l
ue_co
n
v
e
rt:
p
r
i
n
t
lat
t
ice when p
r
inting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Ve
r
doolaege
evalue_convert: a
d
d verbo
s
e argume
n
t and retur
n
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
olaege
Polyhedron_Fla
t
e:
intersect
i
nflated p
o
lytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc:
bib: fix up name in title of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sve
n
V
erdoolaege
add missing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
S
ven Verdoolaege
volum
e
.
c: delay computation o
f
point where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoolae
g
e
Pa
r
am_Polyhedro
n
_Volume: s
e
t polynomia
l
_app
r
oxi
m
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
vol
u
me
.
c: a
l
low co
m
putation of lower a
n
d
upp
e
r b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n Verdoolaege
scale: exp
o
rt Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doo
l
aege
barvinok_enum
e
r
a
t
e
: opti
o
nally c
o
mpute "vol
u
me"
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
po
l
ytope_volume: co
m
pute
volume of parametric poly
t
o
p
e
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
re
d
uce_
d
o
m
ain
.
c: pl
u
g memor
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n V
e
rdoo
l
aeg
e
verif
y
.
c: move computat
i
on of true context into check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
scale
.
c:
a
dd simplified method o
f
computing tig
h
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok_enumerate:
opti
o
n
a
lly compute
tighter po
l
yn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
polyhedr
o
n_sam
p
le
.
c: remove redundant MAXR
A
YS define
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
doolaege
evalue
.
c: evalu
e
_eval: sup
p
ort r
e
lations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
evalue
.
c: eval
u
e_frac2
p
olynom
i
al: p
r
operly handle r
e
lations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
barvinok
_
en
u
merate: sup
p
ort appro
x
imation by me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c
:
avo
i
d simp
l
ificatio
n
of
constraints a
f
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
rdoo
l
aege
b
arvinok/
u
til
.
h: add POL_UNSET m
a
cro f
o
r
unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
sc
a
le
.
c
: Param
_
P
o
lyhedron
_
S
c
ale_Intege
r
_Fas
t
: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
l
a
ege
move Param_Polyhedr
o
n
_
S
c
a
l
e
_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoo
l
aege
u
se
se
p
ara
t
e flags op
t
i
o
n
for sca
l
e
approximation m
e
t
h
od
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
bar
v
i
nok
.
cc: move
scal
i
n
g
to
scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolae
g
e
scale
.
c: corr
e
ct extr
a
ct_lattice in
c
ase o
f
redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: upd
a
t
e
CC20
0
5 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
v
erif_ehrhart
.
c
: round inexact ev
a
luation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
v
e
n
Verdo
o
lae
g
e
ve
r
if_ehrhart
.
c:
option
a
lly use e
x
a
c
t evaluat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n Verdoolaege
ev
a
lue
.
c: add evalu
e
_e
v
al
for exact evaluation
o
f
e
value
commit
|
commitdiff
|
tree
2007-03-25
S
ven Verdoolaege
eva
l
u
e
.
c: fix evalue
_
f
r
a
c
2
p
o
l
ynomial for
n
egative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoo
l
aege
barvinok_enumera
t
e
:
perform slow scaling a
p
pro
x
imat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
d
o
olaege
fix Param_Polyhed
r
on_
S
c
ale_Intege
r
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n
V
erdoolaeg
e
ba
r
vin
o
k
_enu
m
erate:
m
ore accurat
e
polyn
o
mi
a
l
a
pp
r
oximation
commit
|
commitdiff
|
tree
2007-03-19
S
v
en
V
erdoolae
g
e
reorganize polyno
m
ial approxi
m
ation o
p
t
i
ons
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
er
d
o
ola
e
ge
util
.
c: Par
a
m_Pol
y
h
edron_Print:
a
c
tually u
s
e
output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
fix merge of check
_
poly
from verif_e
h
rh
a
rt
.
c
an
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Ve
r
doolaege
doc: u
p
date
Koeppe-V
e
rdoo
l
aeg
e
refere
n
ce
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
b
arvinok_maximize: supp
o
rt verification
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaeg
e
merge check_poly from ve
r
if_e
h
rhart
.
c and lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
ev
a
lue
.
c: ma
k
e so
m
e eval
u
e
a
rguments con
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
eval
u
e_frac2floor2:
a
l
so
convert non-pa
r
t
it
i
on i
f
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
verify
.
c: cha
n
ge verify
_
options_set_range pr
o
t
oty
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
e
r
nste
i
n: piecewise_lst::evaluate:
support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
v
e
rify
.
c
:
t
u
rn off continue_on_e
r
ro
r
by default
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verd
o
olae
g
e
bern
s
te
i
n: expo
r
t numeri
c
2value
commit
|
commitdiff
|
tree
2007-03-15
Sv
e
n Verdoola
e
ge
doc: proof
o
f existe
n
c
e
o
f suitable y for primal
d
eco
m
po
s
iti
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
d
oc: fix proof of existe
n
ce of sui
t
able y for pri
m
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
b
e
rnstein
.
cc: be
r
nstein_coefficients: create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
b
a
rvino
k
_maximize: optio
n
al
l
y use recursive bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oo
l
aege
bernstein
.
cc: bernstein_coefficients: s
u
pport general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
b
ernstein
.
cc: refactor bernstein_co
e
ffici
e
nts_pr
o
duct
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
bernstein: piecew
i
se_lst: add sign and remove redu
n
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdo
o
l
a
e
g
e
ber
n
stei
n
: ad
d
remove_redundant
s
met
h
o
d
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erd
o
o
laege
do
c
: prim
a
l deco
m
position: typo fixe
s
+ clar
i
fica
t
ion
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
doc: fi
x
primal d
e
c
o
mpo
s
it
i
on exam
p
le
+
clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oolaege
Document primal de
c
omposition
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oolaege
barvinok
.
c
c: barvin
o
k
_
enumerate: fix lower
bou
n
d app
r
oxim
a
tion
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoola
e
ge
evalue_spli
t
_periods: gracefully han
d
le zer
o
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoo
l
aege
b
a
rvinok_maximi
z
e: handle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Verdool
a
eg
e
barvino
k
_en
u
m
e
rate
_
e
: clean up allo
c
ation o
f
opti
o
ns
commit
|
commitdiff
|
tree
2007-03-07
Sven V
e
rd
o
olae
g
e
b
a
rvin
o
k
.
cc: handle
c
a
se where nothing is
l
eft a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
evalue_convert: s
u
p
p
ort p
r
inting
a
quas
i
-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoolaege
l
a
tti
c
e_po
i
nt
.
h
: make self-contai
n
ed
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdoolaege
evalue
.
c: ext
r
a
ct evalue_extra
c
t_affine from bernste
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolae
g
e
bern
s
tein
.
c
c: ber
n
s
t
e
i
n_coeff
i
cient
s
_
p
r
oduct: no nee
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
laege
b
e
rnstein_coefficients: optionally opt
i
mize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven
Verdoolaege
bernstein_coeff
i
cients
:
fa
c
torize dom
a
in if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdool
a
eg
e
Polyhedron_Factor: optionall
y
return rela
t
ion b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
e
rd
o
olaege
bernstein:
export replaceVa
r
iablesI
n
P
o
lynomia
l
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
dool
a
ege
b
ernstein
.
cc: evalue2ex: represent fractional by sc
a
led
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdoolaege
barvinok
_
ma
x
im
i
ze: fix hand
l
ing o
f
UN
I
ONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ve
r
doolaege
b
e
rnste
i
n_coe
f
fi
c
i
ents: ski
p
empty subdo
m
ain
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaeg
e
barvinok
_
ma
x
i
m
ize: fix de
t
ection of
end of doma
i
n spec
i
fica
t
ion
commit
|
commitdiff
|
tree
2007-02-27
Sven Ve
r
doola
e
ge
b
a
rvi
n
ok_maximize
:
add
i
nput conversion
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n Verdoo
l
aege
eva
l
ue_c
o
nvert: extracted from barvinok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdool
a
ege
util
.
c
:
move
Polyhedron_is_unbounded from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
S
ven
Ve
r
doolaege
bernstein_coef
f
ici
e
nts: skip infini
t
e (sub)domain
s
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bar
v
inok_maxi
m
ize: l
e
t user spe
c
ify
v
ariables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
V
e
r
doolaege
bern
s
tei
n
_c
o
efficients: skip
computations
i
f domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barv
i
nok_maxim
i
ze: fi
x
acc
e
s
s
t
o freed me
m
ory
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdoolae
g
e
be
r
nstein/piece
w
i
s
e_lst
.
cpp:
a
dd mini
m
ize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
er
d
oolaeg
e
barvin
o
k_maximize: read
doma
i
n
s with UN
I
O
N
s
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoo
l
a
e
ge
use GiNaC cf
l
ags and libs
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n
V
e
rdo
o
laege
ba
r
vinok_maximize: optionally call
evalue_spl
i
t_p
e
riods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolae
g
e
evalue
.
c: add evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
olaege
util
.
c:
v
alue_lcm: mark arguments
c
onst
commit
|
commitdiff
|
tree
2007-02-23
S
v
en
V
erdoolaeg
e
eva
l
ue
.
c
:
po
l
yno
m
ial_proje
c
tion: allo
w
NULL R argum
e
nt
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdool
a
ege
evalue
.
c
:
extract f
i
ddling wi
t
h coefficients out
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoola
e
ge
evalue_bernstein_coefficients: h
a
ndl
e
each cose
t
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ven
V
er
d
o
o
laege
barvin
o
k_maximiz
e
:
r
ead
eval
u
e
s
with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
erdo
o
laeg
e
ev
a
lue_
b
ernstein_coe
f
ficients
:
handl
e
periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Ve
r
doolaege
b
e
rn
s
tei
n
: berns
t
e
inEx
p
ans
i
o
n
: accept list of polyn
o
mi
a
ls
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
barvinok_maximize:
mak
e
evalue parse a l
i
ttle bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
b
arvinok
_
enume
r
ate*: be less chatty by defa
u
l
t
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
e
rdoolae
g
e
count/
e
nume
r
a
t
e
: warn if
i
nput is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
Doma
i
n
I
nclude
s
: detect more cases
+ adapt doc
u
mentation
commit
|
commitdiff
|
tree
next