Top
Back: elimWeight
Forward: Examples
FastBack: dmodloc_lib
FastForward: Examples
Up: ncpreim_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.20.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: Examples FastBack: dmodloc_lib FastForward: Examples Up: ncpreim_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.