next | previous | forward | backward | up | top | index | toc | home

UseHilbertFunction

Description

UseHilbertFunction -- an option for pushForward1.

Functions with optional argument named UseHilbertFunction :

pushForward(..., UseHilbertFunction => ...) -- missing documentation
pushForward1(..., UseHilbertFunction => ...) -- whether to use knowledge of the Hilbert function

For the programmer

The object UseHilbertFunction is a symbol.