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
Sven Verd
o
olaege
add some tests for impl
e
menta
t
ion o
f
p
r
ojection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
document n
e
w
options
a
nd new appli
c
at
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTH
O
RS: update support inf
o
rmation
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfu
n
.
c
c: sh
o
r
t
_rat
:
:
p
rint: cor
r
ectly print po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdo
o
laege
Export seri
e
s
a
s barvinok_enumera
t
e_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolae
g
e
r
e
move_parameter_equalities: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
series: leav
e
f
r
eeing of P a
r
g
ument
to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
d
o
c
: doc
u
ment imp
l
eme
n
tation
o
f the p
r
o
j
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add barv
i
n
o
k_
e
n
ume
r
ate_e_series impleme
n
ting the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolae
g
e
genfun
.
cc: fix and d
o
cument
p
arallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
M
ove Gi
N
a
C-indepen
d
e
n
t part of libra
r
y to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
poly
l
ib: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oolaege
doc:
h
o
w to count
th
e
n
umbe
r
of
e
l
e
m
ents in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven
V
erdoo
l
aege
doc/implem
e
nta
t
ion
.
t
e
x
: avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_widt
h
.
c: try vertices of
p
r
evious in
t
eger
hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
laege
doc: document
in
t
eger
h
u
l
l comp
u
ta
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaege
hull
.
c: add al
l
poin
t
s found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
Poss
i
b
le opt
i
mi
z
ations for generalized bas
i
s
r
educti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
Support use
of g
e
ner
a
lized basis reduc
t
ion to
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
add
Polyhedron_Integ
e
r_Minimum f
o
r computing
t
he
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document
gene
r
a
l
ize
d
basi
s
reduction based
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc
/
barvinok
.
bib: add missing stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add mor
e
miss
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdool
a
ege
confi
g
ure
.
in: only compile l
i
bba
r
vinok as a stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedr
o
n_Reduc
e
d_Basis: d
o
n't s
t
op too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
mpute_w
i
dth_di
r
ect
i
on
s
:
only keep
l
ist
o
f distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaeg
e
z
solv
e
:
don't install library
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdool
a
ege
v
ersion
.
c: show
u
se
o
f TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
config
u
re
.
in: d
o
n't set with_{poly,pip}lib_prefix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdo
o
l
a
ege
Polyhe
d
ron_Sample: be satisfi
e
d with a r
e
ason
a
ble
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
cone_
i
nteg
e
r
_
hull:
opti
o
nally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
la
e
ge
basis_reduction: keep track of number of
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
rdoo
l
aege
options
:
move
--print-stats to librar
y
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verd
o
olaege
bern
s
t
e
in: re
w
o
r
k te
s
ting fram
e
work to n
o
t depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdo
o
laege
berns
t
ein:
add
p
iece
w
is
e
_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
oolaege
sup
p
ort n
e
wer v
e
rsio
n
s of
GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
o
olaege
s
t
a
ndard
_
c
o
nstraints: move from topcom
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdo
o
laeg
e
polysign
.
h: remove
d
ependen
c
y on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
e
g
e
z
s
olve:
add banner
.
h
to distribution
commit
|
commitdiff
|
tree
2007-11-06
S
ven
V
erd
o
olaege
Polyhedron
_
Latt
i
ce_Width
_
Dir
e
ct
i
o
n
s:
p
rint progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolaege
basis_reduction_pip
:
abort on invalid
(
empt
y
) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdool
a
ege
RE
A
DM
E
: explai
n
how to g
e
t submod
u
le
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: d
o
cument la
t
ti
c
e
width computatio
n
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n V
e
rdoolaege
some lattice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
ool
a
eg
e
Polyhedron
_
Lattice_Width:
decide on f
a
cets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Ve
r
d
o
olaege
ad
d
Polyhed
r
on_Lattice_Wid
t
h for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilb
e
r
t
.
c: add Cone_Integer
_
Hull for computing ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
p
o
lysign
:
add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
aege
polysign: add
c
onstraints_opt to compute optim
u
m over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
a
e
g
e
polysign_cdd: swit
c
h t
o
use of Matrix repr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
polysign_glpk: switch
t
o use o
f
Matrix
r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
doc: documen
t
c
omp
u
tatio
n
of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Cone_Hilbert_Ba
s
is: use standard_constrain
t
s to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
se zsolve to comput
e
Hilb
e
rt basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdo
o
laege
zsolve: don't install headers and execu
t
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zso
l
ve: initia
l
ize BackupTim
e
in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaeg
e
zsolve: zs
o
lveSyste
m
: add
missing v
e
rb
o
sity c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve: override LIBS from top leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
d
oolaeg
e
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
add zsolve from
4
ti2-1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
olaege
param
_
ut
i
l
.
c:
ex
p
ort bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
t
opcom
.
c: ext
r
act part of
c
o
d
e
for setti
n
g up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen
_
fun::H
a
dama
r
d_prod
u
ct: print
progress indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
mo
v
e --verbose
o
ption to library
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rd
o
olaege
gen_f
u
n::summate:
handle fu
l
l s
p
e
c
i
alization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
Replace increment
a
l
infinite set counter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
make count
e
r::add_
f
alling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
m
erge (most of) common p
a
r
t
of co
u
nter and
t
counter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
ic
o
unter: handle specialization
o
f
p
o
lynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don
'
t bother "normalizing" the
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
basis_
r
e
d
uction_
c
dd: check for
p
oss
i
bly incorre
c
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
Po
l
yhe
d
r
on_Sample: hand
l
e p
o
lyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::op
e
rato
r
evalue *
:
alw
a
ys retur
n
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
g
e
n
_
fun::opera
t
or evalue *: remove commented out
debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdool
a
eg
e
barvinok_enumerate
_
e
.
cc: ha
n
d
l
e
verification
o
f
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barv
i
n
ok_
e
numerate_e:
o
pti
o
nally
p
rint stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
b
a
r
vin
o
k_e
n
umerate_e: support ve
r
ification of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
b
a
rvinok_en
u
mera
t
e_e:
s
upport conversion
o
f generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaeg
e
la
t
tice_poi
n
ts: another micro-optimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
latt
i
ce_points_fix
e
d: nano-opti
m
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
a
ege
gen_fun::add: context of su
m
should
b
e
union
o
f con
t
exts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enum
e
rate: use veri
f
y infrastruc
t
ure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc: pri
n
t_power
:
drop space
s
a
r
o
u
nd "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
d
o
olaege
count_poin
t
s
_
e
: fall b
a
ck to cou
n
t_poi
n
ts if t
h
e
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Makefile
.
am
:
check-evalue: print
name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
g
e
ver
i
fy: add
check_poly_print
helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
g
en
_
f
un: m
a
ke sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
r
educer:
:
reduce:
canonicalize coeffi
c
ients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
s
hort_rat::print
:
correct
l
y print o
u
t
terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
ba
r
vinok_series: recheck for equalities a
f
ter computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdool
a
ege
e
x
po
r
t Matrix
_
Read for readi
n
g Matrix from a
s
tr
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
util
.
c
:
supporting_constraints: return bi
t
v
ector
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
po
l
ylib:
update f
o
r
M
atrix_Ex
t
end
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaeg
e
o
p
tions
.
c
: use
Polyhedron_
S
ample for counti
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
keep track o
f
and use saturating constraints in P
a
ram_Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
mov
e
v
alue_gc
d
and v
a
lue_lcm to pol
y
li
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bern
o
u
l
l
i_su
m
_
e
value: only
compute exact sum if app
r
oximatio
.
.
.
commit
|
commitdiff
|
tree
next