ncRightIdeal -- Define a right ideal in a noncommutative ring

Synopsis

Usage:

I = ncRightIdeal fs
Inputs:
- fs, an instance of the type NCRingElement, or a List of NCRingElements
Outputs:
- I, an instance of the type NCRightIdeal,

Description

This defines a right ideal in a noncommutative ring. Not much can be done with these objects at this point (as one can tell by the dearth of operations that take an NCRightIdeal as input), but eventually it will be a 'fully featured' object.

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,r}

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

o5 : NCRightIdeal

Ways to use ncRightIdeal :

ncRightIdeal(List)
ncRightIdeal(NCRingElement)

For the programmer

The object ncRightIdeal is a method function.