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_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
2008-04-17
Sven
V
erdoolaege
lattice_point
.
cc: multi_mon
o
m/
l
attice_p
o
ints:
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven V
e
rdoolaege
do
c
:
clean
up "exp
o
nent
i
al subst
i
t
u
t
i
on" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doola
e
ge
test_bound
.
cc: av
o
id loss of precision caused by
c
onve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
barvinok
_
bo
u
nd: optionally ta
k
e maxima
l
size o
f
do
m
a
in
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven V
e
rdoolaege
b
a
r
vinok_
b
ou
n
d: ad
d
-
-iterate option
s
for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
verify
.
c: export functions for
s
etting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verif
y
.
c
:
evalue_optim
u
m: allow computation of o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolaege
bernstein
.
c
c
:
e
value2ex: don't assume all periodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aeg
e
bou
n
d
.
c
c
: fix
call
t
o
evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
e{add,mul}_
p
eriodics:
p
lug
mem
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
e
rdoolae
g
e
evalue_
b
e
rn
s
tein_coeff
i
cients: handle probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
u
p
d
a
te po
l
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lat
t
ice_width
.
c:
s
k
ip directions that are ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Make
f
ile
.
am: add
cdd94e-test to distri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaeg
e
omega
/
occ: optio
n
ally u
s
e parker
for computing cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaeg
e
no
r
m
a
lization
.
c: skew_to_pos
i
tiv
e
_o
r
t
hant: prop
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
mega/conve
r
t
.
cc: relation2Domain: only
collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for dum
p
ing
i
n
b
arv
i
nok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdool
a
eg
e
barvinok_enumerate
_
e
:
o
ptionally use parker's
m
e
t
h
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constraints: t
a
ke constraints instead of p
o
l
yhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normal
i
z
ation
.
c: extract
standard
_
constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoolaege
parker/count_solutions
.
cc: fix
t
reatment of existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven V
e
rdoola
e
g
e
comp
i
l
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
a
ege
e
uler
.
cc: e
v
al
u
e
_d
e
r
i
ve: h
a
nd
l
e constant p
o
lyn
o
m
i
als
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
add some te
s
t sets fro
m
cases
2
004 and cc 200
5
pa
p
e
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
rename barvi
n
ok_maximize
t
o b
a
rvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a te
s
t
for test_b
o
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
evalue_range_propa
g
ati
o
n: re
m
o
v
e redundant polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
_b
o
und: record number of poly
n
omials as
"
size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdo
o
laege
tes
t
_bound: conver
t
quasi
p
olynomials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
test_boun
d
:
compa
r
e p
o
lynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c
:
o
p
timum: handle input evaluating to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
v
e
rify
.
c: extra
c
t eval
u
e_opti
m
um from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c: extract co
m
mon code for verifyin
g
o
p
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
e
v
a
lue_range_propagation: add
m
onoton
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvino
k
_maximize: optiona
l
ly use (basic) range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
A
dd some su
p
port
f
or d
e
a
ling with
e
v
alues that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
bar
v
inok_enumerate: support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
i
mpl
e
m
e
nt Ber
n
oulli_sum as
c
onvers
i
on
f
rom unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doo
l
aege
Bernoulli
_
sum_evalue: explo
i
t int
e
ger bounds
to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoola
e
ge
keep track of
n
umber of
B
ernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdool
a
e
ge
bernoulli
.
c
:
protect shared
e
value from modific
a
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test Bernoulli sum
s
base
d
exact enum
e
rat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
b
arvinok_count_
w
ith_option
s
: compute (ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
Bern
o
ulli
_
sum_evalue: optiona
l
ly
h
andle fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
ol
a
ege
lat
t
ice_po
i
n
t
.
h: export fracti
o
nal_part with C link
a
g
e
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
barvinok_e
n
u
m
e
r
ate_with_options: comp
u
te (exact
)
Be
r
n
oul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoul
l
i
_
sum
_
evalue:
h
a
n
dle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_e
v
alue:
cut off some
r
edu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
ulli_sum_evalue: mak
e
sure no emp
t
y par
t
it
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_s
u
m_ev
a
lue:
r
emove redundant cons
t
r
a
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoulli
.
c
:
m
inor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
g
e
Bernoulli_sum: handl
e
con
t
ext c
o
nstraint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: mak
e
s
u
re enough memory is all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
f
o
r
_each_
l
owe
r
_upp
e
r_
b
ound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
a
ege
verify
.
c: a
d
just default range to
co
n
text if nee
d
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eul
e
r
.
cc: sum
m
ate_over_
d
o
m
ain: only
c
onsider ac
t
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
para
m
_util
.
c
: export Para
m
_V
e
rt
e
x_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
Param_P
o
l
y
hedro
n
_Facet: pass fac
e
t de
f
ining cons
t
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
g
e
n
fun
.
cc: parallel_po
l
ytope
s
:
d
on't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_
d
o
m
ains_i
n
to_or
t
h
a
nts:
d
on't
r
educe evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalu
e
_read: o
n
ly allow
t
erms to cross ne
w
lines in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept
i
mp
l
i
c
it multipli
c
at
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: accept
constraints co
n
t
aini
n
g "'
-
' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_ber
n
stei
n
_coef
f
i
c
i
ents: ensure
result
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdoolae
g
e
bernstein: pie
c
ewise_
l
st: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalitie
s
:
k
eep removing par
a
meter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
d
o
c:
c
onsis
t
e
n
t u
s
e of K
e
vin'
s
initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolaege
d
o
c
:
u
pdate now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdo
o
laege
fo
r
_ea
c
h_
l
ower_u
p
per_
b
ou
n
d
: al
l
ow absence
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
e
ver
t
"eadd
_
part
i
tions:
t
ry to
c
o
mbine
mul
t
ipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
e
v
a
lu
e
_read
_
partition: put par
t
i
tio
n
s back in
t
h
e
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
aege
evalue:
r
e
d
uce_e
v
al
u
e: add no
t
e
o
n some mis
s
ed opportunitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
o
l
aege
bernste
i
n
.
cc
:
h
a
ndle i
n
p
ut with unions
+
relation
vi
o
late
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolae
g
e
maxim
i
ze
.
c
c
: deal with u
n
i
o
ns in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
o
olaege
ev
a
lue_subs
t
itute: properly handle relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdool
a
e
g
e
evalue
.
c: cl
e
an up emul a
n
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdo
o
laege
evalu
e
_read: correctly read vari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalue
_
read: ac
c
ept
top le
v
e
l
"rel
a
ti
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubstitu
t
e
: add require
d
mo
d
u
lo con
s
tr
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
olae
g
e
evalue
.
c: *_
p
arti
t
i
ons
:
simp
l
ify co
n
s
traints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
e
n
Verdoola
e
ge
doc: mor
e
s
peci
f
ic in
f
orma
t
ion
on buggy cddl
i
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoo
l
a
e
g
e
c
onfigure
.
in: re
q
uire cddl
i
b 0
.
94e
by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Verdoolaege
c
onfigure
.
in: only
co
m
pile
o
cc if
cod
e
_
gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add so
m
e t
e
s
t
s for imp
l
e
men
t
a
t
i
on of projection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
do
c
: document
n
e
w options and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
A
U
THORS
:
update support information
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
g
enfun
.
cc: short_rat::print: correctly print polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
E
xport series
as barvinok_enumerate_series and
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ve
r
doolaege
remo
v
e_parame
t
er_equalities: stop
"
r
e
moving
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
s
erie
s
: leave
freei
n
g of P argu
m
ent to calling functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
doc:
docu
m
e
nt implementa
t
ion
of
t
he pro
j
e
c
ti
o
n t
h
eore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
add
barvi
n
ok_enumer
a
te_
e
_series implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc:
f
i
x and documen
t
parallel
polytope
s
class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
On
l
y compile zsolve
i
f gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
do
o
laege
Move GiNaC-ind
e
penden
t
p
a
r
t
of lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
next