help links subscribe changes refresh edit

	IssueTracker
#174 (1 . failed) cannot be coerced to mode (Integer) in TriangularMatrixOperations ←	↑	→ #176 Factored Polynomials aren't differentiated correctly

#175 Works on implementation and/or documentation of LieSquareMatrix

Edit detail for #175 Works on implementation and/or documentation of LieSquareMatrix revision 2 of 2

	1 2
Editor: test1 Time: 2016/11/14 20:33:03 GMT+0
Note:

added:

From test1 Mon Nov 14 20:33:03 +0000 2016
From: test1
Date: Mon, 14 Nov 2016 20:33:03 +0000
Subject: 
Message-ID: <20161114203303+0000@axiom-wiki.newsynthesis.org>

Status: open => closed

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))

... --test1, Mon, 14 Nov 2016 20:33:03 +0000 reply

Status: open => closed