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
move omega subdir to omega_interface
2008-08-28
Sv
e
n Ve
r
doolaege
move omega subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
olae
g
e
NT
L
_
QQ
.
cc: add stdli
b
inclu
d
e
for a
b
ort
h
idden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
e
rdo
o
laege
rem
o
ve
g
nulib link-war
n
ing module completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdo
o
laege
update polylib with extra f
i
el
d
i
n
Param
_
Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
S
ven Ve
r
d
oolaeg
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Ve
r
doolaege
update gnulib functio
n
to last pre-GP
L
v3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Ver
d
ool
a
e
g
e
enu
m
erator::ha
n
d
l
e: replace incorrect delete
b
y free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
doo
l
aeg
e
update piplib f
o
r cor
r
ec
t
ed Urs_pa
r
ms ha
n
dling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure: use
correct heade
r
files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
o
m
e
g
a/occ: on
l
y open de
b
ug
outp
u
t
file
i
f
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doo
l
aege
add editors
to
I
TSL pape
r
s
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
g
e
add some
test sets from itsl2008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
doc: add
l
a
test (acc
e
pted) public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolae
g
e
Makefile
.
a
m
:
a
dd secti
o
n
_
a
rr
a
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
nor
m
alizati
o
n
.
c: compute_shifts: re
m
ove redund
a
nt ret
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
eg
e
m
ove Free_Par
a
mN
a
mes
p
ol
y
lib an
d
make pa
r
a
m
n
a
mes c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
la
e
g
e
o
c
c:
a
dd interface t
o
barvin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
ege
e
x
_convert
.
cc:
e
x
t
r
act e
x
2evalu
e
from ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc:
d
ocument more --summation methods fo
r
barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ol
a
e
ge
opti
o
ns
.
c: rename "barv
i
nok" summation
m
ethod
to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
oolaeg
e
M
akefile
.
am: check-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdool
a
e
g
e
summate
.
c
:
ba
r
vinok
_
summate: han
d
le produc
t
s
o
f
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
e
g
e
eval
u
e
.
c: exp
o
rt evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
be
r
nstein: numeric2value: fix
t
ypo to
allow corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
util
.
c: Factor_Context:
e
x
tracted from
b
a
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
summa
t
e
.
c: barvin
o
k_summate: ignore
f
loors ind
e
pend
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
eva
l
ue
.
c:
add
e
v
alu
e
_fl
o
or2frac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
omega/
o
cc
:
pri
n
t b
a
rvinok
v
ersio
n
number
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaege
d
oc:
u
pdat
e
some
referen
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
M
ake laurent ba
s
ed su
m
mation the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
summate
.
c: barvin
o
k_summate: handle q
u
asi-polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoolaege
reduce_evalue: extra
c
t o
u
t evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
eval
u
e
.
c: evalu
e
_sh
i
ft_variables:
a
llow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
ae
g
e
summate
.
c: handle equa
l
ities for all sum
m
a
t
i
on algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
s
u
mmate
.
c: barvi
n
ok
_
summate: move co
m
mon
parts of su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
eva
l
ue
.
c
: evalue
_
s
u
m
:
m
o
v
e sign handli
n
g i
n
to esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
arvinok_
e
.
cc: e
n
ume
r
ate_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
r
d
oolaege
su
m
mate
.
c
: ext
r
act b
a
r
vino
k
_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
renam
e
sum
m
ate
.
c
c to barvi
n
ok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
e
value
.
c
: r
e
duce_e
v
alu
e
: reduc
e
floor wi
t
h constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
ege
Add Laurent ex
p
ansion ba
s
ed su
m
mati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
e
v
alue
.
c:
e
xt
e
nd eequal to
h
a
n
d
le domai
n
s and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
binomi
a
l
.
c
:
extract b
i
nomial and fa
c
torial from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
V
erdoolaege
powe
r
.
h: ex
t
ract fr
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdo
o
la
e
ge
int
r
oduce evalue_shift_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
lattice_poin
t
.
cc: ex
p
ort rela
t
i
ve_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
lat
t
ice_p
o
int
.
h: m
a
ke
s
u
r
e
cor
r
ec
t
evalues
a
re used
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
r
doolaege
lattice
_
point
.
cc: a
d
d
ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
uti
l
.
c: inter
n
alize
ugl
y
bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ver
d
oolaege
lattice_point
.
cc: mult
i
_monom/lattice_points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up "expon
e
ntial substitution
"
section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
te
s
t_bound
.
c
c
: avoid loss o
f
pre
c
ision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oo
l
a
ege
barvinok_b
o
und: op
t
ionally take
m
a
ximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
ba
r
v
i
nok_bo
u
nd: add --iterate options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdo
o
laege
verify
.
c
:
e
x
po
r
t fu
n
ctions
for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verify
.
c:
e
v
a
l
ue_optimum:
allow computation of
o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
laege
bernstein
.
cc: evalue2e
x
: don't a
s
sume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Ve
r
doo
l
aege
bound
.
cc: fix ca
l
l to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
e{add,mul}_periodics:
p
lug memory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
evalue_bernstein_c
o
efficients: han
d
le
p
r
obl
e
ms wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
e
rdoolaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdoo
l
aege
lattice_width
.
c: skip
d
i
rections t
h
at are ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdo
o
laege
Ma
k
efi
l
e
.
a
m
: add cdd94e-
t
est
t
o
distribu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ
:
o
p
t
iona
l
ly us
e
parker for
computi
n
g
c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
n
or
m
alization
.
c: skew_to_positive_orthant: prope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdool
a
ege
omega/conv
e
rt
.
cc
:
relation2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolae
g
e
o
c
c: add dump
for dumping in barvi
n
ok_enumerat
e
_e
f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
b
arvinok_enumerate_e: opt
i
onall
y
use parker's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
s
t
a
n
d
a
r
d
_
cons
t
raints: take constraints i
n
stead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdool
a
ege
normalizati
o
n
.
c: extrac
t
s
tandard_constra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
V
erdoolae
g
e
parker/count_solutions
.
cc:
f
ix treatment of existenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
Verdoolaege
compile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
l
aeg
e
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eul
e
r
.
cc: evalue_de
r
i
ve: handle
constant p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some
t
est sets from cases
2
004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
rename
b
arvinok_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
add a test
for test_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_range_propagation: remo
v
e redundan
t
p
ol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
test_bound: re
c
ord num
b
er
of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
t
e
s
t_
b
o
u
nd: convert
q
uasipol
y
nomi
a
ls to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
st_bound
:
compare polynomial bound algori
t
hms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
veri
f
y
.
c
: o
p
t
i
m
u
m: handle input ev
a
luating to
ne
g
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c:
e
xtract evalu
e
_
o
ptimum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c
:
e
x
tract common code for
verifying op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
dool
a
ege
evalue
_
range
_
propagation: a
d
d monoto
n
icit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
barvinok_maxi
m
iz
e
: optio
n
ally
use (
b
asic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d som
e
s
up
p
or
t
f
o
r dealing wi
t
h e
v
alues t
h
at represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvin
o
k_enumerate: su
p
port use of Euler-
M
aclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdool
a
ege
implemen
t
Bernoulli_s
u
m as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
B
ernoull
i
_sum
_
e
va
l
ue:
exploit
i
n
teger bo
u
nds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
keep track
o
f
n
umber of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ber
n
o
u
lli
.
c: protect shared evalue from m
o
difi
c
a
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
test Bern
o
ulli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
ba
r
vinok_count_with_opti
o
ns:
c
ompute (
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
Bernoulli
_
sum_evalue: opti
o
n
all
y
ha
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
lattic
e
_point
.
h: export
f
ractional_part
wi
t
h C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
barvinok_
e
numerate_with_optio
n
s
:
comp
u
te (exact) B
e
rno
u
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
Ber
n
oulli_s
u
m_eval
u
e: handl
e
equ
a
lities
commit
|
commitdiff
|
tree
next