within LieGroups.DirectProduct;
package SE2R3R3 "Direct product SE(2) x R^3 x R^3"
end SE2R3R3;