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 Ver
d
ool
a
ege
m
ove value_
g
cd a
n
d value_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Ber
n
oulli_sum
_
evalue: only
compute
e
x
act sum if appro
x
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
Bernoul
l
i
_sum_evalue: sum over variables w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Pol
y
hedron_
E
x
c
ha
n
geColumns:
n
o
r
malize
constra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoo
l
aege
exp
o
rt Po
l
yhedron_Exch
a
ngeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
e
v
alue_polyno
m
ial: opti
m
ize
e
valuation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
evalue
.
c
: em
u
l: handle anothe
r
special case
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
evalue
.
c: eadd:
h
a
ndle so
m
e special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
introduce a
n
d
u
se ev
a
l
u
e_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ev
a
lue
.
c
:
eadd:
mic
r
o-optimize addition of two
r
ationals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
setting an approximation
me
t
hod now
implies po
l
ynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
barvinok_summate: o
p
tio
n
all
y
use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Bernou
l
li_sum_evalue: use evalue_from_section_
a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
laege
b
arvinok/
p
olylib
.
h: remove com
p
atibil
i
ty with ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
move
V
ector_Oppo
s
e to
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
po
l
ytope_scan: reenable --d
i
rect o
p
t
i
on
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolaege
re
m
ove_all_equalities: keep removing e
q
u
alities unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
move_a
l
l_equali
t
i
es: handle empty polyhedron
detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_e
q
ualiti
e
s: m
i
n
o
r co
d
e
clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdool
a
ege
expor
t
P
olyh
e
dron
_
Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
erdoolaege
polar_signed_cone_c
o
nsumer:
c
lean up
m
emory
o
n
inappropriat
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
en Ver
d
o
olaege
Param_Inner_Pr
o
duc
t
: fix
u
s
e of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
d
oc: fix typ
o
i
n
Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoo
l
aege
Add missing f
i
le
s
fr
o
m
pol
y
m
a
ke client to distribution
commit
|
commitdiff
|
tree
2007-09-21
S
ven V
e
rdoolaege
Use
gmp's gcd rat
h
er than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
Ver
d
oolaege
polymake/READM
E
:
men
t
i
on --with-
b
a
r
vinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoo
l
aege
polymake/Makef
i
le
.
in: add
w
ork-around for
p
olymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erd
o
olaege
evalue
.
c
:
p
r
int_evalu
e
: a
l
ways print
n
ew
l
i
n
e at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c:
fix
t
ypo in --
a
ppro
x
imati
o
n-m
e
thod description
commit
|
commitdiff
|
tree
2007-09-15
Sven Ve
r
dool
a
ege
topc
o
m: fix heu
r
istic
for sel
e
cting rows to
u
se as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n
Verdoolaeg
e
Me
r
ge branch 'to
p
com'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Document T
O
P
COM based ch
a
m
b
e
r decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdo
o
lae
g
e
test
T
OPCOM chamber
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Optionally u
s
e TOP
C
O
M to compute chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ve
r
doolaege
le
x
min: ad
d
(protected) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Makefile
.
am
:
add ta
r
get for
cr
e
a
ting dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doolae
g
e
doc: update vot
i
ng t
h
eory
reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document
barvino
k
_summa
t
e
a
nd
b
arvi
n
o
k_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
do
c
: cons
i
ste
n
t use o
f
Barv
i
nok's initials
commit
|
commitdiff
|
tree
2007-09-10
S
v
en V
e
rdoolaege
barvinok_summate: co
r
rect
o
pt
i
on
s
description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Document E
u
l
e
r-Maclaurin b
a
sed su
m
mati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: c
h
a
n
ge example environment
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verd
o
olaege
doc: add
som
e
hid
d
en sections t
o
tabl
e
of cont
e
n
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdo
o
la
e
ge
doc
:
anot
h
er docume
n
t ref
e
rin
g
to the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
ad
d
some tests for Euler-M
a
cl
a
urin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoola
e
ge
E
uler-Maclaurin base
d
summati
o
n
f
or 1D pr
o
b
lem
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
ege
Euler-Maclaurin based su
m
m
ati
o
n
f
or 2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
decompos
e
r
.
cc: avoid use of ha
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
laege
barvinok_
s
ummate:
ver
i
fy
s
o
lut
i
on over whol
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
introd
u
c
e
barvi
n
ok_su
m
m
at
e
a
s
a
w
ra
p
per f
o
r e
v
alue
_
s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
d
oolaege
evalue
_
{di
v
,m
u
l}: handle some trivial
c
a
s
es
more
efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
evalue
.
c: extract common
c
ode
f
o
r
construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
l
aege
v
o
lume
.
c: ex
p
ort Param_Polyhedron_F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
a
dd
e
value_mu
l
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
ge
fix type of
e
v
a
lue_poly
n
o
mial
argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
support
c
o
m
putat
i
on of Be
r
noulli poly
n
omials
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdool
a
eg
e
se
p
ara
t
e computat
i
o
n
o
f Bern
o
ul
l
i
coeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
latt
i
ce_point:
us
e
Param_
V
ertex_Commo
n
_Deno
m
in
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
o
l
aege
make decomposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
reduce_doma
i
n
: avoid use of macro parame
t
er wi
t
h name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
export evalue_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
p
iplib during ba
s
is reduction if n
o
o
ther LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
b
u
n
dled piplib by
d
e
f
a
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
b
u
ndled PolyLib by defaul
t
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
a
d
d
p
olylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
bernstein: allow link
i
ng against uninstalled, but
bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
erdoo
l
aeg
e
add mo
r
e
missing ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
e
r
doolaege
add du
m
my imp
l
ementations of fu
n
ctions tha
t
depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
update "Counting with rational ge
n
erating
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n V
e
rdoolaege
b
arvin
o
k
.
cc: spli
t
off part constructing generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc: split off part deal
i
ng with existe
n
tia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
*c
o
unter: avo
i
d recomput
a
t
i
on of denominators w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
V
e
r
doolaege
counter: remove redundant mem
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n V
e
rd
o
olaege
chang
e
type of some "sign"s
t
o in
t
a
s
t
hey can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaeg
e
doc: update A
l
gorithmica
p
ubli
c
atio
n
commit
|
commitdiff
|
tree
2007-08-10
Sven V
e
r
d
o
olaege
evalue
.
c: make parameter names of type co
n
st char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Verdoo
l
a
ege
sam
p
le
.
c: Polyhedron_RemoveFixedColumns: c
o
rrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n
Verdoolaege
util
.
c: remove_
e
qualiti
e
s: fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
ven Verdoolaege
Pa
r
am_Polyhed
r
on_Print: print eve
r
ythin
g
to gi
v
en
f
i
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaeg
e
barvinok
_
enumerate_with_optio
n
s: don
'
t add cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdo
o
lae
g
e
barv
i
nok
.
cc: don't free P
argumen
t
in
enume
r
ate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
remov
e
_a
l
l_
e
q
u
alities: als
o
rem
o
ve equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoid wa
r
ni
n
gs
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
Ver
d
oolaege
e
x
p
o
rt Para
m
_Inner_Pr
o
d
uct
commit
|
commitdiff
|
tree
2007-07-25
Sven
V
e
rdool
a
e
g
e
barvinok_enumerate
.
cc: add mi
n
i
ma
l
check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
laege
more prototype changes to con
s
t
char *
commit
|
commitdiff
|
tree
2007-07-19
S
ve
n
Verdoolae
g
e
evalue: print
_
evalue:
m
ake
p
aramet
e
r names
c
onst char
*
s
commit
|
commitdiff
|
tree
2007-07-11
Sven Ve
r
doolae
g
e
Always
com
p
ile pol
y
tope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
polyt
o
pe_scan: use a
r
g
p
fo
r
argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n Ve
r
doolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sve
n
Verdoola
e
ge
configur
e
.
in: allow specification of
d
e
fault
p
r
e
f
ix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consolidate
calls to Polyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verdoolaege
v
o
l
ume
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am
:
add
$
(
EXEEX
T
) for
c
y
gwin
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdo
o
la
e
g
e
Make
f
ile
.
am: force rebuild
libraries
i
n s
u
bdirs i
f
.
.
.
commit
|
commitdiff
|
tree
next