LieGroups/SE23/WithDcm/package.mo

Download original .moGitHub source

Documentation: LieGroups.SE23.WithDcm

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