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

From ApCoCoAWiki
m (insert version info)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 +
{{Version|1}}
 
<command>
 
<command>
 
<title>NCo.SetFp</title>
 
<title>NCo.SetFp</title>
Line 8: Line 9:
 
</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 28:
 
</description>
 
</description>
 
<seealso>
 
<seealso>
<see>NCo.UnsetFp</see>
+
<see>ApCoCoA-1:NCo.UnsetFp|NCo.UnsetFp</see>
 
</seealso>
 
</seealso>
 
<types>
 
<types>
Line 35: Line 36:
 
<key>NCo.SetFp</key>
 
<key>NCo.SetFp</key>
 
<key>SetFp</key>
 
<key>SetFp</key>
<wiki-category>Package_gbmr</wiki-category>
+
<wiki-category>ApCoCoA-1:Package_gbmr</wiki-category>
 
</command>
 
</command>

Latest revision as of 10:25, 7 October 2020

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