LieGroups/SE23/WithMrp/package.mo

Download original .moGitHub source

Documentation: LieGroups.SE23.WithMrp

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