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
polysign: add pip-backed version
2007-10-31
Sven Verdoolaege
polysign:
a
dd pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
po
l
ysig
n
: add
c
onstraints
_
opt to co
m
pute optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
p
oly
s
i
gn_cdd: switch
t
o
u
se of Matrix represe
n
t
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysign_
g
lpk
:
switch t
o
us
e
of Matrix represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoola
e
ge
doc: document computation of Hilbert
b
asis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Cone_Hilbe
r
t
_
Ba
s
is: use stand
a
rd_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdo
o
l
a
e
ge
Use zsol
v
e to compute H
i
lb
e
rt b
a
sis
o
f
a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
laege
c
o
m
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaeg
e
zsol
v
e
:
do
n
't install head
e
rs and
e
x
ecutables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolv
e
: initialize BackupTime in
Z
Solv
e
C
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
z
solve: zsolveSystem: add miss
i
ng verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doo
l
aege
z
solve: ove
r
ri
d
e LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
a
dd 4ti2-1
.
3
.
1+
a
utoco
n
f-0
.
1 b
a
nn
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
ad
d
zsolve from 4ti2-1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
param
_
ut
i
l
.
c: e
x
port
bit_vect
o
r
_
co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
t
o
p
com
.
c: extr
a
ct p
a
rt of code for se
t
t
i
ng
u
p standa
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
er
d
oolaege
gen
_
fu
n
::Had
a
mard_product
:
print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Ver
d
oolaege
move -
-
verbose
o
pt
i
on
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
g
en_
f
u
n
:
:
summa
t
e:
handle full speciali
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
Repl
a
ce incremental in
f
inite se
t
cou
n
ter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
ma
k
e counter
:
:
a
dd_f
a
lling_
p
owers static
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
merge (m
o
st
of) c
o
mmon pa
r
t of count
e
r an
d
t
count
e
r
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
ae
g
e
icounter: handle
s
pec
i
alization of
p
olyno
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't bo
t
her "normalizing"
the exponent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expo
r
t
n
eg_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
laege
basis_reduction_cdd: c
h
eck fo
r
possibly
incorrect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdool
a
e
ge
Polyhed
r
on
_
Sample: handle polyhedr
o
n
b
ecoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
gen_fun::operato
r
ev
a
l
ue
*: always re
t
ur
n
a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
gen_fun::operator eval
u
e *: re
m
ove c
o
mm
e
nted
o
u
t
debu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoo
l
aeg
e
barvinok_enumerate_e
.
cc: handl
e
v
e
rifi
c
ation of pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
inok_
e
n
umera
t
e_e:
o
pti
o
n
a
l
ly pr
i
n
t sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enume
r
ate_e:
s
uppo
r
t ve
r
ification of
genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
v
i
n
ok_enumerate_e: support co
n
version of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattic
e
_points: another
micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
lattice
_
points_fixed: nano-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
gen_
f
un::ad
d
:
c
on
t
e
xt o
f
sum should be union of c
o
ntexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_enumerate: use
verify infr
a
structure for ve
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
l
a
e
ge
genfun
.
c
c
: print_power: dr
o
p spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
count_p
o
in
t
s_e: fal
l
back to
count_
p
oints if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaeg
e
Make
f
ile
.
am: chec
k
-eva
l
ue
:
print name of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
verify
:
a
d
d check
_
po
l
y
_
print help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rd
o
olaege
gen_fun
:
make s
u
re
con
t
ext is alwa
y
s s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
lae
g
e
r
educer::reduce: c
a
n
o
nicali
z
e coe
f
ficien
t
s in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oola
e
ge
short_rat::print
:
correctly print
o
ut te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_s
e
ries: r
e
ch
e
ck for
e
q
u
alities after
c
omputi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
export Matrix_Read for reading Matrix f
r
o
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doolaege
param_uti
l
.
c
:
add Param
_
Vertex_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
laege
util
.
c: support
i
ng_constraint
s
: ret
u
rn
b
i
t v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
e
g
e
polylib: up
d
a
te for Mat
r
ix_Ext
e
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
opti
o
n
s
.
c
: use Polyhe
d
r
o
n_Sampl
e
for count
i
n
g infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep tra
c
k of and use saturating constraints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
m
o
v
e v
a
lue_gc
d
and
v
alue_lcm to poly
l
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Ber
n
oulli_sum_evalue: on
l
y
compute ex
a
ct su
m
i
f appr
o
ximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoo
l
aege
Bernou
l
li_sum_evalu
e
:
sum over vari
a
ble
s
w
i
t
h
i
n
teg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalu
e
.
c: e
x
p
o
r
t
evalue
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olae
g
e
Polyhedro
n
_ExchangeC
o
lumns:
n
ormalize
c
onstraints af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
laege
export
Polyhedron_Ex
c
hangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
evalue_polynomial: optimiz
e
eva
l
uatio
n
i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c:
emul: handle another special case
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c:
e
add:
handle
some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
laege
introduce and use
e
value_
f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
e
v
alue
.
c: eadd: micro-optim
i
ze additi
o
n of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
setti
n
g an approx
i
m
a
tion method now
implies
p
o
l
y
n
om
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
ba
r
vino
k
_summate:
optionally
use Bernoulli
/
Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
B
e
rn
o
ulli_sum_evalue: use
e
value_from_se
c
t
ion_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
ol
a
ege
barvinok/polyli
b
.
h:
remove
comp
a
tibility wi
t
h o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
m
o
ve V
e
cto
r
_Opp
o
se to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
p
o
ly
t
ope_scan: re
e
nable
-
-direct
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
o
l
a
e
ge
remove_all_equa
l
i
t
ies:
k
e
e
p
rem
o
ving equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
V
erdo
o
laege
remove_all_equalities: handle emp
t
y polyh
e
d
ron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
remove
_
all_equalities:
m
inor code clea
n
-
up
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n V
e
rdoolaege
export Polyhed
r
on_Matr
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_sig
n
ed_
c
o
n
e_consumer: clean up mem
o
ry on inappropri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Pa
r
am_Inner_Product: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoola
e
ge
doc: fix typo i
n
Mic
h
ele Vergne's nam
e
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add missing files from polyma
k
e
clie
n
t
to dist
r
ibution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
Use gmp's gcd rather than Poly
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n Verdoolaege
polymake/README:
me
n
tion --with-barvi
n
o
k configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymak
e
/Makefi
l
e
.
in: add wo
r
k-aro
u
nd
f
o
r
po
l
ymak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c
:
print_evalu
e
: alway
s
print new
l
i
ne at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdoolaege
options
.
c: fix typo i
n
--appr
o
x
i
mation-method desc
r
iption
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
t
opcom: fix heuristic
f
or
s
e
lect
i
ng row
s
to u
s
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
ola
e
ge
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Merge
b
r
a
n
ch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
oola
e
g
e
Document T
O
PCOM based c
h
amber decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
test
TOPCO
M
c
ha
m
ber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Optionally
use TOPCOM to
c
ompute chamber decomposit
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
lexmin: add
(p
r
otect
e
d) missing algori
t
hm inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
a
m
:
add t
a
rget for creating di
s
t w
i
th g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: update v
o
ting theory referen
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc
u
m
e
nt barvinok_sum
m
ate and
ba
r
v
inok_m
a
ximi
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
doc: consistent use of Barvinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
bar
v
inok_summate: correct options de
s
c
ription
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
oo
l
aege
D
o
c
ument Euler-Mac
l
a
u
r
i
n based sum
m
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc: change exampl
e
env
i
ron
m
e
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
doolaege
doc: ad
d
some
h
idden sections t
o
tabl
e
of
c
on
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
d
oc: a
n
o
ther doc
u
ment refe
r
i
ng to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
add
s
ome t
e
s
ts for Euler-Ma
c
la
u
r
i
n based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
do
o
laege
Euler-Macl
a
urin based
s
ummati
o
n
for 1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Eul
e
r-Ma
c
l
a
uri
n
based summation for
2
D pr
o
b
l
e
ms
commit
|
commitdiff
|
tree
next