polynomialRing

open override val polynomialRing: PS