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-30
Sve
n
Verdoolaege
g
e
n_fun::Hadamard_product:
print
progress
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
erdoolae
g
e
move --verbose
option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_
f
un::sum
m
ate: handle ful
l
s
pe
c
ialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
Replace
i
nc
r
em
e
n
tal inf
i
nite se
t
count
e
r
b
y
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
make
c
ounter:
:
a
dd_fal
l
ing_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most of) common
p
a
r
t of counter an
d
t
cou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
i
counter: handle speci
a
lization of
p
olynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
icoun
t
er:
d
on't bother "normal
i
z
i
ng" the ex
p
onent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
er
d
oolaege
basis_reduct
i
on_cdd: ch
e
c
k
f
or pos
s
ibl
y
incorr
e
ct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
lyhedron_Sampl
e
: handle poly
h
ed
r
on be
c
om
i
n
g
em
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator
eva
l
ue *: always ret
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fu
n
::operator eva
l
ue *: re
m
ove commented out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enum
e
rate_e
.
c
c
: handle verificati
o
n
o
f pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
barvinok_en
u
mer
a
te_e: optionally
print
sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verd
o
olaege
barvinok_enumerate
_
e
:
s
u
pport veri
f
ication
o
f gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvin
o
k_
e
numerate_e: su
p
port conv
e
rs
i
o
n
of gener
a
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
g
e
latt
i
ce_points:
another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
l
a
ttice_poi
n
ts_f
i
xed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen
_
fun::a
d
d: context of sum sh
o
uld be union
o
f con
t
ex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
barvinok_enumerate: use ve
r
ify
i
nfras
t
ructure for verifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
genfun
.
cc: prin
t
_po
w
er: drop spaces
a
r
ound "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
co
u
nt_p
o
int
s
_
e
: fall back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolae
g
e
M
akefile
.
a
m: check-evalue:
p
rint
na
m
e of each t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verif
y
:
add che
c
k_poly_print helper func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n
_fun: make sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduc
e
: canon
i
ca
l
i
z
e coefficie
n
ts in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
s
hort_r
a
t::pr
i
nt: c
o
rrectl
y
print
out terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
barvinok_
s
eries: recheck for equalities after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
port Mat
r
ix_Read
for readin
g
Matrix from
a st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
param_util
.
c: add
P
aram
_
Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
util
.
c: suppor
t
ing_constraints: return bit
v
ector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
a
ege
polylib:
u
pdate for Matri
x
_Ext
e
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
option
s
.
c
:
use Polyhedron_Sa
m
ple for co
u
nti
n
g infi
n
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
k
e
ep
track of and use
saturating
co
n
s
t
raint
s
in Pa
r
am_P
o
l
yhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
mov
e
va
l
ue_
g
cd and value_lcm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rnoulli_sum_evalue: only compute
e
xact sum if approxi
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdool
a
e
g
e
Bernoulli_sum_evalue:
sum
o
v
er varia
b
les with intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
evalue
.
c
: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
e
ge
Polyhed
r
on_ExchangeColumn
s
: normalize cons
t
raints
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
export Polyhedro
n
_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdool
a
ege
evalue_polynomial:
o
p
timize e
v
a
lua
t
i
o
n in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
evalue
.
c: em
u
l: handle anot
h
er speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
e
value
.
c
:
ead
d
:
handle some specia
l
c
a
s
es
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
in
t
roduce
a
n
d
use evalue_
f
ree
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
eval
u
e
.
c
: eadd:
mic
r
o-opti
m
ize additio
n
of two
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
o
l
aege
setti
n
g
a
n
a
p
p
r
oximation meth
o
d now i
m
plies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
b
a
r
v
inok_
s
ummate
:
optional
l
y use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Be
r
noulli_sum_evalue: use evalue_from_sect
i
on_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvi
n
ok/p
o
l
ylib
.
h: remove
c
ompatibility with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
move
V
ect
o
r_Opp
o
se
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
polytope_scan: r
e
en
a
ble
-
-
d
i
r
ect option
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verd
o
o
l
a
ege
remove_all_equaliti
e
s
:
keep remov
i
ng equalitie
s
unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoo
l
aege
remove_all_equalities: h
a
ndle empt
y
polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verd
o
olaege
remove_all_e
q
ualities: minor code c
l
ean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
exp
o
rt P
o
lyhedr
o
n_Matr
i
x_
V
ie
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
p
o
lar_s
i
gned_c
o
ne_consumer
:
clean u
p
me
m
ory on inappropri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n Verdoola
e
g
e
Param_
I
nner_P
r
oduct:
f
ix use of value_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
doolaege
doc: fix
t
ypo in
M
ichele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Add
m
iss
i
n
g files
fro
m
polymake client
t
o
distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd rath
e
r than P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven
V
erdoolaege
pol
y
m
a
ke
/
REA
D
ME:
m
en
t
i
o
n --wi
t
h-bar
v
inok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
poly
m
ake/M
a
k
e
file
.
in: add wo
r
k
-
a
r
ound for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
ev
a
l
ue
.
c
:
print
_
evalue
:
always print newl
i
ne at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c: fix typo in --approx
i
mation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
V
e
r
d
oolaege
topcom: f
i
x heur
i
st
i
c for selectin
g
rows to use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aeg
e
M
e
rge
b
r
anch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
Documen
t
TOPCOM based chamb
e
r
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM chamber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
Optionally use TO
P
COM t
o
compute chamber de
c
ompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
lexmin
:
add
(
protected)
m
issin
g
a
lgo
r
it
h
m inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolae
g
e
Makef
i
le
.
am
:
ad
d
t
arget for
c
reating
d
ist w
i
th git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
doc: update voting theory r
e
f
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdo
o
laege
document barvi
n
ok_
s
ummate
and ba
r
vinok_max
i
mize
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
oolaege
doc
:
consistent u
s
e of Barvino
k
'
s
initials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
barvinok
_
summ
a
te
:
correc
t
options descrip
t
io
n
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
oolaege
Document Euler-Maclauri
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doolaege
doc: change example environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ve
r
doolae
g
e
doc: add some
h
idde
n
sections to table o
f
contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: another document refering to the
li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some tes
t
s for Euler-Maclaurin
b
ased summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Euler-Maclaurin ba
s
e
d summation for 1D probl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
Euler-Maclaurin based summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
decomposer
.
cc: avoid use of half-op
e
n cones
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
r
d
oolaege
barvinok_summate
:
ve
r
ify solution o
v
er whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaeg
e
introduce barv
i
nok_summate as
a
wrapp
e
r for evalue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
la
e
ge
add evalu
e
_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
evalue
_
{div,mul}
:
han
d
le
som
e
t
r
ivial
c
as
e
s
mo
r
e
effi
c
iently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
attice_point: expor
t
fractio
n
al
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaege
ev
a
lue
.
c
:
e
xtract commo
n
code for const
r
uctio
n
based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c: ex
p
ort Param_Polyh
e
d
r
on_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
fix
t
ype
of e
v
a
l
ue_p
o
lynomial
a
rgument
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
suppor
t
computation
o
f B
e
rnoulli
polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
separate computatio
n
of
Bernoulli co
e
fficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
lattice_point: us
e
P
ar
a
m
_
Vertex
_
Common_
D
enominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h
s
e
l
f-cont
a
i
ne
d
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Ve
r
doolaege
red
u
ce_d
o
main: avoid
us
e
of macro parameter w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ola
e
ge
export evalue_dup
commit
|
commitdiff
|
tree
next