FramedNonAssociativeAlgebraFunctions2(AR, R, AS, S)

naalg.spad line 1052 [edit on github]

• AR : FramedNonAssociativeAlgebra(R)
• R : CommutativeRing
• AS : FramedNonAssociativeAlgebra(S)
• S : CommutativeRing

FramedNonAssociativeAlgebraFunctions2 implements functions between two framed non associative algebra domains defined over different rings. The function map is used to coerce between algebras over different domains having the same structural constants.

map : (Mapping(S, R), AR) -> AS

map(f, u) maps f onto the coordinates of u to get an element in AS via identification of the basis of AR as beginning part of the basis of AS.