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
reducer::reduce: canonicalize coefficients in each recursion step
2007-10-25
Sven Verdoolae
g
e
redu
c
er::
r
e
d
uce: canonicalize coefficie
n
ts
i
n
e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
short_rat::print: corre
c
tly prin
t
out terms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erd
o
o
laeg
e
b
arvinok_series: recheck
for equa
l
ities
after
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export M
a
t
r
ix_
R
ead for
r
e
ading Matr
i
x from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
p
a
r
am_
u
ti
l
.
c: a
d
d
Param_
V
e
r
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
util
.
c: supporting_constr
a
ints:
r
eturn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib:
u
p
d
ate for Matrix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
opti
o
ns
.
c
: use Polyhedron_Sa
m
ple f
o
r
c
ounting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdool
a
e
g
e
keep track of
and use
saturating constraints in
P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdo
o
l
a
eg
e
m
o
ve value_gcd and value_lcm t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Bernoulli_sum
_
e
v
alue: on
l
y
c
omput
e
exact
s
u
m if approxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Bernoulli_sum_evalue: sum over va
r
iab
l
es
with
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
e
value
.
c: ex
p
o
r
t
e
v
alue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Polyh
e
dron_ExchangeColumns:
n
orm
a
lize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expor
t
Polyhedron_E
x
chan
g
eColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
u
e
_polynom
i
a
l
: opti
m
iz
e
evaluation
i
n z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
e
v
alue
.
c: emul: h
a
ndle
a
nother sp
e
cial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
e
v
alue
.
c
:
eadd:
h
andle
s
ome speci
a
l
cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
e
ge
intro
d
uc
e
and use eva
l
ue_fre
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
evalue
.
c: eadd: mic
r
o-
o
ptimize addit
i
o
n of two
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an
approximation m
e
thod now implies
polynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
ba
r
v
i
n
ok_summat
e
:
opt
i
onall
y
u
s
e
Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
ool
a
e
g
e
Bernoulli_sum
_
evalue:
use evalue_from_s
e
c
tion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k/polylib
.
h:
remove compatibi
l
it
y
w
i
th
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mo
v
e Vector_Oppo
s
e to P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
p
o
lytope_s
c
an:
reenable --di
r
ect
o
pti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoo
l
aege
r
emove
_
all_equa
l
ities: keep re
m
oving
e
quali
t
ies unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
remov
e
_all_equalities: hand
l
e
e
mpty polyhedron d
e
tected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoo
l
aege
r
e
move
_
all_equalities: minor code
c
l
ean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
e
xport Polyhedron_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n
Verdoolae
g
e
p
olar
_
signed_cone_con
s
umer: cl
e
an
u
p memory on ina
p
propriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inne
r
_Product
:
f
i
x u
s
e
of val
u
e_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: fix
t
ypo i
n
Michele Vergne's nam
e
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolae
g
e
Add missin
g
files
from polym
a
ke clie
n
t to di
s
tributio
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
U
s
e
gmp's gcd rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
o
lyma
k
e/README:
m
e
nt
i
on
--with-barvin
o
k configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdool
a
ege
polymake
/
Ma
k
efile
.
i
n: add work-arou
n
d
for pol
y
m
ake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
eval
u
e
.
c: print_evalu
e
:
always print newl
i
ne at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Verdoolae
g
e
o
p
tio
n
s
.
c
:
fix typo in --approximati
o
n
-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom
:
f
ix heuristic for select
i
ng row
s
t
o use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n V
e
r
d
oolaege
b
a
rvino
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaeg
e
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Doc
u
ment TO
P
C
OM b
a
s
ed
c
hamber
decompos
i
tion
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
V
erdoolae
g
e
test
T
O
PC
O
M c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optio
n
ally use TOPCOM to co
m
pute chambe
r
decom
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oola
e
ge
l
exm
i
n:
a
d
d
(
protected) mis
s
ing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Mak
e
file
.
am: add targ
e
t for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update voting theory ref
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
documen
t
bar
v
i
n
ok_su
m
mate and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
con
s
is
t
ent use
o
f Barvinok's init
i
als
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
bar
v
inok_su
m
ma
t
e: corre
c
t options description
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verd
o
olaege
Document Eu
l
e
r
-Maclauri
n
b
ased summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc
:
cha
n
ge e
x
ample
environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add some hidden secti
o
n
s
to table of conte
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
a
n
o
ther documen
t
refering to th
e
library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some
t
est
s
for Euler-
M
aclaurin based summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
d
o
ol
a
ege
Eule
r
-Maclaurin based sum
m
ati
o
n
f
o
r
1D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolae
g
e
Euler-Maclau
r
in base
d
summation for 2D
pro
b
lem
s
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Ver
d
oolaege
dec
o
m
poser
.
cc: avoid use of half-open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
barv
i
nok_summ
a
t
e
:
verify solu
t
ion over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
int
r
oduce barvino
k
_s
u
mmate as a wrapper for eva
l
u
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
add e
v
a
l
ue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
eval
u
e_{div,mul}:
handle some triv
i
al ca
s
es more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
lattice_point
:
export f
r
a
c
tional_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
eval
u
e
.
c: ext
r
ac
t
common
code for constr
u
ction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
vo
l
u
m
e
.
c: export
Pa
r
a
m
_
Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
add ev
a
lue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
f
i
x
t
y
p
e
of evalu
e
_polynomial argu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdo
o
lae
g
e
s
u
pport
comp
u
tati
o
n
of
Bernoulli polynomia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdool
a
eg
e
separate com
p
utat
i
on of Bernoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
latt
i
c
e_point: use Pa
r
a
m_Vertex_Common_
D
enominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
make decompos
e
r
.
h
s
e
l
f-contained
commit
|
commitdiff
|
tree
2007-09-08
S
ven Ver
d
oolaege
reduce_dom
a
in: avoid use of macro param
e
te
r
with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
p
iplib
d
uring basis reductio
n
if no ot
h
er LP
s
olvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
U
se
b
undled piplib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaege
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e bundled Po
l
y
Lib by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add polylib s
u
b
m
odu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein
:
al
l
ow
linking agai
n
s
t
uninsta
l
l
ed, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
erdoolaege
add more missi
n
g ass
e
rt
.
h
#
in
c
lu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dum
m
y implementatio
n
s of
functi
o
ns that
d
e
p
e
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdool
a
ege
update "Counting with
r
ationa
l
ge
n
er
a
ting funct
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
barvinok
.
cc: spli
t
of
f
part co
n
str
u
cting
generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barv
i
nok
.
cc:
split off
part dealing with
exi
s
tent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
o
laege
*cou
n
ter: avoid recomput
a
tion of d
e
no
m
inat
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Ver
d
oolaege
counter:
r
e
move
redundant membe
r
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
c
h
ange typ
e
of some "s
i
gn"s t
o
int as t
h
e
y
can
o
nly
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en
V
erdoolaege
do
c
:
u
pdate
A
l
gorithmica p
u
blication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdo
o
laege
ev
a
lue
.
c: ma
k
e parameter n
a
m
es of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c
:
Polyhedron_Re
m
oveFixedColu
m
n
s
: corr
e
ctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
ut
i
l
.
c: remove_equ
a
lities: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-30
Sve
n
Verdoolaege
Pa
r
am_Polyhedr
o
n_Print: pr
i
nt ev
e
r
ything to given fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
barvin
o
k_enumer
a
te_
w
ith_
o
ptions:
d
on't
a
dd context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
Verdool
a
e
g
e
barvinok
.
cc: don't f
r
ee P ar
g
ument in enu
m
e
r
ate
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
remove_
a
ll_e
q
ualities:
al
s
o remove equali
t
i
e
s
in
c
ontext
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Ve
r
do
o
la
e
ge
volume
.
c: avoid w
a
r
n
i
ngs
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdoolaege
ex
p
ort P
a
ram_
I
n
n
er_Pr
o
du
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvin
o
k_e
n
umerate
.
cc: add mini
m
al che
c
k on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoola
e
ge
more p
r
otot
y
pe changes to const
char *
commit
|
commitdiff
|
tree
next