QuaternionCategoryFunctions2(QR, R, QS, S)

quat.spad line 215 [edit on github]

• QR : QuaternionCategory(R)
• R : CommutativeRing
• QS : QuaternionCategory(S)
• S : CommutativeRing

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

map : (Mapping(S, R), QR) -> QS

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