# K is not solid, restrict to its span.
K = _rho(K)
- # Lemma 2
- beta += m*(n - m) + (n - m)**2
+ # Non-solid reduction lemma.
+ beta += (n - m)*n
if l > 0:
# K is not pointed, restrict to the span of its dual. Uses a
# _rho(K.dual()).dual().
K = _rho(K, K.dual())
- # Lemma 3
- beta += m * l
+ # Non-pointed reduction lemma.
+ beta += l * m
beta += len(LL(K))
return beta