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
glpk_polyhedron_affine_sign: special case 0D polyhedra
2009-11-12
Sv
e
n Verd
o
olaege
g
l
pk_polyhedron_affi
n
e_sign: special case 0D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
Verdoo
l
a
ege
Polyhed
r
on_In
s
ert_C
o
lumns
:
f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oolaege
P
olyhedron_Factor: f
i
x upd
a
ting of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdo
o
l
aeg
e
con
f
igu
r
e
.
in:
u
se AX_S
U
BMODULE instea
d
of B
V
_
SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
erd
o
o
laege
remove_equalities: use Po
l
yhe
d
ron_Preim
a
ge inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
Verdoo
l
a
e
ge
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdoolaege
doc: add expe
r
imen
t
al comparison
b
etwe
e
n old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoola
e
ge
lexmin
.
cc: remove "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
oc
:
a
dd some less common
.
sty
f
ile
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
o
la
e
ge
a
dd "clever"
L
aurent
expansion bas
e
d summa
t
ion
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move
La
s
t_No
n
_Z
e
ro to u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verd
o
olaege
e
x
t
r
act
out param_polynomial
f
rom laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extrac
t
v
e
r
t
e
x_cone fr
o
m la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
V
er
d
oolaege
u
p
date polylib for speed improvement in in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoola
e
ge
update pi
p
lib for
d
istri
b
ution issue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoolaege
P
ol
y
hedron_Factor: fix mergin
g
of group
s
of
c
olum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolae
g
e
(t
)
c
o
unt
e
r:
m
ove co
u
nter::reset() up to coun
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Ma
k
efile
.
am: keep better
tr
a
c
k of failed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
rdool
a
ege
Line_Length
:
han
d
le 0D p
o
l
ytop
e
i
n
1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolae
g
e
Po
l
yhedron_Fa
c
tor: handle polyhedr
a
with a non
-
trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
u
pdate piplib for
change in
c
onfigu
r
e arguments
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
Verd
o
olaege
barvin
o
k
.
cc: remove u
n
used
n
onorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
update piplib for MinGW c
o
mpati
b
il
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
updat
e
polylib for MinGW compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
evalue
.
c
:
in_d
o
m
a
in:
s
p
e
c
ial-case 0D
domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Ver
d
oola
e
ge
Avoid use
of sys/times
.
h header w
h
en not avai
l
able
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoola
e
ge
add gnulib getsubopt module fo
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoola
e
ge
R
E
ADM
E
: mention
t
hat GiNaC i
s
also
n
eeded for the Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
r
d
o
ola
e
ge
A
l
l
o
w
b
uild of occ when using b
u
ndled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Ve
r
doolaege
do
c
: add a reference to a master the
s
is actually us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verd
o
olaege
ba
r
vinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
R
EADME: fix
u
p installation
inst
r
uc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add files generated b
y
b
i
son and
f
lex t
o
the
d
i
st
r
ib
u
tion
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
g
e
update polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoo
l
aege
update pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
la
e
ge
evalue
.
c:
a
f
f
ine
2
ev
a
l
u
e: re
d
uce co
e
ffici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c:
eva
l
ue_level_cmp: produce more consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en
V
erdoolaege
doc: add
a
nother paper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewis
e
_lst
.
h: avoid duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaeg
e
e
v
a
l
ue_r
e
ad
.
c: f
i
x minor b
u
gs
in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
do
o
laege
u
p
d
a
te omega for missing fi
l
es
i
n distr
i
bu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoo
l
a
e
g
e
barvinok_enumerate_e:
av
o
id infinite loo
p
when prese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
ge
m
ove om
e
ga subd
i
r
to o
m
ega_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoo
l
aege
NTL_QQ
.
cc:
ad
d
stdlib
i
nclude
for
a
b
o
r
t hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
remove gnuli
b
link-warning module
c
ompletely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verd
o
o
laege
update polylib with extra
field
i
n Par
a
m
_
P
o
ly
h
ed
r
on
commit
|
commitdiff
|
tree
2008-07-30
Sven
Ve
r
doolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
S
ven
V
erdoola
e
ge
update
gnulib function to last
p
r
e-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerat
o
r::hand
l
e: r
e
pla
c
e
inco
r
rect delete b
y
free
commit
|
commitdiff
|
tree
2008-06-17
S
ven V
e
rdoo
l
aege
up
d
ate piplib
f
or corrected Urs_parm
s
handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Ve
r
doolaege
con
f
igure:
u
s
e corre
c
t header file
s
in case of bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
om
e
ga/occ:
o
nly
o
pen
d
e
bug
output file
i
f there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
add editors to I
T
SL pa
p
ers
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
rdoolaege
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
add
some
t
est sets from itsl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
doc:
a
dd late
s
t
(accepted) pu
b
l
i
catio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
M
a
k
e
fil
e
.
a
m
: a
d
d section_array
.
h
to
d
i
s
t
ribu
t
i
o
n
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rdool
a
ege
nor
m
alization
.
c
: compute_shifts:
rem
o
ve redun
d
a
n
t
retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
ae
g
e
mov
e
Fr
e
e_
P
aram
N
ames p
o
ly
l
ib and m
a
ke
param names co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add interf
a
c
e to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
ex_conv
e
rt
.
cc: extra
c
t
ex2evalue from
r
a
nge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: docume
n
t more --summation methods
f
or ba
r
vinok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
o
l
aege
o
ptions
.
c: renam
e
"
b
arvinok"
s
u
mmat
i
on
method t
o
"
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laeg
e
M
ake
f
i
l
e
.
a
m
: c
h
eck-
e
u
l
er: also check lau
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verd
o
olaege
summate
.
c: barvi
n
ok_summate: handle produ
c
t
s of
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
evalue
.
c: ex
p
ort evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
oolaege
b
e
r
ns
t
e
in:
n
umeric2value: f
i
x
typo to all
o
w
c
or
r
ec
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
util
.
c
: Fa
c
tor_Context: extracte
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
umma
t
e
.
c
: b
a
rvi
n
ok_summate
:
ignore floors indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c: add evalu
e
_fl
o
o
r
2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoola
e
ge
om
e
ga/occ: prin
t
bar
v
inok version
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoolaege
doc: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Mak
e
lau
r
ent based summat
i
on the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaeg
e
sum
m
ate
.
c
:
barv
i
n
ok_summate: h
a
ndle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verd
o
ola
e
ge
reduc
e
_evalue:
e
xtract
o
u
t
eva
l
ue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
eva
l
ue
.
c: evalue_shi
f
t_v
a
riables:
al
l
ow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: h
a
ndle equaliti
e
s
for
a
ll su
m
m
a
tion algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summa
t
e
.
c: barvinok_
s
ummate:
mov
e
common pa
r
ts
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
evalue
.
c:
eval
u
e_sum: move sig
n
handling int
o
esum_over_dom
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
barvinok_e
.
cc: enumerate_su
m
:
use barvinok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
doolaege
summate
.
c: extract barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoo
l
a
ege
rename sum
m
ate
.
cc to ba
r
vinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
r
d
oolaege
evalue
.
c: reduce
_
evalue: redu
c
e f
l
o
o
r with
co
n
st
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
Add Laurent expans
i
on based summation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ve
r
doolaege
evalue
.
c
:
e
x
tend eequal to handle
domains and
NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoola
e
ge
binomial
.
c
:
extract binomial
a
nd factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
power
.
h: extract fr
o
m e
u
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
introduce
e
va
l
ue_s
h
ift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
l
a
ttice_poin
t
.
cc:
export relativ
e
_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
lattice_p
o
int
.
h: make s
u
r
e
co
r
re
c
t evalues ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n
Verdoolae
g
e
l
a
tt
i
ce_point
.
cc: ad
d
cei
l
ing fu
n
cti
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
u
t
il
.
c: internalize ugly bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc:
multi_monom/lattice_poin
t
s: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Verdoolaege
doc: clean up "exponenti
a
l
s
ubst
i
tution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_
b
ound
.
cc: avoid loss
o
f p
r
ecision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erdoola
e
ge
b
a
rvinok_bound: optionally take maxim
a
l size o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
b
a
rvin
o
k_bound: add --i
t
erate opt
i
ons for e
v
alu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
verify
.
c: export func
t
io
n
s
f
o
r
s
e
t
ting a
n
d
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
ve
r
i
f
y
.
c: evalue_
o
ptimum: allow
comp
u
tation of optimum
.
.
.
commit
|
commitdiff
|
tree
next