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
gen_fun::summate: handle full specialization
2007-10-25
Sven Verdoolaeg
e
g
en
_
fun::summate: h
a
ndle full s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
Re
p
lace
incremental infinite set counter by
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
make
c
o
u
nter::add_falling_powers
static
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
m
erge (mos
t
of) common part of
counter and
t
counter
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ver
d
o
olaege
i
counter: handle sp
e
cialization of
p
olynomials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
l
a
ege
ico
u
nter:
don
'
t bo
t
h
e
r
"
normalizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
export
n
eg_le
f
t
_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basi
s
_reduc
t
i
on_c
d
d:
check
for p
o
ssibly inco
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Poly
h
edron_Sam
p
le: han
d
l
e polyhedron b
e
c
oming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
ope
r
at
o
r evalue *: always re
t
u
rn a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::o
p
erator ev
a
lue *: remo
v
e
com
m
ente
d
out
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
barvino
k
_enumera
t
e_e
.
cc: handle v
e
rification
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
barv
i
no
k
_enume
r
a
te_e: optionally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enumerate_e
:
support verifi
c
ation of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvin
o
k_en
u
mer
a
te
_
e: sup
p
or
t
convers
i
o
n
of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
l
aege
lattice_p
o
in
t
s: another micro-opt
i
m
i
z
a
ti
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
la
t
tic
e
_points_fixed: n
a
no-
o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
a
dd: context of sum sh
o
uld be union of
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enumerate: use
v
erify infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
genfun
.
cc: prin
t
_power
:
drop spaces aroun
d
"
/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolae
g
e
c
ount_
p
oints_e: fall back to count_points
i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
Makefile
.
am: check-ev
a
lue: pr
i
nt name
o
f each
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
v
e
r
i
f
y: add che
c
k_poly_print
h
elper f
u
n
ctio
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laeg
e
gen_fun: make sur
e
conte
x
t
i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
r
educer::reduce: canonica
l
ize coefficients
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
short_
r
at::print: correctly p
r
int out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvino
k
_series
:
r
echeck for equ
a
lities after
c
omp
u
tin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export Matrix
_
Read
f
or reading Matrix from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
par
a
m_util
.
c: ad
d
Param_Vertex_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ut
i
l
.
c
:
supporting
_
constrai
n
ts: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
polylib: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
o
ptio
n
s
.
c: use P
o
lyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
keep track of and use saturating
c
onstraints
in Param_Polyhedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
m
ove value_gcd
and value_lc
m
to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Bernoull
i
_sum_evalue:
only compute exact sum
i
f a
p
proxi
m
ati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bern
o
u
l
li_s
u
m_e
v
alue: sum over variables
w
i
t
h int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export evalu
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolae
g
e
P
o
lyhedron_Exchan
g
eColumns: normalize c
o
nstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Pol
y
hedron_ExchangeC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
e
v
alue_polynomi
a
l
:
optimi
z
e evalu
a
tion in ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
.
c: e
m
ul:
handle
another speci
a
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
e
value
.
c: e
a
dd: handl
e
s
om
e
special c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
i
ntro
d
uce an
d
u
s
e evalu
e
_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
eva
l
ue
.
c
: eadd: micro
-
optimize ad
d
ition of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
setting an approximation method now
im
p
lies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvi
n
ok_sum
m
ate
:
optionally use Berno
u
lli/Fau
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
Be
r
noulli_
s
u
m
_
evalue
:
use evalue_from_
s
ection_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
barvi
n
ok/polylib
.
h: remo
v
e
compatibil
i
t
y wi
t
h older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
move Vector_Oppose to
P
oly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
polytope
_
scan: ree
n
ab
l
e --di
r
ect op
t
i
on
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
rem
o
ve_all_equalities: keep removin
g
equa
l
ities unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
rem
o
v
e_all_e
q
ualities: h
a
ndle
e
m
pty p
o
l
yhedron d
e
tected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
V
erdoolaege
remove_
a
ll_equa
l
iti
e
s: minor code clean-
u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
export Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
ven Verdoolaege
po
l
a
r
_signed_cone_consumer: clean up
memory on inappropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Verdoola
e
g
e
Param_Inner_Product:
f
i
x
use of
v
alue
_
lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: fix typo in Michel
e
V
erg
n
e
's
n
ame
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ver
d
o
olaege
A
d
d
missing files from pol
y
make client to di
s
tributi
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolae
g
e
Use gm
p
'
s
gcd
r
ather than
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
r
d
o
o
laeg
e
po
l
ymake/
R
E
AD
M
E: men
t
ion
--with-
b
a
rvino
k
configu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
polymake/Make
f
ile
.
in: a
d
d work-around for
polym
a
ke
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
evalue
.
c: print_eva
l
ue: a
l
ways p
r
i
n
t newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Verdool
a
ege
options
.
c: fix typo in
--approx
i
mation-m
e
thod
d
es
c
rip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix heur
i
st
i
c for selecting
rows
t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
M
e
rge branch
't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Docum
e
n
t
TOP
C
OM based ch
a
mber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aeg
e
t
e
st TOPC
O
M cha
m
ber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally use TOPCOM to compute
c
hamber dec
o
mpos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
l
e
xmin: ad
d
(protect
e
d) miss
i
ng al
g
ori
t
hm inc
l
u
d
e
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verdoola
e
ge
M
akefile
.
a
m
: add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
d
oc: updat
e
voti
n
g t
h
e
o
ry reference
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
document ba
r
vi
n
o
k_summate
a
nd
b
arv
i
nok_max
i
mi
z
e
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
d
o
c
: consistent u
s
e of Barvinok's
i
niti
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
barvinok_s
u
mmate
:
correct options
descriptio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Doc
u
ment Euler-Ma
c
laurin b
a
sed sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc: change example environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoo
l
a
ege
d
oc:
add
some
hidden s
e
ctions t
o
table
o
f conte
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
d
o
o
lae
g
e
do
c
: another document r
e
f
e
ring
t
o th
e
library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
a
dd some tests for Eule
r
-Maclaurin based
summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Verd
o
o
l
aege
Euler-M
a
claurin based su
m
m
a
t
i
o
n for 1D pr
o
b
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Euler
-
Maclau
r
in b
a
sed summa
t
i
on for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaeg
e
decomposer
.
cc: av
o
id use of hal
f
-open co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
doolaege
barvin
o
k_summ
a
te: v
e
rify solution o
v
er who
l
e p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoola
e
ge
i
ntroduc
e
ba
r
vi
n
ok_summa
t
e as a wr
a
pper for ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
add evalue_mul
_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
val
u
e_{div,mul}: han
d
le some trivi
a
l c
a
s
es m
o
re
efficiently
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
la
e
ge
lat
t
ice
_
p
o
i
n
t: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oola
e
g
e
evalue
.
c
:
ext
r
act common code for const
r
uct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
volume
.
c: ex
p
o
r
t P
a
r
am_P
o
l
y
hedron_Face
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
g
e
fix type of
e
valu
e
_polyn
o
m
i
a
l
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
suppo
r
t
comp
u
t
ation of
Bernou
l
li polynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
sep
a
rat
e
co
m
putation of
B
ernoulli coefficient
s
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
lattice_point:
use Param_Verte
x
_Common_
D
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdool
a
ege
make decomposer
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
r
educe_domain: avoid u
s
e of mac
r
o para
m
eter wit
h
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
export
e
value_dup
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use pi
p
lib during
b
a
sis reduction if no other
L
P solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
U
se bundled piplib by default
commit
|
commitdiff
|
tree
next