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
Sven Ve
r
doolaege
move ome
g
a subdir to
omeg
a
_in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
NTL_QQ
.
c
c
: a
d
d
stdlib in
c
lu
d
e for ab
o
rt hidden in
NTL_vec
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verd
o
olaege
remove gnulib link-war
n
ing mod
u
le
c
omple
t
ely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
lex
m
in
.
cc: find an
d
sort are in std:: na
m
espace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc: av
o
id use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
4coins
.
cc: remove de
a
d c
o
d
e
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdo
o
laege
testlib
.
cc: ad
d
m
i
s
sing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
w
o
r
karound silly sun
c
ompile
r
errors
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
Avoid use of
t
he make
-C
o
pt
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoo
l
ae
g
e
s
ummate
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
summ
a
t
e
.
c
:
add
missing return
v
a
l
ues
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
Makefile
.
am: include
lib inclu
d
e dir
i
n build dir
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verd
o
ola
e
ge
laur
e
n
t
.
c
c: don't use
c
onst
v
ec
t
ors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
v
ariable len
g
th
a
rrays are n
o
t
sta
n
dard C++
(
yet)
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
genf
u
n
.
cc: argument of mp_get_me
m
ory_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
u
pdate piplib for compati
b
i
l
ity c
h
ange
s
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
u
pda
t
e po
l
ylib
w
i
t
h
e
xt
r
a
fi
e
l
d
in Pa
r
am_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdo
o
laege
d
o
c:
f
i
x
typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
add missing algori
t
hm include for find
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
Fix
out-of-bounds error in Lau
r
en
t
expan
s
ion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoola
e
ge
Include empt
y
.
c file in l
i
b
b
arv
i
n
ok
i
f GiNaC was
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
correctly reflect e
x
tra sources fo
r
libbarvinok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix
t
ypo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib/st
r
ing
.
in
.
h: copy __re
s
trict
handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Ve
r
doola
e
ge
upda
t
e g
n
ul
i
b funct
i
on to last pre-GPL
v
3 ve
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
e
numerator
:
:handle:
rep
l
ace incorr
e
ct delet
e
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven
V
erd
o
o
l
aege
upda
t
e piplib for corrected Urs_parms hand
l
in
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure:
use correct header f
i
les i
n
ca
s
e
o
f bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Ver
d
oolaege
configure
.
i
n: fix check for
c
ode_gen li
b
rary avai
l
a
bi
l
i
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
do
o
l
a
ege
o
m
eg
a
/oc
c
: only
o
pen debug output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Ve
r
doolaege
omega/Makef
i
le
.
am: a
v
o
i
d biso
n
's -
o
o
ption as
n
aming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
r
ange
.
cc: add missing in
c
l
u
de of allo
c
a
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
doc:
f
ix t
y
p
o
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
add edito
r
s to ITSL
p
a
p
ers
commit
|
commitdiff
|
tree
2008-05-07
Sven
Ver
d
oolaege
use
a
rgp for argument
pa
r
s
i
ng in barvinok_ehrh
a
rt and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
e
rdoolaege
properly h
a
ndle
NTL
CPPFL
A
GS
a
n
d LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
S
ven
Ver
d
oolaege
basis_reducti
o
n_templ
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
V
e
r
doolaege
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
add some t
e
s
t
s
ets from itsl2
0
08
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
do
c
: add latest (accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Make
f
ile
.
am: add section_array
.
h to distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoo
l
aege
normaliza
t
ion
.
c: c
o
mpute_shifts: remove
redundant re
t
u
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaeg
e
mov
e
Free_P
a
ramN
a
mes polylib a
n
d make
param
n
ames
c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aege
oc
c
: add
i
n
terface to b
a
rv
i
nok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdool
a
ege
ex_c
o
nvert
.
cc: extr
a
ct ex2evalue from r
a
n
g
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: d
o
cument more --summat
i
on metho
d
s for b
a
rvino
k
_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
options
.
c
:
r
e
name "barvinok" summatio
n
meth
o
d to "b
o
x
"
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
e
rdool
a
ege
Make
f
ile
.
am: check-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolae
g
e
s
u
mmate
.
c: barvinok
_
summ
a
t
e: h
a
ndle prod
u
cts
of polyt
o
p
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
l
a
e
ge
e
value
.
c: export evalue_reord
e
r
_
te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernst
e
i
n
: numeric2
v
al
u
e
:
fix typo
t
o all
o
w correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
util
.
c: Factor_Context: extracted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
aege
summate
.
c
: barvinok_
s
ummate: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
oolaege
e
v
alue
.
c
: add evalu
e
_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoola
e
ge
omega/occ: prin
t
bar
v
i
n
o
k
v
e
r
s
ion number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
doc
:
update some
references
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoolaege
Make laurent based summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
s
umma
t
e
.
c: barvinok_summate: handle quas
i
-polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
ool
a
ege
red
u
ce_e
v
alue:
e
xtract out e
v
alue_r
e
d
uc
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: e
v
a
l
ue_shift_
v
a
r
i
abl
e
s: allo
w
shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
summate
.
c: handle equalities for
all summ
a
tion algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
s
u
mmate
.
c:
b
arvinok_summate:
m
ove
common parts of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
evalue_s
u
m
:
move sign handling into e
s
um_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
o
olaege
barvinok_e
.
cc: enum
e
rate
_
sum: use barvi
n
ok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
ool
a
ege
su
m
m
at
e
.
c: extract
b
ar
v
inok_
s
ummate fr
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
rename
s
ummate
.
cc to barvinok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verd
o
olaege
evalue
.
c
: reduce_evalue:
r
e
d
u
c
e floor wi
t
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add La
u
re
n
t
e
xpansion
b
ased s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdo
o
laege
e
value
.
c:
extend
e
equal
t
o
handle domains an
d
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
o
o
l
aege
b
i
nomial
.
c: extract binomial an
d
factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
doolaege
power
.
h: ext
r
act fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
i
n
t
rod
u
ce evalue_sh
i
ft_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdo
o
l
a
ege
lattice_point
.
cc
:
export r
e
lative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h: make sure
corre
c
t e
v
alues are us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
a
t
t
i
ce_point
.
cc: ad
d
ceiling
f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
eg
e
util
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
la
t
t
i
c
e_point
.
cc: multi_monom/latti
c
e_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
d
oc: clean up
"
exp
o
nential substitution" s
e
c
t
io
n
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ver
d
oolaeg
e
test_bound
.
cc: avoid l
o
s
s of precision caused by
c
on
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
b
arvinok_bound: op
t
ionally take
m
aximal size of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
bar
v
inok_bo
u
nd:
a
d
d --iterat
e
options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoo
l
aege
verify
.
c: export functions for setting and clea
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_
o
ptimu
m
: allow computation
o
f opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bernstein
.
c
c: e
v
al
u
e
2ex: don't ass
u
m
e
a
ll p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
boun
d
.
cc:
f
ix cal
l
to evalue
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdool
a
e
g
e
e
{add,mul}_periodics: pl
u
g
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
evalue_berns
t
ei
n
_coefficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
o
olaeg
e
upd
a
te polyl
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
doolaege
lattice_width
.
c
:
skip directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Verdoo
l
a
e
ge
Makefil
e
.
a
m: add
c
dd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
m
e
g
a
/
oc
c
: optionally use
p
arker for computing
card
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaeg
e
normaliza
t
ion
.
c:
s
kew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdool
a
ege
omega/conv
e
r
t
.
cc: rela
t
ion2
D
om
a
in
:
only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
occ: add du
m
p for dum
p
ing in barvinok_enumerate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Verdoola
e
ge
b
arvinok_
e
nu
m
erate_e
:
optional
l
y use parker's metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constraints: ta
k
e constraints instead of poly
h
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
e
rdoolaege
norm
a
lization
.
c: extrac
t
standa
r
d_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
oola
e
g
e
p
arker/co
u
nt_solutions
.
cc: fi
x
treatment of e
x
ist
e
n
t
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoo
l
aege
c
o
mpi
l
e pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
next