up previous next
LogCardinality

extension degree of a finite field

Syntax
LogCardinality(Fp: RING): INT

Description
This function returns the extension degree of a finite field over its prime field, or equivalently the log (base p) of its cardinality.

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

See Also