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