LieGroups/SO2/log_map.mo
Download original .moGitHub source
Documentation: LieGroups.SO2.log_map
within LieGroups.SO2;
function log_map "Logarithmic map: SO(2) -> so(2) (identity map)"
input Real theta "Rotation angle [rad]";
output Real omega "Angular velocity [rad]";
algorithm
omega := theta;
end log_map;