Top
Back: elimWeight
Forward: nctools_lib
FastBack: ncfactor_lib
FastForward: nctools_lib
Up: ncpreim_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.13.0. extendedTensor
Procedure from library ncpreim.lib (see ncpreim_lib).

Usage:
extendedTensor(A,I); A ring, I ideal

Return:
ring, A+B (where B denotes the basering) extended with non- commutative relations between the vars of A and B, which arise from the homomorphism A -> B induced by I in the usual sense, i.e. if the vars of A are named x(i) and the vars of B y(j), then putting q(i)(j) = leadcoef(y(j)*I[i])/leadcoef(I[i]*y(j)) and r(i)(j) = y(j)*I[i] - q(i)(j)*I[i]*y(j) yields the relation y(j)*x(i) = q(i)(j)*x(i)*y(j)+r(i)(j).

Remark:
Reference: (Lev)

Example:
 

Top Back: elimWeight Forward: nctools_lib FastBack: ncfactor_lib FastForward: nctools_lib Up: ncpreim_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-7, Aug 2013, generated by texi2html.