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)

fricas

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

fricas

a:=matrix([[1/2,3/4],[7/2,5/7]])$LieSquareMatrix(2,FRAC INT)

   The function matrix is not implemented in LieSquareMatrix(2,Fraction
      (Integer)) .

fricas

a:=matrix([[1/2,3/4],[7/2,5/7]])$LieSquareMatrix(2,FRAC INT)

   The function matrix is not implemented in LieSquareMatrix(2,Fraction
      (Integer)) .

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

Status: open => closed