Difference between revisions of "ApCoCoA-1:NCo.SetFp"

From ApCoCoAWiki
m (Bot: Category moved)
m (fixed links to namespace ApCoCoA)
Line 8: Line 8:
 
</syntax>
 
</syntax>
 
<description>
 
<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 <ref>NC.UnSetFp</ref>.  
+
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 <ref>ApCoCoA-1:NC.UnSetFp|NC.UnSetFp</ref>.  
 
<itemize>
 
<itemize>
 
<item>@param <em>P</em>: a prime.</item>
 
<item>@param <em>P</em>: a prime.</item>
Line 27: Line 27:
 
</description>
 
</description>
 
<seealso>
 
<seealso>
<see>NCo.UnsetFp</see>
+
<see>ApCoCoA-1:NCo.UnsetFp|NCo.UnsetFp</see>
 
</seealso>
 
</seealso>
 
<types>
 
<types>

Revision as of 08:34, 7 October 2020

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