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
update piplib for corrected Urs_parms handling
2008-06-17
Sven Verdoo
l
aege
up
d
a
te
p
iplib for
c
o
rrec
t
ed U
r
s_parms handl
i
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaeg
e
configure:
u
s
e correct
head
e
r f
i
les in c
a
se of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
co
n
figure
.
i
n
:
fix check for co
d
e_gen library availa
b
ility
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
omega/occ: only
o
p
en deb
u
g
output file
if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoo
l
a
ege
om
e
ga/Makefile
.
am: avoid bison's
-o op
t
ion as namin
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n Verdo
o
l
ae
g
e
range
.
cc: add m
i
ssing
include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
ven V
e
rdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add edi
t
ors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use argp for a
r
gu
m
ent parsing in ba
r
vi
n
o
k_eh
r
hart a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verd
o
ol
a
ege
proper
l
y handle NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis_reduction_tem
p
l
.
c: a
d
d missi
n
g
include
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
b
arvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
ol
a
e
ge
a
d
d
s
o
me
t
est sets from
i
tsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
doc
:
add late
s
t (accepted) pub
l
i
c
ations
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
M
akef
i
l
e
.
am: add
s
ectio
n
_array
.
h to distribu
t
io
n
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
e
g
e
normalization
.
c:
compute_s
h
if
t
s: re
m
ove re
d
undant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaeg
e
move Free_Pa
r
amName
s
polyl
i
b
an
d
make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
ool
a
ege
occ: a
d
d i
n
terface to barvino
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_con
v
e
rt
.
cc: extract e
x
2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
doc: doc
u
ment more --summation m
e
t
hod
s
for b
a
rvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
options
.
c: ren
a
me "ba
r
v
inok" summation meth
o
d t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
Makefil
e
.
am: check-euler: also check la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
la
e
ge
summ
a
te
.
c: barvin
o
k_su
m
ma
t
e: handle pro
d
ucts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdo
o
laege
evalue
.
c: export evalue_r
e
order_term
s
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolae
g
e
bernstei
n
:
numeric2
v
alue: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c: Factor_Co
n
text
:
extracted
f
rom b
a
rv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
e
ge
summate
.
c:
b
arvinok_summate: i
g
nore floors in
d
e
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
omega/occ: pr
i
nt b
a
rvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
Make laurent based summ
a
tion the default
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
ool
a
ege
sum
m
ate
.
c:
bar
v
inok_summat
e
: handle qu
a
si-polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
reduc
e
_evalue:
e
x
tract out evalue_
r
ed
u
c
e_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalue_shift_variables: al
l
ow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
l
aege
summate
.
c: ha
n
dle e
q
ualities for all summatio
n
algo
r
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
d
oolaege
su
m
mate
.
c: barvinok_summate: move comm
o
n parts of summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaeg
e
evalue
.
c
:
evalue
_
sum: move
s
ig
n
handling into esum_over_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
barvinok_e
.
cc:
enum
e
rate_sum: u
s
e b
a
rvinok_summat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
summate
.
c
:
e
x
t
r
act
b
a
r
vinok_su
m
mate from
barvi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename
s
u
mma
t
e
.
cc
to b
a
rvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
evalue
.
c: redu
c
e_evalue: reduce floor w
i
th constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
d
oolaege
Add Laurent expansion
based summa
t
ion
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaeg
e
e
v
alue
.
c:
e
xte
n
d
eequal to
h
andle
domains
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolae
g
e
bino
m
ial
.
c:
extr
a
ct bino
m
ial and factorial from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
p
o
wer
.
h
: e
x
t
ract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
o
d
uce
evalue_shift_var
i
ables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_p
o
i
n
t
.
cc: export rel
a
t
iv
e
_coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
la
t
tice_point
.
h: make s
u
re correct evalues are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
lattice_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
u
t
i
l
.
c: internalize
ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven V
e
rdoolaege
latti
c
e_
p
oint
.
c
c: m
u
lti_monom/l
a
tti
c
e
_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ver
d
ool
a
ege
doc
:
c
lean up "exponen
t
ial substit
u
tion" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
t
e
s
t_bound
.
cc: av
o
id lo
s
s of preci
s
i
on caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
ge
barvino
k
_
bound: optionally ta
k
e
m
ax
i
mal s
i
z
e
of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bou
n
d:
a
d
d
--it
e
r
a
te options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c: export funct
i
ons for s
e
tting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
ve
r
ify
.
c: evalu
e
_opti
m
u
m:
allow comp
u
tation o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
bernstein
.
cc:
e
value2ex:
don't ass
u
me all pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
b
ound
.
c
c
:
fix call to ev
a
lue_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
e{add,mul}_per
i
o
d
ics
:
plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
evalue_bernstein_coeffi
c
ients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verd
o
olaege
lattice_width
.
c: skip di
r
ections
t
h
a
t a
r
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
Makefile
.
a
m
: add cdd
9
4e-test to distri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aeg
e
omega/occ:
opti
o
nally use par
k
er for c
o
mputing c
a
rdinal
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolae
g
e
n
o
rmalization
.
c
:
skew_to_positiv
e
_o
r
thant
:
pr
o
pe
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
o
mega/
c
onvert
.
cc: r
e
lation2
D
omain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erd
o
olaege
occ: ad
d
dump f
o
r dumpi
n
g in ba
r
vinok_enumerate_e f
o
rma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
d
o
olaege
barvinok_enumerate_e: opt
i
on
a
lly u
s
e parker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
sta
n
dard_c
o
n
stra
i
nt
s
: take constraints
in
s
tead of
polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
nor
m
alization
.
c
: e
x
tract
s
tandard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
p
a
rker/coun
t
_solutions
.
cc
:
fix treatment of ex
i
stent
i
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en
V
e
rdoolaege
compile p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
la
e
ge
Ad
d
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
euler
.
cc: evalue_derive:
h
an
d
le
c
onstant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoola
e
ge
add s
o
me test
s
ets
from cases 200
4
a
nd cc
2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
ola
e
ge
r
e
n
a
m
e
barvino
k
_
m
aximize to barvinok
_
boun
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
add a test for test
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
ev
a
lue_ran
g
e_pr
o
pagation: re
m
ove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
_bound: record number of polynomia
l
s as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test
_
bound: convert qua
s
ipolynomials
to po
l
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
t
e
st_bound: compare po
l
y
n
omial bound algo
r
it
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
verify
.
c: op
t
imum: handle i
n
put e
v
aluating to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
verify
.
c: extract evalue_optimum fro
m
m
a
xi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
o
laege
verif
y
.
c:
e
xt
r
act common code f
o
r verifying oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
evalue_ran
g
e_p
r
opagati
o
n
:
add monoton
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
barv
i
nok_maximize: optionally use (basic
)
range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rd
o
olaeg
e
A
dd
some support for dea
l
ing with e
v
alues that represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_enum
e
r
a
te: su
p
port
use of E
u
ler-Mac
l
a
u
r
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
impl
e
m
e
nt Bernoulli_sum as conv
e
rsion from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
Bernoulli_sum_evalue:
e
x
plo
i
t
in
t
eger bound
s
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
keep tr
a
ck of numb
e
r of
Bernoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
bernoulli
.
c: prot
e
ct shar
e
d
evalue from modi
f
ica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
test Bernoulli
s
ums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ol
a
ege
barvinok_count_with_options:
c
o
mpute (exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Berno
u
l
li_sum_ev
a
lu
e
: o
p
tionally handle
f
ra
c
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
lattic
e
_point
.
h: expor
t
fraction
a
l_part w
i
t
h
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
barv
i
nok_enumerate_with_options
:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
Be
r
n
oulli_sum_
e
valu
e
: ha
n
dl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoull
i
_sum_
e
val
u
e: cut off some redun
d
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
next