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
compile zsolve
2007-10-31
S
ven Verdool
a
ege
com
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zso
l
ve: don't instal
l
h
e
aders and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
zsolve:
initiali
z
e BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zs
o
lve: z
s
olveSystem: ad
d
mis
s
ing verbosity
c
he
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: override LIBS f
r
om t
o
p level
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erdoolaege
ad
d
4ti
2
-1
.
3
.
1+autoconf-
0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
add zsolv
e
from
4ti2-1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
laege
pa
r
am_
u
til
.
c: expor
t
b
i
t_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
topcom
.
c:
e
xtract p
a
rt
o
f
code
f
or s
e
tting up st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven V
e
r
doo
l
aege
g
en_fu
n
::Hadamard
_
p
r
oduct: p
r
int progress indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoola
e
g
e
mo
v
e
--verbose option to lib
r
ar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
gen_f
u
n::summate:
h
andle full
speciali
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Re
p
l
ace incremental in
f
i
n
ite set
counter by "re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make coun
t
er::add
_
falling_p
o
we
r
s stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
m
erge
(most of) common part of counter and tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
ico
u
nter: handl
e
speci
a
l
i
zation of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icou
n
ter: don't bother "no
r
mal
i
zing" t
h
e
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdool
a
eg
e
export neg
_
left_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
basis_reduction_cdd: check
for
p
ossib
l
y incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoo
l
ae
g
e
Polyhedron_Sam
p
l
e
: h
a
n
d
le polyhedro
n
becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:
opera
t
or evalue *: al
w
ays ret
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
gen_fun::opera
t
or evalue *: re
m
ove commented out d
e
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
l
a
e
ge
bar
v
in
o
k_en
u
mera
t
e_e
.
cc: handle
v
er
i
f
ication of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_
e
numerate_e: optionally
p
rint sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k
_
e
n
u
me
r
ate_
e
: support verification of
gene
r
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
b
a
r
vi
n
ok_en
u
merat
e
_e:
s
upport conve
r
sion of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
lattice_points: anot
h
er
micro-optimiza
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
lattice_points_fixed: na
n
o-
o
p
t
i
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fun::a
d
d: contex
t
of sum should be union of co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
bar
v
in
o
k_enu
m
e
r
a
te: use
verify
infrast
r
ucture f
o
r ve
r
ifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
dool
a
ege
genf
u
n
.
cc: print_po
w
er: drop spac
e
s ar
o
und
"
/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
count_points_e: fall b
a
ck to count_
p
oints
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdool
a
ege
Makefile
.
am: che
c
k
-
ev
a
lue: p
r
int
n
ame of each
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
ver
i
fy:
add check_
p
oly_print
h
elper function
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
o
l
aege
gen_fun: mak
e
s
ure con
t
ext is always
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::red
u
ce
:
canon
i
calize coeffic
i
ents
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
sh
o
r
t
_rat::print: correctly pri
n
t ou
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
b
a
rvinok_series:
r
ec
h
eck for equalities after
c
omp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaeg
e
export Matrix_Read
f
or reading Matrix fr
o
m a stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
param_ut
i
l
.
c: add Param_Vertex_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
util
.
c: supp
o
r
ting
_
constraints: retu
r
n b
i
t
v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aeg
e
polylib:
u
pdate for Mat
r
ix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
op
t
io
n
s
.
c: u
s
e Poly
h
edron_Samp
l
e for co
u
nt
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ke
e
p track o
f
and
u
se saturat
i
ng constraints in P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
move v
a
lue_gcd and value_
l
cm to
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
Bernoulli_sum_evalue: on
l
y
c
om
p
ute exact sum if approx
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Bern
o
u
lli_sum_evalue: su
m
over v
a
riables
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
eva
l
ue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
P
o
lyhedron_ExchangeCo
l
umns: normalize
c
onstraints af
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Polyhedron_
E
xch
a
ngeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ev
a
lue_polyn
o
mial
:
opti
m
ize
e
valu
a
t
ion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
lae
g
e
evalue
.
c: e
m
ul: handl
e
anot
h
er special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c:
eadd: h
a
nd
l
e some
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
laege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
evalue
.
c
:
eadd:
m
icro
-
optimize addit
i
on of
t
wo rationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
setting
a
n ap
p
roxima
t
i
on method now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
barvin
o
k_summ
a
te: opti
o
nally us
e
Bernoulli/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
la
e
ge
Ber
n
oulli_
s
um_evalue: use evalue
_
fr
o
m_section_a
r
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
barvinok/polyli
b
.
h: remove
compatibi
l
i
ty with olde
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
g
e
mo
v
e
Vector_
O
pp
o
se to P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
olyto
p
e_scan: re
e
nable --
d
irec
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_
e
qualities: keep
r
emovi
n
g equalities
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdo
o
l
ae
g
e
remove_all_equalities: handle empty polyhedron de
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
rem
o
ve_all_
e
qualities:
m
inor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoola
e
ge
exp
o
rt Po
l
yhedro
n
_Matr
i
x_
V
i
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
er
d
ool
a
ege
po
l
ar_signe
d
_co
n
e_consumer: clean up memory on ina
p
propriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Verdoolaege
Param_I
n
ner_Pr
o
duct: f
i
x use
of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoo
l
aege
doc: fix
typo
i
n Michele Vergne's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add missing files from polyma
k
e client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
Use
gmp's
g
c
d
rather
t
h
a
n
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
p
o
lymake/R
E
ADME: m
e
nti
o
n --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymak
e
/Makefile
.
in: add
w
ork-aro
u
nd for polym
a
ke
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
d
o
olaege
evalue
.
c: print_evalue:
a
lways print
newline
a
t the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
r
doolaeg
e
options
.
c: f
i
x typo in --approximation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven
V
e
r
doola
e
ge
topcom: fix heuristic for
selectin
g
r
o
ws to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Merge bran
c
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Document TOPCOM base
d
chamber decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ve
r
doolaege
t
e
s
t TOPCOM chamber de
c
ompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
Optionally
u
se T
O
PCOM to compute chamber
d
ecompos
i
t
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
lexmin: add (
p
rot
e
cted) mi
s
sing
algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven
Ve
r
doolaege
Ma
k
efil
e
.
am: add tar
g
e
t
for c
r
e
ating d
i
st wi
t
h gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
ae
g
e
doc: update voting theory re
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc
u
ment
ba
r
vinok_sum
m
at
e
and barvinok_
m
aximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c
: consi
s
tent u
s
e of Barvinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
barvinok_summ
a
te: correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Docu
m
ent
Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: ch
a
ng
e
example envir
o
nment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
doc: add
s
o
me h
i
dden se
c
ti
o
n
s t
o
table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
doc: another
document re
f
e
ring to the library
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oolaege
add
some tests for Euler-Macla
u
r
in based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler
-
Maclaurin based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erd
o
ol
a
ege
Euler-Maclaurin based summation for
2
D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
decomposer
.
cc: avoid use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
barvinok_sum
m
ate:
verify soluti
o
n over wh
o
le pa
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
introduce
b
arvinok_summat
e
as a
w
rapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add evalu
e
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
evalue_{div,mul}
:
handl
e
s
ome trivial cases
m
ore effic
i
e
n
tly
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
l
a
ttice_poi
n
t: export fra
c
t
i
on
a
l
_
p
a
rt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalu
e
.
c
: extra
c
t common code for constructi
o
n
b
a
sed
.
.
.
commit
|
commitdiff
|
tree
next