LieGroups/SE23/WithQuaternion/package.mo

Download original .moGitHub source

Documentation: LieGroups.SE23.WithQuaternion

within LieGroups.SE23;
package WithQuaternion
  extends LieGroups.SE23.Generic(
    redeclare package Rotation = LieGroups.SO3.Representations.Quaternion);
end WithQuaternion;