within LieGroups.SO3;
package Representations "Implementations of the replaceable rotation interface"
end Representations;