AffHilbertFn(R:RING or TAGGED("Quotient")):TAGGED("$hp.Hilbert") AffHilbertFn(R:RING or TAGGED("Quotient"),N:INT):INT
$hp.Hilbert