CASA Function: mgbasisx

Compute the normed reduced Groebner basis along with the transformation matrix.

Calling Sequence:

Parameters:

F : list(list(polynom(rational)))
G : list(list(polynom(rational)))
GX : list(list(polynom(rational)))
X : list(name)
torder1 : name
torder2 : name

Result:

GB : list(list(polynom(rational)))

Description:

Examples:

> F := [[x*y-1,x+2],[y^2+x+1,y-1]]:

> mgbasisx(F,'G','GX',[x,y]):

> G;

[Maple Math]

> GX;

[Maple Math]

> mgbasisx(F,'G','GX',[y,x],term,plex):

> G;

[Maple Math]

> GX;

[Maple Math]

See Also:

[CASA] [mgbasis] [mgbasisx] [mnormalf] [msolveGB] [msolveSP]