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
normalization.c: skew_to_positive_orthant: properly handle unions
2008-04-03
Sven Ver
d
o
o
lae
g
e
normalizat
i
on
.
c: ske
w
_
t
o
_
p
ositiv
e
_or
t
hant: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/conv
e
rt
.
c
c: rel
a
tion2Domain
:
only colle
c
t se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
doolaege
o
c
c: add du
m
p
f
or
d
umping in barvinok_enumer
a
te_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verd
o
olaege
barvinok_enum
e
rate
_
e
: opti
o
n
a
ll
y
u
s
e parker
'
s
m
e
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constraints: take constraints instead of polyhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
normalization
.
c
:
e
xtract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
parker/count_solutions
.
cc: fix treatment of
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoo
l
aeg
e
compile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
d
o
olaege
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoola
e
g
e
euler
.
cc: evalue_de
r
i
ve:
h
andle constant po
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
s
o
me
t
est set
s
from case
s
2004 an
d
cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
rename barvinok_maximize
to barvinok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
add a
test for
t
es
t
_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
d
oolaege
evalue
_
ran
g
e_propagation: remov
e
redunda
n
t polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_boun
d
: record
number of polynomials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bo
u
nd
:
convert quasip
o
lynomials
to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoo
l
aege
test
_
b
o
u
n
d: comp
a
re polynom
i
al bound algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
ver
i
fy
.
c: opt
i
mum: handle i
n
put ev
a
luating t
o
nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c:
e
x
t
r
a
ct evalue
_
o
p
tim
u
m
fr
o
m
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: extrac
t
common co
d
e for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
e
v
alue_r
a
ng
e
_
propagation:
a
dd m
o
notonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
barvinok
_
m
a
ximize: o
p
t
i
o
n
ally use (basic) range propa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
g
e
Add so
m
e
s
u
pport for dealing with eval
u
es that re
p
rese
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvin
o
k_enumerate: support use o
f
Eu
l
e
r-
M
aclaur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doolaege
im
p
lemen
t
Bernou
l
li_sum as conv
e
rs
i
on
f
rom unweighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
Bernoulli_sum
_
evalu
e
: e
x
ploit integer bou
n
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
keep track of number of Bernou
l
l
i
s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
bern
o
ulli
.
c
:
protect shared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
Ber
n
oul
l
i sums ba
s
e
d exac
t
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
barvi
n
ok_co
u
nt_wit
h
_
o
ptions: c
o
m
p
ute
(exact
)
B
e
rno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eval
u
e: optionally h
a
ndle frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolae
g
e
la
t
tice
_
po
i
n
t
.
h: e
x
port fractional_pa
r
t
with C l
i
nka
g
e
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
ba
r
vino
k
_
enumerat
e
_
w
ith_options
:
compute (e
x
act
)
Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoull
i
_sum_
e
value: h
a
ndl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bern
o
u
lli_sum_evalue: cut off some redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olaege
Bernoulli_sum_eval
u
e:
m
a
ke
s
ure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
oolaege
B
e
r
n
oulli_sum_evalue: remove redundant constr
a
int
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoull
i
.
c
:
minor r
e
f
a
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli
_
sum: han
d
le context const
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaeg
e
Bernoull
i
_sum_evalu
e
: make sure e
n
ough m
e
mory is a
l
located
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rd
o
ol
a
ege
f
or_eac
h
_lower_uppe
r
_bound: ad
d
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
veri
f
y
.
c:
a
d
j
ust default range
to co
n
text if
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: sum
m
ate_over_domain: only con
s
id
e
r actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
param_util
.
c: exp
o
rt
P
a
ram_Vert
e
x_Set
_
Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
Param_Po
l
y
hedron
_
Facet: pass
facet d
e
fin
i
ng constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
genfun
.
c
c: parallel_polytopes:
don
'
t
b
o
ther handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
ev
a
lue
_
split_domains_into_orth
a
nts: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read: o
n
l
y
allow term
s
to cross ne
w
lin
e
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
evalu
e
_r
e
ad: only a
c
cept i
m
plicit
m
ultiplicat
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
v
alue_r
e
ad: acce
p
t constr
a
ints c
o
ntaining "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_be
r
nstein
_
coefficients: ensu
r
e result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: piec
e
w
i
se
_
lst: correctly p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaege
remove_all
_
equal
i
ties: keep removing parameter
e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoo
l
aege
doc: consis
t
en
t
use
of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
do
c
: update now published pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oolaege
for_each_lowe
r
_upper_bo
u
n
d
: allow
a
b
sence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
Revert "eadd_
p
artitions
:
t
r
y to combine multi
p
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
evalue_read_par
t
ition: put
p
artiti
o
ns b
a
ck
i
n t
h
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
d
o
olaege
ev
a
lue: reduce_evalue: add
n
ote on som
e
missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aeg
e
bernst
e
in
.
cc
:
handle
i
n
p
ut
w
it
h
unions + rel
a
t
ion
v
iola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
maximize
.
cc: deal with
unions in input duri
n
g verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue_subst
i
tute: properly
h
andle relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue
.
c:
clea
n
up emul and
e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
aege
e
v
alu
e
_
r
ead: correctly read var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
doolaege
eva
l
ue_read: accept top l
e
vel
"
relat
i
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdo
o
l
a
ege
e
value_backsubstitute: a
d
d required
m
od
u
lo c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
e
rdoolaege
eva
l
ue
.
c:
*
_pa
r
titions: simp
l
ify co
n
straints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n
Ve
r
do
o
laeg
e
doc: more s
p
ecific inf
o
rmation on buggy cddlib versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdo
o
laege
configure
.
in: require cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdo
o
lae
g
e
configure
.
in: only compile occ if code
_
gen
libr
a
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
add some
tests for impl
e
mentation of projection
theore
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
ola
e
ge
doc: document n
e
w
o
ptions and new ap
p
lications
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
AUTHOR
S
:
update support inf
o
rmat
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
g
enfun
.
cc: shor
t
_
r
a
t
:
:
p
r
i
nt:
correctl
y
p
rint polyn
o
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoolaege
E
x
p
o
r
t
s
eri
e
s
a
s barvinok_enum
e
rate_s
e
ries and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
remove_pa
r
a
meter_equalities:
s
to
p
"removing" equali
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave f
r
eein
g
of P argument t
o
calling f
u
n
c
ti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
d
o
c: docume
n
t im
p
lement
a
tion of the projection t
h
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add ba
r
vi
n
ok_enu
m
e
rate_e_serie
s
impleme
n
ting the proje
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoola
e
g
e
genfun
.
cc: fix and document parallel po
l
ytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
laeg
e
Only
compi
l
e zsolve if gc
c
3
.
4
o
r later i
s
available
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n V
e
r
dool
a
ege
Mov
e
GiNaC-
i
n
dependent part of library t
o
barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
pol
y
lib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verd
o
olaege
d
o
c: h
o
w to
c
ount the number of ele
m
ents in
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
r
doolaege
d
o
c/imp
l
ementat
i
on
.
tex: avoi
d
multiply defined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
lattic
e
_w
i
dt
h
.
c:
tr
y
ver
t
ices
o
f
pr
e
vious in
t
eger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: docum
e
n
t intege
r
hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoo
l
aege
hull
.
c:
add a
l
l p
o
in
t
s found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optimizations f
o
r
g
eneralized basis red
u
ctio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Support use o
f
genera
l
ized basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
add
P
olyhedr
o
n_In
t
eg
e
r_Minimum for comput
i
ng the i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
doc: do
c
ument
g
enera
l
i
zed b
a
sis red
u
ction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdool
a
ege
doc
/
barvinok
.
bi
b
:
add missi
n
g s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
add more missin
g
a
s
s
ert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
e
rdoolaege
evalu
e
.
c: add missing includ
e
o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configure
.
in:
pass path of
G
M
P
installation
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
conf
i
gure
.
in: only
compile
l
ibbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
next