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
bernoulli.c: minor refactoring
2007-10-31
Sven Verdo
o
laege
par
a
m_util
.
c:
ex
p
ort
b
i
t_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
topco
m
.
c: extract part o
f
code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaeg
e
g
e
n_
f
un::Hadama
r
d_p
r
oduc
t
: print progress ind
i
cator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Verd
o
o
l
aege
mo
v
e
--verbose option
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ge
n
_fun::s
u
mmate: handle full sp
e
cialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
Re
p
l
a
ce incremental infinite
s
et co
u
nter by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
make counter::add_fa
l
ling
_
powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most of) comm
o
n
p
art of c
o
unter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
a
ege
icounte
r
: handle speciali
z
ation of
p
o
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
g
e
ico
u
nter: don't bother "normalizing" the
expon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_lef
t
_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ba
s
is_r
e
d
u
c
t
ion_cd
d
: check
f
or
p
ossibly
incor
r
ect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Polyhed
r
o
n
_Sample: ha
n
d
le polyhedron
b
e
c
o
m
i
ng
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun::operator eval
u
e *: a
l
ways return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::operato
r
evalue *: remove
commen
t
e
d
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdool
a
ege
barvin
o
k
_enumerate_e
.
c
c: handle
v
erifi
c
ation of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
laege
barvinok_enumerat
e
_
e
: op
t
i
onally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_enumerate_e: support veri
f
ication of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_enumerat
e
_e: support conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
lattice_p
o
i
n
ts: another
m
i
cro-opti
m
izatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
latti
c
e_points_fixed:
nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
g
en_fun::
a
dd: c
o
n
text of sum should
be
u
nion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok
_
enumerate
:
use verif
y
i
n
frastructure for veri
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
g
e
nfu
n
.
cc:
pri
n
t_power: drop spaces aro
u
nd "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoo
l
a
ege
count_
p
oints_e: fall b
a
ck to count_points if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makef
i
le
.
am:
c
h
e
ck
-
e
v
alue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ver
i
fy:
a
dd c
h
eck_p
o
ly_print
help
e
r
fun
c
tio
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rd
o
olaege
gen
_
fu
n
:
make sure co
n
text is
a
lways set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
r
ed
u
cer::red
u
ce: canonicalize coeffi
c
ien
t
s
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
s
h
o
r
t_rat::print: correctly print out terms
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
b
a
rvinok_series:
r
echeck for eq
u
alities after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
export Matrix_Read for r
e
ading M
a
trix from a s
t
r
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
param_util
.
c: add Param_
V
erte
x
_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
u
t
il
.
c
:
support
i
ng_constrai
n
t
s: r
e
turn bit v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: upd
a
te for Matri
x
_
E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
opt
i
ons
.
c
:
use Polyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
keep track of and use saturating co
n
s
traints
in Pa
r
am_Poly
h
e
d
ron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
d
oolaege
mov
e
valu
e
_gc
d
and
v
alue_lcm
to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoo
l
aege
Ber
n
oulli_sum_evalue: o
n
l
y c
o
mpute exact
s
u
m if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
Bernou
l
li_su
m
_evalue
:
sum over vari
a
bles with in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Polyhedron_Ex
c
hangeColumns:
normalize
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
export Polyhedron
_
Exchang
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ev
a
lue_poly
n
omial: o
p
timize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue
.
c: emul
:
handle another special ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
ev
a
lue
.
c:
ea
d
d:
handl
e
some spe
c
ial
c
ases
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
i
ntro
d
uce and use eval
u
e_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
e
value
.
c: eadd: micro-optim
i
ze addition of
two rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
setting an a
p
pro
x
i
mation m
e
tho
d
n
o
w imp
l
ies polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summ
a
te: op
t
ionally
use B
e
rnoulli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bernoulli_
s
um_evalue: use ev
a
lue_f
r
om_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
b
arvinok/poly
l
i
b
.
h:
r
emov
e
c
o
m
patibility
w
i
th older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
o
laege
move Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ve
r
doolaege
p
o
l
y
t
o
pe_scan: reena
b
le --direc
t
op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
remove
_
all_equalities: keep removing equalities unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
r
d
oolae
g
e
r
e
move_all_equal
i
ties
:
handle empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoola
e
ge
r
e
m
ove_all_equalities: mino
r
code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
ex
p
ort Po
l
yhedron_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Verdool
a
ege
polar_signed_cone_consumer: clean up
m
em
o
ry on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Verdool
a
e
g
e
Param_Inner_Prod
u
ct: fix use of value_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sven
Verd
o
o
l
aege
doc: fix typo i
n
Mi
c
hele
Vergn
e
's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
A
dd missing fi
l
es from
p
o
l
ymake
client to distributi
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp'
s
g
c
d ra
t
h
e
r than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/READM
E
: menti
o
n
-
-w
i
th-barvino
k
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/
M
a
ke
f
ile
.
in: add
work-around f
o
r pol
y
make
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
V
e
r
doolaege
evalue
.
c
:
print_evalue: always pri
n
t newli
n
e at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
en Verdoolae
g
e
options
.
c: fix typo in --
a
pp
r
ox
i
matio
n
-method description
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Verdoola
e
ge
to
p
com: fix heuristic for
selectin
g
ro
w
s to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
dool
a
eg
e
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Document TOPCOM based chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM ch
a
mber decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Optionally use
TOPC
O
M to compute chamber decompo
s
itio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin
:
add (
p
r
o
t
ected) missing algorithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefi
l
e
.
a
m
: add
t
arget f
o
r
creating dist with gi
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doola
e
ge
do
c
:
update voting the
o
ry
referenc
e
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verd
o
olaege
d
oc
u
ment barvino
k
_summate a
n
d barvinok_maxim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
e
ge
doc:
c
onsist
e
nt use of Barvin
o
k's i
n
itia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verd
o
o
la
e
g
e
barvinok_summ
a
te: co
r
rect opti
o
n
s
descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oolae
g
e
Documen
t
Euler-Maclaurin
based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n V
e
r
d
oolaege
d
o
c: change example e
n
v
i
r
o
nment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: add
some hi
d
den sections to t
a
b
l
e of con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc
:
a
n
o
ther docu
m
e
n
t refering to the
l
i
br
a
ry
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
add
s
om
e
tests for Euler-
M
aclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin based
s
u
mmation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Macl
a
urin based s
u
mm
a
t
i
on for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
laege
deco
m
pose
r
.
cc
:
a
void use of
h
a
lf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
b
a
rv
i
nok_summate: verify solution over w
h
ole
p
arameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaege
introduc
e
b
arvinok_summate as a wrapp
e
r for eva
l
u
e_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoola
e
g
e
add evalue
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoolaeg
e
eva
l
ue_
{
d
iv,mul}:
handl
e
som
e
triv
i
al
c
as
e
s more e
f
ficiently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
r
doola
e
ge
lattice_poin
t
: export fractional_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdool
a
ege
e
v
alu
e
.
c: extract c
o
m
mon code for
c
o
nstructi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
volume
.
c: e
x
port Par
a
m_Polyhedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdool
a
ege
add
eva
l
ue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
fix type of evalu
e
_poly
n
omial argument
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
sup
p
ort
c
omputation of Be
r
n
o
ul
l
i
polyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
s
eparate computation of Bernoulli coefficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Verdoolaege
lat
t
ic
e
_point: use Param_Vertex_Common_De
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
make
decomposer
.
h self-contained
commit
|
commitdiff
|
tree
next