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

From ApCoCoAWiki
(New page: <command> <title>NCo.SetFp</title> <short_description> Set coefficient field to a finite field. </short_description> <syntax> NCo.SetFp() NCo.SetFp(Prime:INT) </syntax> <description> Note ...)
 
m (insert version info)
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
{{Version|1}}
 
<command>
 
<command>
 
<title>NCo.SetFp</title>
 
<title>NCo.SetFp</title>
Line 5: Line 6:
 
</short_description>
 
</short_description>
 
<syntax>
 
<syntax>
NCo.SetFp()
+
NCo.SetFp([P:INT])
NCo.SetFp(Prime:INT)
 
 
</syntax>
 
</syntax>
 
<description>
 
<description>
Note that the default coefficient field is rational numbers <tt>Q</tt>, i.e. RAT in CoCoAL. The fuNCotion has 0 or 1 parameter. The coefficient field is set to <tt>F2=Z/(2)</tt> if no parameter is given, i.e. via the first fuNCotion.
+
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>Prime</em>: a prime number. The coefficient field is set to <tt>F_{Prime}=Z/(Prime)</tt>.</item>
+
<item>@param <em>P</em>: a prime.</item>
 
</itemize>
 
</itemize>
 
<example>
 
<example>
Line 28: Line 28:
 
</description>
 
</description>
 
<seealso>
 
<seealso>
<see>NCo.Add</see>
+
<see>ApCoCoA-1:NCo.UnsetFp|NCo.UnsetFp</see>
<see>NCo.Deg</see>
 
<see>NCo.FindPolynomials</see>
 
<see>NCo.GB</see>
 
<see>NCo.HF</see>
 
<see>NCo.Interreduction</see>
 
<see>NCo.Intersection</see>
 
<see>NCo.IsFinite</see>
 
<see>NCo.IsGB</see>
 
<see>NCo.IsHomog</see>
 
<see>NCo.KernelOfHomomorphism</see>
 
<see>NCo.LC</see>
 
<see>NCo.LT</see>
 
<see>NCo.LTIdeal</see>
 
<see>NCo.MB</see>
 
<see>NCo.MRAdd</see>
 
<see>NCo.MRDeg</see>
 
<see>NCo.MRGB</see>
 
<see>NCo.MRHF</see>
 
<see>NCo.MRInterreduction</see>
 
<see>NCo.MRIntersection</see>
 
<see>NCo.MRIsGB</see>
 
<see>NCo.MRKernelOfHomomorphism</see>
 
<see>NCo.MRLC</see>
 
<see>NCo.MRLT</see>
 
<see>NCo.MRLTIdeal</see>
 
<see>NCo.MRMB</see>
 
<see>NCo.MRMinimalPolynomial</see>
 
<see>NCo.MRMultiply</see>
 
<see>NCo.MRNR</see>
 
<see>NCo.MRReducedGB</see>
 
<see>NCo.MinimalPolynomial</see>
 
<see>NCo.Multiply</see>
 
<see>NCo.NR</see>
 
<see>NCo.ReducedGB</see>
 
<see>NCo.SetFp</see>
 
<see>NCo.SetOrdering</see>
 
<see>NCo.SetRelations</see>
 
<see>NCo.SetRules</see>
 
<see>NCo.SetX</see>
 
<see>NCo.Subtract</see>
 
<see>NCo.TruNCoatedGB</see>
 
<see>NCo.UnsetFp</see>
 
<see>NCo.UnsetOrdering</see>
 
<see>NCo.UnsetRelations</see>
 
<see>NCo.UnsetRules</see>
 
<see>NCo.UnsetX</see>
 
<see>Introduction to CoCoAServer</see>
 
 
</seealso>
 
</seealso>
 
<types>
 
<types>
Line 83: 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