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