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
Replace incremental infinite set counter by "regular" infinite set counter
2007-10-25
Sven Verdoolaege
Replace incr
e
mental i
n
fi
n
ite set c
o
unter by "re
g
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make co
u
nter::add_falling_
p
owers st
a
tic
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
o
o
laege
mer
g
e
(
m
ost of) common part
of cou
n
ter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: handle specialization of polynomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
i
c
o
unter: d
o
n't bother "norma
l
iz
i
ng" the
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export n
e
g
_lef
t
_he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rd
o
olaege
basis_
r
edu
c
tion_cdd:
check for possib
l
y incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
Polyhedron
_
Sample:
h
andle poly
h
edron beco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::o
p
erator evalue
*
: alw
a
ys r
e
turn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
e
ge
gen_fun::operator evalue
*
: rem
o
ve commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rd
o
olaege
b
a
rvinok_en
u
merate_e
.
cc
:
handl
e
v
e
rification
of
p
roblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
o
k
_en
u
m
e
r
ate_
e
: optionally pr
i
nt stat
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
e
ge
barvinok_en
u
m
e
r
ate_e: s
u
p
port verif
i
cation of genera
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
eg
e
barvinok_enu
m
erate
_
e: s
u
pport conversion of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
lattice_points: ano
t
her
micro-o
p
t
imi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
ol
a
ege
latt
i
ce
_
points_
f
i
x
ed: nan
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
g
en
_
fun::add:
c
ontext
o
f s
u
m sh
o
uld be union o
f
co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
barvino
k
_enumerate: us
e
verify infrastructure for
ve
r
i
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doo
l
aege
g
enfun
.
cc: print_power: drop sp
a
ce
s
a
r
ound "/"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolae
g
e
count_points_e:
fall ba
c
k to count_points if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oo
l
aege
Makefil
e
.
a
m
: check-ev
a
lue: print nam
e
of
each t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
o
o
l
aege
veri
f
y
:
add check_poly_print helpe
r
function
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_fun: make sure context
i
s
alway
s
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
reduce
r
::re
d
uce: canonicalize coeff
i
cients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
short_rat::print: corr
e
c
t
l
y
pri
n
t out
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
barvi
n
o
k
_
s
er
i
es:
recheck for equ
a
l
ities after
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdo
o
laege
exp
o
r
t Matrix_Rea
d
f
o
r
r
ead
i
ng Matr
i
x from a
s
tream
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
par
a
m_
u
t
i
l
.
c: add Param_V
e
rte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
util
.
c
:
s
u
pporting_constrain
t
s: re
t
urn
b
i
t
v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyli
b
:
u
pdate for M
a
t
rix_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
o
p
tions
.
c: u
s
e Po
l
y
h
edron_Sample
f
or counting i
n
f
init
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
g
e
keep track of an
d
use
s
aturating
c
onst
r
a
i
nts in Param_P
o
l
y
hedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
move value
_
gcd
and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
Bernoul
l
i_
s
um_evalue: on
l
y
c
o
m
p
ute exact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
Bernoulli_sum_evalue: sum over variables
w
i
t
h integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
evalue
.
c
: ex
p
ort evalue_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
P
o
l
y
hedron_Exchan
g
e
Col
u
m
n
s
:
normalize
c
ons
t
raints afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
expo
r
t Polyhe
d
ron_Exchan
g
eColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
e
v
a
lue_pol
y
nomial: opt
i
mize evaluation in
zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
evalu
e
.
c
: emul: handle an
o
ther special case
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
e
val
u
e
.
c:
e
add: han
d
le s
o
me s
p
ec
i
al cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
in
t
roduce a
n
d use e
v
alue_
f
r
e
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
laege
e
v
a
lue
.
c: ea
d
d: micro-optimize a
d
d
itio
n
o
f two
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaeg
e
settin
g
an approxi
m
ation method
now implies polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoola
e
g
e
b
a
rvin
o
k_summ
a
te: optionally use Bernoulli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
B
e
rnoulli_sum_evalue: use evalue_fr
o
m
_secti
o
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
barv
i
nok/polylib
.
h: remove compatibility
w
ith
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vec
t
o
r_Oppo
s
e to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
p
oly
t
ope_scan:
re
e
nable --direct
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaeg
e
remove_all_equali
t
ies: keep removing e
q
ualit
i
es until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
rem
o
ve_all_equalities: ha
n
dle empty
p
o
l
yhe
d
ron det
e
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_a
l
l_equalities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
exp
o
rt Polyhe
d
ron_
M
a
trix
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
V
erdoolaeg
e
polar_sign
e
d
_con
e
_c
o
nsumer:
c
lean u
p
me
m
ory on
inappro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
V
erdoolaege
Param_Inner_Product: fix use
o
f value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
doolaege
doc:
fix typo in Michel
e
V
e
rg
n
e
'
s name
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoola
e
g
e
Add
missing files
from polymake client
to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven
Ver
d
oola
e
ge
Use gmp's gcd rather than
Poly
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolaege
polymake/README: ment
i
on --wi
t
h
-
barvinok config
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoola
e
ge
polym
a
k
e
/
Makefile
.
i
n
: add work-around for
p
olymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
evalue
.
c: print_e
v
alue: always print
n
e
wline at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verd
o
olae
g
e
opt
i
o
n
s
.
c: fix typo in --
a
pproximation-
m
e
thod
d
e
s
cription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix heur
i
stic for selectin
g
row
s
t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
V
erdoo
l
ae
g
e
b
arvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolaege
Merge
b
ranch
'
topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdo
o
laege
Doc
u
ment TOPCOM based chamb
e
r d
e
com
p
osition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test
TOPCOM
chamber decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
do
o
laeg
e
Optionally use TO
P
COM t
o
compute
ch
a
m
ber deco
m
position
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
le
x
m
i
n: add
(
protected) miss
i
ng algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
Makefile
.
a
m
: add
tar
g
et
f
or c
r
ea
t
ing
d
ist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaeg
e
doc: u
p
date
voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document b
a
rvin
o
k_summate and
b
arvino
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
doc: consisten
t
us
e
of Ba
r
vinok's i
n
it
i
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdoo
l
aege
b
a
rvinok_
s
umm
a
t
e: correct options des
c
rip
t
io
n
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Verdo
o
l
aege
Document Euler-Maclaurin based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
doc: chan
g
e example en
v
ironmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
o
o
laege
doc: add
s
o
me hidde
n
sec
t
ion
s
to table of cont
e
n
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdo
o
la
e
g
e
doc: anothe
r
document refering to the li
b
rary
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
add s
o
m
e
tests for Euler-Macla
u
rin bas
e
d summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
Eul
e
r-M
a
cl
a
urin b
a
sed summatio
n
for
1D
problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
ege
E
u
l
er-
M
aclaur
i
n
b
a
s
e
d su
m
mation fo
r
2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
dec
o
mp
o
ser
.
c
c: a
v
oid us
e
o
f
h
alf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvin
o
k_summa
t
e
:
ver
i
fy solut
i
on
o
ver whole
para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
introd
u
ce barvinok
_
summate as a wr
a
p
pe
r
f
or evalue
_
sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
evalue_
m
ul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaeg
e
evalue_{div,mul}: h
a
ndl
e
some t
r
ivial cases
more effici
e
ntl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
e
ge
lattice_point: ex
p
ort fractio
n
al
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
evalue
.
c: extract common
code f
o
r
c
o
nstructi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
r
doolaege
volume
.
c: exp
o
rt
Param
_
Polyhedron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaeg
e
add eval
u
e_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
fix type
of e
v
a
lue_p
o
ly
n
omial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
s
u
pport computat
i
on of Bernoull
i
polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaeg
e
separate com
p
u
t
a
t
i
on of Bernoul
l
i co
e
fficients an
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
latti
c
e_point: use Param_Vertex_
C
o
m
mon_Denominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
mak
e
d
ecom
p
os
e
r
.
h self-contain
e
d
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoo
l
aege
reduce_domain: avoid use
o
f
mac
r
o
p
a
r
ameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoola
e
ge
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use pi
p
lib du
r
in
g
basi
s
reduction if no othe
r
LP so
l
vers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
Use b
u
ndled p
i
plib by def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add piplib modul
e
commit
|
commitdiff
|
tree
next