|
7.3.29 twostd
Syntax:
-
twostd( ideal_expression) ;
Type:
- ideal
Purpose:
- returns a left Groebner basis of the two-sided ideal,
generated by the input, treated as a set of two-sided generators.
see std
Remark:
- There are algebras with no two-sided ideals except 0 and the
whole algebra (like Weyl algebras).
Example:
|