pushForward1 => UseHilbertFunction
UseHilbertFunction => true
-- a keyword for an optional argument to
pushForward1
which specifies whether to use the Hilbert function, if one has previously been computed.
The default is to use it if possible.
