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 0.26
2007-10-25
Sven Verdoolaege
move
value_gcd
and value_lcm
t
o poly
l
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
Bernoul
l
i_sum_evalue: only comput
e
exact sum if a
p
proximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Ber
n
oulli_
s
u
m
_
e
value: sum o
v
er var
i
a
b
le
s
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
evalue
.
c
:
expo
r
t evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Po
l
yhedro
n
_ExchangeColum
n
s
: normaliz
e
c
o
nstraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export P
o
ly
h
edron_ExchangeC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polynomial: optimize evaluati
o
n
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
e
v
alue
.
c
: emul: handle
ano
t
her special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: han
d
le s
o
me
s
pecial ca
s
es
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
aege
introduce and u
s
e
e
value_fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdo
o
laege
eval
u
e
.
c: eadd: micr
o
-optimize
addition of two r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
setting an approximat
i
on method no
w
implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
barvinok_
s
ummate
:
optional
l
y use Bernoulli/Faulhab
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
Be
r
noulli_s
u
m_evalue
:
use evalue_from_s
e
c
t
ion_ar
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvi
n
ok/pol
y
lib
.
h: rem
o
ve compatibility with
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
m
o
ve Vector_Oppo
s
e to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verd
o
olaege
p
olytop
e
_scan: reen
a
bl
e
--direct
o
ptio
n
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaeg
e
remove_
a
ll_equalities: keep removing equali
t
i
es until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remov
e
_all_equaliti
e
s
: han
d
l
e empty
p
olyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
remove_all_
e
qu
a
l
i
t
ies: mi
n
or code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
e
xport
P
o
lyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_signed_cone_consum
e
r: clean up memory on ina
p
p
r
o
priate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaeg
e
Param_Inner_Pro
d
uct: fi
x
u
s
e
o
f value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
V
erdoolaege
doc: fix
t
ypo in Michele V
e
rgne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Add missi
n
g files from pol
y
ma
k
e client to distributi
o
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Use gmp's gcd rath
e
r than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
pol
y
mak
e
/READ
M
E
: mention
-
-
with-
b
arvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doo
l
aeg
e
pol
y
m
ake/Makefile
.
in: add
work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
eva
l
ue
.
c:
p
rint_evalue: always print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
en Verdo
o
la
e
ge
optio
n
s
.
c: fix
t
yp
o
in
-
-approximat
i
on-met
h
od description
commit
|
commitdiff
|
tree
2007-09-15
Sven
Verdoolaege
top
c
om: fix heuristic for selecting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoola
e
ge
M
e
r
ge
bran
c
h 'topcom
'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Doc
u
ment TOP
C
OM based ch
a
mber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
te
s
t TOPCOM
c
hambe
r
decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
S
ven
V
erdoo
l
ae
g
e
Optional
l
y
u
se TOPCOM to c
o
m
p
ute
c
h
a
m
b
er
d
e
c
o
m
posi
t
ions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
lexmin:
add (protec
t
ed) missing algor
i
t
hm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Makefile
.
am: add target
for cre
a
ting dist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
doc:
u
pdate
v
oti
n
g
theory referenc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
docum
e
n
t
barvi
n
ok_
s
u
mm
a
te and barvinok_maximi
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc: consi
s
ten
t
use o
f
Barvi
n
ok's in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
b
arvinok_sum
m
a
t
e: correct opt
i
ons desc
r
iption
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Ver
d
ool
a
ege
Document
E
uler
-
Maclaur
i
n bas
e
d su
m
mati
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoo
l
aege
doc: change example environ
m
ent
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc
:
a
dd som
e
hi
d
d
en section
s
to tab
l
e o
f
contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
an
o
ther do
c
ument refe
r
i
n
g
t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdo
o
lae
g
e
add some test
s
for Euler
-
Ma
c
laurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin based summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
Eule
r
-Maclaurin based
summation fo
r
2D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
cc: avoid use of half
-
o
pe
n
cones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
a
e
ge
b
arvinok_summate:
v
erify solut
i
o
n
ove
r
whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
i
ntroduce barvinok_summate as
a
wrap
p
er fo
r
evalu
e
_
sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add evalue_m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verd
o
olaege
evalue_{d
i
v
,
mul}: handle some
tr
i
vial
cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
lattice_poi
n
t: expo
r
t
f
ractiona
l
_part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
eval
u
e
.
c: ex
t
ract co
m
m
on code f
o
r construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
g
e
v
olume
.
c: export
Param_Po
l
y
h
edron_F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
a
d
d
eva
l
u
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of ev
a
lu
e
_
polyn
o
mi
a
l ar
g
umen
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verd
o
olaege
sup
p
or
t
computa
t
ion of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
g
e
s
e
parate computation of Ber
n
o
u
lli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: us
e
Param_Ve
r
tex_
C
o
m
mon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
make decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_domain
:
avoid use of macro
p
aram
e
ter w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdo
o
laege
e
xport evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
Use pipl
i
b
during basi
s
reduction if no
o
ther LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
e
ge
Use
b
u
n
d
l
ed p
i
plib
b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolaege
add piplib mod
u
le
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
Use bundled Po
l
y
L
i
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
d
ool
a
ege
add pol
y
lib
s
ubmodule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
bernste
i
n: allow
l
inking
a
gains
t
unin
s
t
a
lled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
er
d
oolaege
a
d
d more missing assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven
Verd
o
o
laege
a
d
d
dummy implemen
t
a
t
ions o
f
functio
n
s that depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
update "Counting with rat
i
onal g
e
nerating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
laege
b
a
r
v
i
nok
.
c
c
: split
off
part const
r
u
cting
gen
e
ra
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvi
n
ok
.
c
c
: spl
i
t off p
a
rt d
e
aling with
existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdo
o
laege
*counter
:
avoid r
e
c
omputation of den
o
m
i
nator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counte
r
: remove redundan
t
member
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
o
o
laege
c
hange type
o
f some
"sign"s to int as they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: updat
e
Algorith
m
ica publ
i
cation
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Ve
r
doolaege
eva
l
ue
.
c: mak
e
paramete
r
nam
e
s of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Verdoolaege
sample
.
c
:
Polyhedron_Re
m
o
veFixedColumns:
correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolae
g
e
util
.
c: remov
e
_
e
qualities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n V
e
rdoolaege
Para
m
_
P
oly
h
edron
_
Pr
i
n
t
:
p
r
in
t
every
t
hing t
o
g
i
ven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
ge
ba
r
vinok_e
n
ume
r
a
t
e_
w
ith_options: don'
t
a
d
d
conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olae
g
e
b
a
rvinok
.
cc: don't free P a
r
g
u
m
e
nt
in
enumer
a
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
remove_all_equ
a
l
i
tie
s
: also re
m
ove equalit
i
es in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdool
a
ege
volume
.
c
:
avo
i
d
warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdool
a
ege
e
x
port
P
aram_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
en Verdoolae
g
e
barvinok_e
n
u
m
erate
.
cc:
a
dd minim
a
l ch
e
ck on input
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
e
rdoolae
g
e
mor
e
pr
o
t
oty
p
e
c
han
g
es
to const char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalue: print_e
v
a
l
ue: make para
m
eter
n
am
e
s const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always
c
ompile pol
y
tope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
o
laege
polytope_scan
:
use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
v
en
V
erd
o
o
l
aege
doc: fix
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaeg
e
c
o
n
f
igure
.
in: allo
w
sp
e
cificat
i
on of defa
u
lt prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
co
n
soli
d
ate call
s
to
Polyhedron2Par
a
m_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdool
a
eg
e
v
o
l
ume
.
c: fix typ
o
in
comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
S
v
en
Ver
d
oolaege
Makefil
e
.
a
m: add $(E
X
EEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
S
v
en V
e
rdoolaege
Make
f
ile
.
am: force
rebui
l
d libraries i
n
s
ub
d
irs
i
f
.
.
.
commit
|
commitdiff
|
tree
next