From the implementation of LieSquareMatrix?:
Exports ==> Join(SquareMatrixCategory(n,R,Row,Col), CoercibleTo Matrix R,_
FramedNonAssociativeAlgebra R)
axiom
lieAlgebra?()$LieSquareMatrix(2,FRAC INT)
algebra is anti-commutative
Jacobi identity holds
this is a Lie algebra
Type: Boolean
axiom
a:=matrix([[1/2,3/4],[7/2,5/7]])$LieSquareMatrix(2,FRAC INT)
Type: LieSquareMatrix
?(2,
Fraction(Integer))
axiom
a*a
Type: LieSquareMatrix
?(2,
Fraction(Integer))
axiom
b:=matrix([[2,4/7],[7/2,5/7]])$LieSquareMatrix(2,FRAC INT)
Type: LieSquareMatrix
?(2,
Fraction(Integer))
axiom
a*b
Type: LieSquareMatrix
?(2,
Fraction(Integer))
axiom
1$LieSquareMatrix(2,FRAC INT)
Internal Error
The function One with signature () -> % is missing from domain
LieSquareMatrix2(Fraction (Integer))
axiom
a:=matrix([[1/2,3/4],[7/2,5/7]])$LieSquareMatrix(2,FRAC INT)
Type: LieSquareMatrix
?(2,
Fraction(Integer))
axiom
minRowIndex a
Internal Error
The function minRowIndex with signature hashcode is missing from
domain LieSquareMatrix2(Fraction (Integer))