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
barvinok_series: recheck for equalities after computing vertices
2007-10-25
Sv
e
n Verd
o
o
l
a
e
ge
ba
r
v
inok_series:
recheck
f
or equ
a
li
t
ies
a
ft
e
r
computin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export Matrix_Read for re
a
ding Matrix from
a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
par
a
m_util
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
u
til
.
c
:
s
u
pporting_constraints: ret
u
rn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
polylib: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
options
.
c:
us
e
P
olyhe
d
ron_Sample f
o
r
c
ounting infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
ke
e
p
track of and use sat
u
ra
t
in
g
constraints in
P
a
r
am_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
move value_gcd and v
a
lue_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
B
e
rnou
l
l
i
_sum_eval
u
e: only compute exact su
m
i
f appro
x
imati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
Bernoulli_sum_ev
a
lue: sum over
variables
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
e
v
alue
.
c: export ev
a
lue
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
P
o
lyh
e
dron_ExchangeColumns
:
norm
a
lize
c
ons
t
raints af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
e
xport Polyhedron_
E
xchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue_polynomial: optim
i
ze e
v
aluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoola
e
ge
e
v
alue
.
c: emul: han
d
le another spe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c: eadd:
handle
s
om
e
sp
e
cial cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
eg
e
introdu
c
e and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
e
value
.
c
: eadd: micro-optimize
a
d
dition of two
rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an appro
x
imation met
h
od now impli
e
s polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_s
u
mmat
e
:
optionally
u
s
e
Ber
n
oulli/Faulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
B
ernoull
i
_
s
um_ev
a
lue:
u
se
ev
a
lue_from_section_ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
i
n
o
k/po
l
yli
b
.
h: remo
v
e
compatib
i
lity with o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
move Vector_Opp
o
se
to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
polyt
o
pe_sca
n
:
reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all
_
equa
l
it
i
es: keep
removing equalities u
n
t
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Ve
r
doolaege
r
e
move_al
l
_equal
i
ties
:
han
d
l
e
empty
polyhedron
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoo
l
aeg
e
remove_all_equalities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doo
l
aeg
e
export P
o
lyhe
d
ron_Mat
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar
_
signed_cone_consu
m
er:
cl
e
an up memo
r
y on inapp
r
opr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ver
d
o
olaege
Param_Inner_Product: fix use of val
u
e_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
Verdoolaeg
e
doc: fix
t
ypo i
n
Michele Ver
g
n
e's name
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
Add missing f
i
les
f
r
om polyma
k
e client to
d
ist
r
ibution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd rather t
h
an
Po
l
yLib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven
V
e
rd
o
ol
a
ege
pol
y
make/README: mentio
n
--with-bar
v
i
n
ok
c
onfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdo
o
laege
po
l
ymake/Makefile
.
in
:
add wo
r
k-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
r
d
oolaege
evalue
.
c: print_e
v
alue:
a
lways pri
n
t
n
ewline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c:
fix typo in --approxim
a
tion-me
t
hod
description
commit
|
commitdiff
|
tree
2007-09-15
Sven
Verdo
o
la
e
g
e
t
o
p
c
om: f
i
x
h
e
u
ristic
f
o
r
sel
e
cting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
ola
e
g
e
b
a
rvi
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Merge branch
'topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Docu
m
e
n
t TOPCOM
based chamber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
test TOPCOM chamber deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Opt
i
onally use TO
P
COM to compute cha
m
ber
d
eco
m
posit
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
lexmin: add
(protect
e
d) m
i
ssing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Make
f
ile
.
am: add targe
t
for c
r
ea
t
ing dist
w
ith g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update
v
otin
g
theory
r
e
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvi
n
ok_summa
t
e and bar
v
inok_ma
x
imize
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc:
c
on
s
i
s
tent use o
f
Ba
r
vinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
barvin
o
k_
s
ummate: correct options
descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document Euler
-
M
a
cla
u
rin b
a
se
d
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
d
o
c: change exam
p
le envir
o
n
m
e
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
a
dd som
e
hidden sections to table of
contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
l
a
e
ge
doc:
an
o
ther doc
u
ment refering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add
s
ome te
s
t
s
fo
r
Euler
-
Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Euler
-
M
a
c
l
au
r
in
b
ased summati
o
n for 1D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verd
o
olaege
Euler-Macl
a
ur
i
n based summation f
o
r 2D proble
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoola
e
ge
decom
p
oser
.
cc: avoid u
s
e of half
-
open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
barvinok_
s
ummate: verify
s
olution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
intr
o
d
uc
e
barvin
o
k_summate as
a
wrapper f
o
r ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
la
e
ge
a
dd evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ev
a
lue_{div,mul}: handle so
m
e
t
rivial case
s
more ef
f
icie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
l
a
ttice_point
:
ex
p
o
rt fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
e
value
.
c
:
extr
a
ct common
code for constructi
o
n bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
volume
.
c
:
e
xport Param_P
o
l
yhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
e
value_mul
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
fix type of ev
a
lue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
su
p
port computation
of Be
r
nou
l
li polyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
s
e
par
a
te computatio
n
of
B
ernoull
i
coefficient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice
_
point: use
Param
_
Vertex_Co
m
m
o
n_Denom
i
nator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
mak
e
d
ecomposer
.
h self-con
t
ained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_domain: avo
i
d us
e
of macro p
a
rameter wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
p
ipl
i
b
durin
g
basi
s
reduction
if no o
t
her LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
U
se bundle
d
piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
doolaege
a
dd
pipli
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bun
d
led Pol
y
L
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add polyl
i
b submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
ber
n
stein: a
l
lo
w
linking against uninstall
e
d
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Verdoolaege
a
d
d more missing assert
.
h #in
c
l
u
d
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy im
p
lemen
t
atio
n
s of functi
o
ns that depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdo
o
lae
g
e
upda
t
e "C
o
unting
with
rational generat
i
ng functi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolae
g
e
barvinok
.
cc: spli
t
o
ff part constructing generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc: sp
l
it off part dealing
wit
h
e
xi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*c
o
u
n
ter:
a
void recomputation of denominators wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
co
u
nter: r
e
move redundan
t
member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
c
han
g
e type of some "sign"s to
int
as they can
o
nly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
doc: update Algorithmi
c
a pu
b
lication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
aege
e
value
.
c
:
make parameter names of t
y
p
e
con
s
t
char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sve
n
Verdo
o
l
aege
sam
p
le
.
c
:
Polyh
e
d
r
on_RemoveFixedColumns:
co
r
rectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
u
t
i
l
.
c: remove_e
q
ualitie
s
: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolae
g
e
Param_Poly
h
edro
n
_Print: print every
t
hing to given fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdo
o
laege
barvinok_enum
e
r
a
t
e
_with_options: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
barvi
n
o
k
.
cc: don
'
t fr
e
e P argument
i
n enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
remove_a
l
l_
e
qu
a
lit
i
e
s: also
r
emove equalities in
c
onte
x
t
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
o
ol
a
ege
volu
m
e
.
c: avoid
w
arnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
expo
r
t Param_Inne
r
_
P
r
oduct
commit
|
commitdiff
|
tree
2007-07-25
S
v
en Verdo
o
laege
b
a
rvinok_enu
m
erate
.
cc
:
add minimal che
c
k on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
more prototype changes
t
o const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
laege
evalue: print_ev
a
lue: ma
k
e
parameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolae
g
e
Alway
s
comp
i
le poly
t
ope_scan
commit
|
commitdiff
|
tree
next