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
polylib: update for Matrix_Extend
2007-10-25
Sven Verdoo
l
aege
p
olylib: update
for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: us
e
Polyhedron_Sampl
e
for counting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
keep track of and use saturating constr
a
ints
i
n P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doolaege
mo
v
e value_gcd and
va
l
ue_
l
cm to
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Ber
n
oull
i
_sum_evalue: only compute exac
t
sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Ber
n
oull
i
_sum_evalue
:
sum
o
ver
v
ariab
l
es with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
evalue
.
c: ex
p
o
rt evalue
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_ExchangeColumn
s
: norm
a
lize constrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expor
t
Polyhedr
o
n_E
x
chang
e
C
olumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
eval
u
e_polynomial:
opt
i
mize evaluat
i
on
i
n
ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
eval
u
e
.
c: emul:
h
a
ndle another special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdool
a
ege
eva
l
ue
.
c:
eadd: h
a
nd
l
e some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
introduc
e
and
use eval
u
e_fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: micro-opti
m
ize addition of two rational
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
setting an appro
x
imation
method now implies pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summate: opti
o
nally use
B
ern
o
u
lli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
Bernoulli_sum_evalue: use eva
l
ue_from_section_arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
barvi
n
ok/polylib
.
h: r
e
move compatibili
t
y with o
l
d
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vector_Oppose to
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
polytope_scan: reenable --direct optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
remove_all_equalities: keep
r
emovi
n
g equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equa
l
i
ties:
h
andle empty
p
olyhedron d
e
tecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdo
o
laege
remove
_
all_equ
a
lities: m
i
nor code clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
e
xpor
t
P
olyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n Verdoolaeg
e
polar_si
g
ne
d
_c
o
ne_consumer: cl
e
an
u
p memor
y
on inappropria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n
Verdoolaeg
e
Para
m
_Inne
r
_P
r
oduct: fix
u
se of va
l
ue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
do
o
laege
do
c
: fi
x
typo in Mic
h
e
l
e
Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdo
o
laege
A
d
d missing fil
e
s fr
o
m polymake client
t
o
d
i
s
tri
b
ution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use
g
mp's gc
d
rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
pol
y
ma
k
e/README: mention --with-barvinok
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Ve
r
dool
a
eg
e
polymake/Makefile
.
i
n: add work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c: print_evalue:
a
l
ways
p
rint n
e
wline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdool
a
ege
options
.
c: f
i
x typ
o
in --approxim
a
tion
-
method d
e
scription
commit
|
commitdiff
|
tree
2007-09-15
Sven V
e
r
doolaege
t
opcom
:
fix heuristic for
s
elec
t
ing r
o
ws to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n V
e
rdoolaege
ba
r
vi
n
ok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge branch '
t
opcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doo
l
aege
Docume
n
t TOPC
O
M
ba
s
ed chamber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
test TOPCOM chamber d
e
co
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
O
p
tionally use TOPCOM to co
m
pu
t
e
c
h
amber decomp
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
Verdoola
e
ge
lexmin: add
(protected) missing algo
r
ithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
M
ak
e
file
.
a
m
: add
target for creating
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
doc: up
d
ate
voting theo
r
y reference
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolae
g
e
document bar
v
inok_summate an
d
ba
r
v
i
n
ok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: consiste
n
t use of Bar
v
i
nok'
s
initials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ve
r
d
ool
a
ege
b
arvinok_su
m
mate: corre
c
t o
p
tions desc
r
iption
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
o
lae
g
e
Do
c
u
me
n
t Euler-Maclaurin based summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
change example
enviro
n
ment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
Verdo
o
laege
d
oc: add so
m
e hidd
e
n sections to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: a
n
oth
e
r
docum
e
nt refering to
t
he library
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
ad
d
some test
s
for Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
Euler-Maclaurin based summation f
o
r 1D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaur
i
n based summation
f
or
2
D prob
l
e
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decomposer
.
cc: av
o
id u
s
e of hal
f
-op
e
n
cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
barvinok_summate: ver
i
fy solut
i
on over whole
p
a
r
a
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
i
n
trodu
c
e barvinok_summate as a wrapper for
e
v
alue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
lae
g
e
add e
v
alu
e
_m
u
l_
d
iv
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
alue_{div,mul}: handle some tri
v
ial
cases more
efficientl
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
lattice_point: export fract
i
o
n
al_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
eva
l
ue
.
c
:
e
x
tract
comm
o
n
c
ode for
cons
t
ru
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c:
export Param_Polyhedro
n
_
F
a
c
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
add
e
value_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdool
a
e
ge
f
ix
type of evalue_p
o
l
ynomi
a
l a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
supp
o
rt computat
i
on of Bernoulli po
l
ynomials
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
separate computation
o
f
B
ern
o
ulli coeffici
e
nts
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
la
e
ge
lattice_point: use
Param_V
e
rtex_Comm
o
n_Denomin
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoo
l
aege
make decompose
r
.
h sel
f
-contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ver
d
oolaege
reduce_domain: avoi
d
use of macro para
m
eter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
ool
a
ege
exp
o
r
t
evalue_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
Use
p
ip
l
i
b
dur
i
ng basis
r
eductio
n
if no o
t
her
L
P
solver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verd
o
ol
a
e
g
e
Use bund
l
e
d
p
i
plib
by de
f
aul
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
add pipl
i
b mod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
lae
g
e
U
s
e
b
undled PolyLi
b
by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
add polylib sub
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oola
e
ge
bernstei
n
: allo
w
linki
n
g against uninstalled,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verd
o
olaege
add more missing
assert
.
h #i
n
clude
s
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoo
l
aege
ad
d
dummy implementations
of fun
c
tions th
a
t
d
ep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verd
o
olaege
update "Counting
w
ith ratio
n
al generatin
g
functi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
barvinok
.
cc:
s
plit
off p
a
rt c
o
nstructing
generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
a
ege
barvinok
.
c
c
:
split
o
ff part
dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
*
counter: a
v
oid recomputation of denomina
t
ors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdoolaege
c
o
unter
:
remove redu
n
dant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change
type of some "sign"s to int
a
s they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaege
d
o
c:
u
pdate Algorithmica pu
b
licat
i
on
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make pa
r
ame
t
er names of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sa
m
ple
.
c:
P
ol
y
hedron_
R
emoveF
i
xedColumns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
e
r
doolaege
util
.
c: remove_equalities: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n Verdoolaeg
e
Param_Poly
h
edron_Print
:
print
e
verything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
ba
r
v
i
n
ok_enum
e
rate_with_options
:
don't add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
cc:
d
on'
t
free
P
a
rgument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Ve
r
doolaege
remove_a
l
l_equalities: also remove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
v
olume
.
c: avoid warning
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoo
l
a
ege
export Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sv
e
n Verd
o
o
l
a
eg
e
barvino
k
_
enumerate
.
cc: a
d
d minimal check on
i
nput
commit
|
commitdiff
|
tree
2007-07-19
S
v
en
V
erd
o
olaege
more pr
o
totype
c
hanges to con
s
t char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
e
value:
print_evalue
:
make paramet
e
r names c
o
nst char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
Ve
r
doolaege
Always compile
p
olyt
o
pe_
s
can
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoola
e
ge
pol
y
tope_scan: use argp for
argument p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
S
v
en Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdoolaege
configur
e
.
in: all
o
w specification o
f
defau
l
t prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doolaege
consolidate cal
l
s to Polyhe
d
r
o
n
2
P
aram_Domain
commit
|
commitdiff
|
tree
next