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 lattice width computation
2007-11-02
S
v
en Verdool
a
ege
doc:
d
ocument
lattice
width co
m
putation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some l
a
ttice wi
d
th tests from
Jon Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
Poly
h
e
dron_
L
attice_W
i
dth
:
decide on facets
t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oo
l
aege
add Poly
h
edron_Lattice_Width for com
p
uting l
a
ttice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verd
o
olaeg
e
h
i
lbert
.
c: ad
d
Cone_
I
n
teger_Hu
l
l
f
or computing ver
t
ices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaege
polysign: ad
d
pip-bac
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolae
g
e
p
olysign
:
add
constraints_opt
t
o compu
t
e o
p
ti
m
um
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign_cd
d
: s
w
itch to use
of
M
atrix represen
t
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
polysi
g
n_glpk: switch to use of
Matrix r
e
presentati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
a
ege
d
oc
:
d
o
c
ume
n
t
c
o
m
putati
o
n of Hilbert basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_
H
il
b
ert_B
a
sis:
use stan
d
ard_const
r
aints
to a
v
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
Use
z
sol
v
e to comp
u
te Hilber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdo
o
laeg
e
compil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
d
o
n't
i
ns
t
all head
e
r
s
a
nd execu
t
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
z
s
olve:
i
nitialize
B
a
c
kupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve: zsolveSystem: add m
i
s
s
ing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laege
z
solve:
override
LIBS from to
p
level
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verd
o
o
l
aege
ad
d
4
t
i2
-
1
.
3
.
1+autocon
f
-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
zsolve from
4ti2-1
.
3
.
1+auto
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
aram_util
.
c: ex
p
ort bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaeg
e
topco
m
.
c
: ext
r
act p
a
rt of co
d
e f
o
r
setting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
e
n V
e
rdo
o
laege
g
en_fun::
H
adamard_
p
roduct: print
progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdo
o
laege
move
-
-verbo
s
e op
t
i
o
n to l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
g
en_fu
n
::summate: ha
n
dle ful
l
specia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Replace incremental
i
n
f
inite se
t
counter by "regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdoolaege
make co
u
nter::add_falling_powe
r
s sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
merge (mos
t
of) c
o
mmon
par
t
of
c
o
unter and tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolae
g
e
icou
n
ter: han
d
le speciali
z
a
tion of polynomial
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
icounter:
d
on't bother "normalizi
n
g
" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expo
r
t
neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
basis_reduction_cdd: c
h
e
ck
f
o
r
pos
s
ibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Polyh
e
d
r
on_Samp
l
e
: handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
ge
n
_
fun::operato
r
evalue *
:
always return a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fun::operator evalue *: remove commented ou
t
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
bar
v
i
nok_en
u
merate
_
e
.
cc:
ha
n
d
le
v
erificati
o
n of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
bar
v
inok_enumerate_e: optionall
y
pri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
bar
v
i
nok_en
u
merate_e:
s
u
p
port veri
f
icat
i
on of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
b
arvinok_en
u
merate_e: support
conversion
of ge
n
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
l
a
ttice
_
poin
t
s:
another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_point
s
_fi
x
ed
:
nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_fun::add
:
contex
t
of sum should be union of c
o
ntexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaeg
e
ba
r
vinok_en
u
merate: us
e
ver
i
f
y infra
s
tru
c
tu
r
e for
verif
y
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
ge
n
fun
.
cc
:
p
rint_p
o
we
r
:
d
rop s
p
aces around "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
count_points_e: fall back to coun
t
_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Makefi
l
e
.
am:
c
heck
-
ev
a
lue: print
name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
verify:
a
dd check
_
poly_pr
i
nt h
e
lper
f
unction
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaege
g
e
n_fun
:
make
sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
r
e
d
u
c
er
:
:r
e
du
c
e:
c
anoni
c
ali
z
e coefficients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
sho
r
t
_rat::print: correct
l
y print ou
t
terms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
bar
v
inok_series: recheck for equal
i
ties after
c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
e
x
port Mat
r
ix_R
e
ad for read
i
n
g
Matrix from
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
p
aram_util
.
c
: add Param_Vertex_D
o
ma
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c
: supporting_constr
a
ints: re
t
urn bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
polylib: upd
a
te for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
optio
n
s
.
c
:
use Po
l
yhedron_S
a
mple for cou
n
ting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
keep tra
c
k of and use saturating con
s
traints in
P
aram_Polyh
e
dr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
o
ve v
a
lue_gcd and value_
l
cm to po
l
y
l
ib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
Bernoulli_sum
_
e
v
alue: on
l
y
c
o
m
pute ex
a
ct sum
if approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rd
o
olaege
Bernoulli_sum_evalu
e
: sum ov
e
r variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
evalue
.
c: export evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
Polyhed
r
on_Exchang
e
Col
u
mns: normalize constraints
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
expo
r
t Polyhed
r
on_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ev
a
lue_po
l
ynomial: opt
i
m
i
ze eval
u
ation in
z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c: emul: handle a
n
oth
e
r special ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalue
.
c
: eadd: handl
e
some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introd
u
c
e and
u
se evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
evalue
.
c: eadd:
m
icro
-
opti
m
i
z
e addition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
se
t
ting
an approxima
t
ion method now implies p
o
lyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvino
k
_
summate: option
a
lly use Berno
u
lli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
doolaeg
e
B
ern
o
ulli_sum_evalue:
u
se evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
ol
a
ege
barvinok/polylib
.
h
: remove compatibility
with o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vector_Oppose to
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyt
o
p
e_s
c
an: reenable --di
r
ect op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
remove_all_equalities: keep
r
emo
v
ing eq
u
alities un
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
remove_all_equalities:
h
andle e
m
p
ty polyhe
d
ro
n
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoo
l
aege
r
emove_all_equal
i
t
i
e
s
: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
export
P
oly
h
edron_Ma
t
r
i
x
_Vi
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n Verd
o
olaege
p
o
lar_sig
n
e
d_cone_consumer: clean up memo
r
y
on
i
n
a
pp
r
opria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ve
r
doolaege
Pa
r
am_Inner_Prod
u
ct: fix
u
se of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ver
d
oolaege
doc:
f
ix typo in Michele
V
ergne's name
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ve
r
doolaege
Add mis
s
ing files from poly
m
a
k
e client to di
s
t
r
ibut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoo
l
aege
Use gmp's gc
d
ra
t
her than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aege
polymake/README: m
e
ntion --with-barvin
o
k con
f
ig
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
olymake/Makefile
.
in: ad
d
work
-
around for
p
olymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
eval
u
e
.
c
:
print
_
evalue
:
always print n
e
wline at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
e
n
Verdo
o
laege
options
.
c: fix typo in --a
p
proxi
m
atio
n
-method des
c
ription
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdoolaege
topcom
:
fix heuristic
f
o
r
sel
e
cting rows to us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
b
a
r
v
inok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ve
r
do
o
l
aege
M
e
rge b
r
anch
'
topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ve
r
doolaege
Docume
n
t TOPCOM b
a
sed c
h
a
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM chambe
r
decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verd
o
olaege
Optionally u
s
e TOPCO
M
to com
p
ute chamber decompos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
lex
m
in:
add (pr
o
te
c
ted) m
i
s
s
i
n
g algori
t
hm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
am
:
add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
d
o
c: updat
e
voting theory ref
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
docume
n
t barvinok
_
sum
m
ate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
doc
:
c
o
nsistent us
e
of B
a
rvinok'
s
initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
barvino
k
_summate: correct optio
n
s de
s
cr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
Doc
u
ment Eul
e
r-Maclaurin based
su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
d
o
c
: change example envir
o
nment
commit
|
commitdiff
|
tree
next