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: introduce parameter_point abstraction
2007-04-08
Sve
n
Ve
r
doolaege
vo
l
ume
.
c: introduce par
a
met
e
r_point abst
r
ac
t
i
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
Verdoolaege
sc
a
le
.
c: export Para
m
_
V
e
r
tex_
C
ommo
n
_
D
e
nominator
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
V
erdoolaege
vo
l
ume
.
c: drop redundant arguments to volume_s
i
mpl
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
Verd
o
ol
a
ege
op
t
i
ons
.
c:
separate p
o
lynomial appro
x
i
matio
n
related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
b
a
rvinok_options
_
new_with_defa
u
lts: init
i
al
i
ze scal
e
_fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erd
o
olaege
trian
g
ulate_cone: skip Delaunay triangulation
by defau
l
t
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verdool
a
ege
evalue_conv
e
rt: print latti
c
e
w
hen p
r
inting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
evalue_convert: add verbo
s
e
argument
a
nd return
1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Polyhedro
n
_Flate: inters
e
ct inflated polyto
p
e with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ve
r
doolaege
doc: bib: fi
x
up name in ti
t
le of Algor
i
thmica
p
aper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verd
o
olaeg
e
ad
d
missin
g
v
olume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Ver
d
oolaege
volume
.
c: delay
computation of p
o
int wh
e
re volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verdo
o
lae
g
e
Param_Polyhedron_Volume: set polynomia
l
_approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven V
e
rdoolaege
vol
u
m
e
.
c: allo
w
computa
t
ion of lower and
u
pper bo
u
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
scale
:
e
x
port
P
oly
h
edron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
b
a
rv
i
nok_enumerate: opt
i
o
n
a
ll
y
compute "volu
m
e" polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
p
olytope_volume: comput
e
v
o
lume
of parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
re
d
uce_domain
.
c:
p
l
ug memory leak
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ve
r
d
oo
l
aege
verify
.
c: m
o
v
e
com
p
utation of tru
e
context in
t
o check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laeg
e
sca
l
e
.
c: add simpl
i
f
i
e
d
method o
f
co
m
puting tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ba
r
vi
n
ok_enumerate: optionally compute tighter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
poly
h
edron_sample
.
c
: remove redundant M
A
XRAYS define
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdool
a
ege
evalue
.
c: evalue_eva
l
: su
p
p
o
rt relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: eval
u
e_frac2polynom
i
a
l
: properly hand
l
e relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
barv
i
nok_
e
nume
r
ate: s
u
pport approximation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sc
a
l
e
.
c
:
a
v
o
i
d
s
implificati
o
n
of constraints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
ba
r
vi
n
ok
/
uti
l
.
h: add
P
OL_UNSET macro fo
r
unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
V
e
rdoolaege
sca
l
e
.
c: P
a
ram_Polyhe
d
ron_S
c
a
l
e_In
t
eger_
F
as
t
:
i
gnore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
r
d
oo
l
aeg
e
m
ove Para
m
_Polyhedron_Scale_In
t
eger to s
c
ale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ve
r
doolaege
use separate flags o
p
ti
o
n for
s
c
a
le approximation
m
e
t
hod
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolae
g
e
b
arvinok
.
cc:
move scal
i
ng to
sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
ven V
e
rdoo
l
aege
sc
a
l
e
.
c: correct extract_lattice
i
n
case of
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: update CC2005 refer
e
nc
e
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoola
e
ge
verif
_
ehrhart
.
c: round inexact evaluati
o
n
up or
d
own
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
e
r
d
oolaege
verif
_
ehrh
a
r
t
.
c
:
optio
n
ally use exact evalu
a
tion for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erd
o
olaege
eval
u
e
.
c: add ev
a
l
u
e
_eval f
o
r exact e
v
alua
t
ion of e
v
alue
commit
|
commitdiff
|
tree
2007-03-25
Sven Ver
d
oolae
g
e
ev
a
lue
.
c: fix evalu
e
_
f
r
a
c
2polynomial for n
e
gati
v
e
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barv
i
no
k
_
e
numerate: perform
slow scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
fix Param_Polyhedron_Scale_Intege
r
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaege
barvinok_enumerate: more accu
r
ate polyn
o
mial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
reo
r
gan
i
z
e
polynomial a
p
p
r
oximation options
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
r
doolaege
util
.
c: Param_Polyhedron_Pri
n
t: actually
use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
f
i
x
merge of check_poly f
r
om verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Ver
d
oola
e
ge
d
o
c: update K
o
epp
e
-Verdoolae
g
e
r
eference
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
d
o
olaege
barvinok_maximize: s
u
p
port ve
r
ifica
t
ion
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdo
o
l
aege
m
e
rge che
c
k_poly from verif_ehrhart
.
c and lex
m
in
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdoolaege
e
value
.
c: mak
e
some ev
a
l
u
e
a
rguments const
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolae
g
e
evalue_
f
rac2fl
o
or
2
: also convert non-partiti
o
n if
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolae
g
e
verify
.
c
: change verify_options_
s
et
_
range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein: piecewise_lst::evaluate:
support
different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven
Ver
d
oolaege
v
e
rify
.
c:
t
u
r
n
off continue
_
on_e
r
ro
r
by default
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaeg
e
ber
n
s
tein: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verdool
a
ege
d
oc: proof of existence of
suita
b
le y for primal de
c
omposit
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
olaeg
e
d
oc: fix proof of exis
t
ence of sui
t
able y
f
o
r
primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaeg
e
bernstein
.
cc: berns
t
ein_coe
f
f
i
cient
s
: cr
e
ate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoola
e
ge
barvin
o
k_ma
x
imize: optionall
y
u
se recursiv
e
bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
rnste
i
n
.
cc: bernstein_coefficie
n
t
s
: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
b
ernstein
.
cc: ref
a
ctor bernstein_co
e
ffi
c
ien
t
s_
p
roduct
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolaege
bernstein: p
i
ecewise_lst:
add sign and remove redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verd
o
olaege
bernstein: add rem
o
ve_
r
edundants me
t
hod
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolae
g
e
doc: pr
i
mal decomposition: ty
p
o fixes +
clar
i
fication
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
d
o
c: fix primal decomposition example + clean
-
up
s
commit
|
commitdiff
|
tree
2007-03-11
S
ven Verd
o
olaege
D
ocument primal de
c
omposit
i
o
n
commit
|
commitdiff
|
tree
2007-03-11
S
v
en
Verdoo
l
a
e
ge
b
arvinok
.
cc: barvinok_en
u
merate: fix l
o
wer bound approx
i
mation
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n V
e
rdoolaege
evalue_split_periods
:
gracefully h
a
ndle z
e
ro
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvi
n
ok_
m
aximize: ha
n
dle z
e
ro inp
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_enumerate_e: clean
up allocatio
n
of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
ba
r
v
inok
.
c
c
: ha
n
dle c
a
se where nothi
n
g is
left af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolaege
e
value_convert:
s
upp
o
rt p
r
inting a
quas
i
-polynom
i
ala
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
lattice_point
.
h: mak
e
s
e
lf-c
o
nt
a
ine
d
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoolaege
eva
l
u
e
.
c:
e
xtract evalue_ex
t
r
act_
a
f
fine fro
m
bern
s
te
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolae
g
e
bernstein
.
cc
:
be
r
nstein_coe
f
ficients_
p
roduc
t
: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_coefficien
t
s: opti
o
nally
optimize
d
uri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
e
n
Verdoolaeg
e
berns
t
ein_c
o
e
fficients: factorize domain if possibl
e
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n V
e
r
d
oolaege
Pol
y
hed
r
on_Factor: optionally r
e
turn relation bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoolaege
b
e
r
n
st
e
in: export
r
ep
l
aceVariable
s
I
n
P
o
lynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
rdoolaege
bernstein
.
cc: evalue2ex:
r
ep
r
e
s
ent f
r
actiona
l
by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdoolaeg
e
barvinok_maximize
:
fi
x
handling
o
f
U
NIONs in
domain
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoola
e
ge
bernstein_coefficients: ski
p
e
m
pty
sub
d
omains
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Verdoolaege
barvinok
_
max
i
miz
e
:
f
i
x
detec
t
i
on of end of
domai
n
specific
a
ti
o
n
commit
|
commitdiff
|
tree
2007-02-27
Sven V
e
rdoolae
g
e
barvinok_
m
aximize: add input conversi
o
n
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdool
a
ege
e
v
alue_co
n
vert: ext
r
acted from
b
arvi
n
o
k
_
enume
r
ate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Ve
r
do
o
laege
util
.
c: move Polyhedron_is_unbounde
d
from bernstein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
e
r
doolaege
bernstein_coefficients: skip infinite (sub)
d
omains
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolaege
barvinok_maxim
i
ze
:
let user specify
v
a
ria
b
les ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
ege
b
e
rnstein_c
o
effi
c
ients: skip
c
o
m
p
u
t
a
tions if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoolaege
b
ar
v
inok_
m
aximize: fix ac
c
e
s
s to freed
m
emor
y
commit
|
commitdiff
|
tree
2007-02-26
Har
a
ld Devos
minimiz
e
as op
t
i
o
n of
barvinok_maxim
i
ze
commit
|
commitdiff
|
tree
2007-02-26
Sven
Ver
d
oola
e
ge
ber
n
stein/piecewise_lst
.
c
p
p: add minimize() method
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
b
arvinok_max
i
mize
:
read
domains with
U
NION
s
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n
V
e
rdoola
e
ge
u
se GiNaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvinok_maxim
i
ze:
o
ptionally
c
all
evalu
e
_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoo
l
aege
evalue
.
c: add evalue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
util
.
c: value_lcm: mark arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oolae
g
e
evalue
.
c: polynomial_pr
o
jection: allow
N
ULL R a
r
gument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
la
e
ge
eval
u
e
.
c
:
ext
r
a
ct fiddling with
coefficients o
u
t
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Ver
d
o
o
laege
evalue_bern
s
t
e
in
_
coeff
i
cients: handle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
e
rdoola
e
ge
b
a
rvi
n
ok_maximize: read evalues with periodi
c
s
commit
|
commitdiff
|
tree
2007-02-21
Sven V
e
rdoolaege
evalu
e
_bernstein_coeff
i
ci
e
nts
:
handle perio
d
ics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoola
e
ge
b
ernste
i
n
:
bernst
e
inExpa
n
sion:
accept list o
f
po
l
ynomials
commit
|
commitdiff
|
tree
next