30.3 Examples

This shrinking is done using the commands RemoveRedundent and SmallBasis.