Major Section: MISCELLANEOUS
Computed hints (see computed-hints) are extraordinarily powerful.
We show a few examples here to illustrate their use.  We recommend
that the using-computed-hints-n topics be read in the order
using-computed-hints-1, using-computed-hints-2, and so on.
stable-under-simplificationp flag
 
 