OctonionCategoryFunctions2(OR, R, OS, S)ΒΆ

oct.spad line 322

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.