Operations on Nearfields

N eq M: NfdDck, NfdDck -> BoolElt

N ne M: NfdDck, NfdDck -> BoolElt

#N: Nfd -> RngIntElt

Cardinality(N): Nfd -> RngIntElt

The cardinality of the nearfield \(N\).

Random(N): Nfd -> NfdElt

A random element of the nearfield \(N\).

Identity(N): Nfd -> NfdElt

The multiplicative identity of the nearfield \(N\).

Zero(N): Nfd -> NfdElt

The additive identity of the nearfield \(N\).

PrimeField(N): Nfd -> FldFin

The prime field of the nearfield \(N\).

Kernel(N): Nfd -> FldFin

Return the kernel of the nearfield \(N\) as a finite field.