ApCoCoA-1:NCo.SetFp

This article is about a function from ApCoCoA-1.

NCo.SetFp

Set coefficient field to a finite field.

Syntax

NCo.SetFp([P:INT])

Description

Note that the default coefficient field is the field of rational numbers, i.e. RAT in CoCoAL. This function has 0 or 1 parameter. The coefficient field is set to the binary field {0,1} if no parameter is given, i.e. via the first function NC.SetFp(), and is set to the finite field {0,1,...,P-1}. The coefficient field can be set to the field of rational numbers via the function NC.UnSetFp.

• @param P: a prime.

Example

NCo.RingEnv();
Coefficient ring : Q
-------------------------------
NCo.SetFp();
NCo.RingEnv();
Coefficient ring : Fp = Z/(2)
-------------------------------
NCo.SetFp(3);
NCo.RingEnv();
Coefficient ring : Fp = Z/(3)
-------------------------------

See also

NCo.UnsetFp