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
barvinok_enumerate: return NaN for infinite problems
2010-03-04
Sven Verdoolaege
ba
r
vinok_enumerate: return N
a
N
f
o
r
infinite probl
e
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_
e
qualities: handl
e
i
ntegrall
y
,
b
ut n
o
t
rat
i
onall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaege
barvinok_enum
e
rat
e
_e: alway
s
return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
a
rvinok_enumerate:
c
he
c
k that d
i
mension of input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
p
a
rtition2enume
r
ation
:
che
c
k that input is rea
l
ly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdoolaege
update piplib fo
r
change
i
n confi
g
ure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
update
o
mega for co
n
fi
g
uration/compilati
o
n
i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
V
er
d
oolaege
barvi
n
o
k_coun
t
_with_option
s
: c
h
e
ck
r
et
u
rn
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
r
doolaege
Poly
h
edron_Sa
m
ple: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
summate
.
c
: add mi
s
sing incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
: support newer
v
ersi
o
ns of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
e
ge
topcom
.
c: compute_domain: skip vertices without dom
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
do
c
: reflect that --enable-frac
t
ional
i
s
now the de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
l
aege
glpk_po
l
yhedron_affine_sign:
s
pec
i
al
case 0D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verd
o
olae
g
e
Po
l
yhe
d
ron_Ins
e
rt_Columns: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verdoo
l
a
e
ge
Poly
h
e
dron_Factor:
f
ix up
d
ating of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in: use AX_SUBM
O
DULE instead of
B
V
_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven
Verd
o
olaege
remove_e
q
ual
i
t
ies:
use
P
o
l
yhedron_Preimage instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olae
g
e
barvi
n
ok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
do
c
: add experimen
t
al comparison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
lexmin
.
cc: remove "a
n
achronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
doc:
add some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoolaege
add "clever
"
La
u
r
ent expansion based
s
ummation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
move Last_Non_Zer
o
to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
extr
a
ct out param_polynomia
l
from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract ver
t
ex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sv
e
n
V
erdoolaeg
e
update poly
l
ib for speed improvemen
t
i
n in_do
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
up
d
a
te piplib
for distribu
t
i
o
n is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
S
ven Verdoolaeg
e
P
olyhedron_Factor: fix
merging of
g
roups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
(t)count
e
r: move counter::reset
(
)
u
p
to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
M
a
k
efi
l
e
.
am: keep be
t
ter t
r
a
c
k o
f
fail
e
d t
e
sts
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
Line_Le
n
g
t
h: handle 0D
p
olytop
e
i
n
1
D
space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
aege
Polyhedron_Factor: handle p
o
l
y
hedra with a
n
on-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update pipl
i
b for change in conf
i
gure argument
s
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n
V
erd
o
olaege
barv
i
nok
.
cc: remove unused
n
onorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
update
p
iplib for MinGW c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoo
l
aege
up
d
at
e
polylib f
o
r MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
o
o
laege
evalue
.
c
:
in
_
domain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avoi
d
use of sys
/
t
i
me
s
.
h he
a
d
er when not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnul
i
b get
s
ubopt module fo
r
Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
o
o
laege
REA
D
ME: mention t
h
at GiNaC is a
l
so needed for t
h
e
Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
A
llow build
of o
c
c w
h
e
n
u
s
in
g
bundled omega
commit
|
commitdiff
|
tree
2008-10-28
S
ven Verdoolaege
doc: add
a
r
eference to a
m
aster thesis actually
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
b
a
rvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaeg
e
REA
D
M
E: fix up installation in
s
tructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add files
generated by biso
n
and fl
e
x to the distrib
u
tion
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verd
o
olaege
u
p
date piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoo
l
aege
evalue
.
c: af
f
ine2evalue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
evalue
.
c: evalue
_
level_cm
p
: produce more consi
s
tent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdoolaege
doc: add another paper
ref
e
rrin
g
to the l
i
b
rary
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdoolaege
piece
w
ise_lst
.
h: avoid
d
u
plicate p
a
rameter name
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Verdoolaege
e
v
a
l
ue_read
.
c: fix minor bugs in
t
o
k
enizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
o
l
a
e
ge
update omega for missing
file
s
i
n
d
istrib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
a
ege
b
a
rvinok_enumerate_e
:
avoid
i
nfinite
loop when presente
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
mov
e
omeg
a
subd
i
r
t
o omega_i
n
t
e
rface
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
NTL_Q
Q
.
cc: add stdlib include fo
r
abort hi
d
den
i
n
NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
rem
o
v
e
gn
u
lib l
i
nk-warning mo
d
ule completely
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdoola
e
ge
update p
o
ly
l
i
b wi
t
h extra field in P
a
ram_P
o
lyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
Verdoo
l
aege
doc: f
i
x
typos
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n Ve
r
doolaege
update gnulib function to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sve
n
V
e
rdool
a
ege
enumer
a
tor::handl
e
:
r
eplace incorrect
d
elete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven
Ver
d
o
olaege
update pipl
i
b for correc
t
ed U
r
s_parm
s
han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verdoolaege
configu
r
e:
u
s
e
corr
e
ct header files
in
c
ase of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
o
mega
/
o
cc: only open debug
outpu
t
file if there
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
ve
n
Verdoo
l
aege
a
d
d editors to IT
S
L papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
la
e
ge
barvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaeg
e
add some
t
est
s
e
t
s fr
o
m its
l
2008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc: add l
a
t
e
s
t (a
c
c
e
pted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doola
e
ge
Ma
k
efile
.
am: a
d
d section_ar
r
ay
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
olaege
norma
l
i
z
ati
o
n
.
c: compute_shifts: remove redunda
n
t return
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
do
o
lae
g
e
m
o
ve Free_ParamNames po
l
ylib
and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
occ
:
add interf
a
ce
t
o bar
v
in
o
k_sum
m
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
ex_convert
.
cc: e
x
tract ex2e
v
a
lu
e
f
r
o
m
rang
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verd
o
olaege
doc:
docum
e
nt m
o
re --summati
o
n methods for
b
arvinok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
options
.
c: renam
e
"barvinok" summa
t
i
o
n met
h
od to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
M
a
kefile
.
a
m
: check-euler
:
also check
laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
summate
.
c: b
a
rvinok_summate:
h
a
n
dle products of po
l
ytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaeg
e
eval
u
e
.
c: export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rd
o
olaege
bernst
e
i
n:
n
umeric2value: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c: Factor
_
C
o
ntex
t
:
e
xtracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summate
.
c: barvinok_summate: i
g
no
r
e fl
o
ors
independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
o
olaege
eva
l
ue
.
c
:
add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ome
g
a/occ: pri
n
t
b
a
rvi
n
ok
v
e
r
sion number
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
laege
d
o
c:
u
pdate som
e
r
eferences
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
Make
laurent bas
e
d summa
t
ion the de
f
a
u
lt
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoola
e
ge
summate
.
c: b
a
r
v
inok_summate: han
d
le quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
o
la
e
ge
reduce_evalue: extr
a
ct out e
v
alue_redu
c
e_si
z
e
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoo
l
aege
evalue
.
c:
e
value_shif
t
_
v
ar
i
ables:
a
llow s
h
ift
i
ng
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
g
e
sum
m
ate
.
c: handle equalities for all
s
ummation algori
t
h
m
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n V
e
rdoolaege
s
u
mmate
.
c: barvinok_summate: m
o
v
e common
p
arts o
f
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalue
.
c: ev
a
lu
e
_sum: move
sign handling into e
s
um_over_doma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oolaege
barvi
n
ok_e
.
cc: enumer
a
t
e
_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summate
.
c: ext
r
act barvinok_summate f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
renam
e
su
m
mate
.
cc to barvin
o
k
_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
: reduc
e
_evalue: red
u
ce f
l
oor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
A
d
d
Laurent expa
n
si
o
n b
a
s
e
d sum
m
ation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend e
e
qual to handle
d
omains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rd
o
olaege
binomial
.
c: e
x
tract bino
m
ial and facto
r
i
al from euler
.
cc
commit
|
commitdiff
|
tree
next