Maxima Function
check_overlaps (n, add_to_simps)
Checks the overlaps thru degree n,
making sure that you have sufficient simplification rules in each
degree, for dotsimp
to work correctly. This process can be speeded
up if you know before hand what the dimension of the space of monomials is.
If it is of finite global dimension, then hilbert
should be used. If you
don't know the monomial dimensions, do not specify a rank_function
.
An optional third argument reset
, false
says don't bother to query
about resetting things.