I = ncIdeal fs
This defines a two-sided ideal in a noncommutative ring.
|
|
|
|
|
The object ncIdeal is a method function.