Top
Back: ord_test
Forward: ringweights
FastBack: random_lib
FastForward: Linear algebra
Up: ring_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.8.12 ringtensor

Procedure from library ring.lib (see ring_lib).

Usage:
ringtensor(r1,r2,...); r1,r2,...=rings

Return:
ring R whose variables are the variables from all rings r1,r2,... and whose monomial ordering is the block (product) ordering of the respective monomial orderings of r1,r2,... . Hence, R is the tensor product of the rings r1,r2,... with ordering matrix equal to the direct sum of the ordering matrices of r1,r2,...

Note:
The characteristic of the new ring will be p if one ring has characteristic p. The names of variables in the rings r1,r2,... must differ.
The procedure works also for quotient rings ri, if the characteristic of ri is compatible with the characteristic of the result (i.e. if imap from ri to the result is implemented)

Example:
 
See also: ring operations.


Top Back: ord_test Forward: ringweights FastBack: random_lib FastForward: Linear algebra Up: ring_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.