Category:ApCoCoA-1:Package bbsmingensys

From ApCoCoAWiki
Revision as of 18:40, 18 June 2012 by Sipal (talk | contribs)

Let Tau be the set of defining equations of a border basis scheme. The package bbsmingensys contains programs, which focus on this generating set.


Let O be an order ideal and let Len(O)=Mu. Let BO be its border and Len(BO)=Nu.(see the functions BB. Border and BB.Box in the package borderbasis) Let k,l in {1,...,N} and k is not equal to l. We denote a polynomial entry of a commutator operation

   [A_k,A_l]=A_k*A_l-A_l*A_k  

in the position (p,q) by tau_pq^kl where p,q in {1,...,Mu}. These entries generate the vanishing ideal of the border basis scheme.We denote the set of such polynomials by Tau, thus we have

    I(B_O)= < Tau >.


Further we shall consider the I(B_O) as a K[c]-module, where the entries of the commutator operation [A_{k},A_{l}] are a Mu x Mu -tuple ( tau_pq^kl)_{1<= p,q<= Mu) from I(B_O). Therefore, throughout this package we will represent every element from ( tau_pq^kl_{1<= p,q<= Mu) as an indeterminate t[k,l,p,q]. And we construct the ring

    XX::=QQ[c[1..Mu,1..Nu],t[1..N,1..N,1..Mu,1..Mu]] 

with respect to the order ideal and its border defined on R=K[x_1,..,x_N]. Throughout this package, defining this ring exactly as given in the examples is crucial.

NOTE: This package is designed for experimenting for some specific shape of order ideals and rings. Functions <commandref>BBSGen.TraceSyzFull</commandref>, <commandref>BBSGen.JacobiFull</commandref>, <commandref>BBSGen.LinIndep</commandref> and <commandref>BBSGen.BBFinder</commandref> may not give results due to the growth of indeterminates in XX or due to the growth of polynomials during matrix multiplications.





The global alias for this package is BBSGen.




References

  • M.Huibregtse, Some Syzygies of the Generators of the Ideal of a Border Basis Scheme,??? (2009),
  • M.Kreuzer and L.Robbiano, Deformations of Border Basis, Coll Math. 59 (2008),275-297.