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
gen_fun::add: context of sum should be union of contexts of the terms
2007-10-25
Sven Verdoolaege
gen_fun
:
:add: context of sum sho
u
ld b
e
un
i
on of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaege
b
arvinok_enu
m
erate: use ver
i
fy infrastructure
f
or v
e
rifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
genfun
.
cc:
print
_
power
:
drop spa
c
es
a
r
o
und
"
/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
c
ou
n
t_points_e: fall back
t
o
c
o
unt_points if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefi
l
e
.
am: ch
e
ck-ev
a
lue:
pri
n
t name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ver
i
fy:
a
dd check
_
poly
_
print helper
f
u
n
c
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aeg
e
gen_fun: make sure
c
ontext is always set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
ege
reduc
e
r::reduce:
c
an
o
n
icalize coef
f
icients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
s
h
ort_rat::prin
t
: cor
r
ectly
print out t
e
r
m
s
w
ith
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
b
a
r
v
i
n
ok_series:
recheck for equal
i
tie
s
after compu
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xport Matrix_Read for reading
M
atrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
param_util
.
c: add P
a
ram_Ve
r
tex_Domai
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
u
t
il
.
c: su
p
porting_c
o
n
straints: ret
u
rn bit v
e
c
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
pol
y
lib: upd
a
te for Matrix_
E
xten
d
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rd
o
o
l
a
e
g
e
options
.
c: use Polyhedr
o
n_S
a
mp
l
e for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ke
e
p track
o
f
and use saturati
n
g constraints in Param_
P
olyhedro
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
mo
v
e value
_
gc
d
and va
l
ue_l
c
m to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
B
ernoul
l
i_s
u
m_evalue: only compute exact
s
u
m if appro
x
ima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rno
u
lli_sum_evalue:
s
um over variable
s
w
ith int
e
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
a
lue
.
c
:
export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
Polyhedron_ExchangeCo
l
umns: norm
a
lize co
n
s
t
raints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Polyh
e
d
r
o
n
_Exchang
e
C
olumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
evalu
e
_
p
o
lynomial: op
t
imize evaluati
o
n
in
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue
.
c: emul: handle another
speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c: e
a
d
d
: handle s
o
me special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
n
t
roduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
evalue
.
c: eadd: micro-optimize addi
t
ion of tw
o
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
sett
i
ng an approximation
met
h
od now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
o
k_summ
a
t
e
: optionally
use Bernoulli
/
Faulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Bernoulli_sum_e
v
alue: use evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
barvinok/polyli
b
.
h
:
r
emove
c
o
mpatibility wit
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
move Vector_
O
p
pos
e
to
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
er
d
oola
e
ge
po
l
ytope_scan: reena
b
le --direct optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
remove_a
l
l
_
equalities: ke
e
p re
m
ovin
g
equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remo
v
e_all_eq
u
al
i
ties
:
ha
n
dle empty po
l
yhed
r
on detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolae
g
e
remove_all_equalities:
m
in
o
r code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verd
o
ol
a
ege
expo
r
t Poly
h
ed
r
o
n_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n
Ver
d
oolaege
p
o
lar_signed_cone_consumer:
c
l
e
an
up me
m
ory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inner_
P
r
o
duct: f
i
x use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
doc: f
i
x typo in Miche
l
e Ver
g
ne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
eg
e
Add missing fil
e
s
from polymake
cli
e
nt to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp'
s
gcd rather
t
han Po
l
yLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
po
l
ymake/README: ment
i
on --
w
it
h
-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
ege
polymake/Makefile
.
in
:
add wor
k
-around
for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalu
e
.
c: p
r
int_evalue: alwa
y
s print
n
ewlin
e
at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erd
o
o
l
a
ege
option
s
.
c: fix typo in -
-
approximation-met
h
od
d
e
scrip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Verdoolaege
t
opcom: fix
heuristic for select
i
ng rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvi
n
ok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
o
olaege
Me
r
ge branc
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ver
d
oolaege
D
o
cument TO
P
COM b
a
sed cham
b
er decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
test
T
OPCOM cha
m
b
er d
e
composition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
Optionally use TOP
C
OM to compute cha
m
ber dec
o
mpositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add
(
protected) missing
a
lgorithm incl
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefile
.
am: add target f
o
r c
r
eat
i
ng dist
with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
o
olae
g
e
doc:
update voting theor
y
r
e
fer
e
nc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvinok
_
summate and barv
i
nok
_
maxim
i
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc:
consis
t
ent use of Barvino
k
'
s initials
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoolaege
b
a
rvinok_summate:
co
r
rect options
des
c
ription
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoo
l
aege
D
ocu
m
ent
Euler-Mac
l
aurin ba
s
ed summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc: ch
a
nge example envir
o
nment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add som
e
hid
d
en sections to table of
c
o
ntents
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doola
e
ge
doc:
another docum
e
nt r
e
f
erin
g
to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some tests for Euler-Maclau
r
in
b
ase
d
s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Maclaurin b
a
s
ed summation for 1D probl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoolaege
Euler
-
Maclaurin based summation for
2D problem
s
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
decomposer
.
cc:
a
void
use
o
f half
-
open
cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolae
g
e
barvinok_summ
a
te:
verify
solution over w
h
ole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce barvinok_summate as a w
r
a
p
per for e
v
alue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add
evalu
e
_m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
evalu
e
_{d
i
v,mul}: ha
n
dle some tri
v
ial cases more effici
e
ntly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
a
t
tice_point: e
x
port f
r
actional_part
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoola
e
ge
e
v
a
l
ue
.
c: extrac
t
common code for co
n
struction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
volume
.
c:
e
xpo
r
t Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
ae
g
e
add
e
value_m
u
l
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
f
ix
t
ype of evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
u
pport computati
o
n of
B
er
n
oulli polynom
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
separate comp
u
ta
t
ion of Bern
o
ul
l
i coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erdoolaege
l
a
ttice_point: use Pa
r
am_V
e
r
t
e
x_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
make decom
p
oser
.
h
self-co
n
t
a
i
ne
d
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
red
u
ce_do
m
ain: avoid use of
m
acro paramet
e
r with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erd
o
olaege
Use piplib during
basis
red
u
cti
o
n
i
f no
o
ther
LP sol
v
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
bundled piplib
b
y default
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
add pipl
i
b
module
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
rdoola
e
ge
Use bundled PolyLib
b
y defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add polylib
s
u
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
b
ernstein: allo
w
linking a
g
ainst unins
t
alle
d
, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sve
n
Verdoolaege
add more mi
s
s
ing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy implementations
o
f f
u
nctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
oola
e
ge
update "Count
i
ng with rational
generating function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
barvinok
.
cc: s
p
lit off
p
a
rt cons
t
ructing gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
barvinok
.
cc: split off part dealing with existe
n
tia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
V
e
rdoolaege
*co
u
n
ter
:
a
v
o
i
d recomputation of denominato
r
s wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
ounter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
change type of so
m
e
"sign"s
t
o
int as they
c
an only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
laege
doc:
update Algorithm
i
ca p
u
blication
commit
|
commitdiff
|
tree
2007-08-10
Sven Ver
d
oolaege
evalue
.
c: make para
m
e
t
e
r nam
e
s of ty
p
e const
ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n Verdoolaege
samp
l
e
.
c: Po
l
yhedron_Rem
o
veFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: re
m
ove_e
q
ualities: fix t
y
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven Ve
r
d
o
olaege
Pa
r
am_Polyhedron
_
Print: print everyt
h
ing
to
given file
.
.
.
commit
|
commitdiff
|
tree
next