[back] [prev] [next] [index] [root]
flag := RayClassFieldIsNormal(G [, l]);
| boolean | flag |
|
| AbelianGroup | G |
a quotient from RayClassGroupToAbelianGroup |
| list | l |
of automorphisms, if not present all known automorphisms are used. |
<- back[back] [prev] [next] [index] [root]