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
Ve
r
do
o
laege
d
o
c: doc
u
ment new options and new app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
o
olaege
A
U
THORS:
update support informa
t
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c
:
sh
o
r
t_rat:
:
print
:
correctly
p
rint p
o
lynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
ol
a
ege
Export series as ba
r
vinok_enumerate_series a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_
p
ar
a
meter
_
e
qualities: stop "remov
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doola
e
g
e
series: l
e
ave freeing of P a
r
gument t
o
c
a
lling
function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: doc
u
ment implementation of the p
r
ojection
theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
olaege
add barvinok_enumerate_e_series imp
l
ementing t
h
e projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
genf
u
n
.
cc: fix an
d
document
p
a
r
al
l
el polyto
p
e
s
cl
a
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aeg
e
Onl
y
c
o
m
pile zso
l
ve i
f
gc
c
3
.
4 or late
r
i
s
a
v
ailab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaege
Move GiNaC-independent pa
r
t of lib
r
ary to barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
p
olylib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolae
g
e
d
o
c
: h
o
w t
o
co
u
nt the number
of elements in
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oola
e
ge
do
c
/implemen
t
a
t
ion
.
te
x
: av
o
id multiply defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ver
d
oo
l
a
e
ge
lattice_widt
h
.
c: try ve
r
tices
of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
laege
doc: doc
u
ment int
e
ger hull
computat
i
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolaege
hull
.
c:
a
dd all po
i
nts found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
doolaege
Possible optimizations for
g
eneralized bas
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
a
e
ge
Support use o
f
generalized
basi
s
reduc
t
ion t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoolaege
a
d
d
Polyhedron_Integer_Minimu
m
f
o
r computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc: documen
t
g
e
ne
r
ali
z
e
d
bas
i
s reductio
n
based integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdo
o
laeg
e
doc/barvinok
.
bib
:
add
missing string
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n
V
er
d
oolaege
a
d
d
m
ore missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
e
r
doola
e
ge
evalue
.
c: a
d
d missing inc
l
u
de
o
f all
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aeg
e
configure
.
in: pass path of
G
MP inst
a
llation to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
co
n
figure
.
in: only co
m
pile libba
r
v
i
nok as a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
Pol
y
he
d
ron_
R
educed_Basis: don't st
o
p too early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verd
o
olaege
compute_widt
h
_directions: onl
y
kee
p
l
ist of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
erdoolaege
z
solve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
ve
r
s
i
on
.
c:
s
how use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
g
e
confi
g
u
re
.
in:
don
'
t set with_{pol
y
,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
doolaege
Pol
y
h
edro
n
_Sample: be sa
t
isfied with
a r
e
asonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
cone
_
integer_hull
:
optionally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
l
a
e
ge
ba
s
is_redu
c
tion: kee
p
track of n
u
mber
o
f LPs
solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
o
l
a
ege
options: move --p
r
i
nt-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doo
l
aeg
e
bernst
e
in: rework test
i
ng fram
e
wor
k
to not
dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add pie
c
ewise_lst
:
:is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdoolaege
standard_cons
t
raints: move from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
polys
i
gn
.
h: r
e
m
ove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
zsolve:
a
dd
b
anner
.
h to dis
t
ributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
Polyhedro
n
_La
t
tice_Width_Dir
e
ctions: print prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
basis_red
u
c
t
ion_pip: abort on invalid (emp
t
y)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven
V
e
rdoolaege
READ
M
E: ex
p
lain how to get submodu
l
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: doc
u
ment latt
i
ce width computat
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
V
erd
o
olaege
some lattic
e
w
idth tests
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
Polyhedron_Lattice_Width: deci
d
e on facets to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
ad
d
P
o
l
yhedro
n
_Lattice_Width for computin
g
l
a
tti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hil
b
ert
.
c: add Cone_Integer_Hull for
c
omputing verti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
pol
y
sign
:
add
pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
pol
y
sign: add co
n
s
t
raints_
o
p
t
to compu
t
e optimum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdoolaege
p
o
l
ysign_cdd:
switch
to use o
f
Mat
r
ix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glp
k
:
s
w
itch
t
o use of Matrix
r
epre
s
ent
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
do
c
: document computation of Hil
b
ert basis
o
f a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdoolaege
Cone_Hilb
e
rt_Basi
s
: use
standard_con
s
tra
i
nt
s
to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
se zsolve to compu
t
e Hilbert ba
s
is
o
f a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoola
e
ge
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oolaege
zsolve: do
n
't insta
l
l he
a
ders and exec
u
tables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: initializ
e
BackupTi
m
e in ZSo
l
veC
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdoolaeg
e
zsolve: zs
o
lveSystem: a
d
d
missing
verbosity chec
k
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rd
o
olaege
zsolve: override LIBS fro
m
top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
a
dd zs
o
l
v
e from 4ti2
-
1
.
3
.
1
+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_
u
til
.
c
: exp
o
rt bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
ege
topcom
.
c:
e
x
tract
p
art of code for set
t
in
g
up stand
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdo
o
laege
ge
n
_
fun::Hadamard_
p
r
oduct: print progress indica
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaege
move --ver
b
ose option
t
o li
b
rary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::summate: handle fu
l
l s
p
eci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace i
n
cremental infinite set counter
by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
make counter:
:
add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
merge (mos
t
o
f)
c
o
m
m
o
n pa
r
t
o
f
counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ico
u
nter: h
a
nd
l
e specializati
o
n of polynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
r
doolaege
ic
o
unt
e
r: don'
t
bother
"
nor
m
al
i
zing
"
the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
e
x
po
r
t
n
e
g
_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reduction_cdd:
check for possi
b
ly
i
nco
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
Polyhedron_Sample: handl
e
polyhedron
becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::oper
a
tor e
v
a
l
ue *: always
re
t
urn a v
a
l
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
gen_fun::operat
o
r ev
a
lue *: remov
e
commented o
u
t debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rd
o
ol
a
ege
barvinok_enumerate_e
.
cc: handle verifica
t
ion of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
barvinok_enumerat
e
_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
e
g
e
barvinok_enu
m
erat
e
_e:
s
upport verifica
t
ion of ge
n
er
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvi
n
ok_en
u
merate_e: suppor
t
convers
i
on of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
lattic
e
_
p
oints: another micro-o
p
tim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
lattice_p
o
ints_fixe
d
: nano-
o
pt
i
m
izati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen
_
fun:
:
add: c
o
nte
x
t of sum should be union
o
f co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
b
arvinok_enumerate
:
use
v
erify infrastructu
r
e for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
genfun
.
cc: print_power: dr
o
p spaces
a
round "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
cou
n
t_po
i
nts_e: fal
l
back t
o
count_points if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Makefile
.
am: check-eva
l
ue: p
r
int name of each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdool
a
e
g
e
verify:
a
dd check_pol
y
_print helper funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen
_
fun: ma
k
e su
r
e context is
always
s
et
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
aege
r
educ
e
r::reduce: can
o
nic
a
lize
coeffi
c
ients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
short_rat::p
r
int: correctly print ou
t
terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_series
:
recheck for
e
q
ualiti
e
s after compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
export Matr
i
x_Read for reading
Ma
t
rix
from a st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
param_util
.
c: add
P
a
ram_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
util
.
c
:
suppo
r
ting_constraints: return bit vect
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
polylib:
u
p
dat
e
fo
r
Matri
x
_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
options
.
c: use Polyhedron
_
S
a
mple fo
r
counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ke
e
p tra
c
k of and use
s
at
u
r
ating
c
ons
t
raints in
P
aram_Poly
h
edron
commit
|
commitdiff
|
tree
next