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 Polyhedron_Lattice_Width for computing lattice width of parametric polytope
2007-11-01
Sven Verdoolaege
add Polyhedron_Lattice_
W
idth for computing
l
att
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
h
ilbert
.
c: add
C
o
ne_Integer_Hull
f
or
c
ompu
t
i
ng
v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
aege
polys
i
gn
:
add
p
ip-ba
c
ked
v
e
r
s
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
s
ign: add const
r
aints_opt to c
o
mpute optimu
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
laege
polysign_cdd
:
switch to us
e
o
f
Matr
i
x repre
s
en
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
oolae
g
e
polys
i
gn_gl
p
k:
s
witch to
use of
M
at
r
ix
repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
d
o
c: docum
e
nt comp
u
ta
t
ion of
Hilbert bas
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
Cone_Hilbert_Basi
s
: use
st
a
n
d
ard_c
o
n
s
traints to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaeg
e
Use zsolve to co
m
pute Hilbert basis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: don't install
headers and ex
e
cutab
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve:
i
nitial
i
ze Backu
p
Ti
m
e
in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdo
o
laege
zsolve: z
s
o
lveSystem:
a
d
d
missing
v
erbos
i
ty check
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zs
o
lve: o
v
erride LIBS fro
m
t
o
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-
1
.
3
.
1
+
a
u
toconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Ve
r
do
o
laege
add zsol
v
e f
r
o
m
4
ti
2
-1
.
3
.
1+autoco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
ae
g
e
param_ut
i
l
.
c: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
doo
l
a
e
ge
t
op
c
om
.
c:
e
xtract part of code f
o
r s
e
tting up st
a
n
d
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolae
g
e
ge
n
_
fun::Hadamard_product: pri
n
t progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
move
-
-v
e
r
bose option to
libr
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
gen_fun::summate
:
hand
l
e f
u
ll speciali
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
aege
R
eplace in
c
r
eme
n
tal infinite s
e
t counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
e
ge
make cou
n
t
e
r::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
merge (most
o
f) common part of counter an
d
tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
i
c
ou
n
t
er: handle
s
pec
i
alization of poly
n
om
i
als
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
icounter: don'
t
bother "normalizi
n
g" the e
x
p
onents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
basis
_
re
d
uctio
n
_c
d
d: check
for po
s
s
i
bly inco
r
rect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Polyhedron_Sample
:
han
d
le polyhedro
n
becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_fun::operator e
v
alue *: always re
t
u
rn a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
g
en_fun::opera
t
or
evalue
*:
r
e
m
ove com
m
ented out d
e
buggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
barvinok_enume
r
ate_e
.
cc: h
a
ndle ver
i
fication of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
d
oolae
g
e
barvi
n
o
k
_enumerate
_
e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
aege
barvinok_enumerate_e: support
v
erifica
t
ion of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
e
ge
barvinok_enumer
a
te_e: support conversion of gene
r
at
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
latt
i
ce_points: another micro
-
opti
m
iz
a
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_
p
oints_fixed:
nan
o
-optimizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::add: context of sum should
be union
o
f context
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_enumerate: use verify infr
a
str
u
ctu
r
e for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc:
print_power: drop spaces arou
n
d "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolae
g
e
count_points_e:
f
al
l
b
ack to
count_
p
oints if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Makefile
.
am: c
h
eck-evalue:
p
r
i
nt n
a
me
of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
ver
i
fy: add check_poly_pr
i
n
t hel
p
er function
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
gen_fun: make sure co
n
text is always s
e
t
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
r
e
ducer:
:
reduce:
c
an
o
nica
l
ize coefficients
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
short_rat::p
r
i
n
t:
correctly print ou
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
do
o
laege
barvinok_series: recheck for eq
u
alitie
s
a
fter computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
ex
p
ort Matrix_Read for reading Matrix from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
param_util
.
c: add Param_
V
ertex_Domai
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
util
.
c
: supp
o
rting_
c
onstraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
pol
y
lib: update
for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
options
.
c: use Pol
y
hedr
o
n_Sample fo
r
c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
keep t
r
ack of and u
s
e
saturating const
r
a
i
nts in Param_Polyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
mo
v
e value
_
gcd and va
l
ue_lcm to
poly
l
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Be
r
noulli_sum_eva
l
ue: only compute
e
xact
s
um if
a
pprox
i
m
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalue: s
u
m
o
v
e
r
variables
w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
evalue
.
c
: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
Polyhed
r
o
n
_ExchangeColumns: normali
z
e cons
t
raints
a
f
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Polyhedron_Ex
c
han
g
eColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
aege
evalue_polynomial: opt
i
mize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
e
value
.
c: e
m
ul: handle
an
o
th
e
r specia
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
eva
l
ue
.
c
: e
a
d
d
:
handle s
o
me special c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
introduce a
n
d use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
evalue
.
c: ea
d
d:
micro
-
o
p
timize
addition of t
w
o rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
se
t
ting a
n
a
p
proxim
a
t
i
o
n method n
o
w implies
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_summate: opt
i
onally
use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli
_
su
m
_e
v
alue: u
s
e evalue_from_secti
o
n_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
g
e
barv
i
nok/
p
olylib
.
h:
r
emove
c
ompat
i
bi
l
ity with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
mov
e
V
ector_O
p
pose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
polytope_sc
a
n: r
e
e
nable --direct op
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: kee
p
removing equalitie
s
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
remove_all_equalities: ha
n
dle empty polyhe
d
ron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoo
l
a
ege
remove_all
_
equ
a
lities:
m
inor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export Po
l
yh
e
dron_Mat
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
po
l
ar_sign
e
d_cone_
c
o
nsumer: clean up memor
y
on
i
na
p
propriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolae
g
e
Param_Inner_Produ
c
t
:
f
i
x use
o
f
v
a
lue_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
S
ve
n
V
e
rdoolaege
doc:
f
ix typo in M
i
c
hele
V
ergne
'
s name
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
Add missing fi
l
es from polymake client to dist
r
ibu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
Use gm
p
's gcd rather th
a
n PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
Verdool
a
e
ge
polymak
e
/R
E
ADME: mention --
w
it
h
-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Ve
r
doo
l
aege
polymake/M
a
kefi
l
e
.
in: ad
d
work-
a
rou
n
d f
o
r poly
m
ake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
evalue
.
c: pr
i
n
t_
e
value: always pr
i
nt newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verd
o
olaege
options
.
c: fi
x
typo in --approximat
i
on-met
h
od description
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
V
erdoolaege
top
c
om: f
i
x
heuristic fo
r
selecting rows to us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolae
g
e
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verd
o
ola
e
ge
Documen
t
TOPCOM based chamber
d
e
composition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ve
r
doolaege
t
e
st
T
OPCOM chamber decompo
s
iti
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Op
t
iona
l
ly us
e
TOPCOM t
o
c
ompute
c
hamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: ad
d
(protected) m
i
s
s
ing algorith
m
i
n
clude
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Makefi
l
e
.
am
:
add
t
a
rget f
o
r
creating
d
ist with gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
laege
do
c
: up
d
ate voting theory re
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
document barv
i
nok
_
sum
m
ate an
d
bar
v
inok_maxim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdoolaege
doc: cons
i
s
te
n
t use of
Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verd
o
olaege
barvinok_summat
e
: corre
c
t
options de
s
cri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Document Euler-M
a
clauri
n
based summ
a
tio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
ool
a
e
g
e
doc: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc: ad
d
some hidden sect
i
ons
t
o tab
l
e of contents
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdoolaege
doc: a
n
other document refering to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some
tes
t
s for
E
uler-Maclauri
n
based summation
commit
|
commitdiff
|
tree
next