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
options.c: rename "barvinok" summation method to "box"
2007-10-25
S
v
en Verd
o
o
l
a
e
ge
b
a
rvinok_enumera
t
e_
e
: s
u
p
port
conversion of ge
n
e
r
at
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
l
attice_point
s
: another mi
c
ro-op
t
imization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
latti
c
e_points_fix
e
d: na
n
o
-
optimizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_f
u
n::add: c
o
ntext of
sum should
b
e
union of conte
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enumerate:
us
e
ver
i
f
y infr
a
str
u
cture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
g
enfun
.
cc: print_power:
d
rop
spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
count_points_e: f
a
ll
b
ack to count
_
points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
a
m
: check-e
v
alue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: a
d
d check_poly_prin
t
help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
laege
g
en
_
fun: make sure conte
x
t
i
s al
w
a
y
s set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
reduc
e
r::reduce:
c
an
o
nicalize coef
f
i
cients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
short_rat::
p
rint: correctly p
r
int out ter
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
barv
i
nok_series:
r
e
c
heck
f
or e
q
ualities a
f
ter compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ex
p
ort Matr
i
x_Read
fo
r
rea
d
ing Matrix
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
pa
r
a
m
_util
.
c: ad
d
Param_V
e
rtex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
util
.
c: supp
o
r
t
in
g
_const
r
aints: r
e
turn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: update
for Matr
i
x_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
options
.
c:
us
e
Polyhed
r
on_Sample
for
c
ounti
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
keep tr
a
ck of
and
use
saturatin
g
c
o
ns
t
r
ain
t
s i
n
Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
move value_gcd and
v
a
lue_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Bernoul
l
i_sum_ev
a
lue: only compute exact sum if
approximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum
_
eval
u
e:
s
um over variables w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue
.
c: e
x
port e
v
alue_var
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
P
o
lyhed
r
on_ExchangeCol
u
mns: normali
z
e constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
expo
r
t Polyhe
d
ron_Exch
a
ngeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
evalue_p
o
l
ynomial: optim
i
z
e eva
l
uation in
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
.
c: emu
l
: hand
l
e an
o
t
h
e
r special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
eval
u
e
.
c: e
a
dd:
handle som
e
special
c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
i
ntroduce and use evalue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
:
ead
d
: m
i
cro-optimize ad
d
ition of t
w
o ra
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
setting an approxim
a
tion meth
o
d now implies poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summ
a
te: optionally
u
se Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
Bernoulli_sum_evalue: u
s
e evalue_fro
m
_se
c
tion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoo
l
aege
barvinok/polyli
b
.
h: remo
v
e c
o
mpatibility
w
ith older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
move
V
ector_Oppos
e
to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
polytope_scan: reenable -
-
di
r
e
c
t option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaeg
e
remove_all
_
e
q
ualit
i
e
s
: ke
e
p removing
equalities u
n
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remov
e
_all_e
q
ualities
:
hand
l
e
e
mpty po
l
yhedron detec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolaeg
e
remove_all_eq
u
a
l
ities: minor code
clean-
u
p
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
export Polyhedr
o
n_Matrix_Vie
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
po
l
ar_signed_cone_consume
r
: c
l
ea
n
up memory on
inapprop
r
ia
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
P
ara
m
_Inner_Product: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n Verdoola
e
g
e
doc: fix
t
ypo
i
n
Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
Add missing files from
p
olymak
e
client to di
s
tribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
Use gmp's gcd rather tha
n
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
r
d
oolaege
polymake/README: mention
-
-with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
o
olaege
p
o
lymake
/
Makefile
.
in: a
d
d work-aro
u
nd for p
o
lymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
e
v
alue
.
c: pr
i
nt_evalue: always
p
rin
t
newlin
e
at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ver
d
oolae
g
e
options
.
c
: fix typo
in --appro
x
imati
o
n-metho
d
d
esc
r
i
p
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdo
o
laege
topcom: fix heuristi
c
f
or sel
e
cting ro
w
s t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
ba
r
vi
n
ok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olaege
Merge bran
c
h 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
D
o
cument TOPCOM based chamb
e
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
st TO
P
COM chamber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optiona
l
ly use TOPCOM
to compu
t
e cha
m
ber decompo
s
itions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoo
l
ae
g
e
lexmin: add (
p
rotected)
missing a
l
g
o
rithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Makefile
.
a
m: add target for creati
n
g di
s
t
with
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: update voting
t
heory reference
commit
|
commitdiff
|
tree
2007-09-10
S
v
en V
e
r
dool
a
e
g
e
document ba
r
vinok_summate and barvinok_maximiz
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: consistent use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
barvinok_
s
u
mmate: c
o
rrect o
p
t
i
ons des
c
ription
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oo
l
aege
Documen
t
Euler-Ma
c
laurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoola
e
ge
doc: c
h
a
n
ge example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc
:
add so
m
e hidde
n
sections to table of conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
e
r
d
oolaege
doc: another
d
ocument
r
eferin
g
to the lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
add
s
ome tests for Eu
l
e
r-Maclaurin based
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
ege
Eul
e
r
-Maclaur
i
n based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdool
a
ege
Euler
-
Ma
c
laurin ba
s
ed summation for
2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
decompo
s
er
.
cc: av
o
id us
e
of half-open cone
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
barvinok
_
sum
m
ate: verify
s
olu
t
ion o
v
er
whole
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
introduce
b
arvinok_s
u
mma
t
e as
a
wrapper fo
r
evalue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
a
d
d
e
value_mul
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
_
{
div,mul}: handl
e
s
o
m
e
tr
i
vial cases more effic
i
e
ntly
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
lat
t
ice_point: e
x
port fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
value
.
c: extract c
o
mmon code for con
s
truction
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
volume
.
c: export Para
m
_
P
o
l
yhedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
add ev
a
l
u
e_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type
o
f evalue_
p
ol
y
nomial
a
rgument
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
su
p
port co
m
putation of
B
ernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
separate computation of B
e
rnoull
i
coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
l
a
ttic
e
_point
:
use Pa
r
am_Vertex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
make de
c
ompos
e
r
.
h self-c
o
ntained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
reduce_domain:
a
void us
e
o
f
m
a
cro parameter wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoolaege
exp
o
rt evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
er
d
oolaeg
e
Use
piplib
d
u
ring basi
s
red
u
ctio
n
if no othe
r
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
Use b
u
n
dled
p
ip
l
ib
b
y
defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
a
d
d piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
Use bundle
d
Pol
y
Lib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add pol
y
lib
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ber
n
stei
n
: allow lin
k
ing again
s
t uninstalle
d
, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Verdo
o
l
aege
add mor
e
missing as
s
ert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Verdool
a
ege
add
du
m
my implementati
o
ns of functions
t
h
a
t
de
p
end
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "Counti
n
g with r
a
t
ional generati
n
g
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verd
o
olaeg
e
barvi
n
ok
.
c
c: s
p
l
i
t o
f
f part constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doo
l
a
ege
barvinok
.
cc: split off p
a
rt d
e
aling with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*
count
e
r:
avoid re
c
omp
u
t
a
t
ion of denomin
a
t
ors
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n
Verdool
a
e
g
e
co
u
nter: r
e
move
redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
change type
of
s
om
e
"sign"
s
to
i
nt as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
e
ge
doc:
u
pdate Al
g
o
r
ith
m
ic
a
publica
t
i
o
n
commit
|
commitdiff
|
tree
2007-08-10
S
v
e
n
Ve
r
d
oolaege
evalue
.
c: make
p
aramete
r
names of type const char
.
.
.
commit
|
commitdiff
|
tree
next