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
export neg_left_hermite
2007-10-25
Sven
V
erdoola
e
ge
e
xport ne
g
_left
_
he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
b
a
sis
_
reduction_c
d
d: check for possi
b
l
y incorrect
o
u
t
pu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
lyhe
d
ron_Sa
m
ple: handle polyhed
r
o
n
bec
o
ming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doola
e
ge
gen_fun::operator evalue
*:
always
return a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
gen_fun:
:
opera
t
or eva
l
ue *:
r
emov
e
co
m
mented out
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
b
a
r
v
inok_en
u
merate_e
.
cc: handle verif
i
cation of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_e
n
umerate_e
:
opt
i
onally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvi
n
ok_enumer
a
t
e_e: s
u
pport verifica
t
ion of gener
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
b
a
rvinok_enumer
a
te_e:
s
upport conv
e
rsio
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
lattice_points: another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
lattice_points_
f
ix
e
d: nano-op
t
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
gen_fun::add
:
context
of sum should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok_
e
numerate: use verify infrastr
u
cture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
g
e
nf
u
n
.
cc: p
r
i
n
t_power: dro
p
spaces aro
u
n
d "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
c
o
u
n
t
_
points_e: fall back to count_points if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makef
i
l
e
.
am
:
check-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
v
erify:
add
check_poly_print hel
p
er function
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
g
en_f
u
n
: make sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::re
d
u
c
e: canonicalize
coefficients in
ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_rat:
:
pri
n
t: correct
l
y prin
t
ou
t
t
erm
s
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
barvin
o
k_ser
i
es
:
recheck for e
q
ualities
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
ex
p
ort Matrix
_
Rea
d
for reading
Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
o
l
aeg
e
p
aram_ut
i
l
.
c
: ad
d
Param_Ver
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
util
.
c:
suppo
r
ting
_
constraints: return
b
i
t
vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
polyl
i
b:
u
pdate for Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use Pol
y
hedron_Sa
m
ple
for cou
n
ting
i
nfin
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
keep
t
rack of
a
n
d
use saturating
c
onstraints in
Param_P
o
lyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd and v
a
lu
e
_lcm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
Bernoul
l
i
_
sum_eval
u
e: only compute exact
s
um if ap
p
roximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
B
ernoulli_sum_evalue: sum over
v
ariables with in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
eval
u
e
.
c
:
export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_ExchangeColu
m
ns: normalize constraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ex
p
ort Polyhedro
n
_E
x
cha
n
geColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
_
pol
y
n
o
mial:
opt
i
mize evalua
t
i
on in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c: em
u
l: h
a
ndle another special
c
ase
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaeg
e
evalu
e
.
c: ea
d
d: handle some spe
c
i
a
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
introduce and use evalue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
evalue
.
c
:
ea
d
d:
m
icro-optimize add
i
tion
o
f two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
set
t
ing
a
n appr
o
ximation
method now implies po
l
ynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
barvinok_summate: optionally use Bernoulli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
l
a
ege
Bernoulli_sum_ev
a
lue
:
use evalue_from
_
sectio
n
_arra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
e
ge
b
a
rvinok/p
o
lylib
.
h: remove
co
m
pati
b
il
i
ty with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
m
ove Vector_
O
ppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
poly
t
ope_scan: r
e
e
nable
-
-
direct optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
remove_all_e
q
ualitie
s
: keep removin
g
equalities
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
remo
v
e_all_
e
qu
a
li
t
ies:
h
andle emp
t
y
polyhedron detec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
m
ove_all_equalitie
s
:
m
inor code cl
e
an-up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdo
o
laege
expor
t
Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
V
e
rdoolaege
pola
r
_signed_cone_c
o
nsumer:
c
lean up
m
e
mo
r
y
on
i
nappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven V
e
rdoolae
g
e
Param_In
n
e
r
_Produc
t
: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: fix typo in Michele
Vergne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
Add m
i
ssing f
i
l
e
s from po
l
ymake
clie
n
t
to di
s
tribution
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verd
o
olae
g
e
Use gmp's
gcd rather than PolyLib'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolae
g
e
polymake/README:
mention
-
-wit
h
-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolae
g
e
po
l
yma
k
e/Makefile
.
in: add work-ar
o
und
fo
r
polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c: pr
i
nt_e
v
alue:
a
lways print
n
ewline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdo
o
l
a
ege
options
.
c: fix typo in
-
-approximation-
m
ethod description
commit
|
commitdiff
|
tree
2007-09-15
Sven
V
e
r
doolaege
topcom:
fix heuristic
for selecting rows to use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Mer
g
e branch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
Docu
m
en
t
TOPCO
M
b
a
se
d
cha
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
V
er
d
oolaege
test TOPCOM
c
hamber de
c
omp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
Verdoola
e
ge
Optio
n
a
l
l
y use TOPCOM
t
o compute cha
m
ber decompo
s
i
t
ions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
le
x
min: add (
p
rote
c
t
ed)
m
issi
n
g algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
oolaege
M
a
kefile
.
am: ad
d
target for
c
rea
t
ing
d
ist
w
ith g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
u
pdat
e
voting th
e
ory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
o
olaege
do
c
ument barvino
k
_summate
a
nd barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc:
consist
e
nt use of
Barv
i
nok'
s
i
n
i
tials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
laeg
e
barvinok_su
m
mate
:
correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Document Euler-M
a
claur
i
n
based summ
a
tio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: c
h
ange
e
xample
e
nvi
r
onment
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
oolaege
doc: ad
d
some hidden sections to table of co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaeg
e
doc: another document refering to the
library
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doolaege
add som
e
tests for Euler-Ma
c
lau
r
in b
a
se
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
uler-Maclaurin based summation for
1
D
p
roblems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
Euler-M
a
claurin based summatio
n
for 2D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
deco
m
poser
.
cc: avoid u
s
e of
h
alf-open cone
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
ae
g
e
barvinok
_
summa
t
e
:
ver
i
fy s
o
luti
o
n over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
introduce
bar
v
in
o
k_summate as a wr
a
pper for eval
u
e_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
eva
l
ue_{div,mul}: han
d
le some trivial
case
s
more efficient
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
att
i
c
e_poin
t
: export
f
ra
c
tion
a
l
_
part
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
e
value
.
c
: extr
a
ct c
o
mmon code for
c
o
nstruction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoolaege
volume
.
c: export P
a
r
am_Polyhedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laeg
e
add
e
va
l
u
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
fix ty
p
e o
f
evalue_
p
olynomial arg
u
men
t
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
support computation of Bernoulli pol
y
nom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
separate c
o
mputat
i
o
n
of Bernoulli coeff
i
cients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
l
attice
_
p
oin
t
: use Param_Ve
r
tex_Co
m
mon
_
D
enominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
m
a
k
e decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
r
e
d
u
ce
_
domain: avo
i
d use of macro
para
m
eter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
export eva
l
ue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
l
ae
g
e
Use
piplib during ba
s
is re
d
uction if
n
o other
L
P
solver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
Use bundled pi
p
lib by def
a
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
a
dd p
i
p
lib
m
odule
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
olaege
Use bundle
d
PolyLib by d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oolaege
a
dd polylib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
bernstein:
allow linking agains
t
uninstalled
,
b
ut buil
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
Verdoo
l
aege
add more m
i
ssing
a
s
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdo
o
laege
add dummy im
p
lementations of fu
n
c
t
ions that depend
.
.
.
commit
|
commitdiff
|
tree
next