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
zsolve: don't install headers and executables
2007-10-31
Sven Verdo
o
laege
zsolve: don't install h
e
aders
an
d
executables
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Ve
r
doolaege
zsolve: initialize Bac
k
upTime in
Z
S
o
l
veCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
a
ege
z
s
ol
v
e: zsolve
S
ystem:
add m
i
s
s
ing verbosity
check
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaeg
e
zs
o
lve: override LI
B
S
from top l
e
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
o
o
laege
a
dd 4ti2
-
1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
ool
a
ege
a
d
d
zsolve from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
para
m
_util
.
c
: export bit_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
ge
t
opc
o
m
.
c:
e
xtract part of c
o
d
e
f
or setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en Verdoolaege
gen
_
fun::Hadamard_p
r
o
duct: pri
n
t progre
s
s
i
ndicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose opt
i
on to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_
f
un::summate: handle full speci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
Replace increment
a
l infinite set counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
m
a
ke
counter::add_
f
a
l
l
i
ng_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most of) common
p
a
rt o
f
c
ounter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
icounter: handle speciali
z
a
tion of polynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't
bother "no
r
malizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
export
ne
g
_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reducti
o
n
_
c
d
d
: check for pos
s
ib
l
y i
n
correct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaeg
e
Polyh
e
dron
_
Sampl
e
: handle polyhedron becom
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erd
o
o
lae
g
e
gen_fun::operat
o
r evalue *: always retu
r
n a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doo
l
aege
gen_fu
n
::oper
a
tor
e
value *: remove commented out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ba
r
vinok_enumerate_e
.
cc: handle verific
a
t
ion of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
barvino
k
_enumerate
_
e: opti
o
nally print stat
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
b
a
rvinok_enumerate_
e
:
support verificati
o
n
o
f gen
e
rati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_
e
numera
t
e
_
e: supp
o
rt conversi
o
n of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
e
g
e
l
attice
_
poin
t
s: ano
t
her mic
r
o-optimizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oola
e
ge
lattice_
p
oints_fix
e
d:
n
a
n
o-o
p
t
imization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun
:
:ad
d
: context of sum shou
l
d be union
o
f contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aeg
e
ba
r
vinok_enumerate: use veri
f
y i
n
frastructur
e
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
genfun
.
cc
:
pri
n
t_power: drop s
p
aces arou
n
d "
/
" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
count_p
o
ints_e: fall back
to co
u
nt_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Makefile
.
a
m
: chec
k
-evalue: print name of eac
h
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check
_
poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fun: make sur
e
context
is always set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
r
e
ducer
:
:re
d
uce:
ca
n
on
i
calize coefficients
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olae
g
e
short_
r
at
:
:pr
i
nt: correctly print out
t
erms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_series
:
r
e
check for equalities after comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
export Mat
r
ix_Rea
d
for readin
g
Matr
i
x from a
s
t
rea
m
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
param_util
.
c
:
add
Param_Vertex_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoo
l
aege
u
t
il
.
c: support
i
ng_constr
a
int
s
: re
t
u
rn
bit
v
ec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
polyli
b
: update fo
r
Mat
r
ix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
o
ptio
n
s
.
c
:
use Polyhedron_Sample for counti
n
g inf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
keep trac
k
of
a
nd use saturat
i
ng
constraint
s
i
n Param_Po
l
yhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
o
v
e
v
a
lue_gcd and value_lcm to p
o
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
B
e
rnoulli_sum
_
evalue:
o
nl
y
co
m
pute e
x
act sum i
f
ap
p
rox
i
mat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Bernoulli_sum_ev
a
lue
:
sum ov
e
r
vari
a
b
l
e
s w
i
th inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue
.
c
:
exp
o
rt ev
a
lue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Poly
h
e
d
ro
n
_
E
xchangeColumns: no
r
ma
l
i
z
e con
s
tr
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
o
olaege
export Polyhedr
o
n
_ExchangeCol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rd
o
olae
g
e
evalue_polynomia
l
: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
e
v
a
l
ue
.
c: emu
l
: handle an
o
the
r
s
p
e
c
i
al case
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ver
d
o
o
l
aege
evalue
.
c
:
eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
intr
o
duce
a
nd use evalue_fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c: eadd: micro-optimize addi
t
ion of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
setting an approximation method now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
barvino
k
_su
m
mate: optionally use Bernoulli/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Bernoulli_
s
um_ev
a
lue: u
s
e eval
u
e_from
_
sectio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok/pol
y
li
b
.
h: remove com
p
atibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
m
ove Vector_
O
ppose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
o
olaege
poly
t
ope_s
c
an: ree
n
able --direct o
p
tion
commit
|
commitdiff
|
tree
2007-10-20
S
ven
Ver
d
oolaege
remove
_
all_equalities: keep r
e
moving equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
d
o
o
l
aeg
e
remove_all_equa
l
ities: handle e
m
pty
p
oly
h
edron d
e
tected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
r
e
m
o
v
e_all_equalities:
m
inor code cl
e
an-up
commit
|
commitdiff
|
tree
2007-10-20
S
ven
V
erd
o
olaege
exp
o
rt Polyhe
d
ron_Matri
x
_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
Verdoolaege
polar
_
s
igne
d
_cone_consumer: clean up
m
emory
o
n
inapp
r
opriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolae
g
e
P
aram_Inne
r
_Product: f
i
x us
e
of value_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Verdoolae
g
e
d
oc: fix typo in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
ool
a
ege
Add missing fi
l
es from polymake
cli
e
nt to dis
t
ribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doola
e
ge
Use
gmp's gcd rather than PolyLi
b
's
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
poly
m
ake/READ
M
E:
mention --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoola
e
ge
po
l
y
ma
k
e/Makefile
.
in: add
wo
r
k-
a
r
o
und fo
r
polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
e
va
l
ue
.
c
:
print_e
v
alue: always pr
i
nt newline
a
t the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
Verdoolaege
optio
n
s
.
c:
f
ix typ
o
in -
-
approximation-method d
e
s
c
rip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
to
p
c
om: fix he
u
ristic for
s
electing rows to use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verd
o
olaege
Merg
e
b
r
anch 't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Document TOPCOM
based c
h
a
m
ber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
o
l
aege
t
e
st TOPCOM
c
hamber
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laeg
e
Opt
i
onally use
T
OPCOM to co
m
pute
c
hamber decompos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdo
o
laege
lexmin: add (protected) missing algorithm i
n
clu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olaege
Ma
k
ef
i
le
.
a
m
:
a
dd
t
ar
g
et
for creati
n
g di
s
t with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update
v
oting theory refe
r
ence
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
r
d
ool
a
ege
document bar
v
inok_summate and
b
arv
i
nok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
doolaege
doc: consistent use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
barvinok_su
m
ma
t
e: correct opt
i
ons
d
escription
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdoolaege
Document Euler-Macl
a
uri
n
based summa
t
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oo
l
a
ege
doc
:
ch
a
nge example environme
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
a
dd s
o
m
e hidden section
s
t
o
table
of contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verd
o
olaeg
e
doc: another d
o
cumen
t
refering t
o
the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
a
dd some tests for E
u
l
er-Maclaurin based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolae
g
e
Euler-Mac
l
auri
n
based summat
i
on for 1D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verd
o
ol
a
e
ge
Euler-Ma
c
laurin based summation fo
r
2D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
decom
p
oser
.
cc: avoid use of
h
a
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
barvin
o
k_summate: verify solution over whole parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Ve
r
doolaege
intr
o
duce barvinok_summate
as a
wrapper for ev
a
lue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaeg
e
ad
d
eva
l
ue_
m
ul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
evalue_{div,mul}: handle
s
ome tri
v
ial cases mo
r
e effici
e
ntly
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
lattice_point:
e
xport fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c
:
e
xtract common code fo
r
c
onstruction
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c: exp
o
rt
Param_Polyh
e
dron_Fa
c
et
commit
|
commitdiff
|
tree
next