%
RingOps
%%
MultivariateOps
UnivariateOps
%%*
MultivariateOps
*
CfOps
Ideal
IntegerOps
MultivariateTermOps
PolynomialCfOps
RingOps
**
RingOps
*=
RingOps
+
CfOps
Ideal
IntegerOps
MultivariateTermOps
PolynomialCfOps
RingOps
++
RingOps
+=
RingOps
-
CfOps
IntegerOps
MultivariateTermOps
PolynomialCfOps
RingOps
--
RingOps
-=
RingOps
/
CfOps
IntegerOps
MultivariateTermOps
PolynomialCfOps
RingOps
/%
PolynomialCfOps
RingOps
/%%
UnivariateOps
/%/%
MultivariateOps
/%/%*
MultivariateOps
:/
Ideal
:=
PolynomialSetOps
<
RingOps
<<
UnivariateOps
<=
RingOps
=!=
RingOps
===
RingOps
>
RingOps
>=
RingOps
>>
UnivariateOps
@@
UnivariateOps
^
RingOps
_cfRing
AlgebraicNumberField
GaloisField
~!=
RingOps
~==
RingOps
∩
Ideal
∪
Ideal