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 test sets from cases 2004 and cc 2005 papers
2007-11-07
Sven
V
erd
o
olaege
bernst
e
in
:
add
p
iece
w
ise_lst
:
:is
_
eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
support
newer versions o
f
GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
standard_constrai
n
ts:
move from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
polysign
.
h:
r
em
o
v
e
dependen
c
y
o
n lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
zs
o
lve: add banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Pol
y
hedr
o
n_Latt
i
ce
_
Widt
h
_
D
irecti
o
ns: print pr
o
gre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
a
si
s
_reduction_pi
p
:
abo
r
t o
n
invalid (em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
R
EADME:
e
xplain how
to get submodu
l
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
V
erdoolaege
doc: do
c
ument lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdo
o
laege
some latt
i
ce width tests from Jon Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
Polyhedron_Lattice_W
i
d
th: decide o
n
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
add Pol
y
hedron_Latti
c
e_Width for
computing
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
hilbert
.
c
:
add Cone
_
Intege
r
_Hull for c
o
mputing
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erd
o
olaege
polysig
n
: add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdoola
e
ge
polysign: add
c
o
nstraints_opt to compute opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
d
oolaege
polysign_cdd:
switch
t
o use
of Ma
t
rix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysign_glpk:
switc
h
t
o use of Ma
t
rix re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olaege
do
c
: docu
m
ent computation of Hilb
e
rt basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
e
g
e
C
one_Hilbert_Basis: use standa
r
d_constraints to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
ola
e
ge
Us
e
zsolve to compute Hil
b
ert bas
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
ool
a
e
g
e
compile zsolv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
l
a
ege
zso
l
v
e
: don't ins
t
all heade
r
s
an
d
executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaeg
e
z
s
olve: initial
i
ze BackupTime in
Z
So
l
veContext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolae
g
e
zsol
v
e:
z
so
l
v
eS
y
stem:
a
dd missin
g
verbosi
t
y
c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zs
o
lve: override LIBS from t
o
p
leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti
2
-1
.
3
.
1+autoconf
-
0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
o
l
a
ege
add
zsolve fro
m
4
t
i2-1
.
3
.
1+
a
utoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ver
d
ool
a
ege
param_ut
i
l
.
c: export
bit_v
e
ctor_coun
t
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laege
t
o
pcom
.
c
:
extract part of co
d
e
fo
r
set
t
ing up st
a
nd
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdool
a
e
g
e
gen_fun::Hadamard_produc
t
: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Ve
r
doolaeg
e
move --verbose o
p
tion
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_
f
un::summate: handle full speci
a
liz
a
tio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Re
p
l
ace incr
e
me
n
ta
l
in
f
i
n
it
e
set
c
ounter by
"
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
make coun
t
e
r::ad
d
_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
me
r
ge (most of) common part of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
l
a
e
ge
icounter: handle specialization
of pol
y
nomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
icounter: don't bo
t
her "normalizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaeg
e
export neg_left_her
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
ba
s
i
s
_reduction_
c
dd
:
chec
k
fo
r
poss
i
b
l
y incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Poly
h
edron_Sample: han
d
le
polyhedron
b
ecom
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
gen_fun::operat
o
r evalue *: always re
t
urn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
gen_
f
un:
:
operator evalu
e
*
:
remove commente
d
out
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
b
a
rvinok_enumerat
e
_e
.
cc: ha
n
dle verific
a
tion of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
barvi
n
ok_enumera
t
e_e: optional
l
y
p
rin
t
s
tats
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
d
oolaege
bar
v
inok_enumerate_e: su
p
port ve
r
if
i
cation of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
bar
v
inok_enumer
a
t
e
_e: support c
o
nversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
l
a
ttice_points: another
m
icro-optim
i
z
a
t
io
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
o
o
l
aege
lattice_p
o
in
t
s
_
fi
x
ed: nano-optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
d
o
olaege
gen_fun::add: context of sum
sho
u
ld be union of c
o
nt
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoolaege
b
a
rvino
k
_enumerat
e
: use ver
i
fy infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen
f
un
.
cc: print_
p
ower:
d
r
op spa
c
es around "/" w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
coun
t
_points_e:
fall back
t
o c
o
u
nt_points if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
Mak
e
f
i
l
e
.
a
m
: check-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoola
e
ge
verify: ad
d
check_poly_print helper f
u
n
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
gen
_
fun
:
make
su
r
e context i
s
al
w
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
e
ge
reducer
:
:reduce: canonicalize c
o
e
f
ficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaeg
e
short_rat::pri
n
t
:
c
or
r
ectly print
out t
e
rms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvi
n
ok_s
e
r
i
es: reche
c
k
for
e
qualities after
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matrix_Read for r
e
ading Matr
i
x from
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add Param_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
u
ti
l
.
c: supporti
n
g
_constraints: retur
n
bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
p
olylib: upd
a
te for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
op
t
io
n
s
.
c: use Polyhedro
n
_
S
amp
l
e
f
or
c
ounting i
n
f
i
n
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of a
n
d
use saturating
c
onstraints i
n
Param
_
Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value
_
g
cd
an
d
value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Bernoulli_su
m
_evalue: only compute exact s
u
m i
f
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Be
r
noulli_sum_e
v
alue: sum ove
r
varia
b
les wi
t
h int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
evalue
.
c: export e
v
alue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Polyhe
d
ron
_
ExchangeC
o
lumns: normaliz
e
const
r
aints
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
export P
o
lyhedr
o
n
_
ExchangeColum
n
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
e
ge
e
value_po
l
y
nom
i
al: optimize eval
u
ation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
eva
l
ue
.
c: emul:
handl
e
anoth
e
r special case
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
aege
evalue
.
c
: eadd: handle s
o
me special case
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
introduce an
d
use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
evalue
.
c: eadd
:
micro
-
optimi
z
e
addition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
s
etting
an app
r
o
ximation method now
implies polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barvinok_summate: op
t
io
n
ally use Bernoulli/F
a
ul
h
abe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_
s
um_eva
l
ue: use eval
u
e_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
b
a
rvinok/poly
l
ib
.
h: remove compa
t
i
bility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
mo
v
e Vector_Oppos
e
to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polytope
_
s
c
a
n
:
reenab
l
e --di
r
ect optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
r
emove
_
all_equalit
i
es: keep remo
v
i
n
g equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
re
m
ove_
a
l
l_equalities:
h
andle empty poly
h
edron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoola
e
g
e
remove_all_equalities:
minor cod
e
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
export Po
l
yhedron_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en Ver
d
oolaeg
e
polar_signed_cone_cons
u
mer: cl
e
an up memory on inappropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ve
r
dool
a
eg
e
P
ar
a
m_Inner_Product: fix u
s
e of valu
e
_
l
cm
commit
|
commitdiff
|
tree
2007-09-28
S
ven
V
erdoola
e
ge
doc:
fix ty
p
o in
Michele Vergne's
nam
e
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
a
e
ge
Add missing files from
polymake client to distribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
Use gmp's gcd rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
poly
m
ake/README: mention --with-barvinok c
o
nfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
o
lymake/Makefile
.
in: add
w
o
rk-around for polymak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ver
d
oolae
g
e
eva
l
u
e
.
c: pri
n
t_eva
l
ue
:
a
l
w
ays pri
n
t newline at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
doolaege
options
.
c:
fix typo in
--app
r
oximation-method descripti
o
n
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n
Verdoolaege
topcom:
fix heuristic for selecting rows to
u
s
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ve
r
doolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
M
e
rg
e
bra
n
c
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
erdoolaege
D
o
cum
e
nt TOPCOM
based chambe
r
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
test TOPCOM chamber decomp
o
si
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ver
d
oolaege
Opti
o
n
a
l
ly
use
TOPC
O
M
to compute chamb
e
r d
e
comp
o
sitions
.
commit
|
commitdiff
|
tree
next