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