LieGroups/SE3/WithDcm/package.mo

Download original .moGitHub source

Documentation: LieGroups.SE3.WithDcm

within LieGroups.SE3;
package WithDcm
  extends LieGroups.SE3.Generic(
    redeclare package Rotation = LieGroups.SO3.Representations.Dcm);
end WithDcm;