|
7.3.16 nc_algebra
Syntax:
nc_algebra( matrix_expression C, matrix_expression D )
nc_algebra( number_expression n, matrix_expression D )
nc_algebra( matrix_expression C, poly_expression p )
nc_algebra( number_expression n, poly_expression p )
Type:
- ring
Purpose:
- Executed in the basering
r , say, in k variables
nc_algebra creates and returns the
non-commutative extension of r subject to relations
triangular matrices C with entries
from the ground field of r
and D with (commutative) polynomial entries
from r . See all the details in G-algebras.
If
one can input the number n instead of matrix C .
If
one can input the polynomial p instead of matrix D .
Note: The returned ring should be activated afterwards, using the command setring .
Remark:
- At present, PLURAL does not check the non-degeneracy conditions (see G-algebras) while setting an algebra.
Example:
See also
ncalg_lib;
nctools_lib;
qmatrix_lib.
|