NCRightIdeal + NCRightIdeal -- Sum of NCRightIdeals

Operator: +
Usage:

K = I + J
Inputs:
- I, an instance of the type NCRightIdeal,
- J, an instance of the type NCRightIdeal,
Outputs:
- K, an instance of the type NCRightIdeal,

Description

This command sums two NCRightIdeals.

i1 : A = QQ{x,y,z}

o1 = A

o1 : NCPolynomialRing

i2 : p = y*z + z*y - x^2

            2
o2 = zy+yz-x

o2 : A

i3 : q = x*z + z*x - y^2

         2
o3 = zx-y +xz

o3 : A

i4 : r = z^2 - x*y - y*x

      2
o4 = z -yx-xy

o4 : A

i5 : I = ncRightIdeal{p,q}

                         2      2
o5 = Right ideal {zy+yz-x , zx-y +xz}

o5 : NCRightIdeal

i6 : J = ncRightIdeal r

                   2
o6 = Right ideal {z -yx-xy}

o6 : NCRightIdeal

i7 : I + J

                         2      2      2
o7 = Right ideal {zy+yz-x , zx-y +xz, z -yx-xy}

o7 : NCRightIdeal

The source of this document is in NCAlgebra/NCAlgebraDoc.m2:1942:0.