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
test_bound: convert quasipolynomials to polynomials prior to computing bound
2007-11-06
Sven
Verdoolaege
Polyhedron_
L
attice_W
i
dth_Di
r
e
c
tions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
a
sis_redu
c
tion_pip: ab
o
rt
o
n
in
v
al
i
d (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
V
er
d
oolaege
R
EADM
E
: e
x
plain
h
ow t
o
get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
doc:
document lattic
e
wid
t
h computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
some lattice
width tests from J
o
n Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdo
o
l
ae
g
e
P
olyh
e
dron_Lat
t
i
c
e_Width:
deci
d
e on
f
a
cet
s
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
add Polyhed
r
on_Latt
i
ce_
W
idt
h
for computing latt
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaeg
e
hilbert
.
c: add
Cone_Intege
r
_Hull for comp
u
ting
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
pol
y
sign: ad
d
pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
a
ege
p
o
lysign
:
add constraints
_
opt to c
o
mpute optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
polysign_cdd: switch to use of Matrix r
e
presentat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
polys
i
gn_
g
lpk:
s
wi
t
c
h
to use
of
M
a
t
rix repr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
d
oc
:
document
c
omputation of Hilb
e
r
t
basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Cone_Hilbert
_
Ba
s
is: u
s
e s
t
andar
d
_constraint
s
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
Use zsolve
t
o compute Hil
b
ert
ba
s
is of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
compile zs
o
lve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
g
e
zsolve: don't install headers and
exec
u
table
s
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
la
e
ge
zso
l
ve: i
n
i
t
ialize
B
ackupT
i
me
i
n
ZSolv
e
Con
t
ext
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolae
g
e
zsolve: zsolveSyst
e
m: a
d
d m
i
ssing verbo
s
i
t
y check
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdool
a
ege
zs
o
lve
:
override L
I
BS f
r
om top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 b
a
nner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zso
l
ve
fr
o
m 4ti2
-
1
.
3
.
1+
a
ut
o
c
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
param_util
.
c: export bit_vector
_
count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
topco
m
.
c: ex
t
ract part of code for
se
t
ting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en
Ver
d
oolaege
gen_fun::H
a
damard_product: p
r
i
nt progre
s
s
i
nd
i
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sve
n
Ve
r
doolaege
move --ver
b
ose option to lib
r
a
r
y
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
ge
n
_fun::summa
t
e: handl
e
full
specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
R
e
pla
c
e incremental infi
n
i
t
e set
c
o
u
n
ter by "
r
eg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erd
o
o
laege
make c
o
unter::a
d
d_falling_pow
e
rs static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
merge
(
most of
)
commo
n
p
a
r
t
of counte
r
and t
c
ounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ico
u
nter: handle sp
e
cia
l
izat
i
on of poly
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaege
icounter: d
o
n
't bother
"
nor
m
ali
z
i
ng" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basis_reduction_cdd:
c
h
e
ck fo
r
p
o
ssibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Polyhedr
o
n_Sample:
handle
polyhedron becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fun::
o
perato
r
evalu
e
*: always retur
n
a v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::ope
r
a
tor evalue
*
: remove commented ou
t
debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
b
arvinok
_
enumerate_e
.
cc: handle verification of pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barv
i
n
ok_enu
m
erate_e: option
a
l
l
y
p
rint stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
b
arvi
n
ok_enumerate_e:
s
u
pport v
e
rifi
c
ation of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaeg
e
barvinok_enumerate_e: support c
o
nv
e
rsion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
at
t
ice_points: an
o
th
e
r m
i
cro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
lattice_po
i
nts
_
f
i
xed:
n
a
n
o-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun
:
:
add: context of sum should be unio
n
o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ba
r
vin
o
k
_
enumer
a
te: use verify infrast
r
uc
t
ure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Ve
r
d
o
olaege
g
enfun
.
cc: print_po
w
er:
drop spac
e
s a
r
ound "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
co
u
nt_po
i
nts_e: fall
b
ack to count_poin
t
s if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: check-evalue: print name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
v
eri
f
y: add che
c
k_poly
_
print helper fu
n
ctio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
gen_fun:
make sure c
o
ntext is al
w
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::
r
educe: canonicalize co
e
ff
i
cients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olae
g
e
short_ra
t
:
:print: co
r
rectly print ou
t
t
erms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barv
i
n
o
k_series:
recheck for equalit
i
es
a
fter computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
dool
a
ege
export Matri
x
_Read for re
a
ding Matri
x
from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
p
a
r
am_util
.
c: add
P
aram_Vertex_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
util
.
c:
suppo
r
ting_constraint
s
:
r
eturn
bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
pol
y
lib: update
f
o
r
M
a
t
rix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
options
.
c: u
s
e Polyh
e
dron_Sample fo
r
co
u
nti
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
k
ee
p
t
rack of and use s
a
t
u
rating constraints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
move val
u
e
_
gcd and v
a
lue_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Bernoulli_sum_evalue:
o
nly compute exact sum if approxi
m
ati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Be
r
n
ou
l
li_sum_evalue: sum ove
r
variab
l
es with
i
nt
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: expor
t
evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
P
olyhedron_ExchangeC
o
lu
m
n
s
:
no
r
malize const
r
aints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
export P
o
ly
h
ed
r
on_ExchangeC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ev
a
l
ue_pol
y
no
m
i
al: optimize e
v
al
u
ation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eva
l
ue
.
c: emul: hand
l
e ano
t
her special
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c:
e
a
dd: hand
l
e some sp
e
c
ial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
int
r
o
d
uce and u
s
e
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
laege
evalue
.
c: eadd: micro-optimize add
i
tion
o
f two ratio
n
als
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdool
a
ege
s
etting an appro
x
imat
i
on method now implies polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
eg
e
barvinok_summat
e
:
o
p
tionally
u
se Bernoull
i
/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
B
e
rnoulli_sum_eva
l
u
e: use
e
v
al
u
e_from_
s
ection_arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaeg
e
b
a
r
vinok/po
l
ylib
.
h: re
m
o
v
e compatib
i
l
i
ty
wi
t
h
o
lde
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
move
V
ector_Oppos
e
to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaeg
e
polytope_scan:
r
eenable --direc
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: keep removing equali
t
ies until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
em
o
ve_all_eq
u
a
lit
i
es: handle emp
t
y polyh
e
dron
d
ete
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
r
emo
v
e
_all_equalit
i
e
s
: minor code
c
lea
n
-u
p
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Ver
d
o
o
laege
ex
p
or
t
Polyhed
r
on_Matrix_Vi
e
w
commit
|
commitdiff
|
tree
2007-10-16
S
v
e
n Verdoolaege
p
o
la
r
_signed_cone_consumer:
clean up m
e
m
o
ry on inappro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
e
n Verdoolaege
Par
a
m
_
Inner_Product: fix use
o
f value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
e
n
Ve
r
d
oolaege
d
oc: fix t
y
p
o
in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
l
a
ege
Add
mis
s
ing files from
polymake
c
lient to dist
r
ibuti
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
U
se gmp's gcd rather th
a
n P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
polymake/REA
D
ME: ment
i
o
n --with-bar
v
inok configu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
polymake/Make
f
ile
.
i
n
: add
w
ork-around f
o
r p
o
lymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
V
erdoola
e
ge
evalue
.
c: pr
i
nt_evalue: a
l
ways pr
i
nt newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
en Verdoolaege
opt
i
ons
.
c: fix typo in
-
-approximation
-
meth
o
d description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topco
m
: fix heuristic for se
l
e
cting
row
s
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
erdoo
l
aege
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ve
r
d
oolaege
Me
r
ge
b
ranch 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolae
g
e
Document TOPCOM base
d
chamber decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
test TOPCOM chamber decompos
i
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolae
g
e
O
p
tional
l
y
u
se
T
O
PCOM to compute c
h
amber decom
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
lexmin: add (p
r
otected)
m
i
ssing algorithm
i
nclude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Make
f
i
le
.
am: a
d
d target for
c
reating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update
v
oting theory reference
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdoolaege
documen
t
barvinok_summate and bar
v
i
nok
_
max
i
m
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc
:
consistent u
s
e of Barvinok
'
s
initi
a
ls
commit
|
commitdiff
|
tree
next