整数上的关系矩阵
每一步，都能用整数还原
两列是两条关系。把矩阵化成正的对角形，还要检查前一个数是否整除后一个数。先试着把 [[4,2],[2,6]] 化到 diag(2,10)。
当前矩阵 B
输入会建立新题并清空操作记录；每项限整数 −10,000 到 10,000。下方操作只作用于已确认的矩阵。
条目最大公因子2
行列式绝对值20
有理数上的秩2
不变量给出的 Smith 目标
选一步可逆操作
先交换两行，或自己找一条能让条目变小的路。
关系生成的整数格
当前关系格操作前的格列向量
灰色小点是环境 ℤ² 的整数点。只画坐标窗口内的点；格点由精确的整数成员判定得到，不把有限次试加误当成整个格。
列操作保留同一个关系子群。行操作一般会移动它，但同时用可逆整数矩阵改变环境坐标，商群仍然同构。图中的位置不必相同。
操作记录与逆操作
还没改动矩阵。把“怎么还原”一起记下来。
整数里的单位只有 1 和 −1。把一行乘 2 一般无法用整数操作还原：单条关系 [1] 给出零群，[2] 却给出 ℤ/2ℤ。这里会拒绝这样的缩放。