关系允许哪些移动？
把每个整数点看作两个生成元的系数组合。关系列向量允许你改变写法；走完之后，商模里的元素仍是同一个。
B =
在格点图上选起点；方向键移动虚线光标，按 Enter 选点。
● 与 S 同类的格点P 当前点Q 比较点
沿关系列向量走
当前点的商类标签
六个代表。选一个，查看属于它的格点。
另一点是否在同一类？
坐标可输入 −50 到 50 的整数；比较使用整数方程，范围外的点也能判定。
起点 S
比较点 Q
整个模的点集是无限的。画面只是一个窗口；“暂时没走到”不等于“不等价”。单条关系也不一定留下有限个类，关键是还有哪些整数差别无法消去。