4.16.3 ring operations

+

construct a new ring from and .

Concerning the ground fields and take the following guide lines into consideration:

• Neither nor may be or .
• If the characteristic of and differs, then one of them must be .
• At most one of and may be have parameters.
• If one of and is an algebraic extension of it may not be defined by a charstr of type (p^n,a).

Example:

  ring R1=0,(x,y),dp;
  ring R2=32003,(a,b),dp;
  def R=R1+R2;
  R;
→ //   characteristic : 32003
→ //   number of vars : 4
→ //        block   1 : ordering dp
→ //                  : names    x y 
→ //        block   2 : ordering dp
→ //                  : names    a b 
→ //        block   3 : ordering C

See also: ring_lib.