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
Sven Verdoola
e
g
e
bern
s
tein
.
cc: evalue2ex: don't ass
u
me all pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bound
.
cc: f
i
x c
a
ll to ev
a
l
u
e_
c
onvert
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n V
e
rdoolaege
e{add,m
u
l
}
_periodics: plug memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolae
g
e
e
value_bernstei
n
_coeffi
c
ients: han
d
le
p
roblem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
update
p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdool
a
ege
lattice_width
.
c
: skip directions
that
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaege
M
a
kefile
.
am: add cdd94e-tes
t
to
d
i
stributio
n
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
d
oolaege
omega/occ: optiona
l
ly use
par
k
er for co
m
puting card
i
nalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normali
z
ation
.
c: sk
e
w_
t
o_positive
_
orthant: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdo
o
lae
g
e
omega/convert
.
cc: rela
t
ion2Do
m
ain: only
c
oll
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
oolaege
occ:
add dump
for dumpi
n
g in barvi
n
ok_enu
m
erate
_
e
f
o
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
barvinok
_
en
u
merate_e: optionally
u
se parker's
method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Verdoolaege
standard_constraints: take constraints
i
ns
t
ead of pol
y
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
normalization
.
c:
extract st
a
ndard_constra
i
nts fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoo
l
ae
g
e
parker
/
count_solution
s
.
c
c
: fix tre
a
tment of ex
i
stentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
olaege
compil
e
p
a
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Add p
a
rk
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
eule
r
.
c
c
:
evalue
_
d
erive: han
d
l
e
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
add so
m
e te
s
t set
s
from ca
s
es
2004 and c
c
2005
pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
rename ba
r
vin
o
k_max
i
mize to b
a
r
v
inok_b
o
un
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add a t
e
st
for test
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eval
u
e
_
range_pr
o
pagatio
n
: remove redundant poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
te
s
t_bou
n
d: record
n
umber of polynomials
a
s
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_bound
:
convert
q
uasipolynomia
l
s
to polyn
o
mial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_boun
d
: compare pol
y
nomi
a
l bound al
g
o
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c: o
p
timum:
handle inpu
t
eva
l
ua
t
ing to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olae
g
e
v
e
rify
.
c: extract
e
value_op
t
i
mum from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
e
r
ify
.
c:
e
x
tract c
o
m
m
o
n code
f
o
r verifying op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
a
nge_propagat
i
o
n
: add
m
onotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
ba
r
vin
o
k_max
i
m
ize: op
t
ionally use (basic)
r
ange propag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
Ad
d
so
m
e support
f
o
r dealin
g
w
ith evalu
e
s that repres
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvin
o
k
_
enumerat
e
:
s
upport use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
i
m
plement Bernoulli_sum
a
s
conversion fro
m
un
w
e
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
Bern
o
ull
i
_
sum_evalue: exp
l
oit integer bounds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
kee
p
track of
n
umber of
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bernou
l
li
.
c: prote
c
t
sh
a
red evalue
f
rom modifica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bern
o
ulli sum
s
based exact enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvino
k
_count_with_o
p
tions: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_evalue: opti
o
nally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
l
a
t
t
ice_po
i
n
t
.
h
:
e
x
po
r
t fractio
n
al_p
a
rt with
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_enumerate_with_
o
ptions:
c
ompu
t
e (exact) Ber
n
ou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_evalue:
handle equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_evalue: cut of
f
some redundant pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
e
g
e
Bern
o
ulli_sum_evalue:
m
ake sure no emp
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
sum_ev
a
lu
e
: re
m
ove redundant constra
i
nt
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ber
n
o
ulli
.
c: minor r
e
factoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
Ber
n
o
ulli_
s
um: handle context c
o
nstrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Be
r
no
u
lli_sum_evalue:
make sure enough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
for_each_low
e
r
_
upper_bound: add another
c
allback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
v
erify
.
c: adj
u
st de
f
ault range
to context if neede
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
u
le
r
.
cc: summate_over_dom
a
in
:
only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
p
a
r
a
m_util
.
c: export Param_Vertex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
Pa
r
am_P
o
lyh
e
dron_F
a
c
et: pass face
t
defi
n
ing constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
ge
n
fun
.
cc: pa
r
allel_polytopes: don
'
t bother hand
l
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
doolaege
evalue_split_domains_into_orthants: don't reduce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
r
ead:
o
n
l
y allow terms
t
o cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_
r
ead:
only accept implicit multipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_r
e
ad: accep
t
constr
a
ints contain
i
ng "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oolaege
evalu
e
_bernstein_co
e
ffic
i
e
n
t
s
: ensur
e
re
s
ult partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
bernste
i
n: piecewise_
l
st
:
c
o
rrectly print
a
n
d
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoolaege
remove_all_equa
l
iti
e
s:
k
eep removin
g
parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
er
d
oolaege
update po
l
yli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
oc:
cons
i
stent use of Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
doc: update
n
ow published
pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
for_each
_
lower_upper_bound: all
o
w absence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
laeg
e
Revert "eadd_
p
artitions: try to com
b
in
e
mult
i
p
l
e
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
evalue_read_partition:
put partiti
o
ns bac
k
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
e
value:
r
educe_evalue: add
n
ote on s
o
me miss
e
d opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolae
g
e
bernste
i
n
.
cc: handle input with unions + re
l
ati
o
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoola
e
ge
maximize
.
cc:
deal with unions in input during verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
lue_subs
t
itute: pro
p
e
r
ly h
a
ndle relations
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolae
g
e
evalue
.
c
:
c
lean up emul an
d
ead
d
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoolaege
eva
l
ue_read: correctly read
v
a
r
iable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue_read: accept top
level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Ver
d
oolaege
ev
a
lue_backsubstitute:
add req
u
ired modulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdoolaege
evalue
.
c: *_partitions:
s
i
m
plify con
s
train
t
s bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoolaege
doc: more s
p
ecific
inf
o
rmation on
b
uggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoolaege
configure
.
in:
r
equire cdd
l
ib 0
.
94e by
t
esting
f
o
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
i
n
: only
c
om
p
ile o
c
c if
c
od
e
_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdo
o
laege
barv
i
nok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add s
o
me te
s
ts
f
or implement
a
tion o
f
pr
o
jection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdo
o
lae
g
e
doc:
d
o
cument n
e
w op
t
ions and new
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aege
AUTHORS: update s
u
ppor
t
information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
genfun
.
cc: short_ra
t
::print: correctly print poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ver
d
oolaege
E
x
port series as b
a
rvi
n
o
k
_
e
n
umerat
e
_series an
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
remove_
p
ar
a
meter
_
equalities: stop "removing"
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
s
eries
:
leave freeing of P argu
m
ent to calli
n
g function
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
doc: d
o
cumen
t
implementation of
the projec
t
ion t
h
eo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
add bar
v
i
n
ok_enumerate_e_serie
s
implementing t
h
e proje
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdool
a
ege
ge
n
fun
.
cc: f
i
x
a
nd
d
ocu
m
ent parallel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoolae
g
e
On
l
y compile zs
o
lve if gcc 3
.
4 o
r
later i
s
availabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiN
a
C
-
i
nd
e
penden
t
part
of library to b
a
r
v
in
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolae
g
e
p
o
l
ylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
d
o
c: h
o
w to count the number
of elements in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaege
d
oc/
i
m
p
lementation
.
tex: avoid multi
p
l
y
defined
l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
ola
e
g
e
lat
t
i
c
e_wi
d
th
.
c: try vertic
e
s of prev
i
o
us
integer
h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaeg
e
d
o
c
: document integer h
u
ll c
o
mputa
t
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add all points found by sampling d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possi
b
le optimizations for g
e
neralized basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
next