D.2.6 ring_lib

Library:

ring.lib

Purpose:

Manipulating Rings and Maps

Procedures:

D.2.6.1 changechar		make a copy R of basering [ring r] with new char c
D.2.6.2 changeord		make a copy R of basering [ring r] with new ord o
D.2.6.3 changevar		make a copy R of basering [ring r] with new vars v
D.2.6.4 defring		define a ring R in specified char c, n vars v, ord o
D.2.6.5 defrings		define ring Sn in n vars, char 32003 [p], ord ds
D.2.6.6 defringp		define ring Pn in n vars, char 32003 [p], ord dp
D.2.6.7 extendring		extend given ring by n vars v, ord o and name it R
D.2.6.8 fetchall		fetch all objects of ring R to basering
D.2.6.9 imapall		imap all objects of ring R to basering
D.2.6.10 mapall		map all objects of ring R via ideal i to basering
D.2.6.11 ord_test		test whether ordering of R is global, local or mixed
D.2.6.12 ringtensor		create ring R, tensor product of rings s,t,...
D.2.6.13 ringweights		intvec of weights of ring variables of ring r