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