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
evalue_convert: print lattice when printing as list of polynomials
2007-04-07
Sven Ver
d
oola
e
ge
e
v
a
l
ue_conv
e
rt: prin
t
l
a
t
t
ic
e
when
p
rint
i
ng a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
ev
a
lue_convert: add ver
b
ose argument and
r
e
tur
n
1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdool
a
ege
Polyhedron_Flate: inte
r
sect
inflat
e
d
polytope
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Verdo
o
laege
doc: bib: fix
up name i
n
title of Al
g
orithmic
a
paper
commit
|
commitdiff
|
tree
2007-04-05
Sv
e
n
V
erdoolaege
add missing
volume
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sven Ve
r
d
o
ol
a
e
ge
v
olume
.
c
:
delay comp
u
tation
of poi
n
t where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven Verdool
a
ege
Para
m
_Polyhedron_Volume
:
set
polynomial
_
approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: al
l
ow
c
om
p
u
tati
o
n of l
o
wer and u
p
per bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Ve
r
dool
a
ege
scale
:
export Polyhedron_
F
late
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
barvinok_enumerate: optionally compute "volume" polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolae
g
e
poly
t
ope
_
volume
:
compute volume of
parame
t
ric
polytop
e
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdoola
e
ge
reduce_dom
a
in
.
c:
plug m
e
mo
r
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
ver
i
fy
.
c:
move comp
u
tat
i
on of true
context into check
_
p
oly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdoolaege
sca
l
e
.
c: add simp
l
ified method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdo
o
laege
ba
r
vinok_en
u
merate: optionally comput
e
ti
g
hter poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
p
o
lyhedr
o
n_sample
.
c: remove re
d
u
ndant MAX
R
AY
S
define
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
evalue
.
c: evalu
e
_eval: support relations
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdool
a
e
g
e
evalue
.
c:
e
value_frac2polynomial:
p
roper
l
y handle relatio
n
s
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdo
o
laege
b
arvi
n
ok_enumerate:
s
upport approximation b
y
me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
scale
.
c: avoid simpl
i
f
i
c
ation of constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
barvinok/u
t
il
.
h: add POL_UNSET macro for unsettin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoo
l
aege
scale
.
c: Param_Poly
h
edron_Scale_Integer_Fast:
i
gnore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdo
o
laege
move
Param_Polyhedron_Scale_Integer
t
o
scale
.
c a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
use separa
t
e flags o
p
t
i
on
f
or scale
app
r
o
x
imati
o
n me
t
h
o
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
barvinok
.
cc
:
move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven V
e
rdoolaege
scal
e
.
c: correct extra
c
t_
l
attice in
case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
S
v
e
n Verdoolaege
doc: update CC
2
005 ref
e
ren
c
e
commit
|
commitdiff
|
tree
2007-03-26
S
ven V
e
rdoo
l
ae
g
e
v
e
rif_ehrhart
.
c: round inexact
evaluation up
o
r down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sve
n
Ve
r
d
oolaege
v
e
r
i
f_ehrhart
.
c: optionally
u
se exact evaluation fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoola
e
ge
evalue
.
c: add eval
u
e_eval for exact
evaluation of
e
value
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdo
o
laege
evalue
.
c: fix evalue_fra
c
2po
l
yn
o
m
ial for negat
i
ve value
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sve
n
Ver
d
oo
l
aege
barvin
o
k_e
n
umerate: perform slo
w
scaling approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
fix Param_Polyhedron_Sca
l
e_Int
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoo
l
a
eg
e
b
arvinok_enumera
t
e
:
m
ore
a
ccurate polynomial a
p
proximation
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
reo
r
g
anize polynomial approximation o
p
tions
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaeg
e
uti
l
.
c: Param_Pol
y
h
e
dron_Print: actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoola
e
g
e
fi
x
merge of check
_
poly fro
m
verif_ehrha
r
t
.
c
and lexm
i
n
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
S
ve
n
Verdoola
e
ge
doc: update
Koeppe-
V
erdoolaege
r
eference
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verd
o
olaege
b
arvinok
_
m
a
ximize:
s
upp
o
rt v
e
rif
i
cati
o
n
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rd
o
olaege
merge check_poly from
verif_ehrhart
.
c and lexmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
evalue
.
c: make s
o
me ev
a
lue argument
s
const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
e
v
alue_fr
a
c2floo
r
2:
a
l
so convert
n
on-partition
i
f
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
ver
i
fy
.
c: chang
e
verify_op
t
ions_set_range prototype
commit
|
commitdiff
|
tree
2007-03-17
S
v
en
V
erdoolaege
bernstein: p
i
e
cewise_lst::
e
v
a
l
u
ate: suppo
r
t differ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doolaeg
e
verify
.
c
: turn off
cont
i
nue_on_error by
default
commit
|
commitdiff
|
tree
2007-03-17
S
ven Ve
r
do
o
laege
bernstein
:
export
numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven
V
erdoola
e
ge
doc: proof of exi
s
tence of suit
a
ble y for p
r
i
m
a
l decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
olaege
d
oc: fix pr
o
o
f
of exis
t
ence
of suitabl
e
y for
prima
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
bernstein
.
cc: be
r
n
stei
n
_coefficien
t
s: create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Ver
d
ool
a
e
g
e
barvinok_max
i
mize: optio
n
a
l
ly use re
c
ursive
ber
n
stein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
b
ernste
i
n
.
cc: bern
s
tein
_
coefficient
s
: suppo
r
t gener
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoo
l
aege
be
r
nstein
.
cc
:
refactor bernstein_coefficie
n
t
s_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein: p
i
ecewise_lst: add
s
ign and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
bernste
i
n
:
add
remove_redundants meth
o
d
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verd
o
olaege
d
oc: primal decomposition: typo fixes + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
doc: fix primal decomposition ex
a
m
ple + c
l
ean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n
Ve
r
doola
e
ge
Document primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verdoolaege
barvinok
.
cc: barvinok
_
enumerate: fix lower bound appro
x
imat
i
o
n
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
e
v
alue_spl
i
t
_periods: gr
a
c
e
fully h
a
ndle zero ev
a
lue
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdoolaege
barvinok_maxim
i
ze: handle zero input
commit
|
commitdiff
|
tree
2007-03-07
S
v
en
Verdoolaege
b
ar
v
inok_enumerate_e: clean up alloc
a
tion of
options
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
V
e
r
d
oolaege
barvinok
.
cc:
handle case wh
e
re nothing is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verd
o
olae
g
e
e
v
alue_
c
o
nvert: supp
o
rt
printi
n
g a quasi-polynomial
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
ve
n
V
e
rdoola
e
ge
lattice_point
.
h
:
mak
e
self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Verdo
o
laege
evalue
.
c: e
x
tract
eval
u
e_extract_affine
f
rom bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
be
r
nstein
.
cc: b
e
rns
t
ein_coe
f
fici
e
nts_pr
o
d
uct: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
e
n Verd
o
olaege
be
r
ns
t
e
i
n_c
o
efficients: opti
o
nall
y
optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ve
n
V
erdoo
l
aege
bernst
e
in_coefficien
t
s: f
a
ct
o
rize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
Polyhedro
n
_Factor: optionally r
e
turn relation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven
V
e
rdoola
e
ge
berns
t
e
in:
e
xport replaceV
a
riabl
e
s
I
nP
o
lynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein
.
c
c
:
evalue2ex: represent fractional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoola
e
ge
bar
v
inok_m
a
x
i
mize:
f
i
x
ha
n
d
l
ing of UNION
s
in do
m
ains
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven
V
e
r
do
o
laeg
e
bernstein_coefficients: skip emp
t
y
subd
o
mai
n
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_maximize
:
fix de
t
e
ction of end of do
m
ain
s
pecificati
o
n
commit
|
commitdiff
|
tree
2007-02-27
S
v
e
n
V
e
rdoolaege
barvinok_maximize:
a
dd in
p
ut conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalue_conv
e
r
t
:
extrac
t
e
d
f
rom
b
a
r
v
inok_enumera
t
e and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verd
o
olaege
util
.
c: move P
o
l
y
hedr
o
n_is_unbounded from be
r
ns
t
ein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
bernstein_c
o
efficients:
s
kip infini
t
e (sub)d
o
mains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
barvinok_
m
aximize:
let u
s
e
r specify
vari
a
bl
e
s over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_coeff
i
cie
n
ts
:
s
k
ip
computations if d
o
ma
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdo
o
l
a
ege
barv
i
nok_maximi
z
e: fi
x
a
c
cess to freed memor
y
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein/piecewise_lst
.
cpp: add minimize() method
commit
|
commitdiff
|
tree
2007-02-26
S
ven V
e
rdoolaege
barvino
k
_maximi
z
e: read domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
e
ge
use G
i
NaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
S
ven Verd
o
olaeg
e
bar
v
inok_max
i
mize:
optio
n
ally call evalue
_
split_p
e
riods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
evalue
.
c: add
e
value_split_perio
d
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
util
.
c: val
u
e_lcm: mark arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
la
e
ge
eva
l
ue
.
c: polynomial_projection: allow NULL R argume
n
t
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
ool
a
ege
eva
l
ue
.
c:
e
xtr
a
ct
fiddling with c
o
e
f
ficient
s
out
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
eval
u
e
_
be
r
nstein_coeffici
e
nts: handle each
c
os
e
t of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolae
g
e
bar
v
i
n
ok_maximize: read evalue
s
w
ith period
i
cs
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n
V
erdoolaege
evalu
e
_bernstein_coefficients
:
handle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaeg
e
bernstein: bernsteinExpansion: accept list of polyn
o
mials
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoolaege
b
a
r
v
inok
_
maxim
i
ze: mak
e
eval
u
e p
a
rse a lit
t
le bit mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Ver
d
o
o
la
e
ge
barvino
k
_enume
r
at
e
*: be less chatty b
y
default
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoolaege
count/enumerate: warn i
f
input is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
Do
m
ainInc
l
udes:
d
et
e
ct more ca
s
es +
adapt document
a
t
ion
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdool
a
ege
evalu
e
_bernstein_coeffi
c
ients: handle frac
t
io
n
als in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ve
r
doolaeg
e
e
v
al
u
e
_
bernstein_coefficien
t
s
: handle floorings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven
V
e
r
do
o
l
a
ege
barvinok
_
m
a
ximiz
e
: new too
l
for max
i
m
izing piecewise
.
.
.
commit
|
commitdiff
|
tree
next