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
verify: add check_poly_print helper function
2007-10-25
Sven Verd
o
olaege
verify: add check
_
poly_print help
e
r func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
gen_f
u
n
: make sure co
n
t
e
x
t
is al
w
a
y
s set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
reduce
r
:
:
reduce: canonic
a
li
z
e coe
f
ficients in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sh
o
rt_rat
:
:print: correct
l
y print
o
ut te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
b
arvinok_series: r
e
check for
e
qualitie
s
after co
m
p
uting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matrix_Read for reading Matrix f
r
om a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
param_
u
til
.
c:
a
dd P
a
ram_
V
ertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
util
.
c: suppo
r
ting_con
s
t
r
ai
n
ts
:
return
b
it
vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
polyl
i
b
:
update fo
r
Mat
r
ix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
opti
o
n
s
.
c: use Polyhedron
_
Sample for co
u
ntin
g
infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
keep tra
c
k of
a
nd
u
s
e
s
atur
a
ting constraints in
Par
a
m_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
move va
l
ue_gcd
and value_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Bern
o
ulli_sum_evalue: only comput
e
exac
t
su
m
i
f
approximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
Be
r
noulli_sum_evalue: sum over v
a
r
i
able
s
with i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olae
g
e
ev
a
lue
.
c: export evalu
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaeg
e
Polyhedr
o
n_ExchangeCo
l
umns
:
normalize constraints a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdoolaege
e
x
por
t
P
olyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
evalue_p
o
lyn
o
mial: opt
i
mize eva
l
uation
in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
eva
l
u
e
.
c: emul: handle another
special ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
evalue
.
c: e
a
dd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
introduce
and
u
s
e
eva
l
ue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eval
u
e
.
c: eadd
:
m
i
cro-optimiz
e
additi
o
n of
two
rati
o
n
a
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
s
e
tting an approxi
m
ation met
h
od now impl
i
e
s polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ba
r
v
i
nok_summate: option
a
lly u
s
e Be
r
nou
l
li/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
Bernoul
l
i_sum_ev
a
lue: use ev
a
lue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/
p
olylib
.
h: remove
c
om
p
a
tibil
i
ty w
i
th ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vector_O
p
pose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
polyt
o
pe_scan: reenab
l
e --direct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
rem
o
ve_all
_
equalities: keep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
re
m
ove_a
l
l
_eq
u
aliti
e
s: handle empty polyhed
r
on detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aeg
e
remove_all_equalities: minor code c
l
ean-
u
p
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
e
x
port Polyhedron_Matri
x
_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
erdoolaege
pola
r
_sig
n
ed_co
n
e_consumer: cle
a
n u
p
memory o
n
i
n
appro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n
Verdoolaege
Par
a
m_Inner_Product: fix u
s
e
o
f va
l
ue_
l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven
Verdoola
e
g
e
doc: fix
typo in Mic
h
ele Vergne's n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add miss
i
ng files from po
l
ymake c
l
ient to dist
r
ibution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
ola
e
ge
Use gmp's gcd ra
t
her than Poly
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoola
e
ge
pol
y
m
a
ke/
R
EADME: mention --w
i
th
-
b
arvinok conf
i
g
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoola
e
ge
polymak
e
/Makefile
.
i
n: a
d
d work
-
a
r
ound
f
or po
l
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoo
l
a
e
g
e
evalue
.
c
: print
_
evalue
:
alway
s
pri
n
t newlin
e
at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
e
rdoolaeg
e
options
.
c: fix
typo in --approxim
a
tion
-
method
des
c
riptio
n
commit
|
commitdiff
|
tree
2007-09-15
S
v
en Verd
o
olaege
topco
m
: fix heuristic for se
l
e
cting rows to
u
s
e a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge br
a
nch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Document
T
OPCOM based ch
a
mber
decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
o
l
aege
tes
t
T
O
PCOM ch
a
mbe
r
decomp
o
si
t
ion
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
Option
a
lly
u
se TOPCOM to compute cham
b
er de
c
ompos
i
tio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
lexmin: ad
d
(pr
o
tecte
d
)
missing al
g
orithm includ
e
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
Makefil
e
.
am
:
ad
d
target for creatin
g
d
i
st wi
t
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
doc: u
p
da
t
e vot
i
n
g
theory reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
e
rd
o
olaege
do
c
ument
barvinok_sum
m
ate an
d
b
a
rvi
n
ok
_
maxim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolae
g
e
doc: consistent
u
s
e of Barvinok's ini
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_summate: cor
r
ect options de
s
cription
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Verdoolae
g
e
D
ocument Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ol
a
ege
doc:
ch
a
n
g
e
example environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: a
d
d
s
ome hidden sections to t
a
ble of contents
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verd
o
o
l
a
e
ge
doc: anoth
e
r docu
m
ent refe
r
ing to the librar
y
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
e
rdoolaege
add so
m
e
t
ests
f
or Euler-Mac
l
aurin
b
ased summation
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaeg
e
Euler-Maclaurin bas
e
d summatio
n
for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
eg
e
Euler-Maclaurin
b
ased summatio
n
f
o
r 2D p
r
ob
l
ems
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
d
ecomposer
.
cc: avoid use of half
-
o
p
en co
n
es
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
barvinok_summate: verify s
o
lution
o
ver wh
o
le paramet
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introd
u
ce barv
i
nok_s
u
mm
a
te as
a
wrapper fo
r
evalue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
a
d
d
e
v
alue_mul_di
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
l
aege
evalue_{div,m
u
l}:
han
d
le some trivial cases mo
r
e efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
latti
c
e_p
o
int:
e
xport fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c:
e
xtract
common
c
ode fo
r
construction b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
volume
.
c
:
e
x
po
r
t
P
aram_Polyhedron_Face
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type
of evalue_
p
olynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erd
o
o
l
aege
supp
o
rt comput
a
t
i
o
n
of Bern
o
ulli polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
separate
c
omputat
i
on of Bernoulli c
o
effi
c
ien
t
s a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
l
a
t
t
i
ce
_
point: use Param_Vertex_Com
m
on_D
e
nomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olae
g
e
ma
k
e dec
o
mposer
.
h se
l
f-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
reduce_do
m
ain
:
avoid use of macro parameter
w
ith name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolae
g
e
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
Use piplib d
u
ring basis
r
e
d
uction if
no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
Use bundl
e
d piplib by
d
efa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add pi
p
lib module
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
r
doolaege
Use
b
u
ndled PolyLib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
o
laege
add
p
olyli
b
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
e
rnstein: a
l
low linking against u
n
installed,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Verdoolae
g
e
add mor
e
m
i
ssing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Ve
r
doolaege
add dummy im
p
lemen
t
ation
s
o
f
functions
t
hat dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
r
doolaeg
e
u
p
date
"C
o
unting w
i
th ratio
n
al g
e
ner
a
ting function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Ver
d
oolaege
b
a
rvinok
.
cc
:
split off part cons
t
ructing g
e
ner
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
barvi
n
ok
.
cc
:
split o
f
f
p
a
r
t
dealing
w
ith existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaege
*c
o
un
t
e
r
:
a
void recomputa
t
ion of
denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
o
unter: r
e
m
ov
e
re
d
undant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
ch
a
nge t
y
pe
o
f
some "sign"s to
int
as the
y
c
an only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaege
doc: update A
l
gorit
h
m
i
c
a pu
b
lication
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Verdoolae
g
e
evalue
.
c
: make pa
r
ameter n
a
mes of ty
p
e const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
en Ver
d
o
o
laege
sample
.
c: Polyhed
r
on_Rem
o
veFixedColum
n
s
:
co
r
rect
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven
Verdoolaege
util
.
c: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdoolaege
Param_Polyhedron_P
r
int: print everything t
o
given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
ba
r
vinok_enumerate_with_options: don
'
t ad
d
c
ontext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
barvinok
.
cc: don't free P a
r
gument in
en
u
m
e
rate
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdo
o
laege
remove_all_equali
t
ie
s
:
a
l
s
o
remove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolaege
volum
e
.
c: avoid
w
arnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export Param_Inner_
P
rod
u
ct
commit
|
commitdiff
|
tree
next