SubmanifoldQ

• SubmanifoldQ[large,small] yields True if manifold large contains or is equal to manifold small.

• If one or both arguments is a list of manifolds, then SubmanifoldQ gives True if any of small is a submanifold of any of large.
• See: Section 4.3.
• See also: SubmanifoldsOfManifold, DisjointManifoldsQ.
• New in version 0.
• Last update: 22-IX-2007 for version 0.9.3 of xTensor`.

Created by Mathematica  (May 16, 2008)