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: keep track of number of LPs solved
2007-11-08
Sven Verdoolaege
basis_redu
c
tion: keep tra
c
k of number of
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: move -
-
print-st
a
ts t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
ber
n
stei
n
:
rework testin
g
framewo
r
k
to no
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
bernstein: add
p
iecewis
e
_ls
t
::is
_
e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
support
n
ewer versions
o
f GiNaC (
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolae
g
e
standard_
c
onstrain
t
s
:
move from topcom
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoolaeg
e
poly
s
i
gn
.
h: remove depen
d
ency on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoo
l
a
eg
e
zsolve: add ban
n
er
.
h
t
o distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Ve
r
doolaege
Polyhe
d
ron_Lattice_Widt
h
_Directions
:
print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n
Verdoo
l
aege
basis_reduction_pip: abort on invalid (emp
t
y) i
n
put
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
README: e
x
plain how to
g
et submodules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verd
o
olaege
doc
:
docum
e
n
t
la
t
tice
w
id
t
h computa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
o
o
laege
some
l
attice width tests from Jon
Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
ge
Polyhedron
_
Latti
c
e_Widt
h
: decide
on facets to
clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
a
dd Polyhedron_La
t
t
ice_Width for computi
n
g
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoolaege
hi
l
ber
t
.
c
:
add
C
one_Inte
g
e
r
_Hull for
comput
i
ng v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
i
g
n: add
pip-backed ver
s
i
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign: add constraints_opt to compu
t
e
o
ptimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd: swit
c
h
to use of Matrix re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdool
a
ege
p
olysign_glpk
:
s
w
i
tch to use
o
f
Matrix represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document computatio
n
of Hil
b
e
rt basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Cone
_
Hilbe
r
t
_
Basis: use standard_co
n
s
t
raints to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
Use zsolve to
c
ompute Hilbert basis
of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
com
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve: don't install hea
d
er
s
and
e
x
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolve: initialize Bac
k
upTime in Z
S
o
l
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
z
s
olve: zsolveSystem: ad
d
m
i
ssing verbosi
t
y
c
heck
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdoolaege
zsolve: override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
g
e
a
dd 4
t
i2-1
.
3
.
1+autoconf-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolv
e
fr
o
m 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c
:
e
xport b
i
t_vector_coun
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
topcom
.
c: e
x
tract
p
art o
f
code
f
or setting up stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
g
en_fun::
H
adamar
d
_produc
t
:
p
rint progr
e
ss indi
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Verdoolaege
move --
v
erbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
g
en_fun
:
:summate: ha
n
dle
f
ull spec
i
alizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Replace i
n
cremental
i
nfinite set
c
ounter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ve
r
doolaege
make counter::add_fall
i
ng_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
merge (most
o
f) common part of
c
o
unter an
d
tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
ae
g
e
i
c
o
u
nte
r
: handle
specialization of polynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
i
cou
n
ter:
don't bot
h
er
"
n
or
m
alizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
e
x
port neg_left_h
e
rmit
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_r
e
duction_cdd: check
for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
P
o
l
yhedr
o
n_Sample: handle polyhedron b
e
c
o
m
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
gen_fun:
:
op
e
rator evalue *
:
a
lways return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
gen_fun::operator
evalue *: remove com
m
e
nted
o
u
t
deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerat
e
_
e
.
cc: h
a
ndle veri
f
ication of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoo
l
aege
barvino
k
_
e
numerate_e: optionally p
r
int stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_enumerate_e:
s
upport
ver
i
fication of g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolae
g
e
barvinok_e
n
umerate_e: support
c
on
v
ersion of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
tice_points: another mi
c
ro-optimi
z
a
t
io
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points_fixed:
nano-optimiza
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun::a
d
d: con
t
ext
of sum should be union
of
conte
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_e
n
umerate:
use
v
erify infrast
r
u
cture for v
e
rifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
g
e
nfun
.
cc: print_power: drop spaces around
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
count_p
o
ints_e
:
fall back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Make
f
i
le
.
am: c
h
eck-evalue: print name of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify:
a
dd check_poly_print helper funct
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
g
en_fu
n
: make sure cont
e
xt is
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
r
educer::
r
e
duce: canonic
a
l
i
ze coefficients i
n
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
short_rat::print:
c
orrectly
print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvi
n
ok_seri
e
s
:
recheck fo
r
equalities
a
fter computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doolae
g
e
expor
t
Matrix_Re
a
d f
o
r readin
g
Mat
r
ix from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
p
aram_ut
i
l
.
c: add
P
aram_Ver
t
ex_
D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rd
o
olaege
util
.
c: supp
o
rting_constrai
n
ts:
r
etur
n
bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
polyl
i
b: u
p
d
a
t
e for Mat
r
ix_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use
Polyhedron_Sample for counti
n
g
infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
keep t
r
ac
k
of and use satu
r
atin
g
constraints in Pa
r
am
_
Pol
y
h
edr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
a
e
g
e
m
ove value
_
gc
d
and va
l
ue
_
lcm t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rd
o
olaege
Bernoulli_
s
u
m
_ev
a
l
ue: only c
o
mpute e
x
act
sum
i
f approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Be
r
n
o
ull
i
_s
u
m_ev
a
lue:
s
um over
variables wit
h
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
evalue
.
c: ex
p
or
t
evalue_
v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaeg
e
Pol
y
hedron_Ex
c
hangeColumns: norma
l
ize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaeg
e
e
x
port Polyhedron_Exchang
e
Co
l
u
m
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
evalu
e
_polynomial: op
t
imize
eva
l
uation
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
o
o
l
aege
evalue
.
c
: emul: h
a
ndle
a
n
oth
e
r special
c
ase
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eva
l
u
e
.
c
: eadd: handl
e
s
o
me special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
intro
d
uce and use
e
value_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalue
.
c: eadd:
micro-optimize addition of
t
wo ratio
n
als
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
a
e
ge
setting an approximation
m
ethod now implies pol
y
nomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_summate: optio
n
a
l
ly use
B
ernoulli/Faulha
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Bernoul
l
i
_sum_ev
a
lue: us
e
eva
l
ue_from
_
section
_
ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
barvinok/polylib
.
h: r
e
move compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
move Vector_Oppose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyto
p
e
_
sc
a
n
: re
e
nab
l
e -
-
d
ir
e
ct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolaege
remove
_
all_
e
qualities
:
keep remo
v
i
n
g
equ
a
liti
e
s
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en
V
erd
o
olaege
r
e
move_all_equ
a
lities:
hand
l
e empty polyhedron
d
etected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equali
t
ies: minor
c
ode cl
e
an
-
up
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Verdoolaeg
e
exp
o
rt Polyhedron_Mat
r
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
rdoolaege
p
o
lar_signe
d
_
c
one_cons
u
mer
:
c
lean up
m
emory on ina
p
propriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
Verdool
a
e
ge
Param_I
n
ner_Prod
u
ct: fix
use o
f
value
_
lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
V
erdoolaege
doc: fix typ
o
in
M
ichele Vergne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdool
a
e
g
e
A
dd missing
f
i
les from polymake client to distrib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoo
l
a
e
g
e
Use gmp
'
s gcd rat
h
er
t
han Po
l
yLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
e
ge
po
l
y
make/README:
m
ention
-
-with-barvinok confi
g
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
polymake/Makefile
.
in: add wor
k
-a
r
ound f
o
r polyma
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
V
er
d
oo
l
a
e
ge
ev
a
lue
.
c:
p
rint
_
ev
a
lue: alw
a
ys print new
l
ine at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdo
o
laege
options
.
c
:
f
ix
t
ypo in --ap
p
r
oximati
o
n-meth
o
d desc
r
ipt
i
on
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Verdoola
e
ge
topcom: fix heu
r
istic for
selec
t
ing
rows t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rd
o
olaege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verd
o
olaeg
e
Merge br
a
nch
'
topcom
'
commit
|
commitdiff
|
tree
next