|
7.7.11.0. IntersectWithSub
Procedure from library ncdecomp.lib (see ncdecomp_lib).
- Usage:
- IntersectWithSub(M,Z), M an ideal, Z an ideal
- Assume:
- Z consists of pairwise commutative elements
- Return:
- ideal of two-sided generators, not a Groebner basis
- Purpose:
- computes the intersection of M with the subalgebra, generated by Z
- Note:
- usually Z consists of generators of the center
The function central from central.lib may be used to obtain the center Z, if needed.
Example:
|