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
test_bound: convert quasipolynomials to polynomials prior to computing bound
2008-03-31
Sven Verdoolaege
test
_
bound: conver
t
quasipol
y
nomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
test_bound:
c
o
m
p
are polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ve
r
ify
.
c: optimum: hand
l
e inpu
t
eva
l
u
ating
t
o negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
eg
e
verify
.
c:
extract evalue_
o
ptimum fr
o
m
m
aximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: e
x
tra
c
t common code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e
_
range
_
propagation: add mo
n
otonicity tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_m
a
ximize: opt
i
o
na
l
ly use (basic) range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add some sup
p
o
r
t for dealing with eval
u
es
t
hat represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
barvinok_enumerate: s
u
pport
us
e
o
f
Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imple
m
ent Berno
u
lli_sum as conver
s
ion fr
o
m un
w
eigh
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
e
rnoulli_sum_evalue: e
x
ploi
t
integer bounds
t
o red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep
track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
be
r
noull
i
.
c:
p
rotect shared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test
B
ernou
l
li sums based exact en
u
meratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
barvinok_co
u
nt_with_op
t
ions
:
c
o
mpute (exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoul
l
i_sum_evalue: optionally
hand
l
e fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
l
a
ttice_point
.
h: export fract
i
onal_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
l
aege
b
a
rvinok_enumera
t
e_w
i
th_options: comp
u
te (e
x
act) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
B
e
rnou
l
li_s
u
m_ev
a
lu
e
: ha
n
dle equal
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_
s
um_evalue: cut off some redundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_evalue: mak
e
sure no em
p
ty part
i
tion
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
Bernoulli_sum_ev
a
lue
:
remove redu
n
dant co
n
s
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
bernou
l
li
.
c: minor refac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum: handle con
t
ext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Berno
u
l
l
i_s
u
m_ev
a
lue: make sure enoug
h
m
emory is alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
la
e
ge
for_each_low
e
r_up
p
er_bound: add another ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doo
l
aege
verify
.
c: ad
j
ust d
e
fault ran
g
e
to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: sum
m
a
t
e
_
over_
d
o
m
ain: o
n
ly consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
p
a
ram_util
.
c
:
expor
t
Param
_
Vertex
_
Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_Fac
e
t: pass facet definin
g
c
o
nstra
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
ge
n
fun
.
cc: parall
e
l_p
o
lyto
p
es: d
o
n't
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_do
m
ains_into_ortha
n
ts: don't reduce ev
a
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
evalue_read:
only allow term
s
to c
r
oss newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
ev
a
lue_read: o
n
ly ac
c
ept implicit
m
ulti
p
lication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
ev
a
lue_read: accept
c
on
s
traints containing "'
-
' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_bernstein
_
coefficie
n
ts: en
s
ure r
e
sult p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
bernstein
:
pie
c
ewise
_
lst
:
corre
c
tly p
r
int and
e
va
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erd
o
olaege
remove
_
a
l
l_equalities: keep re
m
oving parame
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaeg
e
up
d
ate pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
doc: consi
s
t
ent
use of
K
evin's init
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdool
a
ege
doc: update
now pu
b
lished p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
for_e
a
ch_low
e
r_u
p
per_bo
u
nd: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
Revert "eadd_par
t
itions: try to combine multiple
d
omai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
evalue_r
e
ad_
p
artit
i
on: put parti
t
ions
b
ack in
th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
evalue: reduce_eva
l
ue: add
note on
s
ome m
i
s
sed
opportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
bernstei
n
.
cc: h
a
ndle input with un
i
ons + relatio
n
vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
a
ximize
.
cc: deal with uni
o
ns in input
duri
n
g verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e
_
subs
t
itute:
properly hand
l
e r
e
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
e
value
.
c: clean up emul a
n
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdo
o
la
e
ge
evalue_read: cor
r
ectly r
e
ad v
a
r
i
abl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue_read: acc
e
pt top leve
l
"rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
updat
e
p
o
ly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backs
u
bstitute:
a
dd requir
e
d modulo co
n
straints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
eval
u
e
.
c:
*_part
i
tion
s
: simpli
f
y
c
onstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdo
o
l
a
ege
doc
:
mo
r
e specific information on
b
uggy
c
d
dlib
ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
onfigure
.
in:
r
e
quire cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdoolaege
co
n
figure
.
in
:
o
n
l
y compile occ if
c
od
e
_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olaege
barvi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
ad
d
some
t
ests for im
p
lementation of projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
doc: d
o
cument new
opti
o
ns and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
A
UTHO
R
S: up
d
a
t
e sup
p
ort info
r
mat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
genfun
.
cc: short_rat
:
:p
r
i
n
t: correctly print polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verd
o
olaege
Expor
t
series as ba
r
vin
o
k_enume
r
at
e
_series
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaeg
e
r
e
mov
e
_parameter
_
e
qualiti
e
s: st
o
p "
r
e
moving" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaege
series: leave
fre
e
i
n
g of P arg
u
ment to calling func
t
io
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olae
g
e
doc: docume
n
t imple
m
e
n
t
at
i
on of
the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
a
d
d barvinok_enumerate_e_ser
i
es implem
e
nt
i
ng the pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
gen
f
un
.
c
c: fix and doc
u
ment
para
l
lel
polytopes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
O
nly compile zsolve if gcc 3
.
4 or later
i
s availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC-
i
ndep
e
ndent pa
r
t
of
l
ibrary to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
l
a
e
ge
pol
y
lib: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
ge
doc:
how to count the
n
umber of elements in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
ge
d
oc/imp
l
em
e
ntation
.
tex: a
v
oid mu
l
t
iply defined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
latt
i
c
e
_width
.
c: tr
y
vertices
o
f
previou
s
integer
h
u
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
do
o
l
a
ege
doc:
d
o
c
ument
i
nteg
e
r
hull
c
o
m
p
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c
:
add al
l
points found by sa
m
pling d
i
rect
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
lae
g
e
Possible optimizations for generali
z
ed basis red
u
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Support us
e
of gen
e
ralized basis
r
educt
i
on to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
ad
d
Polyhedron_I
n
teger_Min
i
mum f
o
r comp
u
ting the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
doc: document generalized basis reduc
t
i
on bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoola
e
ge
doc/barvinok
.
bib: a
d
d mis
s
i
ng string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
ad
d
m
ore
m
issin
g
assert
.
h #inc
l
udes
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
evalue
.
c: add m
i
ssing
i
nclude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configure
.
in
:
pass path
o
f
GMP in
s
tallatio
n
to
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: only compile
libbarvinok a
s
a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedr
o
n_R
e
duce
d
_
B
a
s
is
:
don't stop too early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
c
o
mpute_
w
idth_di
r
e
ct
i
on
s
:
only keep list of disti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
z
s
olve: don't install lib
r
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
version
.
c:
s
how us
e
of
T
OPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
c
o
nfigur
e
.
in: don't set
wit
h
_{poly,pip}lib_
p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolae
g
e
P
o
lyhedron_Sample: be sa
t
isfied w
i
th a reason
a
ble ch
o
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
l
aege
c
one_int
e
ger
_
hull: o
p
tionally prin
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis
_
re
d
uction:
ke
e
p tra
c
k of nu
m
b
e
r
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
optio
n
s: move --print-stats
t
o l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
erdoo
l
aege
bernstein:
r
e
work testing f
r
amework to n
o
t depend
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
o
l
a
e
ge
bernstein: a
d
d
p
i
ecewise
_
ls
t
::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
doo
l
aege
suppo
r
t newe
r
vers
i
ons of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdo
o
l
aege
standa
r
d
_
constrain
t
s: m
o
v
e from
topcom
.
c
to
po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove
d
epende
n
cy on
l
e
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
z
solve: add bann
e
r
.
h to dist
r
i
buti
o
n
commit
|
commitdiff
|
tree
next