Difference between revisions of "ApCoCoA-1:BBSGen.PurPow"

From ApCoCoAWiki
m (Bot: Category moved)
m (insert version info)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 +
{{Version|1}}
 
<command>
 
<command>
 
   <title>BBSGen.PurPow</title>
 
   <title>BBSGen.PurPow</title>
Line 50: Line 51:
  
  
<see> BBSGen.LinIdepGen</see>
+
<see>ApCoCoA-1: BBSGen.LinIdepGen| BBSGen.LinIdepGen</see>
  
 
   <key>BBSGen.PurPow</key>
 
   <key>BBSGen.PurPow</key>

Latest revision as of 09:51, 7 October 2020

This article is about a function from ApCoCoA-1.

BBSGen.PurPow

This function finds the pure power indeterminates in the ring K[c].

Syntax

BBSGen.PurPow(OO);
BBSGen.PurPow(OO:LIST):LIST

Description


If b_j=x_i^d_i where x_i is an indeterminate of the base ring K[x_1,...,x_N] and d_i is some power, then c_ij is called a pure power indeterminate.

This function computes the indices [i,j] of the pure power indterminates c_ij in the coordinate ring of the border basis scheme.

  • @param The order ideal OO.

  • @return List of the indices [i,j] of the pure powers c_ij.


Example

Use R::=QQ[x,y];
OO:=[1,x,y,xy];
BO:=$apcocoa/borderbasis.Border(OO);
Mu:=Len(OO);
Nu:=Len(BO);

BBSGen.PurPow(OO);
[[1, 2], [2, 2], [3, 2], [4, 2], 
[1, 3], [2, 3], [3, 3], [4, 3]]

Class:=BBSGen.PurPow(OO);

Use BBS::=CoeffRing[c[1..Mu,1..Nu]]; 

BBSGen.IndFinder(Class,Mu,Nu);
[c[1,2],  c[1,3],  c[2,2], c[2,3], 
c[3,2], c[3,3], c[4,2],  c[4,3]]





BBSGen.LinIdepGen