设X=Z[sqrt(-5)]，M是由3和2+sqrt(-5)生成的X的理想。本文就来探讨一下，X关于模M的完全剩余系。
工具/原料
1
电脑
2
python
3
网络画板（排版）
方法/步骤
1
首先，要写出M的具体范围。
2
注意，3sqrt(-5)和-5+2sqrt(-5)在X里面是可以用生成元分拆的。
3
这样，M的表示方法就可以化简。
4
我满来看看，X中两个元素u和v关于模M同余，需要满足什么条件。
5
因为3的完全剩余系包括:0,1,2，所以，可以把X关于模M的完全剩余系写成如下的形式。
6
比如，5+6sqrt(-5)是模M余2的剩余类。