[next] [prev] [prev-tail] [tail] [up]
This shrinking is done using the commands RemoveRedundent and SmallBasis.
[next] [prev] [prev-tail] [front] [up]