UseHilbertFunction

[top]

[index]

UseHilbertFunction

UseHilbertFunction -- an option for pushForward1.

Functions with optional argument named UseHilbertFunction :

pushForward(..., UseHilbertFunction)

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

[top]

[index]