%
RingOps
%%
UnivariateOps
*
CfOps
IntegerOps
MultivariateOps
PolynomialCfOps
RingOps
**
RingOps
*=
RingOps
+
CfOps
IntegerOps
MultivariateOps
PolynomialCfOps
RingOps
++
RingOps
+=
RingOps
-
CfOps
IntegerOps
MultivariateOps
PolynomialCfOps
RingOps
--
RingOps
-=
RingOps
/
CfOps
IntegerOps
MultivariateOps
PolynomialCfOps
RingOps
/%
PolynomialCfOps
RingOps
/%%
UnivariateOps
/%/%
MultivariateOps
/%/%*
MultivariateOps
:=
PolynomialSetOps
<
RingOps
<<
UnivariateOps
<=
RingOps
=!=
RingOps
===
RingOps
>
RingOps
>=
RingOps
>>
UnivariateOps
@@
UnivariateOps
^
RingOps
_show
Frac
PolynomialRing
Ring
~!=
RingOps
~==
RingOps