Difference between revisions of "Package sagbi/SB.IsInSubalgebra"
From ApCoCoAWiki
Andraschko (talk | contribs) (Created page with "{| cellspacing="8" cellpadding="0" style="background-color:#eeeeff; width:100%; font-size:95%; border-bottom: 2px solid blue; border-top: 2px solid blue; position:top; clear:b...") |
Andraschko (talk | contribs) |
||
| Line 1: | Line 1: | ||
{| cellspacing="8" cellpadding="0" style="background-color:#eeeeff; width:100%; font-size:95%; border-bottom: 2px solid blue; border-top: 2px solid blue; position:top; clear:both;" | {| cellspacing="8" cellpadding="0" style="background-color:#eeeeff; width:100%; font-size:95%; border-bottom: 2px solid blue; border-top: 2px solid blue; position:top; clear:both;" | ||
| − | | This article is about a function in [[ApCoCoA:Downloads#ApCoCoA-2.0 Beta|ApCoCoA-2.0]]. If you are looking for the [[ApCoCoA:What is ApCoCoA|ApCoCoA-1.0]] version of it, see [[ApCoCoA:SB. | + | | This article is about a function in [[ApCoCoA:Downloads#ApCoCoA-2.0 Beta|ApCoCoA-2.0]]. If you are looking for the [[ApCoCoA:What is ApCoCoA|ApCoCoA-1.0]] version of it, see [[ApCoCoA:SB.IsInSubalgebra]]. |
|} | |} | ||
<command> | <command> | ||
Revision as of 10:48, 27 September 2020
| This article is about a function in ApCoCoA-2.0. If you are looking for the ApCoCoA-1.0 version of it, see ApCoCoA: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. For the function
@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
