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
doc: document new options and new applications
2007-10-25
Sven Ve
r
d
oolaege
m
o
ve value_gcd
and v
a
lue_lcm t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
ege
Bern
o
ulli
_
sum_evalue: o
n
ly comp
u
te
e
xact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bern
o
ull
i
_sum_evalue: sum over varia
b
les with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
ola
e
ge
ev
a
lue
.
c
:
e
xport
e
value_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aeg
e
Polyhed
r
on_Exchang
e
Columns: normalize constraints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
expor
t
Polyhedron_E
x
changeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
olaege
e
v
alue_polynomial: optimize eva
l
u
atio
n
in
z
ero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c: emul
:
ha
n
dle anothe
r
speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c
:
eadd: h
a
ndle some special
c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
introduce and us
e
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue
.
c: eadd: micro-optim
i
ze ad
d
ition
o
f
tw
o
ra
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
etting
a
n approximation method now implies polyno
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvin
o
k_summ
a
te: optionally use Ber
n
oulli/Faulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernou
l
li
_
sum
_
evalue: use evalu
e
_f
r
om_
s
e
ction_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
b
arv
i
n
ok
/
polylib
.
h: r
e
m
o
ve comp
a
tibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
move Vec
t
or
_
Oppo
s
e
t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rd
o
olaege
p
o
lytope_scan: reenable --
d
ir
e
ct o
p
tion
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolae
g
e
r
e
move_all_e
q
ualities: kee
p
r
emoving eq
u
alities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all
_
equalit
i
es:
handle empty
p
olyhedron dete
c
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove
_
all_eq
u
a
l
ities: minor code cl
e
an
-
up
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
export Polyhedro
n
_Matr
i
x
_
V
i
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
r
d
o
o
laege
pola
r
_signed_cone
_
cons
u
mer: clean up memory on inap
p
ro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n Verdo
o
l
a
ege
Par
a
m_Inn
e
r_P
r
oduct:
f
ix 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
Sv
e
n Ver
d
oolaege
A
d
d mi
s
sing fil
e
s from po
l
yma
k
e
c
lient to distri
b
ut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's
gcd rather than PolyLib
'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
p
o
l
ym
a
ke/RE
A
DME:
mention --with-barvinok c
o
nfigu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaeg
e
polymake/Makefile
.
in: add wo
r
k-
a
rou
n
d for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
e
value
.
c: p
r
i
n
t_evalue: alwa
y
s prin
t
new
l
ine at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Verd
o
ola
e
ge
options
.
c: fix typo in --
a
pprox
i
m
ation-meth
o
d
descriptio
n
commit
|
commitdiff
|
tree
2007-09-15
S
v
en
V
e
r
d
oolaege
topcom: fix
heuristic for
sele
c
ting rows t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ve
r
d
oolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
g
e
Merge branch
'
to
p
com'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
D
o
cument
T
OP
C
OM
based chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
test TOPCOM chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doola
e
g
e
Optio
n
a
l
ly use T
O
PCO
M
t
o compute chamber decom
p
os
i
t
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
le
x
mi
n
:
a
d
d
(pr
o
tected) missing
a
lgorith
m
inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Makefile
.
am:
a
dd
t
arget
f
or creati
n
g dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
: upda
t
e v
o
ting
t
h
e
ory reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaege
document barvinok_summate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
e
r
dool
a
ege
doc: consist
e
nt
u
se of
B
ar
v
inok's ini
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok
_
summate: correc
t
opt
i
ons description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
D
ocume
n
t Euler
-
M
aclaurin based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoolaege
doc: change example environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
oolaege
doc:
a
d
d some hid
d
en sect
i
ons to table
o
f
c
ontents
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdo
o
l
a
ege
doc
:
another docume
n
t refering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
add
s
o
me
t
ests for Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaeg
e
Euler-
M
a
c
l
aur
i
n b
a
sed summatio
n
for 1
D
pr
o
b
le
m
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Euler-Maclaurin based summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
de
c
ompos
e
r
.
cc: av
o
id use
of half-open cone
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
barv
i
nok_summate: verify so
l
u
t
ion over whole
para
m
ete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oolaege
introduce barvinok_s
u
mmate as a wrappe
r
for e
v
alue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verd
o
olaege
ev
a
lu
e
_{div,
m
ul}: han
d
le some tr
i
vial
c
ase
s
more ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
lattic
e
_poin
t
: ex
p
ort fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
evalue
.
c:
extract common
c
ode for construc
t
ion ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
volu
m
e
.
c: export Para
m
_
Polyhedron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
a
d
d e
v
a
l
ue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
ae
g
e
fix type
o
f
evalue_polynom
i
al
argum
e
nt
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ve
r
doolaege
support com
p
utation of Be
r
noul
l
i polyno
m
ials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
sepa
r
ate compu
t
ation of Bernoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdo
o
laege
latti
c
e_point: use Param_Vertex_Common_Denominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoo
l
aege
make decomp
o
ser
.
h
self-conta
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
reduce_domain:
a
void use of macro parameter
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaege
e
x
port evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoola
e
ge
Use piplib during b
a
sis redu
c
tio
n
if no other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
U
s
e bun
d
l
e
d
p
iplib by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add piplib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
Use bun
d
le
d
PolyLib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add poly
l
ib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
bernstein
:
al
l
ow linking
a
g
a
inst uninstalled
,
but
b
ui
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven
Verdoolaege
add more m
i
ssin
g
as
s
ert
.
h
#incl
u
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdool
a
e
g
e
add dummy implemen
t
ations of fun
c
tions th
a
t depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoola
e
g
e
upd
a
t
e
"
C
ounting wi
t
h rational generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdool
a
ege
barvinok
.
cc
:
split
o
ff
part con
s
tru
c
t
i
n
g
gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaeg
e
b
a
rvin
o
k
.
cc: s
p
lit off part dealing with
existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
r
doola
e
ge
*count
e
r:
a
void recomputat
i
on of de
n
om
i
nators w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolae
g
e
cou
n
ter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoolae
g
e
change typ
e
of some "sign
"
s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: up
d
a
t
e
Algorithmic
a
publ
i
cation
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoola
e
ge
eval
u
e
.
c: mak
e
par
a
m
e
ter names of t
y
pe cons
t
cha
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven V
e
rd
o
o
l
a
ege
sample
.
c: Polyh
e
dron_R
e
moveFixe
d
C
o
l
umns:
corre
c
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
V
e
rdoolaege
Param_Polyhedron
_
Print:
p
rint everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
bar
v
i
n
ok_en
u
merat
e
_
w
it
h
_options:
don't add c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
c
c:
d
on't free P
a
rg
u
ment in e
n
u
m
e
ra
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Ve
r
d
o
olae
g
e
remove_all_equa
l
ities: also remove equali
t
ies in c
o
ntext
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoo
l
aege
vo
l
u
m
e
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
Verdoo
l
ae
g
e
e
x
p
o
rt Pa
r
am_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
r
d
oolaege
barvinok_enumera
t
e
.
cc: add minim
a
l check on inp
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaeg
e
more
prototype changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
evalue:
p
r
int_ev
a
l
ue: make para
m
et
e
r n
a
mes const
cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdool
a
e
ge
Always comp
i
l
e
polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
e
r
doolaege
polyto
p
e_
s
can:
u
se argp for argu
m
e
nt parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
e
r
doolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
confi
g
ure
.
in: a
l
low specification
of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdool
a
eg
e
c
o
nsolidate calls to Polyhedron2Para
m
_
Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdool
a
ege
vo
l
ume
.
c:
fi
x
typo in co
m
ment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolae
g
e
Ma
k
efile
.
am
:
add $
(
E
X
EEXT
)
for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
V
e
rdoolaege
Makefi
l
e
.
a
m
:
force rebu
i
l
d
li
b
rar
i
e
s
in
s
ubdi
r
s if
.
.
.
commit
|
commitdiff
|
tree
next