|
4.19.3 ring operations
+
- construct a new ring
from
and
.
(The sets of variables must be distinct).
Note:
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 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_lib
|