Database
BASIC LINEAR ALGEBRA
Polynomial matrices
Constant polynomial matrices
cmat2pmat
Next ⟩
ccpmat2mat
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmat2pmat
Description:
Extend class notation with the transformation of a matrix into a matrix of polynomials.
Ref
Expression
Assertion
cmat2pmat
class
matToPolyMat