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: (R -> S, OR) -> OS

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