二つ意味がある罠。 cyclic_1 がcycle structureを持つとは、かつであること、と定義する。で、長さが1でないcycleをnon-trivialと言い、1個だけのnon-trivialなcycleをもつのがcyclic。 この定義から、cyclicな格子Lはあるベクトルvと正の整数dを使って、 …