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.c: fix evalue_frac2polynomial for negative values of variables
2007-03-25
Sven Verdool
a
ege
evalue
.
c:
fix
e
value_frac2polynomial
f
o
r negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Ve
r
doolaege
bar
v
inok_enumerate: perform slow scaling approxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doo
l
aege
fix Par
a
m_Polyhedron_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verd
o
olaege
barvinok_enumera
t
e: m
o
re accurate pol
y
nomia
l
approximat
i
on
commit
|
commitdiff
|
tree
2007-03-19
Sven
Ver
d
oolaege
reorga
n
ize polynomial approximatio
n
opti
o
ns
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n
Verdoo
l
aege
uti
l
.
c: Param_Polyhedron_Print: actual
l
y
u
se output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaege
fix
m
erge o
f
ch
e
ck_poly
f
r
om verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven Verdoolaege
d
o
c: update Koeppe-Verdoolaege
ref
e
ren
c
e
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
ba
r
vi
n
ok_max
i
mi
z
e
:
support verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
dool
a
eg
e
merge check_
p
oly from ve
r
if_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
V
erdoola
e
g
e
eva
l
ue
.
c:
m
ake some eval
u
e
a
rgumen
t
s c
o
nst
commit
|
commitdiff
|
tree
2007-03-17
S
ven Ve
r
doolaege
eval
u
e_fr
a
c2floor2
:
also conver
t
no
n
-partition
i
f
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
doola
e
ge
veri
f
y
.
c: cha
n
ge verify_option
s
_
s
et_range
prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein: pi
e
cewise_lst::ev
a
lua
t
e: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoola
e
ge
ve
r
if
y
.
c
:
turn off
c
ontinue_on_error by
default
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verd
o
o
laege
bernste
i
n
:
exp
o
rt num
e
r
ic2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc: pro
o
f
o
f e
x
i
s
tence of suitabl
e
y for p
r
imal
d
ecomposi
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc: fix proof of existe
n
c
e o
f
suitable y f
o
r primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
g
e
bern
s
tein
.
cc
:
bernstein_co
e
ffici
e
n
ts: crea
t
e
signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolaege
barvi
n
ok_maximize: optionally use recursiv
e
bernste
i
n_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
berns
t
ein
.
cc: bernstei
n
_co
e
ffic
i
ents
:
s
upport general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaege
bern
s
tei
n
.
cc: refactor bernstein_coeff
i
cients_pr
o
duct
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verd
o
olaege
b
e
rnstei
n
: piecew
i
se_lst: add sig
n
and
r
emove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
V
e
rdoo
l
aege
bernstei
n
:
a
dd remove
_
r
e
dundants method
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rdoolae
g
e
doc: primal de
c
omposition: typo
f
ixes + clarifi
c
ations
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
d
oc: fix pri
m
al deco
m
p
osition example
+
c
lean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
D
o
cument pri
m
al decom
p
osition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
barvino
k
.
cc
:
ba
r
vinok_enumerate: fix lower bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdoolaege
e
value_split_peri
o
ds: grac
e
fully h
a
n
d
le zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvino
k
_maximize: han
d
le zero input
commit
|
commitdiff
|
tree
2007-03-07
S
ven Verd
o
olae
g
e
b
a
rvinok_enum
e
rate_e: clean up
a
lloca
t
ion o
f
optio
n
s
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdo
o
laege
barv
i
nok
.
cc: handle case where n
o
thing is
l
eft a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n
Verdoo
l
aege
evalue_convert: support printi
n
g a quasi
-
polynom
i
alas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
d
o
olaege
la
t
tice_point
.
h: make
self-conta
i
ned
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoolaege
evalu
e
.
c: ext
r
act
evalue_extract_affine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdo
o
la
e
ge
bernstein
.
cc: bern
s
t
e
in_coefficients_pro
d
uct:
no ne
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_c
o
e
fficients: optionally optim
i
ze during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
ola
e
g
e
be
r
nstein_coefficien
t
s: fac
t
o
rize
d
om
a
i
n
if possible
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoo
l
a
e
ge
P
o
l
yhed
r
on_Facto
r
: optionally r
e
t
urn
r
e
lation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdool
a
ege
be
r
nste
i
n: export
r
eplaceVariables
I
nPolynom
i
al
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoo
l
a
e
g
e
bernstein
.
cc: evalue2ex: r
e
p
rese
n
t fractional
by sc
a
led
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvin
o
k_max
i
mize: fi
x
h
andling of UNI
O
Ns
in domains
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdoolaeg
e
be
r
nstein_coefficients: skip em
p
ty s
u
bdomains
commit
|
commitdiff
|
tree
2007-02-28
S
ven
Verdoolaege
barvinok_max
i
m
i
ze: fix d
e
t
e
ct
i
on of e
n
d of domain specifi
c
a
tion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
barvinok_m
a
xi
m
ize: add inp
u
t co
n
versio
n
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoo
l
aege
e
v
alue_c
o
nvert: extract
e
d from b
a
rvinok_enu
m
e
r
a
te a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
util
.
c: move Polyhedron_
i
s_unbounded fro
m
bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
be
r
nstein_coefficie
n
ts: ski
p
infinit
e
(sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoola
e
g
e
barv
i
nok_maxim
i
ze: let use
r
spe
c
i
fy variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
ven Ver
d
oola
e
g
e
bernstein_coeff
i
cients: skip computations if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n Verd
o
o
laege
bar
v
in
o
k
_
maximize: f
i
x
acc
e
ss to free
d
m
e
mory
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaeg
e
b
e
rnstein/piecewise_lst
.
cpp: add minimize() method
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdool
a
e
ge
ba
r
vino
k
_maxim
i
z
e
: r
e
a
d domai
n
s
w
ith UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
oolaege
use GiNaC cflags and
libs
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Ver
d
oolaege
b
a
rvinok_maxi
m
ize
:
optional
l
y call e
v
alue_spli
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oolae
g
e
evalue
.
c
: add
evalue_spl
i
t_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
util
.
c:
v
alue_lcm: mark argume
n
ts const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verd
o
o
l
aege
evalue
.
c: poly
n
om
i
al_projecti
o
n
:
a
llow NU
L
L
R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoola
e
ge
evalue
.
c: ext
r
a
ct
fiddl
i
ng
with co
e
ff
i
cie
n
ts out
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoo
l
ae
g
e
eval
u
e_bernstein_co
e
ff
i
cients:
h
a
n
dle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdo
o
l
a
ege
barvinok_maximize: re
a
d
evalues
w
ith periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
erdoolaege
evalue_ber
n
stein_coe
f
ficie
n
ts: handle periodi
c
s
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
b
ernstein
:
ber
n
ste
i
nExpa
n
s
i
o
n:
a
ccept
list of polynomials
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoolaege
barvi
n
ok_maximize:
make evalue parse a
little bit m
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
ba
r
vinok_enumerate*: be less chatty by default
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
ge
count/
e
numer
a
te: warn if input is a union
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoola
e
ge
Domain
I
n
c
ludes:
d
etect m
o
re cases
+ adap
t
documen
t
ation
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Ve
r
doolaege
evalue_be
r
nstein
_
coeff
i
ci
e
nt
s
: han
d
le
fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
olaege
eva
l
u
e_be
r
nstein_
c
oeff
i
cients: handle floorings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
S
v
en Verdoolaege
barvinok_maximi
z
e: new
t
ool f
o
r maximi
z
ing piece
w
ise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sv
e
n Verdoolaege
eva
l
u
e
.
c:
evalue_frac2polynomial: improv
e
a
ccuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
eva
l
ue
.
c
: a
d
d
comme
n
t
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
e
valu
e
.
c: add function f
o
r checki
n
g
n
est
i
n
g of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
evalue
.
c: add
mi
s
sing terms reorderings in eva
l
ue
_
r
ange
_
r
e
du
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdool
a
ege
eva
l
ue
.
c: make arguments of eequal a
n
d evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolae
g
e
barv
i
nok_enum
e
rate_e: ad
d
--
v
e
rb
o
se option
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rd
o
olaege
berns
t
ein: mark
a
rgument of value
2
n
umeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernstein
.
c
c
: add (op
t
i
ona
l
) opt
i
o
n
s
a
rg
u
ment
to eval
u
e_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
a
d
d missing virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
genfun
.
cc: rename struct
cone to avoid
conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laeg
e
do
c
:
i
n
t
eg
e
r points in th
e
fun
d
amental para
l
lelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
e
rif_ehrhart
.
c:
c
lean
u
p indent
a
tion
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
do
o
la
e
g
e
verif_
e
hr
h
art: op
t
ionally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
ver
i
f
_
ehrhart:
combine chec
k
_
p
oly from barvinok
_
en
u
merate_e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhar
t
.
c
:
check l
o
wer
a
nd upper polynomial approximations
commit
|
commitdiff
|
tree
2007-02-14
S
v
en
Verdoolaege
verify
.
h:
m
ove barvino
k
_
options into
verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoo
l
aeg
e
barvinok_enumerate: pass parameter names to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdo
o
laege
barvinok_enume
r
ate: mo
r
e polynommial approximations
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
evalue
.
c
: ad
d
evalue_f
r
ac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdool
a
e
g
e
evalue
.
c: extract evalue_split_dom
a
ins
_
into_ort
h
ants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
pol
y
sign
.
c: fix cdd_polyhedron_af
f
ine_
s
ign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makef
i
l
e
: onl
y
check lexmin if it has been com
p
iled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aeg
e
add Param_Polyhedr
o
n
_Sca
l
e_Integer protot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Ve
r
doolaege
lattice_point
.
cc: add sanity c
h
eck for
i
ndex of
c
one
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
ae
g
e
test: initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
r
doolaege
barvinok_
e
numerate:
o
ptionally compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
e
n Ver
d
o
o
laege
Provi
d
e
r
epl
a
ceme
n
t for new PolyL
i
b
funct
i
on Param_Polyh
e
d
r
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoo
l
a
ege
ad
d
evalue
_
d
i
v (adapted f
r
om PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
test: simple test for
PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Ma
k
efile
.
am: add
dependencies for checks
commit
|
commitdiff
|
tree
next