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
lattice_width.c: skip directions that are identical up to sign
2008-04-05
Sven Ve
r
doolaege
lattice_wi
d
th
.
c: skip direct
i
ons that
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolaege
Makefile
.
am:
a
d
d cdd94e
-
t
e
st to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaeg
e
o
mega
/
o
c
c
:
optio
n
a
l
ly use parker f
o
r
c
omputing car
d
inal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoo
l
aege
norm
a
l
i
zation
.
c
: ske
w
_to_positive_orthan
t
: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaeg
e
omega/convert
.
cc:
r
el
a
tion2Domain: o
n
l
y collect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
erdoola
e
g
e
occ:
a
dd
dump f
o
r dumpin
g
i
n
b
a
rvinok_enumera
t
e_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
b
arv
i
nok_enumer
a
te_e: opt
i
onally
u
se parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
standard_cons
t
rai
n
ts: take cons
t
rain
t
s inste
a
d
of polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normalizatio
n
.
c
:
extrac
t
standard_con
s
trai
n
ts fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n Ve
r
d
o
o
l
aege
parker/count_solutions
.
c
c
: fix
t
re
a
tment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdo
o
laege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
euler
.
cc: evalue_derive: handle constant p
o
lynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
a
dd some
t
e
st se
t
s from cases 2004 and cc
2
005 p
a
p
er
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
rename ba
r
vinok_maximize
to barvinok_
b
ou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
t
e
st for
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
ev
a
lue_
r
ange_p
r
opaga
t
ion
:
remove redun
d
ant polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_boun
d
: record number of polynomials as "si
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bo
u
n
d
:
con
v
ert quasipoly
n
omia
l
s to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
t
e
st_bound: comp
a
re polynomi
a
l bou
n
d algori
t
hms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
v
e
r
ify
.
c: op
t
imum:
h
an
d
le
input eval
u
ating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
ve
r
ify
.
c:
e
xtract evalue_o
p
timum fr
o
m maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
e
r
i
fy
.
c:
e
x
trac
t
common
c
ode for verifying o
p
e
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
evalue_r
a
ng
e
_propagatio
n
: add
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
bar
v
inok_maximize: optio
n
ally use (basic)
r
ange pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
Add
some support
f
o
r dealing with evalue
s
that re
p
r
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ba
r
vinok_enum
e
rate: support us
e
of Euler
-
Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
ola
e
ge
i
m
plement
B
ernoulli
_
sum as
c
on
v
ersion from unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_evalue: exploit integer boun
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track o
f
number
o
f Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
b
ernoulli
.
c: protect shared
evalue
from mo
d
ificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
t
e
s
t
B
e
rnoull
i
sums
b
ased exact
e
numeration
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoola
e
ge
ba
r
vinok_count_
w
it
h
_options: compute (ex
a
ct
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
ae
g
e
Bernoulli_sum_ev
a
lue
:
o
p
t
i
onally handle
frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
lattice_po
i
nt
.
h
:
export
frac
t
ional_part
w
ith
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
ba
r
v
i
nok_enumerate_with_options
:
com
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
Ber
n
oulli
_
sum_
e
v
a
lue: handl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
Bernoulli_sum_eval
u
e: cut
o
ff so
m
e
re
d
undant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoola
e
ge
B
e
r
noulli_s
u
m_
e
v
a
lue: ma
k
e sure n
o
empty pa
r
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
Bernoulli_s
u
m
_
ev
a
lue: re
m
ove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
b
e
r
n
o
ulli
.
c: minor ref
a
cto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
B
e
rnoulli_s
u
m: handle co
n
t
e
xt cons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laeg
e
Bernoulli_su
m
_e
v
alue: make
s
ure enough m
e
mory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
for_each
_
lower_upper_bou
n
d: add
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
v
e
rify
.
c: adju
s
t def
a
ult ran
g
e to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
eu
l
er
.
c
c
:
s
u
mmate_over_dom
a
i
n
: only consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
p
a
ram_
u
til
.
c
: export Para
m
_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
P
a
ram_Polyhed
r
o
n
_Facet: pass
f
a
c
e
t
defin
i
ng
constra
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
genfun
.
cc: par
a
llel_polyto
p
es:
d
on't b
o
ther
h
andl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolae
g
e
evalue_
s
plit_domains_i
n
to_orthants: don't
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaeg
e
eva
l
ue_read: only all
o
w t
e
rms to cross newlines
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
evalu
e
_read: o
n
ly accept implicit multiplicat
i
o
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_read
:
accept constraints
c
o
ntai
n
i
n
g "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
evalue_
b
e
rn
s
tein_
c
o
eff
i
cients: ens
u
re
r
esult partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erdoola
e
ge
b
e
rnstein: piecewise_lst: correctly
p
rint an
d
e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
remo
v
e_all_equali
t
ies: keep remo
v
i
n
g para
m
et
e
r equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
d
o
c
:
consistent use of Kevin's initial
s
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
rdoolaege
doc: update now published
p
a
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
for_each_lower_upper_bound: allow abse
n
c
e
of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Rever
t
"eadd_partition
s
: t
r
y to
combine multiple
d
o
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
evalu
e
_read_par
t
ition: pu
t
partitions
b
ack in t
h
e sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue:
r
educe_evalue:
a
dd note on some missed opp
o
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
be
r
ns
t
ein
.
cc: handle input with unions + re
l
atio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
aege
maximize
.
cc
:
d
e
al
w
ith unions in inp
u
t during
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue_substitute: properly handle relatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
eval
u
e
.
c: c
l
ean up emul and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaeg
e
evalue_read: cor
r
ectly
r
ead var
i
a
b
le na
m
es
commit
|
commitdiff
|
tree
2008-03-10
S
ve
n
Verdoolaege
evalue_read: accept top
lev
e
l
"
relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdool
a
e
g
e
evalu
e
_ba
c
ksubs
t
i
tute: add req
u
ired
m
odulo
c
o
n
s
traints
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdoolaege
evalue
.
c
:
*_par
t
i
tio
n
s
: simp
l
i
f
y constrai
n
ts before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
Verdoolae
g
e
doc: m
o
re
specific information
o
n buggy cdd
l
ib v
e
rsion
s
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Verdool
a
ege
c
onfigure
.
in: require cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
V
e
r
d
oolaege
configure
.
in: only compile occ if code_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
b
a
rv
i
nok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
add some tests
for implementation of projection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
d
ocument new
o
p
tions and
n
e
w app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
AUT
H
ORS: upda
t
e supp
o
rt inf
o
r
m
atio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
genfu
n
.
cc
:
shor
t
_rat
:
:prin
t
:
correctly
pr
i
nt po
l
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export seri
e
s as barvinok_enum
e
rate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
remove_paramete
r
_equalities: s
t
op
"
remov
i
ng"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
s
e
ries:
l
eave freein
g
of P arg
u
m
e
nt t
o
calling functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: d
o
cument implementat
i
on of the p
r
ojec
t
ion
th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add barvinok_enum
e
r
a
te_e_series
i
mplementing
t
he projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoo
l
aege
genfun
.
cc: f
i
x and document parallel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ve
r
doolaege
O
n
ly compile zsolve if
gcc
3
.
4 or later is av
a
i
l
abl
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Move
GiNaC-
i
ndependent part
of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
p
o
l
yli
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaege
doc: ho
w
to cou
n
t the
number
of elemen
t
s
i
n po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rd
o
olaege
doc/impleme
n
tation
.
tex: av
o
i
d
multiply
defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
lattice_width
.
c: try vertices of
p
re
v
ious intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
aege
d
o
c
:
docu
m
e
nt
integer hull comp
u
tat
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoola
e
ge
hull
.
c: add a
l
l points found
b
y sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoola
e
ge
Poss
i
ble optimiz
a
tions fo
r
ge
n
e
rali
z
ed
b
asis
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
Sup
p
ort use of
g
e
neraliz
e
d basis
reducti
o
n to com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
o
l
aege
add
P
o
lyhedro
n
_Integer_Minimum
f
or computing the int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
ae
g
e
doc: doc
u
ment ge
n
eralized basis r
e
duction
b
ased integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc
/
barvinok
.
bib: add
missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
dd more missing
a
ssert
.
h #includes
commit
|
commitdiff
|
tree
next