OctonionCategoryFunctions2(OR, R, OS, S)

oct.spad line 322 [edit on github]

• OR : OctonionCategory(R)
• R : CommutativeRing
• OS : OctonionCategory(S)
• S : CommutativeRing

OctonionCategoryFunctions2 implements functions between two octonion domains defined over different rings. The function map is used to coerce between octonion types.

map : (Mapping(S, R), OR) -> OS

map(f, u) maps f onto the component parts of the octonion u.