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
S
v
en V
e
rd
o
o
laege
gen_
f
un::
s
ummate: handle full specializa
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Replace in
c
remental
i
nf
i
nite se
t
count
e
r by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
make counter::a
d
d_falling_
p
owers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
e
rge (
m
os
t
o
f
)
c
o
mmon
p
art
o
f counter
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icounter: handle speci
a
lizati
o
n of poly
n
omi
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
icoun
t
er: don't bo
t
he
r
"norm
a
lizing
"
the exponent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
ba
s
is_
r
eduction_cdd:
check
f
or possibl
y
i
nc
o
rr
e
c
t
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
Polyh
e
dron_Sampl
e
:
h
andle polyh
e
d
r
o
n becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
gen
_
fun::operator evalue *: always return
a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::operator evalue *: remove commented out
d
e
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvin
o
k
_
enumerate_e
.
cc: handle ver
i
fication of prob
l
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
b
a
rvinok_enumerate_
e
: optionally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enu
m
erate_
e
:
support v
e
rifica
t
ion of gener
a
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_en
u
me
r
ate_e
:
support conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
lattice_points: another micro
-
o
p
timizatio
n
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
latti
c
e_points_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fun:
:
add:
c
ontext
o
f
sum sho
u
ld be u
n
i
o
n
o
f
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
bar
v
inok
_
enumera
t
e:
use verify infras
t
ructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
genf
u
n
.
cc:
pr
i
nt_power: drop
s
paces aroun
d
"
/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
c
o
unt_points_e: fal
l
ba
c
k
to
count_points if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
Makefile
.
am:
ch
e
ck-evalue: print
n
ame of each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
verify: a
d
d check_p
o
ly_print helper f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoola
e
g
e
g
en_fun: make sure conte
x
t is alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
laege
reducer::
r
educe: canonicalize coefficien
t
s in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
aege
short_rat:
:
print: correctly print
out
t
er
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvino
k
_
s
e
r
i
e
s: recheck for equa
l
ities after compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export Matrix_Read f
o
r
reading Mat
r
ix from
a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
param_u
t
il
.
c
: add Param_Vertex_Doma
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ut
i
l
.
c: supp
o
r
ting_c
o
nstraint
s
:
return bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
polylib: upda
t
e for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
o
pti
o
ns
.
c: use
P
o
lyhedron_Sample for counting i
n
fin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
k
e
e
p track of and use satu
r
a
t
ing
c
ons
t
ra
i
nts in
P
aram_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
move value_gcd
a
n
d value_lcm to
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Bernoulli_sum_
e
value: on
l
y co
m
p
ute exact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Bernoulli_sum_evalue: sum over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
eval
u
e
.
c
: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
P
o
lyhedron_Exc
h
angeColumns: normalize
c
onstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
export Polyhedr
o
n_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue_
p
oly
n
o
m
ial: opti
m
ize evalua
t
ion in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
evalue
.
c: emul:
h
a
ndle another spe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolae
g
e
evalue
.
c: ead
d
:
h
and
l
e some s
p
e
cia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
intro
d
uce and use e
v
a
lue
_
fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
value
.
c: e
a
dd: micr
o
-optimize addition
o
f two
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
setting an approximatio
n
method now implies polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
bar
v
inok_summat
e
: optionally us
e
Bernoulli/Faulh
a
be
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doo
l
a
e
ge
Be
r
noul
l
i_sum_evalue: us
e
evalue_from_section_ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
b
a
rvinok/polyli
b
.
h: rem
o
ve comp
a
tibi
l
ity with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vector_Oppose to
P
oly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
o
l
ytope_scan: r
e
enable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolaege
rem
o
ve_all_equalities:
k
eep r
e
moving equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all
_
equaliti
e
s: hand
l
e empty poly
h
edr
o
n detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
e
r
doo
l
aege
r
e
move_all_eq
u
a
lities
:
m
i
n
o
r
c
o
d
e clean-
u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolae
g
e
export Poly
h
edron_Mat
r
ix
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
p
olar_s
i
gned_cone_consumer: clean up memory
o
n inapprop
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inner_P
r
oduct: fi
x
u
se of value
_
lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
V
erdo
o
laege
doc: fix ty
p
o in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
Add mi
s
s
in
g
files from polymak
e
client to di
s
tribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
U
se gmp's gcd rather than
Po
l
yLib's
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdo
o
laeg
e
pol
y
make/README: mention --with-b
a
r
v
inok con
f
igure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
polymake/Makefile
.
in: add work
-
around
f
or polym
a
ke
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolae
g
e
e
va
l
ue
.
c
:
print_evalue: a
l
w
a
y
s p
r
int newline at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
Verd
o
ol
a
eg
e
optio
n
s
.
c: fix typo
i
n
--approximation-method
d
escript
i
on
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
t
o
pcom: fix heuris
t
i
c f
o
r selecting rows to use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ve
n
Ver
d
ool
a
e
ge
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Me
r
ge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Ver
d
oola
e
g
e
Docu
m
e
n
t
TO
P
COM b
a
sed c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
te
s
t
TOPCOM chamber dec
o
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Optional
l
y use TOPCOM to compute chamber decompo
s
itions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoo
l
aeg
e
lexmin: a
d
d
(
protected) miss
i
ng algorithm include
commit
|
commitdiff
|
tree
2007-09-11
S
ven
V
erdoolae
g
e
Makefil
e
.
am:
a
d
d
t
arget for creating dis
t
with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verd
o
olaege
do
c
: u
p
date
vo
t
ing theory re
f
er
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
ege
docum
e
nt barvinok_summate
and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: c
o
nsistent use o
f
B
arvinok's initia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barv
i
nok
_
summate: correc
t
options descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
D
ocument Eule
r
-
M
aclauri
n
ba
s
e
d s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Ve
r
doolaege
d
oc: change
example environment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ve
r
doolaege
doc: add
s
o
m
e hidd
e
n
sections to table
o
f cont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: another documen
t
refering to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
add some
t
est
s
for Eule
r
-Maclaurin based
s
umma
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Euler-Maclaurin
based summa
t
io
n
f
or 1D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoolaege
E
u
l
er-
M
aclaurin based sum
m
at
i
on for
2D probl
e
ms
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdo
o
lae
g
e
decomposer
.
cc
:
avoid use of half-open con
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oo
l
aege
barvinok_sum
m
ate:
v
erify s
o
lution
o
ver whole para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
introduce barvinok_summa
t
e as
a
wrapper for eval
u
e
_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
a
ege
evalue_
{
div,mul}: handle some trivial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
lattice
_
p
o
int
:
export
f
ract
i
onal_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
lae
g
e
evalue
.
c: extract common co
d
e for constructio
n
b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
volu
m
e
.
c:
e
xport Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add ev
a
lue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
fix t
y
pe
o
f
e
v
a
lue_polynomia
l
a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaege
support c
o
mpu
t
ation of B
e
rnoulli
p
olynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaeg
e
s
e
parate c
o
mput
a
tion of Be
r
noulli coefficient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ve
r
d
oolaege
lattice_po
i
nt: u
s
e Param
_
Vert
e
x_Co
m
mon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdo
o
laege
ma
k
e decom
p
o
s
e
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
reduce_domain: avoid
u
se of macro parameter
w
ith na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
export evalue
_
dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
Use piplib dur
i
n
g ba
s
is re
d
ucti
o
n if no
othe
r
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled pip
l
ib by default
commit
|
commitdiff
|
tree
next