Quaternion Category Functions 2

The package QuaternionCategoryFunctions2 provides a function map to convert an expression in Quaternion(R) to an expression in Quaternion(S) using the function f.

q := quatern(2/11,-8,3/4,1)

       2        3
      -- - 8i + - j + k
      11        4
                                    Type: Quaternion Fraction Integer

f(a:Fraction Integer):Complex Fraction Integer == a::Complex Fraction Integer
 Function declaration f : Fraction Integer -> Complex Fraction
    Integer has been added to workspace.
                                                                 Type: Void

map(f,q)
 Compiling function f with type Fraction Integer -> Complex Fraction
    Integer

       2        3
      -- - 8i + - j + k
      11        4
                                  Type: Quaternion Complex Fraction Integer

See Also:

• )show QuaternionCategoryFunctions2