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
Makefile.am: add cdd94e-test to distribution
2008-04-04
Sven Verdoo
l
aeg
e
Makefile
.
am:
a
dd cdd94e
-
test to distr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdool
a
ege
omega/occ: optionally use parke
r
for compu
t
ing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normali
z
atio
n
.
c: s
k
ew_to_
p
ositive_
o
rthant
:
p
r
oper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
omega/convert
.
cc:
rela
t
i
on2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
ool
a
ege
oc
c
: add du
m
p for dumping
i
n barvi
n
o
k_enumera
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdool
a
ege
barvinok_enumer
a
te_e: optionally use parker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
standard_co
n
straint
s
: t
a
ke c
o
nstraints in
s
tead of polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normaliz
a
tion
.
c: extract standard_constraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
parker/
c
ount_solutions
.
cc: fix trea
t
ment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaeg
e
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
doolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
ae
g
e
euler
.
c
c: evalue_
d
erive: handle
c
onstant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
a
d
d
some
t
e
s
t se
t
s fro
m
cases 20
0
4
and cc 2005 pap
e
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdo
o
laeg
e
rename b
a
rvinok_maxim
i
z
e
to barvinok
_
bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a te
s
t for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolae
g
e
evalue_range
_
propa
g
ation:
remove
redundant polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_boun
d
:
r
eco
r
d number
o
f polynom
i
als as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
aege
test_bound: convert q
u
asipolynomials
t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
te
s
t_bou
n
d: compare
polynomia
l
bound algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: handle i
n
put eval
u
ati
n
g
to negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
ae
g
e
verify
.
c: extract e
v
alue_optimum
f
rom maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoo
l
aege
verify
.
c: extract co
m
m
o
n code for
v
erifyin
g
oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ev
a
lue_range_propagation:
a
dd monotonic
i
t
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
lae
g
e
barvinok_maximiz
e
:
optionally u
s
e (basi
c
) range
p
ro
p
agati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
ool
a
eg
e
A
d
d some support
f
or d
e
ali
n
g wi
t
h e
v
alues tha
t
r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate:
sup
p
o
rt use of Euler-
M
a
c
lauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
m
plement
B
ernoulli_s
u
m as conversion f
r
om
unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_
s
um_
e
value: exploit integer bounds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
keep track
o
f n
u
mber of Bernou
l
li
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c:
prot
e
c
t s
h
a
red
e
val
u
e from mod
i
fications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
test Ber
n
oul
l
i sums
based
exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvino
k
_count_with_options: compute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
Bern
o
ulli_sum
_
evalue: opti
o
nally handl
e
fract
i
ona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
lattice_po
i
nt
.
h:
e
xport fr
a
ctional
_
part with
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_enumerate_w
i
th_options: co
m
pute (ex
a
ct) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli
_
sum_evalue: hand
l
e equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
erno
u
lli_
s
um_evalue: cut
off som
e
r
edunda
n
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
eva
l
u
e: m
a
ke s
u
r
e
no e
m
pty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
Bernoull
i
_sum_ev
a
lue: remo
v
e redundant c
o
nstr
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
b
ernoulli
.
c: minor ref
a
ctori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
Bernoulli_sum: handle context co
n
stra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
a
e
ge
Bernoulli_su
m
_evalue
:
make sure
e
nough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
dool
a
ege
for_ea
c
h_lower_upper_bound: ad
d
another call
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doo
l
aege
verify
.
c: a
d
just defaul
t
range to c
o
ntext i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
euler
.
cc: summate_over_domain: onl
y
cons
i
der actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
p
a
ra
m
_util
.
c: export Pa
r
am_
V
erte
x
_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Param_P
o
lyhed
r
on_F
a
cet: pass
facet
defining
c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
genfun
.
cc: p
a
rall
e
l_polytopes:
d
on't
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
evalue_split_dom
a
ins
_
i
n
to
_
orthants: don't r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doo
l
a
e
ge
e
v
a
lue_read: only allow
t
e
rms
t
o
cross newlines in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaeg
e
eval
u
e_read:
only
a
c
c
ept imp
l
ic
i
t multip
l
i
ca
t
ion o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
evalue_re
a
d: accept c
o
nstrai
n
ts con
t
aining "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ev
a
lue_bernstei
n
_
c
o
e
f
f
icients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
bernste
i
n: piecewi
s
e_lst
:
c
or
r
ectly print an
d
evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
r
e
m
o
ve_all_equ
a
lities: ke
e
p
r
e
m
oving
parame
t
er e
q
ual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
ae
g
e
updat
e
p
o
lyli
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc: c
o
nsistent use of Kevin's ini
t
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc:
u
pdate
now
published paper
s
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
for_ea
c
h_lower_upper_bound: allo
w
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
doolaege
Revert
"
e
a
dd_partit
i
ons: tr
y
to combine multip
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
evalue_re
a
d_partition: put
part
i
ti
o
ns back in the
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue: reduce
_
e
v
alue: add note on some mis
s
ed o
p
portunit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ola
e
ge
bernstein
.
cc: handle inpu
t
with unions +
r
elation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolae
g
e
maximize
.
cc: d
e
al wi
t
h unions in inp
u
t durin
g
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_su
b
stitute: properly handle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoo
l
aeg
e
e
v
alue
.
c: clean up e
m
ul a
n
d
e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_r
e
ad: correctly read variab
l
e names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
e
va
l
ue
_
r
ea
d
: accept
t
op
l
evel
"
relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
up
d
ate
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
e
n
V
erd
o
olaege
evalue_
b
acksubstitu
t
e: a
d
d required modu
l
o constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
d
o
o
laege
evalue
.
c:
*
_p
a
r
tition
s
: si
m
plify c
o
nstraints
b
e
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n
V
e
rdoolaege
doc: more sp
e
cific inf
o
rmat
i
on on bu
g
gy
c
d
dlib versions
commit
|
commitdiff
|
tree
2008-01-28
S
ven Ver
d
oolaege
configure
.
in: requ
i
re cd
d
lib 0
.
9
4e by t
e
sting fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en
V
erdoolaege
c
onf
i
gur
e
.
in: o
n
ly compi
l
e occ if code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tests fo
r
i
mplementation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
doc: document new
o
ptions an
d
new appl
i
c
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
AUTHORS: up
d
ate support
i
n
formation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: short_rat::print:
c
o
r
rectly pri
n
t polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export s
e
ries as barvino
k
_enumera
t
e_ser
i
es and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoola
e
g
e
r
emove_par
a
meter_
e
q
u
alities: sto
p
"removi
n
g" eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
series: leave freein
g
of P a
r
gument
to calling f
u
ncti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
d
o
c: do
c
ument impl
e
mentati
o
n of the pro
j
ect
i
on theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
a
d
d barvinok_e
n
umerate_e_
s
erie
s
implementing the
project
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
genf
u
n
.
cc
:
fix and document pa
r
al
l
el polyto
p
e
s
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
nly compile zsolve if gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
Move GiNaC-indep
e
ndent
pa
r
t
of library to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
poly
l
ib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdool
a
ege
doc: how to coun
t
the number of
ele
m
ents in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/
i
m
plementa
t
ion
.
te
x
: avoid
multi
p
ly define
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
g
e
lattice_width
.
c: try
vertices of previous inte
g
e
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Ve
r
dool
a
ege
doc: doc
u
ment inte
g
er hull comp
u
tation
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoolaege
h
ull
.
c: add all p
o
ints found
by sampling d
i
rectly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ver
d
o
o
laege
Possible
o
pt
i
mizatio
n
s fo
r
g
e
n
eralized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rdoolaege
Support use of
gener
a
l
ized basis reduction to c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolae
g
e
add Po
l
yhedr
o
n
_
Inte
g
er_Min
i
mum for computing the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document genera
l
ized
bas
i
s re
d
uction bas
e
d integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaeg
e
d
o
c/
b
arvi
n
ok
.
b
ib: add missing
string
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
r
d
ool
a
ege
a
d
d more missing assert
.
h
#inc
l
u
des
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
config
u
re
.
i
n
: only
c
ompile libbarvinok a
s
a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
next