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
options.c: use Polyhedron_Sample for counting infinite sets by default
2007-10-25
Sv
e
n Ve
r
doolaege
o
p
tions
.
c: us
e
Polyh
e
dron
_
Sample for counti
n
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
keep track of an
d
use sat
u
r
ating const
r
a
i
nts in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
move
value_gc
d
and value_lcm t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laeg
e
B
e
rnou
l
l
i
_s
u
m_
e
v
alue
:
only
compute
exa
c
t sum if
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernoul
l
i_sum_evalue
:
sum o
v
er va
r
iables with in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue
.
c: export
evalue_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Polyhe
d
ron_ExchangeColumns:
normalize
constraints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
e
g
e
export Pol
y
hedro
n
_ExchangeColumn
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
ev
a
lue_polynomial: optimize evalu
a
tion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c:
emu
l
: h
a
ndle an
o
ther special cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
evalue
.
c:
e
add: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
i
nt
r
oduc
e
and
use ev
a
lu
e
_fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalue
.
c:
e
add: micro
-
o
p
t
i
mize additio
n
of
t
wo ratio
n
als
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
setting an approximation method
now im
p
lies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_summate
:
optionally use Bernoulli/Faulha
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
B
e
r
n
o
ulli_sum_ev
a
l
u
e: u
s
e ev
a
lue_fro
m
_section_
a
rra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok/p
o
lylib
.
h: rem
o
ve compatibili
t
y with
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
mo
v
e Vecto
r
_
O
ppose to Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
p
oly
t
o
p
e_scan:
reena
b
le --direct op
t
io
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
emove_al
l
_equalities: keep
r
emo
v
ing equalities un
t
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdo
o
l
aege
remove_all_equalities: handle empty polyhedron
d
etected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
r
e
move_all_equalities: minor cod
e
clea
n
-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
doolae
g
e
export
P
olyhe
d
ron_Ma
t
rix_View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Verdoolaege
pola
r
_signed_c
o
ne_consumer: clean u
p
memory on ina
p
pr
o
pri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
V
erdoola
e
ge
Param_Inn
e
r
_
Product: fix use of value_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Verdoolaege
d
o
c
:
fix typo i
n
Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add
m
issin
g
fil
e
s from p
o
ly
m
ake client to distribut
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 Ve
r
d
oo
l
a
e
ge
p
olymake/RE
A
DME
:
men
t
ion --with-
b
arvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
ola
e
g
e
polymake/Make
f
ile
.
in:
a
dd work-aro
u
n
d
f
or poly
m
ake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
evalue
.
c: pri
n
t
_
e
value: always pr
i
nt ne
w
line at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdo
o
laege
options
.
c: fix typ
o
i
n
--approximat
i
on-method descr
i
ption
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
to
p
com:
f
i
x
h
e
uri
s
tic f
o
r se
l
ecting rows
to u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
ba
r
vin
o
k 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Merge
branch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Document TOPCO
M
based cha
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
st TOPCOM chamb
e
r deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
O
p
tio
n
a
l
l
y use
T
OPCOM to
compute chamber d
e
c
om
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lex
m
in: add (pro
t
ected) missing algorithm in
c
lude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
e
g
e
M
akef
i
le
.
am:
a
dd target for creating
d
ist with
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: update
v
oting theory re
f
erence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
d
ocum
e
nt
barvinok_summate
and barv
i
no
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
c
o
n
sistent
u
s
e of
B
arvinok
'
s initials
commit
|
commitdiff
|
tree
2007-09-10
S
ve
n
Verdo
o
la
e
ge
ba
r
v
i
nok_summ
a
te:
c
orrect opt
i
ons
d
escrip
t
i
on
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Ver
d
oolaege
Document Eu
l
er-Macla
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: change ex
a
mpl
e
environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
o
o
laege
d
o
c: add some hi
d
d
e
n s
e
ctio
n
s t
o
table of co
n
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
another
d
ocum
e
nt refering to the
l
i
br
a
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
a
d
d some
tests f
o
r Euler-Maclaurin ba
s
ed
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
Euler-Macla
u
rin
based
summation f
o
r 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
a
ege
Euler
-
Maclaurin
based summa
t
ion fo
r
2D p
r
oblems
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
g
e
de
c
omposer
.
cc: avoid use o
f
half-open
cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolae
g
e
b
arvin
o
k_s
u
mmate: verify
s
o
l
ut
i
on
o
v
e
r
whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rd
o
olaege
introduce barvin
o
k_summate as a wrapper for ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add ev
a
lu
e
_mu
l
_
d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
evalue_{d
i
v
,mul}:
h
andle some
triv
i
al c
a
ses
m
ore eff
i
ciently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdool
a
ege
lattice_
p
oint: e
x
port fractional_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eva
l
ue
.
c: extract c
o
mmon
c
ode for co
n
struction base
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
volume
.
c: export Pa
r
am_
P
oly
h
edron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
a
d
d evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
f
ix type
o
f eval
u
e
_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolae
g
e
support
c
o
mpu
t
ation o
f
Bernou
l
l
i polyn
o
mials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
se
p
arate
computation of
B
e
rnoull
i
coef
f
icie
n
ts an
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdool
a
ege
lat
t
ice_point: use P
a
ram
_
Vertex_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make dec
o
mposer
.
h self-con
t
a
ined
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
red
u
ce_doma
i
n
:
av
o
id use of macro
pa
r
ameter with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
ex
p
ort e
v
alue_
d
up
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolae
g
e
Use piplib dur
i
ng basis reduction if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoolaege
Use bun
d
led
p
iplib by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add pi
p
li
b
m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoo
l
a
ege
Use bundled Poly
L
ib by defa
u
lt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add polyl
i
b
s
u
b
modul
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
be
r
n
stein: all
o
w linkin
g
a
gain
s
t
u
ninst
a
lled,
bu
t
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Verdoolaege
add
more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven V
e
rdoolaege
add dummy im
p
lementations
o
f f
u
nct
i
ons that depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
V
erd
o
olaege
upda
t
e "Counti
n
g with rational gener
a
ting functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
barvinok
.
cc:
s
p
l
it
off part constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
d
oo
l
aege
ba
r
vin
o
k
.
c
c:
s
plit off part
d
ealing wi
t
h ex
i
stential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
ola
e
ge
*counter: avoid re
c
omputation of denomina
t
o
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
c
o
unter: r
e
m
ove redundant
m
emb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type of some
"
sign
"
s to int as they
c
a
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven
V
erd
o
olaege
doc: update Algorithmica publ
i
cation
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
aeg
e
evalue
.
c:
m
a
k
e
p
arameter na
m
e
s of type
c
o
nst char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdo
o
laege
sample
.
c: Po
l
yhedr
o
n
_
R
e
m
o
veFixedColu
m
ns
:
corre
c
tly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Ve
r
doolaeg
e
util
.
c: rem
o
ve_equalities: f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
erdoolaege
Param_P
o
lyhedron_
P
rin
t
: p
r
int everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
r
d
oo
l
aege
barvinok_enumera
t
e_w
i
th_options: don't add con
t
ex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
cc: don't
free P argum
e
n
t in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaeg
e
rem
o
ve_a
l
l_
e
q
uali
t
ies
:
also remove
e
qua
l
ities in
context
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
v
olume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
ex
p
ort Param_Inn
e
r
_
Product
commit
|
commitdiff
|
tree
2007-07-25
S
v
e
n
V
erd
o
olaege
barvinok_e
n
umerat
e
.
cc:
add
mi
n
imal ch
e
ck o
n
input
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
rd
o
olaege
m
o
re protot
y
p
e changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Ve
r
doolaege
evalue
:
p
r
int_evalue: make parameter names
c
o
n
st char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoolaege
Alway
s
c
o
m
pile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolae
g
e
polytope_
s
c
an: us
e
arg
p
for argument parsin
g
commit
|
commitdiff
|
tree
2007-07-05
S
ven V
e
r
d
o
olaege
d
o
c:
f
ix
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
Verdoo
l
aege
configu
r
e
.
in: allow specification of de
f
ault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ve
n
Verdoolaege
consolid
a
te calls to Polyhedro
n
2Par
a
m
_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdo
o
laege
v
o
lume
.
c: f
i
x
typo
i
n
com
m
ent
commit
|
commitdiff
|
tree
next