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
add some tests for implementation of projection theorem
2008-01-16
S
v
en Verdoolaege
add some tests for i
m
p
l
ementation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
do
c
: document ne
w
o
ptions an
d
new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
A
UTHORS: u
p
date support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
g
enfun
.
cc:
short_rat
:
:
p
r
int: c
o
r
r
e
ctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
Export series as
b
arvinok_enumerate_series a
n
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
r
emove_paramete
r
_equ
a
l
i
tie
s
: stop "re
m
o
vin
g
"
equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
s
e
r
i
e
s:
l
eave freeing o
f
P argument
t
o
c
alling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc:
document implement
a
t
i
on o
f
th
e
proje
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verd
o
olaeg
e
a
d
d
barvinok_enumerate_
e
_serie
s
implementin
g
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
g
enfun
.
cc: fix and document parallel p
o
lytope
s
c
l
ass
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoola
e
ge
Move GiNaC-independe
n
t part of
l
ibrary
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to
c
ount the number
of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc
/
i
m
plementati
o
n
.
tex: avoid
m
ultiply d
e
fi
n
ed l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
l
attice_w
i
d
th
.
c
: try ver
t
ices
o
f p
r
eviou
s
integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaeg
e
doc: docum
e
nt inte
g
er hull compu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
hull
.
c: add all points found by sam
p
l
i
ng directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
ola
e
ge
Possible optimizations for genera
l
ized basis
reduc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdool
a
e
g
e
Supp
o
rt use of
g
eneralized basis reduction to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
add P
o
l
yhedron_Intege
r
_Mi
n
imum for computing
t
he in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verd
o
olaege
doc: doc
u
m
e
nt g
e
n
eralized basis reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoola
e
ge
doc/
b
arvinok
.
bib: add
m
issi
n
g
stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
S
ven V
e
rdoolaege
add more missin
g
assert
.
h
#
i
n
cludes
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ver
d
oo
l
aege
confi
g
ure
.
in:
o
n
ly compile libbar
v
inok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolae
g
e
Poly
h
edron_Reduced_Basis:
d
on't
s
top
t
oo earl
y
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
e
rdoolae
g
e
compute_width_direct
i
ons: only
k
e
ep l
i
st of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oo
l
ae
g
e
zsolve: don't
ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
version
.
c: show use of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
conf
i
g
u
re
.
in: don't set wit
h
_{pol
y
,pi
p
}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolae
g
e
Polyh
e
dron_Sam
p
le: be satisfied
with a
r
easo
n
able choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdoolaege
c
o
ne_integer_
h
ul
l
: optionally print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
ba
s
is_reduction: keep track of
number of LP
s
s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
e
ge
options: move --pri
n
t-stat
s
to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
be
r
nstein: rework test
i
ng framework
to not de
p
end on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
bernstei
n
: add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support new
e
r versio
n
s of
GiNa
C
(
>
= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
o
olaege
standard_con
s
t
raints
:
move from topcom
.
c t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
e
g
e
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add banner
.
h to
d
istribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyhed
r
on_La
t
tice
_
Widt
h
_Di
r
ecti
o
ns: print progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaeg
e
basis_reduction_pip: abort on invalid (
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
READM
E
:
e
xplain how
to
g
et submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
doc:
d
ocum
e
nt
l
a
ttice width computation
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaeg
e
s
ome lattice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
P
o
lyhedro
n
_La
t
tice
_
Width: decide on fac
e
ts to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
add Polyhedron_Lattice_
W
idth for
computing lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
a
ege
hilbert
.
c: add
Con
e
_Integ
e
r_Hull for
computi
n
g
v
e
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
l
aege
po
l
ysign: add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polys
i
gn
:
add const
r
aints_o
p
t
to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
polysign_cdd: switch
t
o use o
f
Mat
r
ix represent
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
po
l
ysign_glpk:
switch to
u
se
of Matrix represen
t
atio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolae
g
e
doc: document
computation
o
f Hil
b
ert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
C
o
ne_
H
ilbert_Basis
:
use standard_co
n
s
traints
t
o
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
Us
e
zsolve to compute
Hilber
t
basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve: don't install hea
d
ers and exe
c
u
ta
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
d
o
olaege
zsolve: initialize BackupTi
m
e in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolveSy
s
te
m
: add miss
i
ng verbosi
t
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: overr
i
d
e
LIBS fro
m
top le
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
add 4
t
i
2
-
1
.
3
.
1+autoc
o
nf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaeg
e
add
z
solve
f
rom
4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
param_u
t
i
l
.
c
: exp
o
rt bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdool
a
ege
to
p
com
.
c: extract part o
f
c
ode for se
t
ting up
s
tand
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ve
r
doolaege
gen_fun::Hadamard
_
product: p
r
int progr
e
ss
indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verdoolaege
move --verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::summate: handle f
u
ll specializat
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
Replace
i
ncremental
infinite se
t
counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
make counter::add_falli
n
g_po
w
ers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
merge (m
o
st of) c
o
mmon part of coun
t
er and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
icounter: hand
l
e specializ
a
tion of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
counter:
d
on't
bother "normalizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
export
neg_lef
t
_h
e
rmit
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
basis_reductio
n
_cdd: check for possibly incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
P
olyhedron_Samp
l
e: h
a
ndle pol
y
h
e
dron becom
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
ge
n
_
fun
:
:operator evalu
e
*: a
l
w
a
y
s
ret
u
rn a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ge
n
_fun::operat
o
r evalue *: remove
co
m
men
t
ed ou
t
debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
barvinok_enu
m
erate_e
.
cc: handle
v
erification
of
p
robl
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvin
o
k
_
enumer
a
te_e: optionally prin
t
s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
barvino
k
_e
n
u
mera
t
e_
e
: suppo
r
t
v
erification of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_
e
: sup
p
ort
conversion of genera
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
tic
e
_poin
t
s:
a
nother micro-opti
m
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
lattic
e
_
p
oints_fixed:
n
ano-
o
pt
i
m
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
gen_fun::add
:
context of su
m
s
h
o
uld be
u
n
i
on
o
f
co
n
te
x
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
b
arvinok_enumerate: use
veri
f
y in
f
rast
r
ucture for veri
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
genfun
.
c
c
: print_power: dr
o
p spa
c
e
s around "/" whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
e
g
e
count_point
s
_e: fall bac
k
to count_points if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
M
akefile
.
am: check
-
evalue:
p
rint
n
ame of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
verify
:
add check_p
o
ly_print helper fu
n
cti
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
dool
a
ege
gen
_
fun: make sure
c
ont
e
xt i
s
a
lways set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
reducer
:
:reduce:
c
anoni
c
alize coe
f
ficients
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
short_rat
:
:p
r
int: corre
c
tly print out terms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_series: recheck for equalities after co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erd
o
o
l
a
ege
export Matri
x
_Read for readin
g
Matrix from
a
st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdool
a
ege
param_u
t
il
.
c
:
a
d
d Param_Vertex_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
uti
l
.
c: supporting_cons
t
raints: return bit
vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
olaege
p
o
lylib:
u
p
date for
Mat
r
ix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
option
s
.
c: use
P
ol
y
hedr
o
n_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
k
e
e
p
t
ra
c
k
of and use satu
r
a
t
ing
c
onstrai
n
t
s
i
n Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
mov
e
v
alue_gcd and value_lcm
t
o
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
B
e
r
noulli_
s
um_evalue: o
n
ly co
m
put
e
exact sum if approxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
next