login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:02:41-08:00 (10 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

\label{eq1} \mbox{\rm true} (1)
Type: Boolean
axiom
a:=matrix([[1/2,3/4],[7/2,5/7]])$LieSquareMatrix(2,FRAC INT)

\label{eq2}\left[ 
\begin{array}{cc}
{1 \over 2}&{3 \over 4}
\
{7 \over 2}&{5 \over 7}
(2)
Type: LieSquareMatrix?(2,Fraction(Integer))
axiom
a*a

\label{eq3}\left[ 
\begin{array}{cc}
0 & 0 
\
0 & 0 
(3)
Type: LieSquareMatrix?(2,Fraction(Integer))
axiom
b:=matrix([[2,4/7],[7/2,5/7]])$LieSquareMatrix(2,FRAC INT)

\label{eq4}\left[ 
\begin{array}{cc}
2 &{4 \over 7}
\
{7 \over 2}&{5 \over 7}
(4)
Type: LieSquareMatrix?(2,Fraction(Integer))
axiom
a*b

\label{eq5}\left[ 
\begin{array}{cc}
{5 \over 8}& -{{213}\over{196}}
\
{{21}\over 4}& -{5 \over 8}
(5)
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)

\label{eq6}\left[ 
\begin{array}{cc}
{1 \over 2}&{3 \over 4}
\
{7 \over 2}&{5 \over 7}
(6)
Type: LieSquareMatrix?(2,Fraction(Integer))
axiom
minRowIndex a
Internal Error The function minRowIndex with signature hashcode is missing from domain LieSquareMatrix2(Fraction (Integer))

Status: open => closed




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: