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
bernoulli.c: minor refactoring
2008-03-31
Sven Ver
d
o
olaege
bernoull
i
.
c: minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum: ha
n
dl
e
c
o
ntext c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bern
o
ulli_su
m
_
evalue: make s
u
re enoug
h
memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_eac
h
_lower_upp
e
r_bound: add an
o
ther callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
verify
.
c: adjust de
f
au
l
t range
to co
n
text if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
euler
.
cc: summ
a
t
e_over
_
domain: o
n
ly co
n
side
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
param_ut
i
l
.
c: export Param
_
Vertex_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
P
aram_Pol
y
hedron_F
a
cet
:
pa
s
s face
t
defi
n
ing con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
genfun
.
cc: par
a
ll
e
l_polytope
s
: don't
bother
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
evalue_spli
t
_domains_into_orth
a
nts: don't
r
educe
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
evalue_read: only
a
llow terms to cross newlines insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_read: o
n
l
y
a
c
c
ep
t
implicit
m
u
l
tiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value
_
rea
d
:
acc
e
p
t
c
o
n
st
r
a
ints containing
"
'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aeg
e
eva
l
ue_ber
n
stein_coeff
i
c
i
en
t
s: ens
u
re result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
bern
s
tei
n
: p
i
ecewise_l
s
t: co
r
r
ectly p
r
int and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Ve
r
d
oolaege
remove_al
l
_equal
i
t
i
es: ke
e
p
r
e
movi
n
g pa
r
ameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verd
o
olaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc
:
co
n
sistent us
e
o
f Ke
v
in's in
i
tia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
d
o
c
:
update now
published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
g
e
f
o
r_each_lowe
r
_upper_bound:
a
llo
w
abs
e
nce o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert
"eadd_
p
ar
t
i
tions: tr
y
to com
b
ine multiple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erdoolaege
evalue_read_partition
:
put partit
i
ons
b
ack
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue:
r
educe_evalue: add note on some m
i
ss
e
d oppo
r
tu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
bernstein
.
c
c: handle input w
i
th u
n
ions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Ve
r
doolaege
m
ax
i
mize
.
c
c: dea
l
w
i
t
h
union
s
i
n in
p
u
t
during v
e
rification
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdo
o
laeg
e
ev
a
l
ue_substit
u
te: prope
r
l
y handle
r
elati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
evalue
.
c: clean
u
p emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_read:
c
o
rrectly read varia
b
le names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoola
e
ge
evalue_rea
d
: accept top l
e
vel "
r
elati
o
n
"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Ve
r
doolaege
evalue_backs
u
bstitute: add
required
m
odulo constra
i
n
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoo
l
aege
e
v
alue
.
c: *_p
a
rtitions: simpl
i
fy c
o
nstr
a
ints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en V
e
rdoolaege
doc: more spe
c
ific informati
o
n on buggy
c
dd
l
i
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
laege
configure
.
in: require cddlib 0
.
94e by tes
t
ing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
config
u
re
.
in: only compil
e
occ if
c
ode_gen lib
r
ar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Ve
r
doolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
add some tests
fo
r
implement
a
tion of
p
r
ojection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
d
oc: doc
u
ment
n
ew opti
o
n
s
a
n
d
new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
AUTHO
R
S
:
u
pdate
s
upport i
n
form
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oolaege
ge
n
fun
.
cc
:
sho
r
t_ra
t
::print: correctly print poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdool
a
ege
Export
s
eries as barvinok_enumerate_
s
eri
e
s and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
r
e
m
ove_p
a
rameter_equalities: stop
"r
e
moving
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
series: leave freeing of P argumen
t
to ca
l
ling func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docum
e
nt implementa
t
ion of
t
he projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
doolae
g
e
add
ba
r
vinok_enum
e
rate_e_series im
p
lementing the proj
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
gen
f
un
.
cc: fix and
docum
e
nt parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ve
r
doo
l
ae
g
e
Only compile
z
s
o
lve if gcc 3
.
4 or l
a
ter is avai
l
able
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdo
o
l
a
ege
Move
GiNaC-
i
ndependent par
t
o
f
librar
y
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
p
o
lylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how t
o
c
ount the
num
b
e
r of elements in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
doc/implementat
i
on
.
t
e
x: avoid multiply defin
e
d
la
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
lattice
_
widt
h
.
c: try vertices of p
r
evious inte
g
e
r hull
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
d
o
c: document integer hull computat
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ol
a
ege
hull
.
c: add
all points fou
n
d by sampling
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Poss
i
ble opti
m
izations for gener
a
lized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
laege
Sup
p
ort use o
f
g
e
neralized basis reductio
n
t
o c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdool
a
ege
add Polyh
e
dron_Integ
e
r
_
Minimum for computing the in
t
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
docum
e
nt generalized ba
s
is
reduction base
d
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/b
a
rvin
o
k
.
bib: ad
d
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
ad
d
more m
i
ssi
n
g
asse
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
evalue
.
c:
a
d
d missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Ver
d
oo
l
aege
c
o
nfigure
.
in:
pass
p
ath of GMP in
s
tallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
co
n
fig
u
re
.
i
n:
o
n
l
y comp
i
le libbarvinok as
a
st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyh
e
d
r
on_Reduced_Ba
s
i
s
:
don't stop too ea
r
ly w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Ve
r
doo
l
a
ege
compute_w
i
dth_direct
i
o
n
s
: on
l
y
kee
p
list
o
f dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doo
l
aege
zsolve: don't install libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
erdoolaege
version
.
c: sh
o
w use of TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
con
f
i
g
ure
.
in: don'
t
set wit
h
_{p
o
ly,pip}li
b
_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
Polyhedron_Sa
m
ple: be satisfied with a reasonab
l
e cho
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
cone_integer_hull: optiona
l
ly
print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolae
g
e
basis_reduct
i
on: keep trac
k
o
f number of LP
s
solv
e
d
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
op
t
ions
:
move --print-sta
t
s to
li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein:
rew
o
r
k
t
esti
n
g
fram
e
work
to
n
ot depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
doolaege
ber
n
ste
i
n: add piecewise_lst:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
s
u
pp
o
rt newer vers
i
ons
of GiNaC
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
e
ge
standard_constraints: m
o
ve from
t
opcom
.
c
t
o
p
olysig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remov
e
dependency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
zsolve
:
add bann
e
r
.
h to
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdool
a
ege
Polyhedron_L
a
ttice_
W
idth_Directions: print
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ven
Verdoolaege
basis_r
e
d
u
ction_pip: abort on invalid (
e
m
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
README: expl
a
i
n
how to ge
t
submo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laeg
e
do
c
: docu
m
e
n
t lat
t
i
c
e
w
i
dth co
m
putation
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
s
o
m
e
lattice width
t
ests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verd
o
olaege
P
o
lyhedron_Lattic
e
_Wid
t
h:
d
e
c
ide on facets to cl
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhed
r
o
n
_Lat
t
ice_Widt
h
f
or computing
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add Cone_Integer_Hull for
comp
u
tin
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoola
e
ge
pol
y
sign: add pi
p
-ba
c
ked v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysign
:
add const
r
aints_opt to com
p
u
t
e
optimum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olaege
polysig
n
_cdd: s
w
itch to use of Matrix repr
e
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
o
laege
p
olysign_glpk: switch to use of Matri
x
repr
e
senta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
doc
:
d
ocument c
o
mputation
o
f Hilbert
b
asis of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
Cone_Hilb
e
rt_Basi
s
:
use standard_co
n
straints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
Use zsolv
e
t
o
c
ompute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolaege
zsol
v
e: don't install hea
d
ers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
: init
i
alize BackupTime in
Z
So
l
ve
C
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
zsolve:
zsolveSystem: add missing verbosity c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdoolaege
zsolve: over
r
ide LIBS from top leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolae
g
e
add
4ti
2
-1
.
3
.
1+autoconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
add zsolve from 4ti
2
-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
next