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