Difference between revisions of "ApCoCoA-1:NC.SetOrdering"

From ApCoCoAWiki
Line 2: Line 2:
 
<title>NC.SetOrdering</title>
 
<title>NC.SetOrdering</title>
 
<short_description>
 
<short_description>
Set (admissible) ordering.
+
Set an (admissible) ordering.
 
</short_description>
 
</short_description>
 
<syntax>
 
<syntax>
Line 8: Line 8:
 
</syntax>
 
</syntax>
 
<description>
 
<description>
 +
Note that default ordering is length-lexicographic ordering (<quotes>LLEX</quotes>).
 
<itemize>
 
<itemize>
<item>@param <em>X</em>: an STRING which is an alphabet (indeterminates) of a free associative K-algebra. Every letter in <tt>X</tt> should occurrence only once. And the order of letters in <tt>X</tt> is important since it will induce an admissible ordering. </item>
+
<item>@param <em>Ordering</em>: an STRING which indicates an (admissible) ordering. For the time being, the package has supported length-lexicographic ordering (<quotes>LLEX</quotes>) and elimination ordering (<quotes>ELIM</quotes>).  
 +
</item>
 
</itemize>
 
</itemize>
 
<example>
 
<example>
NC.SetX(<quotes>abc</quotes>);
 
 
NC.RingEnv();
 
NC.RingEnv();
 
Coefficient ring : Q (float type in C++)
 
Coefficient ring : Q (float type in C++)
Alphabet : abc
+
Ordering : LLEX
 +
 
 +
-------------------------------
 +
NC.SetOrdering(<quotes>ELIM</quotes>);
 +
NC.RingEnv();
 +
Coefficient ring : Q (float type in C++)
 +
Ordering : ELIM
  
 
-------------------------------
 
-------------------------------
Line 34: Line 41:
 
<see>NC.SetX</see>
 
<see>NC.SetX</see>
 
<see>NC.Subtract</see>
 
<see>NC.Subtract</see>
 +
<see>NC.UnsetFp</see>
 +
<see>NC.UnsetOrdering</see>
 +
<see>NC.UnsetRelations</see>
 +
<see>NC.UnsetRules</see>
 +
<see>NC.UnsetX</see>
 
<see>Gbmr.MRSubtract</see>
 
<see>Gbmr.MRSubtract</see>
 
<see>Gbmr.MRMultiply</see>
 
<see>Gbmr.MRMultiply</see>

Revision as of 15:22, 17 July 2010

NC.SetOrdering

Set an (admissible) ordering.

Syntax

NC.SetOrdering(Ordering)

Description

Note that default ordering is length-lexicographic ordering ("LLEX").

  • @param Ordering: an STRING which indicates an (admissible) ordering. For the time being, the package has supported length-lexicographic ordering ("LLEX") and elimination ordering ("ELIM").

Example

NC.RingEnv();
Coefficient ring : Q (float type in C++)
Ordering : LLEX

-------------------------------
NC.SetOrdering(<quotes>ELIM</quotes>);
NC.RingEnv();
Coefficient ring : Q (float type in C++)
Ordering : ELIM

-------------------------------

See also

NC.Add

NC.GB

NC.IsGB

NC.LC

NC.LT

NC.LTIdeal

NC.Multiply

NC.NR

NC.SetFp

NC.SetRelations

NC.SetRules

NC.SetX

NC.Subtract

NC.UnsetFp

NC.UnsetOrdering

NC.UnsetRelations

NC.UnsetRules

NC.UnsetX

Gbmr.MRSubtract

Gbmr.MRMultiply

Gbmr.MRBP

Gbmr.MRIntersection

Gbmr.MRKernelOfHomomorphism

Gbmr.MRMinimalPolynomials

Introduction to CoCoAServer