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
doc: update now published papers
2008-03-24
Sve
n
V
e
rdoolaege
d
o
c: up
d
ate now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_e
a
ch_l
o
wer_upper_bound: allow absen
c
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
R
evert
"
eadd_partit
i
on
s
:
try to combi
n
e
multi
p
le domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
eva
l
ue_read_partition: put partitions
back in the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue:
r
educe_evalue: add not
e
o
n some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
ber
n
stein
.
cc: handle inp
u
t with u
n
ion
s
+ relation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
maximize
.
cc
:
deal
w
it
h
unions i
n
i
n
p
ut
d
uring verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaeg
e
evalue_su
b
stitute: properly hand
l
e relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
V
e
rdoolaege
e
v
alue
.
c: clean up emu
l
and ead
d
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue_read: correctly r
e
ad
v
ariable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
S
ve
n
Ve
r
doo
l
aege
evalue_read: accept top
level
"relation
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ve
r
d
o
o
lae
g
e
update polyli
b
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdoolaege
evalue
_
backsubstitute
:
add
required mod
u
lo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
er
d
oolaege
eva
l
ue
.
c: *_partitio
n
s: sim
p
lify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoo
l
aege
doc: more specific info
r
mation
o
n
b
u
ggy c
d
dlib ve
r
sion
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: require cddlib 0
.
94e
by
t
esting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ve
n
Ver
d
oolaege
configu
r
e
.
in: onl
y
compile o
c
c
if code
_
gen libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oola
e
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
ol
a
ege
add some tests
for imp
l
ementation of proj
e
ctio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docum
e
nt new option
s
an
d
new
app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update support i
n
formation
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
olaege
genfun
.
cc: short_r
a
t::print: corr
e
ctly print po
l
ynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdo
o
lae
g
e
Ex
p
ort series as barvinok_
e
n
ume
r
ate_series a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
remov
e
_
parameter_equalities: stop
"removing" equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
series: leave fre
e
ing of P argume
n
t
t
o call
i
n
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
doc:
d
ocum
e
nt implementation of
t
he pr
o
jec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add bar
v
inok
_
enumerate
_
e_se
r
ies imp
l
em
e
nt
i
ng the
projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfun
.
c
c: f
i
x and document parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
la
e
ge
Mo
v
e GiN
a
C-independent p
a
rt of library t
o
ba
r
vin
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
g
e
p
o
lylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
aege
doc: how to coun
t
the number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
tex: avoi
d
multiply defined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
lattice_widt
h
.
c
:
tr
y
vertices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdo
o
laege
doc: docu
m
ent integer hu
l
l
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaeg
e
hul
l
.
c:
a
dd all po
i
nts f
o
und by
sampli
n
g d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
aege
Possible o
p
tim
i
zation
s
for
g
e
neral
i
zed b
a
si
s
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
Su
p
p
ort us
e
of general
i
zed
basi
s
r
e
duction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ve
r
doolaege
add Polyhedron_Integer_Minimum for computing the intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
d
ocument gener
a
lized ba
s
is reduction bas
e
d
inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
doc/barvinok
.
bib: add miss
i
ng strin
g
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verd
o
olaege
add more missing
asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
Verdool
a
ege
configure
.
in: only compile libbarv
i
no
k
a
s a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
olyhedron_Red
u
ced_Bas
i
s: don't
stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
V
er
d
oo
l
aege
compu
t
e_wid
t
h_dir
e
ctions: o
n
ly ke
e
p list of dis
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erd
o
olae
g
e
zsolve: don't
i
n
stall libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
version
.
c: sh
o
w use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
conf
i
g
u
re
.
in: don'
t
s
et with_{pol
y
,pip}
l
i
b
_pr
e
f
ix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdo
o
la
e
g
e
Poly
h
edron_S
a
mp
l
e: be sat
i
sfi
e
d with a reasonable
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
doola
e
ge
con
e
_i
n
teger_hu
l
l: opti
o
nally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
basis_r
e
ductio
n
: ke
e
p track of number
of LPs s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
opt
i
ons: move --p
r
int-stats
t
o l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
b
e
rnstein:
rework t
e
sting f
r
am
e
work to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
bernste
i
n: add piecewi
s
e
_ls
t
::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaeg
e
support newer versions
o
f GiNaC (>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
standa
r
d_
c
o
n
strai
n
ts
:
mo
v
e fr
o
m topcom
.
c
t
o polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remo
v
e
d
e
p
e
n
dency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
a
e
ge
z
s
olve
:
add banne
r
.
h t
o
distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaeg
e
Polyhed
r
on_La
t
tic
e
_Width_Directio
n
s: print p
r
ogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoo
l
aege
basis
_
reduction_pi
p
: abort on invalid
(em
p
ty) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
README:
e
xp
l
ain how
t
o get
subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
doc: document
la
t
tice
width
comp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
some lat
t
ice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolae
g
e
Polyhedro
n
_L
a
t
tice_Width: decide on facets t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhe
d
ro
n
_Lattice_Width f
o
r co
m
p
uting lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add Cone_I
n
te
g
er_Hull f
o
r c
o
mputing
v
ertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
poly
s
ign: add pip-bac
k
ed ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
polysign: add constraints_opt t
o
com
p
u
te
o
ptimum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign_c
d
d: swit
c
h to use of Mat
r
ix repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaeg
e
po
l
ysign_gl
p
k
: switch
to us
e
of
M
atrix re
p
resent
a
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
doc:
do
c
ument comput
a
tion o
f
Hilbert b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
C
o
ne_H
i
lbert_Basi
s
: use standard_
c
onstraints to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
Use
z
solve to
c
ompute H
i
lbert
b
asis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolae
g
e
compi
l
e zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
ege
zso
l
ve: don't instal
l
h
e
a
ders and exe
c
utables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
z
s
o
l
ve: initialize BackupTime i
n
Z
S
o
lveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
doolaege
zsolve: zs
o
lveSystem: add
mis
s
ing verbosit
y
c
heck
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
laeg
e
zsolve: override LIB
S
from to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
add
4ti2-
1
.
3
.
1+autoco
n
f-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
add zso
l
ve from 4ti2
-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
ol
a
ege
param
_
util
.
c: export bi
t
_vect
o
r_
c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
topcom
.
c:
e
x
tract part of cod
e
for
s
etti
n
g
u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
erdoolaege
gen_fun
:
:
H
adamard_product: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolae
g
e
move --verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
gen_fun::summate: handle fu
l
l sp
e
cialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Replace incre
m
enta
l
infin
i
t
e
set count
e
r by "regu
l
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter::add
_
f
a
ll
i
ng_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
merge (most of) com
m
on part of
c
oun
t
e
r
and
tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
icounter:
handle
speci
a
l
iza
t
ion
of p
o
ly
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
c
ount
e
r: don't both
e
r "normalizing"
the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
e
x
p
o
rt neg_lef
t
_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
basis_reduc
t
i
on_c
d
d: c
h
eck for possibly incorrect
o
ut
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
oly
h
edron_Sample: handle po
l
yhedron becoming empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
g
en_
f
un::operator evalue *: alwa
y
s
ret
u
rn a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
gen_f
u
n:
:
op
e
rator evalue
*
:
remove com
m
ented ou
t
debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok_e
n
um
e
rate
_
e
.
cc: handle verification of
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
barvinok_e
n
umerate_e:
o
ptionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
l
aege
barvin
o
k_e
n
umerate_e: suppo
r
t verificati
o
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enu
m
er
a
t
e_e: sup
p
ort conver
s
ion of
genera
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
latt
i
ce_points
:
a
n
ot
h
er
m
icro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
lattice_
p
oints_fix
e
d: na
n
o-optimiza
t
i
on
commit
|
commitdiff
|
tree
next