3 type Cart_Axis_Type
is (X
, Y
, Z
);
5 type Cart_Vector_Type
is array (Cart_Axis_Type
) of Float;
7 function Mag
(Item
: in Cart_Vector_Type
) return Float;
9 type Unit_Vector_Type
is array (Cart_Axis_Type
) of Float;
14 Axis
: Unit_Vector_Type
;
17 type Unit_Quaternion_Type
is record
24 function Unit_Quaternion_To_Mag_Axis
(Quaternion
: in Unit_Quaternion_Type
)
27 X_Unit
: constant Unit_Vector_Type
:= (1.0, 0.0, 0.0);