atlas[Domain] - declaration of a manifold or its domain

Calling Sequence:

     Domain(manifold)
     Domain()

Parameters:

      manifold - identifier (indexed name or symbol) - a manifold name or a name of a manifold domain  

Description:

The Domain  procedure declares different manifolds (or its domains) in one session; each manifold (domain) can have its own dimension, coframe, frame, metric tensor field etc. Mapping between manifolds (domains) can be declared by procedure Mapping. (see atlas[Mapping] ).

The Domain procedure can be used in three ways:

• Domain(NewName) -declares manifold (or a domain of a manifold) named NewName and
  puts NewName as current (working) domain.
• Domain(OldName) - puts a manifold (or a domain of a manifold) named OldName
  (declared later) as current (working) domain.
• Domain() - returns the name of the current domain.

Examples:
restart:
with(atlas):

Declare domain named :
Domain(S^3);

Declare domain named :
Domain(T^2);

Show current domain:
Domain();

Return to the previous domain:
Domain(S^3);

Show current domain:
Domain();

Let's see "who is who":
Who();

See Also:

atlas , atlas[Mapping] , atlas[`&/`] , atlas[Who]  .