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