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
add missing algorithm include for find
2008-07-22
S
v
e
n
Verdoolae
g
e
add m
i
ssin
g
algorith
m
i
n
clude fo
r
find
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
Fix out-of-bounds error in Laurent
e
xpansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
a
e
ge
Inc
l
u
de em
p
ty
.
c file in
l
i
b
barvino
k
if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
co
r
rectly reflect ext
r
a sour
c
es for libbarv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
V
erdoolaege
f
i
x typo in
c
omment
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
lib/string
.
in
.
h:
c
opy _
_
restr
i
ct handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaeg
e
u
pd
a
te gnul
i
b f
u
nction to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Ve
r
d
oolaege
enumerator::ha
n
dle: replace incorrect delete by
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
updat
e
pipl
i
b for cor
r
ect
e
d
U
rs
_
p
a
rms
han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdoolaege
confi
g
ure: use correct
header fil
e
s
in case of bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verdoo
l
ae
g
e
conf
i
g
ur
e
.
in: fix check for code_gen
libr
a
ry availability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ
:
only open debug output f
i
le if t
h
ere is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
a
e
ge
omega/Makefile
.
am
:
avoid bison's -o o
p
tion
a
s
naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
r
an
g
e
.
cc:
a
dd miss
i
ng i
n
clude
o
f a
l
l
o
ca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
add editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdoolaege
use argp for a
r
gument
p
ar
s
in
g
in ba
r
vinok
_
e
h
rhar
t
an
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
er
d
oolaege
p
r
operly hand
l
e NTL C
P
PFLA
G
S
and L
D
FLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verdoolaege
bas
i
s_reduction_
t
empl
.
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaeg
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ad
d
some test
s
ets
f
rom itsl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
doc:
a
dd la
t
es
t
(ac
c
epted) public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
olaege
Makefile
.
am: add sectio
n
_ar
r
ay
.
h to d
i
strib
u
t
ion
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
normalization
.
c: compute_
s
hifts: r
e
move
redundant
re
t
urn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_ParamNames
p
o
l
ylib and
ma
k
e param names
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
laege
occ: add interface to barvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
ge
ex_convert
.
c
c: extract
e
x
2
e
value from r
a
n
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
oc: document m
o
r
e --summati
o
n m
e
thods for barvinok_sum
m
a
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
opti
o
ns
.
c: renam
e
"barvinok" summati
o
n method to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
dool
a
ege
M
a
k
e
f
ile
.
a
m
:
c
h
e
c
k
-euler:
a
lso check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
summate
.
c
: bar
v
i
n
ok_summ
a
te: h
a
ndle p
r
od
u
cts of poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c
:
export
e
value_r
e
order_terms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
bernstein: n
u
meric2value
:
fix typ
o
to allow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
util
.
c: Factor_Context:
extrac
t
ed fro
m
barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n V
e
rdoolaege
su
m
mate
.
c: barvino
k
_summate: igno
r
e f
l
oo
r
s independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doo
l
aege
evalue
.
c: add e
v
alue_f
l
oor2
f
rac
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doo
l
aege
omeg
a
/occ: print barv
i
nok ver
s
ion number
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
doc: u
p
d
ate some refer
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoo
l
aege
Make
la
u
ren
t
based summation the de
f
au
l
t
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doolaege
summate
.
c: barv
i
nok_s
u
mmate: handl
e
q
u
a
si-
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
redu
c
e_
e
value: extra
c
t
o
u
t
e
value_
r
educe_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
do
o
laege
evalue
.
c: evalue_shift_variables
:
al
l
o
w
sh
i
fting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolae
g
e
summat
e
.
c
:
ha
n
dle equalities for all summ
a
tion a
l
g
or
i
t
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
umm
a
te
.
c: barv
i
nok_summate: move common
parts of summat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
o
o
laege
eva
l
ue
.
c
: evalue_sum: move
s
ign handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
barvi
n
ok_e
.
cc
:
e
numer
a
te_sum: use barvinok_s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
su
m
mate
.
c: extract bar
v
inok_s
u
mmate f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
oolaege
rena
m
e summat
e
.
cc to barv
i
nok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaeg
e
eval
u
e
.
c
: reduce_
e
v
alue
:
reduce floor wi
t
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent
expansion based summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
evalu
e
.
c: exte
n
d eequal to hand
l
e
d
om
a
ins and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoo
l
ae
g
e
binomial
.
c:
extract binomial
and fac
t
orial f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h:
e
x
t
ract from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
n
troduce eva
l
ue_
s
hift_varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
la
t
ti
c
e_point
.
c
c:
e
xport
rel
a
ti
v
e_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
lattice_point
.
h: make
s
ure correc
t
e
v
alues are us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
at
t
i
c
e_poi
n
t
.
c
c
: add ceiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolae
g
e
ut
i
l
.
c: internalize
ugly bv
_
ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven V
e
r
d
oolaege
latt
i
ce_point
.
cc: multi_monom/latti
c
e
_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Verd
o
olaege
doc: clean up "ex
p
onent
i
al substitutio
n
" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bou
n
d
.
cc: avoid l
o
ss o
f
precision
c
au
s
e
d
by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bar
v
inok_boun
d
: optionally take maximal
s
ize of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaeg
e
barvinok_bound: add
--iter
a
te
option
s
fo
r
evaluatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
verify
.
c: expo
r
t functions f
o
r
s
ett
i
n
g and c
l
e
ari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c: evalu
e
_optim
u
m
: allow co
m
put
a
tion o
f
opti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
berns
t
ein
.
cc: evalue2e
x
:
d
on't assume a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaeg
e
bound
.
cc: fix
c
a
ll to evalu
e
_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
e
{
a
dd,mul}_periodics:
plug me
m
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoola
e
ge
evalue_berns
t
ein_co
e
fficients:
han
d
le problems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoolaege
l
a
t
tic
e
_wid
t
h
.
c
:
skip directions t
h
at
are
i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Ve
r
dool
a
e
g
e
Makefile
.
am:
a
dd cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
om
e
ga/
o
cc: optional
l
y
u
se pa
r
k
e
r for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
normalization
.
c: sk
e
w_to_positive_o
r
t
hant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
omeg
a
/convert
.
cc: relation2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
o
cc: add
dump for dumping in barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
barvinok_enumerate_e
:
optional
l
y u
s
e
parker's metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_con
s
traints: tak
e
constraints inst
e
ad of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
olae
g
e
normalization
.
c: extract
standar
d
_
c
on
s
traints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
parker/count
_
s
ol
u
tions
.
cc: fix treatment of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
ege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Add
pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
euler
.
cc:
e
value_derive: handle constant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
a
d
d
s
o
me
test sets fro
m
cases 2004 a
n
d
c
c 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
renam
e
barvinok_maximize to barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
add a
test for
t
e
s
t
_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_ran
g
e_propagation:
remove
r
e
dundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
test_
b
ound: re
c
ord
n
umber of polynomial
s
as "s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: co
n
ve
r
t q
u
asipoly
n
omials t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
test_bou
n
d: comp
a
r
e
polynom
i
al bound a
l
go
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
d
o
olaege
v
erify
.
c: opt
i
mum: handle in
p
ut e
v
aluat
i
ng to negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olae
g
e
v
er
i
f
y
.
c: extra
c
t
evalue_optim
u
m from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract
comm
o
n code
f
or ver
i
fyin
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propagatio
n
: add monotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_ma
x
imize: optionally
u
se (basic) range prop
a
gatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
a
e
g
e
A
d
d some support for
d
ealing with
e
values that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvino
k
_
e
numera
t
e:
s
upport us
e
of Eu
l
er-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
implement Bernoulli_sum as conversion fro
m
unweigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doola
e
ge
Berno
u
l
l
i
_
sum
_
ev
a
l
u
e:
exploit in
t
eger bound
s
t
o
re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
keep t
r
ack of number of Bern
o
u
lli
s
um
s
commit
|
commitdiff
|
tree
next