LogCardinality(Fp: RING): INT
/**/ Fp ::= ZZ/(7); /**/ use Fpx ::= Fp[x]; /**/ Fq := Fpx/ideal(x^2+1); /**/ LogCardinality(Fq); 2