|
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:
|