Top
Back: CenCharDec
Forward: ncfactor_lib
FastBack: ncalg_lib
FastForward: ncfactor_lib
Up: ncdecomp_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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:
 

Top Back: CenCharDec Forward: ncfactor_lib FastBack: ncalg_lib FastForward: ncfactor_lib Up: ncdecomp_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.