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
evalue_read: only allow terms to cross newlines inside grouping
2007-10-25
Sven
V
erdoolaege
gen_
f
un::operator evalue
*
:
always retur
n
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
ola
e
ge
g
en_fun::oper
a
tor
ev
a
lue *: remove
commente
d
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_
e
.
cc: handle verificat
i
on of problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ba
r
vinok_
e
numerate_e: optionally p
r
int
s
ta
t
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
doolae
g
e
barvino
k
_enu
m
er
a
te_e: support verification
o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
ba
r
vinok_enumerate
_
e
:
support conv
e
rsion of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
l
attice_points: another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoola
e
g
e
latti
c
e_points
_
fixed: n
a
no-
o
p
t
imiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun::add: context of sum should be
union o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_
e
numerate
:
u
s
e verify in
f
ras
t
ructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
genfun
.
cc
:
print_power: drop s
p
a
c
es
around
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
count_points_e: fall
back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olae
g
e
M
a
ke
f
ile
.
am: check-evalue: p
r
i
n
t na
m
e of
e
ach test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_pol
y
_
p
rint
h
elper func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun: make s
u
re c
o
n
text
i
s alwa
y
s s
e
t
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
la
e
ge
reducer::reduce: canoni
c
alize coeff
i
cients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
short_ra
t
::print: co
r
re
c
tly
p
r
i
nt out
terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erd
o
olaege
barvinok_se
r
ies: recheck
for
e
quali
t
ies after c
o
mpu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
export Matr
i
x
_Read for
rea
d
ing Matrix from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
para
m
_
util
.
c: add Param
_
Vert
e
x_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
u
t
i
l
.
c: supporting_constraints: return bi
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
polylib: updat
e
f
o
r
Matrix
_
Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
l
aege
o
p
tions
.
c: use Po
l
yhed
r
o
n
_Sample for counting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
keep tr
a
ck
o
f and use saturating
c
onstr
a
ints
i
n Pa
r
am_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value
_
gcd
a
n
d value_
l
cm
t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
B
e
rnoulli_su
m
_evalu
e
: o
n
l
y
c
ompute exact sum
i
f
ap
p
roximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
Bernoulli
_
sum_evalu
e
: sum over variab
l
e
s
with i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c:
e
xport evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Pol
y
hedron_ExchangeColumn
s
: normalize con
s
traint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
exp
o
rt Polyhedro
n
_Excha
n
geC
o
lum
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_po
l
ynomial
:
o
p
t
i
m
i
ze evalu
a
tion in zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c:
emul
:
handle
a
no
t
her
special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue
.
c: eadd: han
d
le some spe
c
ial cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
e
v
a
l
ue
.
c: eadd:
m
i
cro-opt
i
m
i
ze ad
d
ition of two rati
o
n
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
setting an approximat
i
on method now implies poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
ba
r
vino
k
_s
u
mmate: opti
o
n
all
y
use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
Bernoulli
_
sum_evalue: u
s
e eva
l
ue
_
from
_
section
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
ba
r
vinok/polylib
.
h:
r
e
m
o
ve compatibility with
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
m
ove
V
ector_Oppose t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
polyto
p
e_scan: ree
n
able --
d
i
rect
o
ptio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
rem
o
ve_all_
e
qualities
:
keep rem
o
ving equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdool
a
e
g
e
remove_al
l
_e
q
ua
l
ities:
h
andle empty po
l
yhe
d
ro
n
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
remove_all
_
equalities:
minor co
d
e
c
le
a
n-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export Polyhedr
o
n_Mat
r
ix
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_signed_cone_c
o
nsumer:
c
lean up m
e
mory o
n
i
n
a
ppropriat
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
V
e
r
doolaege
Para
m
_
I
nner_Product: fix use
of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: fix
typo i
n
Miche
l
e
V
e
rgne
'
s name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
r
doolaege
Add missing files from polyma
k
e client to
d
is
t
r
ib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd rather th
a
n PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
l
a
ege
polymake/README: mention -
-
with-ba
r
vinok co
n
fi
g
ure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
V
er
d
o
o
laeg
e
pol
y
make/Makefile
.
in
:
a
dd work-around for pol
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
e
va
l
ue
.
c: print_evalue: al
w
ays print n
e
w
lin
e
at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
Verdoola
e
ge
opt
i
ons
.
c: fix typ
o
in --ap
p
r
o
ximation-m
e
t
hod description
commit
|
commitdiff
|
tree
2007-09-15
Sven
Verdool
a
ege
topcom: fi
x
heuris
t
ic fo
r
sel
e
cting r
o
ws
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Merge bra
n
ch 'topc
o
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOPCO
M
b
ased cha
m
ber de
c
ompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ver
d
oolaege
test TOPCOM chamber d
e
compo
s
it
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Optionally use TOPCOM to compute chambe
r
d
e
composi
t
io
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolae
g
e
l
e
xmin:
a
dd (protec
t
ed) mi
s
sing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Ma
k
efile
.
am: add
t
arget for creating dist
w
ith g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolae
g
e
d
o
c: u
p
date
voti
n
g
t
he
o
ry reference
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
ege
d
ocument barvin
o
k_summate and barvinok_maxim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
doc: consistent u
s
e of Barvinok'
s
initials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
ba
r
vinok_
s
u
mm
a
te: corre
c
t o
p
tions
d
escription
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Docu
m
e
n
t Euler-Maclaurin based summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
oolaeg
e
d
o
c: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: add some h
i
d
den sectio
n
s
to ta
b
le of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
doc:
anot
h
e
r
d
o
cum
e
n
t refering to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some tests for
Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaur
i
n
based
summat
i
on fo
r
1
D
proble
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
Euler-Maclaur
i
n b
a
se
d
summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdo
o
laege
de
c
omposer
.
cc: a
v
oid
u
se of
h
a
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
barvino
k
_sum
m
ate: v
e
rify soluti
o
n
ov
e
r whol
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
introduce barvinok
_
summate
as
a
wr
a
pper for evalu
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
add
e
value_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{div,mul}
:
h
a
ndle some
trivial
cases mor
e
eff
i
ciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
lat
t
ice_point: export fract
i
onal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verd
o
olaege
evalue
.
c: e
x
tr
a
ct c
o
mmon
code for const
r
uction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
o
l
aege
v
o
lume
.
c: export
Param_Polyhedron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
add evalue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolae
g
e
fix typ
e
of evalu
e
_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
support comp
u
tation o
f
Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
s
e
parate computat
i
on of Bernoulli
coefficients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lat
t
ice_point
:
u
se
P
aram_Vertex_Co
m
m
on_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make d
e
composer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laeg
e
reduce_domain: avoid use
o
f macro pa
r
amet
e
r with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
export
evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoo
l
aeg
e
Use piplib during basis reduct
i
on if
n
o
o
t
h
er L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled piplib
b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
a
dd piplib modul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaeg
e
Use bundled Poly
L
i
b
by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
add p
o
lylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaege
bernstein: allow l
i
nking a
g
ainst uninstalled
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Verd
o
olaeg
e
add
mor
e
miss
i
ng assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n Verdoolae
g
e
add dumm
y
impl
e
me
n
tations o
f
fu
n
c
t
i
ons
that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update
"
Co
u
nting with ra
t
ional generating func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
laege
barvino
k
.
cc: split
off part c
o
nstru
c
ting generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erd
o
ol
a
ege
barvinok
.
cc: split o
f
f part dealing with exi
s
tentia
l
.
.
.
commit
|
commitdiff
|
tree
next