Groebner - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Polynomials : Groebner : Groebner/RememberBasis

Groebner

  

RememberBasis

  

make a Groebner basis known to the system

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

RememberBasis(F, G, T, characteristic=p)

Parameters

F

-

a list or set of polynomials or a PolynomialIdeal

G

-

a Groebner basis or a name

T

-

ShortMonomialOrder or MonomialOrder

p

-

(optional) characteristic: either zero or a prime

Description

• 

RememberBasis marks the list of polynomials G as a Groebner basis of the ideal generated by F with respect to the monomial order T.  This allows you to use Groebner bases computed outside of Maple or saved in a previous Maple session. The optional argument characteristic=p can be used to specify the ring characteristic when T is a ShortMonomialOrder.  The default characteristic is zero.

• 

If G is not a reduced Groebner basis you can use the InterReduce command to reduce it first.  This is also advisable if the polynomials are not in Maple's canonical form, (for example, if they are monic).  Maple stores Groebner bases as polynomials that are primitive and fraction-free.

• 

If a different Groebner basis is already known for a particular problem then RememberBasis will replace it with G. If G is a name then RememberBasis will forget any basis that is known.

• 

Note that the pretend_gbasis command is deprecated.  It may not be supported in a future Maple release.

Examples

withGroebner:

Fx2yz+xy2z+xyz2+xyz+xy+xz+yz,x2y2z+x2yz+xy2z2+xyz+x+yz+z,x2y2z2+x2y2z+xy2z+xyz+xz+z+1

F:=x2yz+xy2z+xyz2+xyz+xy+xz+yz,x2y2z+xy2z2+x2yz+xyz+yz+x+z,x2y2z2+x2y2z+xy2z+xyz+xz+z+1

(1)

G42x4431x3757x2y+804xy259y3799x2z+2xyz+119y2z417xz2+340yz25z3303x2+1203xy194y2+752xz246yz184z2581x+67y1013z+57,21x3y16x374x2y+24xy2+2y353x2z+xyz35y2z+12xz2+23yz2+8z336x2+24xy+29y2+40xz+3yz8z228x+23y13z+18,21x2y22x325x2y+45xy25y325x2z+29xyz+14y2z9xz2+16yz2+z3+6x2+45xy20y2+47xz18yzz214x5y41z3,42xy311x385x2y+6xy2+25y343x2z40xyz49y2z39xz2+4yz25z351x215xy+58y24xz+6yz16z235x+25y5z+15,42y4121x3557x2y+570xy2+275y3515x2z608xyz77y2z555xz2+2yz255z3645x2+633xy160y2+82xz690yz302z2679x+65y1147z3,7x3z+5x3+24x2y25xy2+2y3+17x2z+8xyz7y2z+19xz212yz2+z3+6x232xy+8y223xz+17yz+6z2+21x+2y+36z3,14x2yz+3x3+13x2y+6xy23y3x2z+2xyz+21y2z25xz2+4yz25z3+19x2+27xy26y2+10xz8yz2z27x17y33z13,6xy2z+x3+5x2y12xy2+y3+11x2z+2xyz7y2z+9xz22yz2+z3+3x215xy+4y24xz+6yz+2z2+13x+y+19z+3,21y3z+4x313x2y48xy2+10y3+8x2z+5xyz+14y2z3xz2+10yz22z3+30x227xy+40y210xz+57yz+2z2+7x+10y+40z+6,14x2z2+5x3+31x2y74xy2+9y3+45x2z+22xyz35y2z+61xz240yz2+z3+13x295xy+50y244xz+66yz+6z2+63x+23y+127z+11,21xyz2x32x2y51xy2+8y3+40x2z+25xyz56y2z+69xz213yz2+11z318x272xy+53y28xz+54yz+10z2+56x+29y+116z+30,14y2z2+x3+9x2y+2xy2y3+23x2z+10xyz21y2z+15xz28yz2+3z33x219xy4y26xz26yz10z2+7xy+3z+5,21xz329x3121x2y+369xy241y3226x2z178xyz+161y2z267xz2+148yz2+4z3123x2+411xy206y2+146xz324yz+38z2329x62y584z75,21yz310x341x2y+183xy225y3104x2z65xyz+91y2z129xz2+59yz216z333x2+225xy142y2+67xz174yz5z2154x46y310z57,323y3+4799z+281y+2849x1100xz+2574yz3495xy+1642xyz+1153x2y3054xy2+1544y2+1347x2368z21211y2z1252yz2+2253xz231z3+2035x2z+42z4+293x3+555:

Assume that G is known to be a Groebner basis for F with respect to tdeg(x,y,z). We will make this basis known to the system, so that it is not recomputed.

RememberBasisF,G,tdegx,y,z

timeHilbertDimensionF,tdegx,y,z

0.003

(2)

See Also

Groebner basis

InterReduce

Monomial Orders

MonomialOrder

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam