atlas[kind] -  kind of a tensor

Calling Sequence:

     kind(T)

Parameters:

       T -any expression containing tensors, vectors, p-forms etc.

Description:

• In the atlas  package one can declare: constants, functions, vectors, p-forms, tensors etc. Any undeclared  identifier is treated as 0-form  i.e. as non-constan scalar   (see atlas[types] ). User can construct any reasonable  expressions from declared or undeclared objects.
• The kind  procedure finds out what kind of tensor is an expression.

Examples:
restart:
with(atlas):

Declare constants:
Constants(alpha,beta,C,lambda);

Declare functions:
Functions(f=f(x,y),y=y(z));

Declare vectors:
Vectors(E[j],X,Y,Z,U[i]);

Declare forms:
Forms(e[j]=1,omega=2,theta=p);

Declare Tensors:
Tensors(T=[n,k]);

Let's find out the kind of some objects and expressions
kind(z);

kind(omega);

E[j]-f*Y;
kind(%);

T&.d(theta);
kind(%);

d(z)&^d(x);
kind(%);

d(z)&^d(f)+omega;
kind(%);

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

See Also:

atlas , atlas[Constants] , atlas[Functions] , atlas[Forms] , atlas[Tensors] , atlas[Who]