bas = basis(n,I)
This command returns a basis (or minimal generating set, if the ground ring is not a field), of a homogeneous two-sided ideal in a noncommutative ring.
|
|
|
|
|
|
The source of this document is in NCAlgebra/NCAlgebraDoc.m2:2075:0.