|
5.1.74 liftstd
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 standard basis of an ideal or module and the transformation
matrix from the given ideal, resp. module, to the standard basis.
That is, if m is the ideal or module, sm the standard
basis returned by liftstd , and T the transformation matrix
then matrix(sm)=matrix(m)*T and sm=ideal(matrix(m)*T) ,
resp. sm=module(matrix(m)*T) .
In an optional third argument the syzygy module will be returned.
Example:
See
ideal;
matrix;
option;
ring;
std.
|