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 Verdoolaege
g
e
n_fun
:
:summat
e
: han
d
le ful
l
sp
e
ci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
Replace
i
ncremental infinite set
c
oun
t
er by
"r
e
g
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
make coun
t
e
r
:
:
add_fa
l
ling_po
w
er
s
static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most o
f
) comm
o
n
part
o
f c
o
unter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
icounte
r
: ha
n
dle
s
pecializa
t
ion of p
o
lynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter:
don't bother "
n
o
r
mali
z
ing" th
e
e
x
p
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xport neg
_
l
e
ft_hermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
basis_reduction_cdd: ch
e
ck for possibly
inc
o
rrect
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
l
yhedron_
S
a
m
p
le: hand
l
e
p
olyhedro
n
b
ecomin
g
em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun:
:
ope
r
ator evalue *: alwa
y
s retur
n
a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen
_
f
u
n::operator evalue *: remo
v
e commented out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvin
o
k_enumer
a
te_e
.
cc:
handle veri
f
ica
t
ion of problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
barvinok_enum
e
rate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
ba
r
vinok_enumerate_e:
support verif
i
cati
o
n of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate_e:
s
uppo
r
t
c
onversion of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
la
t
tice
_
points: another micro
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
lattice_
p
oints_fixed: nano
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
gen_fun::add:
c
ontext of sum should be uni
o
n o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoolaege
barvinok_enumerate: use veri
f
y infra
s
tr
u
cture fo
r
verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
genf
u
n
.
cc: print_power: drop spaces aroun
d
"/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
do
o
laege
count
_
poin
t
s_e:
f
all back to count
_
points if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aeg
e
M
a
kefile
.
am: c
h
e
c
k
-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
verify: add check_po
l
y
_print helpe
r
fu
n
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
make sur
e
co
n
text is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaeg
e
r
educ
e
r
:
:reduce:
c
anonicalize coefficients in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_ra
t
::print: cor
r
ectly
print
o
ut
t
er
m
s w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ba
r
vinok_series: recheck for eq
u
alities after
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
export Ma
t
rix_R
e
ad for reading
M
atrix f
r
om a
s
tre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pa
r
am_ut
i
l
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
ut
i
l
.
c:
su
p
porting_constr
a
in
t
s
: return bi
t
v
e
cto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: up
d
ate for Matrix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doo
l
a
e
g
e
op
t
ions
.
c: use P
o
l
y
hedron_Sample fo
r
c
oun
t
ing infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
keep track of and use saturating constrain
t
s in P
a
r
a
m
_Pol
y
h
edron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
mov
e
value_gcd a
n
d value_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
B
e
rnoull
i
_sum_evalue: o
n
l
y
com
p
ute exact sum if
ap
p
r
o
xima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
Bernoulli_
s
u
m_evalu
e
: sum over
var
i
ables wit
h
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
e
v
alue
.
c:
e
x
p
ort evalu
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaeg
e
Polyhedr
o
n_ExchangeColumns:
n
ormalize co
n
straints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
e
xpor
t
Po
l
yhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
_polynomi
a
l: op
t
imize evaluation
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oo
l
aege
ev
a
lue
.
c
:
em
u
l:
handle an
o
ther special cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
e
v
a
lue
.
c: eadd
:
h
andle some
s
pecial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
intr
o
d
u
ce a
n
d
u
se
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ev
a
lu
e
.
c: eadd: m
i
cro-optimize a
d
dition
of two ra
t
i
o
na
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sett
i
ng an approxi
m
ation meth
o
d
n
ow i
m
pl
i
es polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_s
u
mmate: op
t
ionally us
e
Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
l
a
e
g
e
Bernoulli_
s
u
m_eval
u
e: use
evalue_f
r
om_sectio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok/p
o
lylib
.
h: remove com
p
atibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
m
ove
V
e
ctor_Oppose to Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
la
e
ge
polytop
e
_scan
:
reenabl
e
--dire
c
t option
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
remo
v
e_all_
e
qu
a
lities:
keep removing
e
qua
l
ities un
t
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Ve
r
doolaege
remove_all_eq
u
alitie
s
:
handle empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
remove_all_equalities
:
minor code cle
a
n
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Ve
r
d
ool
a
ege
ex
p
o
r
t P
o
lyhedron_Matrix_
V
iew
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
po
l
ar_si
g
ned_cone_con
s
u
m
er: clean up memory on
inappr
o
priate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ver
d
oolaege
Pa
r
am_Inner_Prod
u
ct
:
fix use
o
f
v
a
l
u
e_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: fix t
y
po
i
n
Mi
c
hele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
o
olaege
A
dd missing files from polymak
e
client to distribution
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
Use gmp's
gcd rather tha
n
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ve
r
doola
e
ge
pol
y
make/READM
E
: m
e
nt
i
on --wi
t
h-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
o
lymak
e
/Makefile
.
in: ad
d
work-
a
r
o
und for poly
m
ake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
evalue
.
c: print_eval
u
e
: always
p
rint newl
i
ne at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Verdo
o
l
aege
options
.
c
:
fix typo i
n
--appr
o
ximation
-
method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
t
opcom: fi
x
heuristic f
o
r
selectin
g
row
s
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
ba
r
vinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge
branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdo
o
laege
Docume
n
t TOPCOM b
a
s
ed
c
hamber deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
test TOPCOM chamber decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
Optionally use TOPCOM to c
o
mpute chamber decompos
i
t
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
l
e
x
min: add
(protected) mis
s
in
g
algorit
h
m
include
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
M
a
kefile
.
am: add targ
e
t
for crea
t
ing dist
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
e
rdoolaege
doc
:
update v
o
ting th
e
ory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvinok_summate and barvi
n
ok_m
a
ximi
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: consist
e
n
t use
o
f Barv
i
n
ok's
i
nitials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_summ
a
te
:
c
o
r
r
e
ct
o
ption
s
description
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doola
e
ge
Doc
u
ment Euler-Macla
u
rin b
a
s
ed
summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
doc: change example environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n V
e
rdo
o
l
a
ege
d
oc:
a
d
d some hidden sections to table of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: an
o
ther document refering to the library
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erdoolaege
add some tests for Eu
l
er-Macla
u
rin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
oolae
g
e
Euler-Maclaurin based
s
ummatio
n
f
o
r 1D problem
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdoolaeg
e
E
u
ler-Maclaurin based s
u
mmatio
n
for 2
D
probl
e
ms
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
lae
g
e
d
ecompos
e
r
.
cc
:
avoid use
o
f half-op
e
n
cones
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaeg
e
barvinok_
s
u
m
m
a
te: verify solu
t
ion over whole para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introdu
c
e barvinok_summate as a wrapper for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
ae
g
e
a
d
d evalue_mul
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
evalue_{div,mul}: handle
s
ome
t
riv
i
al
cases more ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
la
t
tice_point: export fra
c
tional_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c
:
extra
c
t
c
ommon code
f
or
c
onstruction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
V
e
rdoolaege
v
o
lume
.
c: export Param_Pol
y
hedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoo
l
a
e
ge
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
fix type of evalue
_
pol
y
nom
i
al
argu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
support computati
o
n of Bernoulli p
o
lynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separ
a
te computation
o
f B
e
rnoulli coefficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
lattice_point: us
e
Para
m
_Vertex_
C
ommon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
mak
e
d
ecompo
s
er
.
h self-c
o
n
t
ained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
reduce_dom
a
in:
a
void use of m
a
cro parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
x
po
r
t
e
value_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
Use pip
l
ib
d
uring basis
r
eduction if
no oth
e
r L
P
solv
e
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
o
l
aege
Use bundled pipl
i
b by d
e
fault
commit
|
commitdiff
|
tree
next