Transformation 非平凡的时候未能跳过子周期飞船

[AlephAlpha]

@yujh-yujh 发现的 Bug:

GitHub connection bad(probably banned in other places, as tested), so I’ll report a bug of rlifesrc here

Rule:B2/S
Width:13
Height:20
Period:6
dx:0
dy:6
Diagonal width:0
Transformation:flip|
Symmetry:C1
Max cell count:0
Search order:automatic 
Choice of state for unknown cells:alive
Skip patterns with subperiod.

@AlephAlpha it makes this result

x = 13, y = 20, rule = B2/S
.............$
.............$
.............$
.............$
.............$
.oo.......oo.$
o..o.....o..o$
.............$
.............$
.oo.......oo.$
o...........o$
...o.....o...$
....o...o....$
..o.......o..$
........o....$
..........o..$
.....o.......$
.o...........$
.............$
.............!

该跳过的没跳过……

目前我设的 "Skip patterns with subperiod" 的条件是：对周期 p 的每一个大于 1 的约数 d，先看 dx/d 和 dy/d 是否为整数；如果都是整数，就看图样在第 p/d 代时是否相当于第 0 代平移 (dx/d, dy/d)。

这样的条件在 Transformation 为 id 时不会有问题，但 Transformation 非平凡时可能会出问题……

关键是要找一个更合适的条件。

等有时间再想怎么修。

[AlephAlpha]

好像只要把 p 改为 p*o(t) 就行，其中 o(t) 是变换 t 在 D₈ 群中的阶数……

因为变换非平凡时，真正的周期不是 p，而是 p*o(t)……

不过这样 dx、dy 的变化有点难算……

[AlephAlpha]

不对，我想复杂了，只要在检查第 p/d 代时在平移 (dx/d, dy/d) 前也作一个变换即可。

[AlephAlpha]

应该行了吧……不知道有没有新 bug。

[AlephAlpha]

@yujh-yujh 应该没问题了吧？这个 Issue 我先关了。如果有问题可以重开。