QuaternionCategoryFunctions2(QR, R, QS, S)ΒΆ

quat.spad line 215

QuaternionCategoryFunctions2 implements functions between two quaternion domains. The function map is used by the system interpreter to coerce between quaternion types.

map: (R -> S, QR) -> QS
map(f, u) maps f onto the component parts of the quaternion u.