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
basis_reduction_pip: abort on invalid (empty) input polytope
2007-11-06
Sven Verdoolaege
basis_redu
c
tion_pip: abort on invali
d
(empty) i
n
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
READ
M
E: explain how to get submod
u
le
s
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoo
l
aege
doc: documen
t
l
a
ttic
e
width computa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
some latti
c
e wid
t
h test
s
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoo
l
aege
P
o
lyhedro
n
_Lattice_Width: decid
e
on face
t
s to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
add Polyhedro
n
_Lattice_Width for comput
i
ng
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
ae
g
e
hilbert
.
c: add Con
e
_Inte
g
e
r
_Hull for computing ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
polysign:
add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign:
add constraints_opt to
c
o
mpute opt
i
m
um ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
polysign_cdd:
s
w
itch to use o
f
Mat
r
ix repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
V
erdoolae
g
e
p
olysign_glpk: switc
h
t
o
use of Matrix repr
e
senta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
doc: docume
n
t co
m
puta
t
ion of Hilbert
b
asis
o
f a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
g
e
Cone_Hilbert_Basis
:
use sta
n
da
r
d
_co
n
st
r
aints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use z
s
olve
t
o compute Hilbert basis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
c
o
mpi
l
e zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
zsolve: d
o
n't install heade
r
s a
n
d
e
xecu
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: initialize Backu
p
T
i
me in Z
S
ol
v
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
o
l
ve: zsolveSystem
:
add
mis
s
ing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve:
ove
r
ride LIBS fr
o
m top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+au
t
oconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add zs
o
l
v
e
fr
o
m 4
t
i
2-1
.
3
.
1+
a
ut
o
conf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
l
aege
p
a
ram_util
.
c: ex
p
ort bit
_
vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
topcom
.
c: extra
c
t
part of code
f
or set
t
ing u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
V
er
d
oolaege
ge
n
_fun
:
:Hadamard_p
r
oduct: print
p
rogress i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven
V
erdool
a
ege
move
-
-verbose o
p
tion to
l
i
b
rary
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun::summate: handle
f
u
l
l
specia
l
izati
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolae
g
e
Replace increment
a
l infinite set counter by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
make cou
n
ter::ad
d
_fal
l
ing_powers stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
mer
g
e (most
o
f) comm
o
n part of counter
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter:
h
andle specializa
t
ion
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ic
o
unter
:
don't bothe
r
"normalizi
n
g
"
the exponent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
bas
i
s_red
u
ct
i
on_cdd: check for po
s
sibly in
c
orr
e
ct outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
Polyhe
d
ron_Sample: ha
n
dl
e
p
olyhedron b
e
c
o
ming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
gen_f
u
n:
:
operator
e
value *: always return a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun
:
:operator evalue
*
: remove commented
o
u
t debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
b
a
r
vin
o
k_enumerat
e
_e
.
cc: handle verif
i
cation of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_enumerate_e: optionally print
s
tats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e: support verification
o
f genera
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
bar
v
in
o
k_
e
numer
a
te_e: suppor
t
conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points: an
o
t
h
er micr
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olae
g
e
latt
i
ce_
p
oints_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
g
en_fun::
a
dd:
c
ont
e
xt of s
u
m should be un
i
on of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_
e
numerate: use verify infrastru
c
ture
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ge
n
f
u
n
.
cc: print_power
:
d
r
o
p spaces around
"
/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
count_points_e: fall back to count_po
i
n
t
s if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
M
akefile
.
am: che
c
k-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
verif
y
:
a
dd
c
h
e
ck_
p
ol
y
_pr
i
nt helper funct
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun: make sure context is alway
s
s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rd
o
olae
g
e
reducer::reduce: canonicali
z
e coe
f
fic
i
e
n
t
s in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
short_rat::print: correc
t
ly
p
rint out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
barvinok_
s
eri
e
s: rec
h
eck for equalities after computin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
export Matrix_Read fo
r
reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
param_util
.
c: add Param
_
Vert
e
x
_
Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: support
i
ng_
c
onstrain
t
s:
r
eturn bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
la
e
ge
polylib: update for Matri
x
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
opt
i
ons
.
c: use
Polyhedron_Sample fo
r
countin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
keep track of and use satura
t
i
ng
con
s
tra
i
n
ts in
Par
a
m
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
mo
v
e valu
e
_gcd and value_lcm to poly
l
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalue: only compu
t
e
exact sum if ap
p
roximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bernoulli_sum_eval
u
e
: sum over v
a
riab
l
es with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
.
c:
export
evalue
_
var
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
Polyhedron_ExchangeColumns: nor
m
a
l
ize constraints
a
fte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
export Pol
y
h
edron_
E
xchang
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
evalue_polyn
o
mial: optimize evalu
a
tion i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue
.
c: emul: h
a
ndle
another
s
pec
i
al
c
ase
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
e
v
a
lue
.
c: eadd: handle s
o
me speci
a
l cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
intr
o
duc
e
a
n
d
us
e
e
v
a
l
u
e_fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
eval
u
e
.
c: eadd: micro-optimize ad
d
ition
o
f
two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoola
e
g
e
setting an approxima
t
ion method now impli
e
s poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
o
laege
barvinok
_
sum
m
at
e
: optional
l
y use
B
ernoul
l
i/Faul
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Be
r
noulli_sum_e
v
alue: u
s
e evalu
e
_from_se
c
tio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
b
a
rvinok/polylib
.
h
: rem
o
v
e compati
b
ility w
i
t
h older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
move V
e
c
tor_Op
p
ose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
polyt
o
pe_scan:
r
eenab
l
e -
-
dire
c
t option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
remove_all_
e
qualit
i
es: keep removi
n
g equalities u
n
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdool
a
ege
r
emo
v
e_all_equal
i
ties:
h
andle empty polyhedro
n
dete
c
te
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n
V
erdoolaege
rem
o
ve_all_equ
a
lities:
minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
export
Polyhedr
o
n_Matr
i
x
_V
i
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdool
a
ege
polar_signed_cone_consu
m
er: clean up mem
o
ry on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaeg
e
Param_
I
n
n
e
r_Product:
fix us
e
o
f value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
V
erdoolaege
doc: fix
ty
p
o
in
M
ichele Vergne's
n
a
m
e
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n Verd
o
olae
g
e
A
d
d miss
i
ng files from polymak
e
c
l
ient to distributi
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
Use
g
mp's g
c
d rather t
h
a
n
PolyLi
b
's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/REA
D
ME: ment
i
on
--with-barvinok configur
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ve
n
Verdoolaeg
e
p
olymake/Makefile
.
in: add
w
or
k
-aroun
d
for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalu
e
.
c: print
_
evalue:
a
lway
s
print n
e
wline at
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
e
n Verdoolaege
options
.
c: fix t
y
po in --approximation-m
e
thod d
e
scription
commit
|
commitdiff
|
tree
2007-09-15
S
v
en Verdoolaege
topcom: fix heuri
s
tic for selecti
n
g rows
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ve
r
d
o
ola
e
ge
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
M
e
rge branc
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
o
o
l
a
e
g
e
Document
T
OPCOM based chamb
e
r d
e
com
p
ositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
aege
test
T
O
P
COM
ch
a
m
b
er decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Optionally u
s
e
T
OPCOM to comp
u
te chamber decom
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olae
g
e
lexmin: add (protected) missing
a
l
g
orithm
i
ncl
u
de
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
V
erdoolaege
M
akefile
.
a
m: a
d
d targe
t
for creating dist
w
ith git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update
v
oting theor
y
refer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verd
o
olae
g
e
document barvinok_
s
ummate and
b
a
rvinok_m
a
x
i
mize
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
doc: c
o
nsisten
t
use of
B
arvinok
'
s initials
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoola
e
ge
barvinok_s
u
mmate: correct options d
e
s
cription
commit
|
commitdiff
|
tree
next