他の例: GaussianIntegers

は整数上では素数であるが，複素数上で因数分解できることははっきりしており，整数環上では素数ではない．

In[1]:=

Out[1]=

In[2]:=

Out[2]=

In[3]:=

Out[3]=

In[4]:=

Out[4]=

Factor，DivisorSigmaの「他の例」も参照のこと．