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 Polyhedron_Lattice_Width for computing lattice width of parametric polytope
2007-11-01
Sven Ve
r
doolaege
add Polyhedr
o
n_Lattice
_
Width
f
or comp
u
ting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
g
e
hilbert
.
c: add Cone_Integer_Hull for co
m
puting vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
p
o
l
ysign: add pi
p
-backed version
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
polysign:
add co
n
straints_
o
p
t
to
c
o
m
pute
o
ptimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
e
ge
polysign_cdd: switch to
use of Matrix represe
n
tati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glpk: switch to use of M
a
trix represe
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
doc: document
computat
i
on
o
f Hilbert basis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laeg
e
Cone_Hilbert_Ba
s
is:
u
se standard_co
n
straints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to c
o
m
p
ute
H
ilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
com
p
il
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve: don't install headers an
d
executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: initi
a
lize BackupTime i
n
Z
SolveContex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
zsolve:
z
solveSys
t
em: add missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoolaege
z
so
l
ve: override LIBS fr
o
m top lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaeg
e
add 4ti2-1
.
3
.
1+
a
utoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
add zsolve from 4
t
i
2
-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
ge
p
a
ram
_
u
til
.
c: export bit_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
doolaege
topcom
.
c: extract part
o
f code fo
r
setting
u
p
s
t
a
n
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven V
e
rdoolaege
g
e
n_fun:
:
Hadam
a
rd_prod
u
ct: prin
t
p
r
ogress i
n
d
i
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
erdoolaege
m
o
ve --ver
b
ose option
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen
_
fun::summate:
han
d
le fu
l
l specia
l
izat
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace
incremental infi
n
ite set counter b
y
"reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
make counte
r
:
:
add_falling_powers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doola
e
ge
merg
e
(most of
)
co
m
mon pa
r
t of counter and tcou
n
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ico
u
nter:
handle specia
l
ization
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
ico
u
nter:
don't bother "normalizing" the expo
n
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
ex
p
o
rt neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdool
a
ege
ba
s
is_reduc
t
ion_cdd: check fo
r
possibly
incorre
c
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
P
olyhedron_Sam
p
l
e
: handle poly
h
ed
r
on becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator
eval
u
e *:
always retur
n
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
g
e
n_fun
:
:
o
perator evalue *: remove commented out
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ver
d
oola
e
g
e
bar
v
inok_enumerate_e
.
cc: handle ver
i
f
i
cation
o
f problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvi
n
ok_enumerate_e:
o
ptionally p
r
in
t
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
ge
b
a
r
vinok_e
n
umerate_e: support
v
erificati
o
n of
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
barvin
o
k_e
n
u
m
e
r
a
te
_
e: suppo
r
t
conversion
of genera
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
t
i
ce_po
i
nts: an
o
ther mi
c
ro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
l
a
t
ti
c
e_poi
n
ts_
f
i
x
ed:
na
n
o-o
p
t
imization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
gen_fun::a
d
d: context
of
s
um
shoul
d
be union o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_enumerate:
use ver
i
f
y
i
nf
r
ast
r
ucture
f
or verifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdool
a
ege
ge
n
fun
.
c
c
: print
_
power: drop
spac
e
s
a
round "/" whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
count_
p
oints_e:
f
al
l
ba
c
k to c
o
unt_points
i
f there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Makefile
.
am: check-evalue: print n
a
me of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
v
e
rify: add check_poly_print
helper functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
l
aeg
e
ge
n
_f
u
n
:
make sure context is al
w
ays
set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
reduc
e
r::red
u
ce: ca
n
onicalize coefficients in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
ae
g
e
short_ra
t
::print: correc
t
ly p
r
int
o
ut terms
w
ith a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_series: r
e
che
c
k
f
o
r
equalities afte
r
co
m
pu
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
export Matrix_Read for reading Ma
t
rix fro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
r
d
oolaege
param_util
.
c
:
a
d
d Para
m
_
V
er
t
ex_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdool
a
eg
e
util
.
c: supporting_c
o
nstra
i
n
t
s
: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
pol
y
li
b
: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
options
.
c: use Polyhedron_Samp
l
e f
o
r
c
ou
n
ting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
keep track of and use satura
t
i
ng cons
t
raints in Param_Polyhedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
move value
_
gcd and valu
e
_lcm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Berno
u
lli_sum_evalue:
o
nly co
m
p
ute exact sum
i
f approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
Be
r
n
oulli_sum_evalue: sum over variables wit
h
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
Polyhedron_
E
xcha
n
geColum
n
s: normalize con
s
tra
i
nt
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
e
x
port P
o
lyhedron_E
x
cha
n
geC
o
lu
m
ns
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
evalue_polynomial:
optim
i
ze evaluation in
z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
e
v
a
l
ue
.
c: emul
:
han
d
le
anoth
e
r sp
e
c
i
al case
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
e
v
a
l
ue
.
c
:
eadd: h
a
ndl
e
some sp
e
cial case
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
introd
u
ce and use
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: micro-optimize addit
i
on
o
f two rat
i
o
nals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an a
p
proximati
o
n method now i
m
pli
e
s
polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
inok_
s
um
m
ate: opti
o
nally use Bernou
l
li
/
Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdool
a
eg
e
Bernoulli_
s
um_evalue: use evalue_from
_
section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok/polylib
.
h: remove compa
t
ibi
l
ity with
ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Ve
c
tor_Oppo
s
e
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
polytope_sca
n
: reenable --di
r
ect option
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
e
rd
o
ola
e
ge
rem
o
ve_a
l
l_eq
u
alities: keep removin
g
equalitie
s
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
re
m
ov
e
_all_equalities: ha
n
dl
e
em
p
ty p
o
lyhedron dete
c
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
remove_all_equali
t
ie
s
: m
i
n
or code
c
lean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoo
l
aege
export P
o
lyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
oolaege
polar_s
i
gned_cone_consumer: c
l
ean up mem
o
ry on inap
p
ropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inner_Product: fix use o
f
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolae
g
e
doc: fix typo in Mic
h
e
l
e Vergne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Add missing
files from
p
olymake
client to di
s
tribution
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
Verd
o
o
l
aege
Use gmp's gcd rather than
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
p
olymake/README: mention --with-bar
v
inok c
o
nfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
polymake/Makef
i
le
.
i
n
:
add
work
-
arou
n
d for polym
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
do
o
laege
eval
u
e
.
c:
p
r
i
nt_evalue
:
always
p
rin
t
newlin
e
a
t
th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c: fix
t
y
po in --approximat
i
on-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Ve
r
doola
e
g
e
topc
o
m
:
fix
h
euristic for select
i
ng rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
b
a
rv
i
nok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verd
o
olaege
Merg
e
branch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
D
ocu
m
en
t
TOPCOM
b
ased chambe
r
decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdo
o
la
e
ge
test TOPCOM cham
b
er d
e
co
m
position
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verd
o
olaege
Optionally use TOPCOM to compute chamber decomposi
t
ions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdo
o
l
a
ege
lex
m
in: a
d
d (prote
c
t
ed) m
i
ssing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Ver
d
ool
a
ege
Makefile
.
am: add
t
arget for c
r
e
a
ting
d
ist with
g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaeg
e
d
o
c
: u
p
d
ate voting theo
r
y reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
documen
t
barvin
o
k_summate and barvino
k
_maxi
m
ize
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
d
o
c: consistent use of Barvi
n
ok's
i
n
i
tials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
barvinok_summate: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
D
o
cument Eu
l
e
r
-Maclaurin based
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
doc: change e
x
a
m
ple envir
o
nm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
l
aeg
e
do
c
:
add some
hidden
s
e
ctions
to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: another document refering
to t
h
e lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
ad
d
some t
e
sts for Euler-Maclaurin based su
m
m
a
tion
commit
|
commitdiff
|
tree
next