|
7.3.12 liftstd (plural)
Syntax:
liftstd ( ideal_expression, matrix_name )
liftstd ( module_expression, matrix_name )
liftstd ( ideal_expression, matrix_name, module_name )
liftstd ( module_expression, matrix_name, module_name )
Type:
- ideal or module
Purpose:
- returns a left Groebner basis of an ideal or module and a left transformation
matrix from the given ideal, resp. module, to the Groebner basis.
That is, if m is the ideal or module, sm is the left Groebner
basis of m , returned by liftstd , and T is a left transformation matrix,
then sm=module(transpose(transpose(T)*transpose(matrix(m)))) .
If m is an ideal, sm=ideal(transpose(T)*transpose(matrix(m))) .
In an optional third argument the left syzygy module will be returned.
Example:
See
ideal (plural);
ring (plural);
std (plural).
|