Difference between revisions of "Package sagbi/SB.IsInSubalgebra"

From ApCoCoAWiki
(typos)
(no new line for </syntax> and </example>)
 
Line 4: Line 4:
 
   <short_description>Tests whether a polynomial is in a subalgebra.</short_description>
 
   <short_description>Tests whether a polynomial is in a subalgebra.</short_description>
 
    
 
    
   <syntax>
+
   <syntax>SB.IsInSubalgebra(f:POLY, G:LIST of POLY):BOOL</syntax>
SB.IsInSubalgebra(f:POLY, G:LIST of POLY):BOOL
 
  </syntax>
 
 
   <description>
 
   <description>
 
This function takes a polynomials <tt>f</tt> and a list of polynomials <tt>G</tt> and checks whether <tt>F</tt> is in the algebra generated by the polynomials in <tt>G</tt>.
 
This function takes a polynomials <tt>f</tt> and a list of polynomials <tt>G</tt> and checks whether <tt>F</tt> is in the algebra generated by the polynomials in <tt>G</tt>.
Line 19: Line 17:
 
G := [x[1]-x[2], x[1]*x[2]-x[2]^2, x[1]*x[2]^2];
 
G := [x[1]-x[2], x[1]*x[2]-x[2]^2, x[1]*x[2]^2];
 
SB.IsInSubalgebra(x[1]*x[2]^4-x[2]^5, G);
 
SB.IsInSubalgebra(x[1]*x[2]^4-x[2]^5, G);
-- true
+
-- true</example>
    </example>
 
  
 
     <example>
 
     <example>
Line 26: Line 23:
 
G := [y[1]^2-y[3]^2, y[1]*y[2]+y[3]^2, y[2]^2-2*y[3]^2];
 
G := [y[1]^2-y[3]^2, y[1]*y[2]+y[3]^2, y[2]^2-2*y[3]^2];
 
SB.IsInSubalgebra(y[3]^4, G);
 
SB.IsInSubalgebra(y[3]^4, G);
-- false
+
-- false</example>
    </example>
 
 
   </description>
 
   </description>
  

Latest revision as of 12:55, 26 October 2020

This article is about a function from ApCoCoA-2. If you are looking for the ApCoCoA-1 version of it, see ApCoCoA-1:SB.IsInSubalgebra.

SB.IsInSubalgebra

Tests whether a polynomial is in a subalgebra.

Syntax

SB.IsInSubalgebra(f:POLY, G:LIST of POLY):BOOL

Description

This function takes a polynomials f and a list of polynomials G and checks whether F is in the algebra generated by the polynomials in G.

  • @param f A polynomial.

  • @param G A list of polynomials which generate a subalgebra.

  • @return true if f is in the subalgebra generated by G, false elsewise.

Example

Use QQ[x[1..2]];
G := [x[1]-x[2], x[1]*x[2]-x[2]^2, x[1]*x[2]^2];
SB.IsInSubalgebra(x[1]*x[2]^4-x[2]^5, G);
-- true

Example

Use QQ[y[1..3]];
G := [y[1]^2-y[3]^2, y[1]*y[2]+y[3]^2, y[2]^2-2*y[3]^2];
SB.IsInSubalgebra(y[3]^4, G);
-- false

See also

Package sagbi/SB.IsInSubalgebra_SAGBI

Package sagbi/SB.IsInSA

Package sagbi/SB.IsInSA_SAGBI

Package sagbi/SB.IsInToricRing