QuaternionCategoryFunctions2(QR, R, QS, S)

quat.spad line 216 [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: (R -> S, QR) -> QS

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