LieGroups/DirectProduct/package.mo

Download original .moGitHub source

Documentation: LieGroups.DirectProduct

within LieGroups;
package DirectProduct "Concrete direct-product groups used by applications"
end DirectProduct;