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: document new options and new applications
2008-01-16
Sven V
e
r
doolaeg
e
d
oc: doc
u
ment new options and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
aege
AUTHOR
S
: update support
i
nformat
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
ola
e
ge
genfun
.
cc:
sho
r
t
_
rat
:
:print:
corr
e
ctly print polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as b
a
rvinok_en
u
merate_series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
rem
o
ve_paramet
e
r
_
equalities: stop "removing" equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
series: leav
e
freeing of P arg
u
m
ent to calling
f
unction
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: document imp
l
e
men
t
a
t
i
on of the projection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
add barvinok_e
n
u
m
era
t
e_e_ser
i
es im
p
lementing
t
he
p
roje
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
ege
g
e
n
fun
.
cc: f
i
x
and document parallel
p
o
lytopes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
On
l
y c
o
mpi
l
e
zso
l
ve if gcc 3
.
4 or
l
ater
i
s
a
vailable
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Move
G
iNaC-independent p
a
rt o
f
l
ibr
a
r
y
to barv
i
n
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
polyli
b
: updat
e
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolaege
doc: how to coun
t
the nu
m
b
er
of e
l
ements in p
o
s
sibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoola
e
g
e
doc/
i
mplementation
.
tex: avoid multip
l
y
defined
l
abel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
l
attice_width
.
c: try ve
r
tices of previous intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoolaege
doc: docume
n
t integer hull computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaeg
e
hull
.
c: add
a
l
l p
o
ints
f
ound by
sampling
d
irectly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolae
g
e
Possible op
t
imization
s
for g
e
neralized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
Support use
of generalized basis r
e
d
uction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add P
o
l
y
hed
r
o
n_In
t
eger_Minimum for comput
i
n
g t
h
e inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
oolaege
doc: docu
m
ent
generali
z
e
d
basis reduction based inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
do
c
/
barvi
n
ok
.
bib: add missin
g
str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
d
d more m
i
ssing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
configure
.
in: only com
p
ile libbarvin
o
k as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laeg
e
Polyhedro
n
_Re
d
uced_Basis: do
n
'
t stop
to
o
early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoo
l
a
e
ge
compu
t
e_width_directio
n
s: only keep l
i
st of d
i
stin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
zsolv
e
: don't install l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doolaege
versi
o
n
.
c:
show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
co
n
figure
.
i
n
: don't set with_{poly,pip}lib_prefix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doo
l
a
ege
Polyhedron_Sample
:
b
e s
a
tisfied with a r
e
asona
b
l
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
con
e
_intege
r
_
h
ull: op
t
ionally p
r
int stat
s
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaeg
e
basis
_
r
e
ductio
n
:
k
eep tra
c
k of number
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options
:
move
-
-
print-sta
t
s to library
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoo
l
aege
bernstein: r
e
work test
i
ng fram
e
wor
k
to not
d
e
p
en
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
bernstein: add piecewise
_
lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
suppor
t
newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
sta
n
d
a
r
d_co
n
s
trai
n
ts:
move
f
rom
t
opcom
.
c to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoola
e
ge
polysig
n
.
h: remove d
e
pend
e
ncy on le
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ve
n
Verdoolaege
zso
l
ve:
add banner
.
h t
o
d
i
stributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
Polyh
e
dron_Latti
c
e_Width_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
aege
basis_r
e
du
c
tio
n
_pip: abort o
n
invalid (empty
)
inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
README: explain how to get sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
l
a
ege
doc: docume
n
t lat
t
ice width c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
some lattice widt
h
tes
t
s
fr
o
m Jon Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdool
a
ege
Polyhedron_Lattice_Width: de
c
ide on facets
t
o clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaeg
e
add Polyhedron_Latti
c
e
_Width for
comput
i
ng latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilber
t
.
c: add Cone_Integer_Hull
for
com
p
uting vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolaege
p
olysign: add pip-back
e
d version
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdo
o
l
aege
po
l
ysign: add constrai
n
ts_op
t
to compute optimu
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
l
ysign_cdd: switch
t
o
use of M
a
trix re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
gn_glpk:
switch t
o
use of Matri
x
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
doc: document computatio
n
of
H
ilbert ba
s
is
o
f
a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olaege
Cone_Hilber
t
_
B
asis: use stan
d
ard
_
con
s
traints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
Use zsolve to comput
e
H
i
lb
e
r
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ver
d
oola
e
ge
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
zsolv
e
: don't in
s
t
a
ll headers and e
x
ecut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
z
s
ol
v
e:
i
nitialize Back
u
pTime in ZSolveCont
e
xt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolv
e
Sy
s
tem
:
add
m
issing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdool
a
eg
e
z
s
olve: ov
e
rride LIBS fro
m
to
p
lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
a
dd 4ti2-1
.
3
.
1+autoco
n
f-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
z
solve fr
o
m 4ti2-1
.
3
.
1+aut
o
conf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
a
ram_util
.
c:
e
xport bit_vector_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
topcom
.
c: ext
r
ac
t
part of code fo
r
set
t
i
ng up sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verd
o
olaege
g
e
n_fun::Hadamard_product: print p
r
o
g
r
e
ss
i
ndicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaeg
e
mo
v
e --verb
o
se opti
o
n to l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
summat
e
: handle
full specia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Rep
l
ace incremental
inf
i
nite
set count
e
r by
"
reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
mak
e
co
u
nte
r
::a
d
d_falling_powers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
merge (mos
t
of) com
m
on pa
r
t of c
o
u
nter and tcou
n
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
icounter: handle spec
i
alization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
icount
e
r: don't bo
t
her "normalizin
g
"
the expon
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
do
o
laege
exp
o
r
t neg_
l
eft_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Ve
r
doola
e
g
e
basis_re
d
u
ct
i
on_cdd: chec
k
for possi
b
ly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Pol
y
hedron_S
a
mple: handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
gen_fun
:
:op
e
rator
e
value *: always ret
u
rn a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
g
en_
f
un::ope
r
ator evalu
e
*: rem
o
v
e
c
omme
n
ted out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaeg
e
barvinok_en
u
merate_e
.
cc: handle
verificati
o
n of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
b
a
r
vinok
_
enumer
a
te_e:
o
ptionally print
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
barvinok_e
n
umerate_e: support verificat
i
on of
g
e
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvin
o
k
_
enumerate_e: support conversi
o
n of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
lattice
_
po
i
n
t
s: anothe
r
micro-optim
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdoo
l
aege
l
a
ttice_poin
t
s_fixed:
n
a
no-
o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_
f
un::
a
dd
:
co
n
text o
f
sum s
h
ou
l
d
b
e union of
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
barvin
o
k_en
u
merate: use verify inf
r
astr
u
cture for verifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
genfun
.
cc
:
print_pow
e
r: drop s
p
aces around "/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
count
_
poi
n
ts_
e
:
fall back to coun
t
_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdo
o
laege
M
a
kefile
.
am: c
h
eck-ev
a
l
ue: print name of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify:
ad
d
c
h
eck
_
poly_print helper
functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_f
u
n: m
a
ke s
u
r
e
c
o
ntext is alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer:
:
redu
c
e:
c
anoni
c
alize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
short_r
a
t::p
r
int: correctly
p
ri
n
t
o
ut terms wi
t
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
b
a
r
v
inok_series: recheck for eq
u
a
l
ities after comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expo
r
t Matri
x
_
R
e
ad
f
o
r reading Matrix from a s
t
ream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add
P
a
ram_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
util
.
c
: supporting_const
r
aints: return bit ve
c
tor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
polylib: update for Matri
x
_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
o
pt
i
ons
.
c: use Pol
y
h
edron_Samp
l
e for cou
n
ting infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ke
e
p track of and use
s
aturatin
g
con
s
traints in Param_Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
move value_gcd and value_
l
cm t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
Bernoulli_
s
um_evalue: only c
o
mpute e
x
act sum if approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
next