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: make some evalue arguments const
2007-03-17
S
ven Verdoo
l
aege
evalue
.
c:
make
s
ome eva
l
ue argume
n
ts const
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
e
v
alue_frac2floor2
:
also
c
onve
r
t non-part
i
tio
n
if
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdool
a
ege
verify
.
c
: c
h
ange verify_o
p
tio
n
s_set_range pr
o
totype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
b
e
rnstein: pie
c
ew
i
se_lst::evaluate: support
d
iffere
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
verify
.
c: turn off continue
_
on_erro
r
by de
f
ault
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
b
er
n
stein: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
Verd
o
olaege
doc: proo
f
of
existence
o
f suitable
y
for primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolae
g
e
doc: fi
x
proo
f
of existence of suit
a
ble
y
for prima
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oola
e
ge
bernstein
.
cc
:
bernstein_coefficients: create
s
igne
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
barvi
n
o
k_maximize: optionally use recur
s
ive bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdool
a
ege
bernstein
.
cc: bernstein_coeffi
c
ients: support
g
en
e
r
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
b
e
rnstein
.
cc: refactor be
r
nstein
_
coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
S
ven V
e
rdoolaege
bernstei
n
:
piec
e
wise_ls
t
: add sig
n
and remove red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein:
add
remove_redund
a
nts method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
do
c
: p
r
imal dec
o
mposition: typo fixes + c
l
a
rifications
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Verd
o
olaeg
e
doc: fix primal decomposition example + clea
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verdo
o
l
a
ege
D
o
cu
m
e
n
t
prim
a
l decomposit
i
on
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Verdool
a
e
g
e
barvinok
.
cc: barvin
o
k
_
enumera
t
e:
f
i
x
lower
b
ound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoola
e
ge
evalue
_
spl
i
t_periods: gracef
u
lly handle
z
e
r
o
evalu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n V
e
r
doolaege
barvinok_maximiz
e
: handle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoo
l
ae
g
e
barv
i
n
ok_enumerate_e: c
l
ean up allocation of option
s
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoola
e
ge
ba
r
vinok
.
c
c
:
handle case wh
e
re nothing is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Verdool
a
e
g
e
evalue_conv
e
rt
:
s
u
p
port pr
i
nti
n
g
a
qu
a
si-
p
o
ly
n
omiala
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
ven Verdoolaege
latt
i
ce
_
point
.
h: make self-cont
a
i
ned
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoolaege
eva
l
ue
.
c: ext
r
act evalue_extra
c
t_affine from be
r
n
st
e
in
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
ven Verdoolaege
bernste
i
n
.
cc: b
e
r
n
stein_coeffici
e
nts_
p
roduc
t
: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaeg
e
bernstei
n
_coef
f
icie
n
ts: o
p
t
i
o
nally optimize dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernst
e
in_coefficients: factorize domain if
p
o
s
sible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
lae
g
e
Polyhe
d
r
o
n_F
a
ctor: optionall
y
ret
u
r
n
r
elation betwee
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
be
r
nste
i
n: export replaceVar
i
ablesInPolyno
m
ial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
be
r
nstein
.
cc: evalue2ex: r
e
present fractional by sca
l
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvinok_maximize: fi
x
ha
n
d
l
i
n
g of UNIONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdoolaege
berns
t
e
in_coeff
i
cie
n
ts:
skip emp
t
y subdomai
n
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolae
g
e
ba
r
v
i
nok_ma
x
imize
:
f
ix
d
e
te
c
tion
of end of
domain s
p
ecification
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
barvinok_maximize: a
d
d inp
u
t con
v
ersion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaeg
e
evalue_conv
e
r
t
: extracted from
b
arvinok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdo
o
l
aege
uti
l
.
c: move Polyhedron_is_un
b
o
u
nd
e
d
from bernstei
n
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
bernstein_c
o
efficients: ski
p
inf
i
nite
(
sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
b
a
rvinok_
m
axi
m
ize
:
l
et user
s
p
e
cif
y
var
i
able
s
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_coe
f
f
i
ci
e
nts:
s
k
i
p
c
omput
a
tions if dom
a
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolaege
barvinok_ma
x
imize: fi
x
access
to
f
r
eed
m
e
m
o
ry
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein/piece
w
is
e
_lst
.
cpp: add minimi
z
e() method
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n Ver
d
oola
e
ge
ba
r
vinok_m
a
ximiz
e
:
rea
d
d
omains with
U
NIONs
commit
|
commitdiff
|
tree
2007-02-26
S
v
e
n
Verdoolaege
use GiNaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvinok
_
m
aximize:
o
pti
o
nally
c
a
l
l evalue_spl
i
t_per
i
ods
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdool
a
ege
e
v
a
lue
.
c: add ev
a
lue_
s
p
l
i
t
_peri
o
ds
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verdool
a
ege
u
t
i
l
.
c: val
u
e_l
c
m: mark arg
u
ments const
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Ver
d
ool
a
ege
evalue
.
c:
polynomial_proj
e
ction: allow NULL R argume
n
t
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
e
value
.
c: extract fiddling with coeffi
c
ients out
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sve
n
V
e
rdoo
l
aege
evalue_b
e
rnstein
_
coefficient
s
:
handle each co
s
e
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdool
a
e
ge
barv
i
n
o
k_maximiz
e
:
read evalues
with periodics
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
oolae
g
e
evalue_bernstei
n
_
c
oef
f
icien
t
s: handle
periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
be
r
nste
i
n: bernstei
n
E
x
pansion
:
accept list of pol
y
no
m
ials
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoo
l
a
ege
barvinok_maximize:
m
ak
e
evalue
pa
r
se a li
t
t
l
e bit
m
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaeg
e
ba
r
v
i
n
o
k_enumerate*
:
be less c
h
att
y
by d
e
f
ault
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Ver
d
oolaege
count/enumera
t
e: wa
r
n if input is a unio
n
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
Do
m
ainIncludes: d
e
t
e
ct more ca
s
es + a
d
a
p
t documen
t
ation
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n
V
erdoolaege
evalue_bernstein_c
o
efficients: handle fractionals i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Ve
r
doolaeg
e
e
value_bernstein_coe
f
ficients: handle floo
r
i
n
gs in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoolaege
ba
r
vin
o
k_maxi
m
ize:
n
ew tool for
maximizing piece
w
ise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven V
e
rd
o
ola
e
g
e
evalue
.
c
: evalue_f
r
ac2polynomial: improve ac
c
urac
y
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaege
evalue
.
c:
add comm
e
n
t
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n V
e
rdoolaege
e
va
l
ue
.
c: ad
d
functi
o
n f
o
r checking
n
e
s
t
i
ng of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven
Ver
d
oola
e
ge
ev
a
l
u
e
.
c:
add m
i
ssing terms reorderings in evalu
e
_ra
n
ge_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaege
eva
l
ue
.
c:
m
ake argume
n
ts of e
e
q
u
al and evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolae
g
e
barvinok_enumerate
_
e:
a
dd --
v
erb
o
s
e
opti
o
n
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
erns
t
ein: mark argument o
f
value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n V
e
r
d
oolaege
b
e
rnstein
.
cc: add
(
o
p
ti
o
nal)
o
ptions arg
u
ment to evalue_
b
ern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
ad
d
m
i
ssing
virtual d
e
struc
t
ors
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaeg
e
genfun
.
c
c: ren
a
me struct
co
n
e t
o
avoid conflict
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
doc:
i
n
tege
r
p
oi
n
ts in
t
h
e
f
undamental parallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aeg
e
verif_ehrhart
.
c: clean
up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
dool
a
ege
verif_
e
hrha
r
t
: op
t
ionally contin
u
e on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
d
o
olaege
v
erif_
e
hrhar
t
: combine ch
e
c
k
_poly fr
o
m barvinok_enumera
t
e_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdo
o
l
a
e
ge
verif_ehrh
a
rt
.
c:
c
h
eck low
e
r a
n
d upper polyno
m
ial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
ve
r
ify
.
h: move barvinok_opt
i
ons into veri
f
y_op
t
ions
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdo
o
laege
bar
v
inok_
e
n
u
merate:
p
ass param
e
ter names to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
barvi
n
o
k
_enumerate: more pol
y
nommial approx
i
m
a
t
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
e
value
.
c: add ev
a
lue_frac2po
l
y
n
o
mial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalue
.
c: ext
r
a
c
t
evalue_spli
t
_doma
i
ns_into
_
orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
polysi
g
n
.
c: fix cdd_polyhedron_affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdool
a
ege
Ma
k
efile: only che
c
k lexmin if it
h
as
b
een
c
ompiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add
Param
_
Po
l
yhed
r
on_
S
c
a
le_Integ
e
r pro
t
otype
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
rdo
o
laege
l
a
ttice
_
p
oint
.
cc: add sanity check for index
o
f cone
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
V
e
rd
o
ol
a
ege
test: initialize
nbMat
commit
|
commitdiff
|
tree
2007-02-12
S
ven V
e
rdo
o
l
aege
barvinok_enumerate: op
t
ionally compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoola
e
ge
Provide replac
e
ment for ne
w
Po
l
yLib function Par
a
m_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
a
d
d e
v
alue_
d
iv (adapted fr
o
m PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
tes
t
: simple test for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoo
l
aege
Makefile
.
am: add depend
e
ncies for chec
k
s
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Ver
d
oolae
g
e
genfu
n
.
cc: shor
t
_rat
:
:normalize: micro-o
p
t
imizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
oolae
g
e
Q
Q: ca
n
o
nicalize on read an
d
mu
l
tiplication
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
l
aege
doc: barv
i
nok
_
series require
s
polyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
ege
Ma
k
e
f
i
le
.
am:
check barvino
k
_
e
numerate --series du
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
o
l
aege
ba
r
v
i
n
ok_enumerate: compute series o
f
polyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoolaeg
e
util
.
c: m
o
ve Polyhedron_has_po
s
i
t
ive_rays from ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
test
a
ll spec
i
al
i
zatio
n
algori
t
hms
d
uring make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass o
p
tions through to
b
arvinok_co
u
nt in bar
v
inok
_
enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
v
en
V
erd
o
olaege
Ha
n
dle n
o
n-unimodular cones in dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
e
r
doolaege
barvinok_sta
t
s: rename
u
nimo
d
ular_cones t
o
base_
c
o
n
es
commit
|
commitdiff
|
tree
next