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
Sve
n
Verdoolae
g
e
lattice
_
wi
d
t
h
.
c: sk
i
p
dire
c
tions
t
hat are id
e
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ve
n
Verdoolaege
Makefil
e
.
a
m: a
d
d cdd94e
-
t
est t
o
dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdool
a
ege
omega/occ: option
a
l
l
y use
parker for
computi
n
g car
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doolaege
normal
i
z
atio
n
.
c: skew_to_pos
i
tive_orth
a
n
t: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/conver
t
.
cc: relation2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
occ: add dump f
o
r dumping in barvino
k
_enumerate
_
e
form
a
t
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
e
r
doo
l
aege
barvinok_enumerate_e: op
t
ionally use park
e
r's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constrain
t
s: take constrain
t
s instead of
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normali
z
ation
.
c:
e
x
t
ract standard
_
constraints
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolae
g
e
p
arker/count_solut
i
o
ns
.
cc: fix trea
t
ment of existentiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
eule
r
.
cc: evalu
e
_
d
eri
v
e
: handle constant po
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
a
dd s
o
me test s
e
t
s
f
r
om case
s
2004 and cc 2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
renam
e
ba
r
vinok_maximize to bar
v
ino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
add a test for
t
est_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
dool
a
ege
evalue_range_pro
p
ag
a
ti
o
n
:
re
m
ove
r
edu
n
dant poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
t
e
st_boun
d
: record number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
o
olaeg
e
t
est_bound: c
o
n
v
e
r
t qua
s
ipolynom
i
a
l
s to
p
olynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
test
_
bou
n
d: co
m
p
ar
e
polynomial bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
verify
.
c: optimum: handle inp
u
t e
v
aluating to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
verify
.
c: extract evalue
_
optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: extract com
m
on
c
od
e
for verify
i
n
g o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalu
e
_range_
p
ropagation: a
d
d monotonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
barvinok_maximize
:
optionally use (basic
)
rang
e
propagat
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Add some supp
o
r
t
for dealing
with
e
values that repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate: support u
s
e of Eul
e
r-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
i
mplem
e
nt B
e
rnoull
i
_sum as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoull
i
_sum
_
evalu
e
: exploit intege
r
bounds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
keep
t
rack of number of
Bernoulli
sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
bernoulli
.
c: protect shared evalue from
modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
t
e
s
t Bernoulli
sums
b
a
sed exa
c
t enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
a
ege
b
a
rvinok_count_with_o
p
tions: compute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
e
ge
Bernoulli_sum_e
v
alu
e
: op
t
ionally
handle fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
latt
i
c
e_
p
oint
.
h
:
expor
t
fractional_part with C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate
_
w
ith
_
o
p
tion
s
: compu
t
e (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolae
g
e
Ber
n
o
ulli_sum_evalue: handle equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
olaege
Bernoulli_sum_evalue: cut off some redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Bernoul
l
i_sum_evalue: make sure
no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli
_
sum_e
v
alue: remo
v
e redundan
t
cons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
ber
n
oulli
.
c: minor re
f
actor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_
s
um
:
hand
l
e co
n
text
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
doolaege
for_each_lower_
u
pper_bound: add another
c
allback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
l
a
ege
v
e
rify
.
c
: adjust d
e
f
a
ult range
to c
o
ntext if nee
d
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: s
u
mmate_ove
r
_
d
omai
n
: on
l
y co
n
sider
a
ctu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoo
l
aege
pa
r
am_ut
i
l
.
c: ex
p
ort Pa
r
am_
V
er
t
ex_S
e
t
_
Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Param_P
o
lyhedro
n
_Fac
e
t:
p
ass face
t
defining
c
onstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
genfun
.
c
c
:
p
aral
l
e
l
_
polytopes: d
o
n'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_split_domains_into_orthan
t
s:
d
on't redu
c
e e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
e
v
alue_re
a
d: only allow ter
m
s
t
o cross
newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ev
a
lue_read
:
on
l
y
a
cc
e
pt im
p
licit multiplicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
evalue_read: ac
c
ept constraints c
o
n
taining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
v
alu
e
_
bernstein_coefficie
n
ts: ensure
result
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
bernst
e
in:
p
iecewi
s
e_lst: correctly print
a
nd
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoola
e
ge
remove_all_equalities:
k
eep
r
emo
v
ing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
u
pdate poly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consiste
n
t use of Ke
v
in's initials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
laege
doc: upda
t
e n
o
w pub
l
ished pap
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
for_each_lower_upper_bound
:
a
l
lo
w
absence
o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
Revert "eadd_p
a
rtitions:
t
ry
to comb
i
ne multiple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
evalue_read_partiti
o
n
:
p
ut part
i
tions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Ver
d
oolaege
evalue: re
d
uce_ev
a
lue: add note
o
n
some m
i
ssed
o
p
portunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
bernstei
n
.
c
c:
handle i
n
put with unions + relat
i
on
v
i
o
l
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
a
x
imize
.
cc
:
dea
l
with u
n
ions in input during verif
i
cation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue
_
substitute
:
properly
handle relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue
.
c: clea
n
up e
m
u
l
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doola
e
ge
evalue_
r
ead: cor
r
ectly r
e
a
d variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: a
c
c
e
p
t top
l
e
ve
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdoo
l
aege
e
v
a
lue_backs
u
bstit
u
te: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en
Ver
d
oolaeg
e
eva
l
ue
.
c: *_par
t
itions: simplify constr
a
ints be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdoolaege
d
oc:
m
o
r
e specific i
n
format
i
o
n
on buggy cd
d
lib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolaege
configure
.
in:
r
equir
e
cddl
i
b
0
.
94e by testing fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdoolaege
c
onfigure
.
in: only compi
l
e
occ if code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
add some test
s
for implementation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
doc: document new
o
ptions and ne
w
applicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
A
U
THORS:
update supp
o
rt infor
m
at
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
ge
n
fun
.
cc: short_rat::pri
n
t:
correc
t
ly print po
l
ynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoo
l
a
e
ge
E
x
port s
e
ries as barvin
o
k_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equalities: stop "remov
i
ng" equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
seri
e
s: leav
e
freeing of P argument to cal
l
ing func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
e
ge
do
c
: do
c
ument implementation of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
add barvinok
_
e
numerate_e_series implement
i
ng the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
genfun
.
cc:
fi
x
and documen
t
parallel
polytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
e
r
do
o
l
a
e
g
e
M
o
ve GiNa
C
-i
n
dependent part of
l
ib
r
a
ry to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
do
o
laege
pol
y
lib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count the number of elements i
n
possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doola
e
ge
doc/implem
e
n
tation
.
tex: avoid m
u
l
t
iply de
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
lattice_width
.
c: try vertices
o
f previous integer hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: d
o
c
u
ment inte
g
er hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
g
e
h
ull
.
c
: add all
p
o
ints fou
n
d by s
a
mpl
i
ng dir
e
ctly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
erdoolaege
Possible optimizations for
g
ene
r
alized basi
s
redu
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolaege
S
u
p
p
ort use of
generalized
basis reduction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add
Polyhedro
n
_Int
e
ger_
M
inimum
for
c
o
m
p
u
ting the
i
n
teg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
d
ocu
m
ent gene
r
alized basis reduction based int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erdoolaege
doc/barvinok
.
bib:
a
dd
m
i
ssing str
i
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
add more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
dool
a
ege
c
onfi
g
ure
.
in: only comp
i
le
l
ibbarvinok as
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
Polyh
e
dron_Reduced_B
a
sis: don't s
t
o
p too early when
.
.
.
commit
|
commitdiff
|
tree
next