#82 leftRankPolynomial and rightRankPolynomial

open
nobody
algebra (9)
5
2010-12-19
2010-12-19
Yue Li
No

Here's what I obtained:

(11) -> LieSquareMatrix(2, Fraction Integer) has
FramedNonAssociativeAlgebra(Fraction Integer)

(11) true
Type: Boolean
(12) ->
(12) ->
(12) ->
(12) -> leftRankPolynomial()$LieSquareMatrix(2, Fraction Integer)
Function: elt : (%,Integer,Integer) -> Fraction Integer is missing
from domain: LieSquareMatrix(2,Fraction Integer)
Internal Error
The function elt with signature (Fraction (Integer))$(Integer)(Integer) is
missing from domain LieSquareMatrix2(Fraction (Integer))

(12) ->
(12) ->
(12) -> rightRankPolynomial()$LieSquareMatrix(2, Fraction Integer)
Function: elt : (%,Integer,Integer) -> Fraction Integer is missing
from domain: LieSquareMatrix(2,Fraction Integer)
Internal Error
The function elt with signature (Fraction (Integer))$(Integer)(Integer) is
missing from domain LieSquareMatrix2(Fraction (Integer))

Note that, these two functions are implemented in the category
FramedNonAssociativeAlgebra, and should be owned by LieSquareMatrix domain.

I'm also wondering, in the error essage, why the domain name
LieSquareMatrix(2, Fraction Integer) is displayed as
LieSquareMatrix2(Fraction (Integer)) ?

Yue

Discussion


Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks