相关的命令总结如下：
这里的flags具有下面的一些属性：
flags.primes：= [p1 .. pr]
flags.latticeequal：= true
flags.classequal：= true
例1：空间群及其子群
登录