atlas[Who] - finding out "who is who" in atlas package 

Calling Sequence: 

    Who()
    Who(L)
 

Parameters: 

     L -an identifier, list or set of identifies. 

Description: 

  • In the atlas package any identifier is treated as 0-form i.e. as non-constan scalar (if it not declared as constant, p-form, tensor etc. (see atlas[types])).
 

  • The Who procedure allows one  to find out "who is who".
 

  • Who() - returns information about all declarations made;
 

  • Who(L) where L is an identifier - returns information about object L;
 

  • Who(L) where L is a list or set of identifiers - returns information about all objects in L;
 

Examples: 

> restart:
with(atlas):
 

Declare domain 

> Domain(Top);
 

Top(2.1)
 

Declare constants:  

> Constants(alpha,beta,C,lambda);
 

{`+`(`-`(I)), I, C, Pi, _Z, Catalan, alpha, beta, lambda}(2.2)
 

Declare functions:  

> Functions(f=f(x,y),y=y(z));
 

{f, y}(2.3)
 

Declare vectors:  

> Vectors(E[j],X,Y,Z,U[i]);
 

{X, Y, Z, E[j], U[i]}(2.4)
 

Declare forms:  

> Forms(e[j]=1,omega=2,theta=p);
 

{omega, theta, e[j]}(2.5)
 

Declare Tensors:  

> Tensors(T=[n,k]);
 

{T}(2.6)
 

Let's see "who is who" 

> Who(z);
 

z: 0 - form
 

> Who([X,omega]);
 

X: vector
omega: 2 - form
 

> Who({E[j],Top,T});
 

T: [n, k] - tensor
Top: domain
E[j]: vector
 

> Who();
 

piecewise(Domains, {Top}, Mappings, {}, Tensors, {T, X, Y, Z, omega, theta, E[j], U[i], e[j]}, Forms, {omega, theta, e[j]}, Constants, {`+`(`-`(I)), I, C, Pi, _Z, Catalan, alpha, beta, lambda}, Functi...(2.7)
 

>
 

See Also:  

atlas, atlas[Constants], atlas[Functions], atlas[Forms], atlas[Tensors], atlas[Domain].