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
bernstein.cc: evalue2ex: don't assume all periodic tables have the same size
2008-04-08
Sv
e
n Ver
d
oolaege
bernstein
.
cc: evalue2ex: don't ass
u
me all per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
bound
.
cc:
f
ix call to evalu
e
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{
add
,
m
u
l
}_periodic
s
: plug
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
evalue_
b
ernstein_co
e
f
f
icients: handle p
r
o
blem
s
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
doolaege
latti
c
e_width
.
c
:
ski
p
directions
t
h
at a
r
e
i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n V
e
rd
o
ol
a
ege
M
a
kefile
.
am: add cdd94e-t
e
st to distribu
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/
o
cc: optio
n
ally us
e
parke
r
f
or com
p
uting
cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
normalization
.
c: skew_to_positive_
o
r
thant: p
r
oper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc
:
relation2D
o
main: only co
l
lec
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
oc
c
: add dump for dumping in barvi
n
ok_e
n
umerate_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
e
ge
barvinok_
e
numerate_e
:
option
a
ll
y
u
s
e
parker's m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
standard_constraints: take const
r
aints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdool
a
ege
n
o
r
maliza
t
ion
.
c: ex
t
ract s
t
a
ndard_con
s
trai
n
ts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoola
e
ge
parker/c
o
unt_soluti
o
ns
.
cc: f
i
x treatmen
t
of exis
t
enti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ve
n
Ver
d
oolaege
comp
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
euler
.
cc: ev
a
lu
e
_
derive: h
a
ndle
constant polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoo
l
aege
a
dd some te
s
t sets fro
m
cases 2004
a
nd cc 20
0
5 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
g
e
rename barvinok_maximiz
e
to bar
v
inok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add a test for test_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
e
v
alue_range_pr
o
pagat
i
on: re
m
ove redund
a
nt pol
y
nomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
t
e
st_bound: reco
r
d
number of
p
olynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
e
g
e
test_bound: conve
r
t
q
ua
s
ipo
l
ynomia
l
s to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test_bound: co
m
pare p
o
lynomi
a
l bound algor
i
th
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolae
g
e
verify
.
c: o
p
t
i
mum: handle input
e
valuating to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
verify
.
c
: extract ev
a
lu
e
_opti
m
um from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
v
e
r
ify
.
c:
e
xtra
c
t
common code
for ve
r
ifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_range_p
r
opagation: add monotonic
i
ty
t
e
s
t
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
barvi
n
o
k
_
maximize: optionall
y
use (basic)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some support for d
e
aling w
i
th evalues
t
h
at repre
s
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ba
r
vinok_enumerate: support use of Euler-M
a
c
l
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
impleme
n
t Berno
u
lli_sum a
s
conversion fr
o
m
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
Bernoul
l
i
_sum_evalue: ex
p
loit integer b
o
und
s
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
keep tra
c
k of
n
u
m
ber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
b
e
r
nou
l
l
i
.
c: protect s
h
ared e
v
al
u
e from modifi
c
ati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
t
e
st Bernoulli sums based exact enume
r
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_c
o
un
t
_with_options: compute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: opt
i
onally handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
d
o
o
laeg
e
lattice_point
.
h: export fractional_p
a
r
t w
i
t
h
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_enum
e
rate_w
i
th_op
t
ions
:
c
omput
e
(exact) Be
r
no
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
er
n
o
ull
i
_
s
um_evalu
e
: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_su
m
_e
v
alue:
cut off some
redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
ull
i
_sum_
e
v
a
l
ue: make
s
ure no em
p
ty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
a
ege
Bernoulli
_
s
u
m_evalue:
r
emove re
d
un
d
ant
c
onstr
a
int
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bern
o
ulli
.
c
:
minor refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
er
d
o
o
laege
Be
r
noul
l
i_sum:
h
andle context constrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
for_each_l
o
wer
_
uppe
r
_bound
:
add an
o
ther
callba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoola
e
ge
verify
.
c: adjust
default range
to context if
neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
eule
r
.
cc: sum
m
a
t
e
_over_domain: only
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
p
a
r
am
_
util
.
c: export Param_Ver
t
ex_Se
t
_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olae
g
e
P
a
ram_Polyhed
r
on_F
a
cet: pas
s
facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
g
enfun
.
cc: par
a
llel_
p
o
l
ytopes:
don't bo
t
her handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
u
e_spl
i
t_do
m
ains_into_ort
h
ants:
don't reduce ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
evalue_read: only allow terms to cross newlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
e
v
alue_read: only acce
p
t implicit
multiplic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_read: ac
c
e
p
t
c
onstraint
s
c
o
ntai
n
ing "'
-
' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue_bernstein_
c
oe
f
ficient
s
: e
n
s
u
re
r
esult partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdo
o
la
e
ge
bern
s
tein: pi
e
cewise_ls
t
:
c
o
rr
e
ctly p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
remove_
a
ll_
e
qualities: ke
e
p removing parameter e
q
ual
i
ti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
do
c
: consistent use
o
f
Kevin's initial
s
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolaege
doc: update now p
u
blished
p
aper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound: a
l
low absenc
e
of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
Revert "eadd_partitions: try
to c
o
mb
i
ne multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_
r
ead_partition: p
u
t p
a
rtitions back in t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
g
e
e
v
alue: reduce_ev
a
lu
e
: add
note on some
m
isse
d
o
p
por
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolaege
bernstein
.
cc: handle input with un
i
ons
+
re
l
atio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
a
xi
m
iz
e
.
cc: deal
w
it
h
unions in inp
u
t
during
verificatio
n
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
eval
u
e_
s
ubstitute:
p
rope
r
ly h
a
ndle relati
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
l
u
e
.
c:
c
le
a
n up emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_read: co
r
rectly read v
a
r
iable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolae
g
e
e
value_read: accept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdoolaege
evalu
e
_backsu
b
stitut
e
: add r
e
q
u
ired modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c
: *_
p
a
r
titi
o
ns: simplify
c
onstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc:
m
ore
spec
i
fic information on bu
g
g
y cddlib
versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Ve
r
dool
a
e
ge
configu
r
e
.
i
n
: require
cd
d
lib
0
.
94
e
by testin
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in:
o
nly c
o
mpile occ i
f
code_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaeg
e
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
eg
e
add some test
s
f
o
r implemen
t
ation
o
f
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: doc
u
ment new options and new application
s
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
AUTHORS:
u
pda
t
e s
u
p
p
ort
i
nform
a
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
e
nfun
.
cc: short_rat::pr
i
n
t
: correctly prin
t
po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Expo
r
t
s
eri
e
s as barvinok_enume
r
ate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
l
a
e
g
e
remo
v
e_
p
arameter_e
q
uali
t
ies: stop "removing" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
d
oolaege
series: leav
e
freeing
of P arg
u
m
e
n
t
to calling fu
n
ctio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
do
c
: d
o
cume
n
t
i
m
plementati
o
n of the projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
add barvi
n
o
k_enumerate_e_series
implemen
t
ing the projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
olaege
genfun
.
cc: fix and
d
ocu
m
ent para
l
lel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Move GiNaC-independen
t
part of
l
ibra
r
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolaeg
e
polylib: u
p
dat
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
olaege
doc: how to cou
n
t the number of elements in p
o
ssib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n
Verdoo
l
aeg
e
doc/implementation
.
t
e
x: avoid multipl
y
def
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoo
l
aege
lattice_wid
t
h
.
c
: t
r
y
ver
t
ic
e
s of previo
u
s intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
d
ocument integer
h
u
ll
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add all p
o
ints found
by samp
l
ing directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rdoo
l
a
eg
e
Possible optimization
s
fo
r
genera
l
ized
b
asis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use
o
f
g
eneraliz
e
d basis re
d
uction to compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
rdoolae
g
e
add Polyh
e
dron_I
n
teger
_
Minimum for computing th
e
integer
.
.
.
commit
|
commitdiff
|
tree
next