# Miscellaneous Commands¶

Some operations, including the type checker, can be made more verbose by giving the command:

atlas> set verbose


which remains in effect until a subsequent command:

atlas> set quiet


is given.

One can ask the state of all known identifiers by typing:

atlas> showall


which prints the type and value of every defined function and variable. If one just needs to know the type of one expression, one can type:

atlas> whattype expr


This performs type analysis of the expression and prints the result, but does not evaluate anything. Overloaded function names by themselves are not a valid expressions, so this form cannot be used to find out function overloading. However by suffixing a question mark to the command, it will print the types of all overloads of the given (function or operator) symbol:

atlas> whattype + ?
(int,int)->int
(rat,int)->rat
(rat,rat)->rat
(vec,vec)->vec
(ratvec,ratvec)->ratvec
(mat,int)->mat
(int,mat)->mat
(mat,mat)->mat
(Split,Split)->Split
(ParamPol,Param)->ParamPol
(ParamPol,(Split,Param))->ParamPol
(ParamPol,[(Split,Param)])->ParamPol
(ParamPol,ParamPol)->ParamPol
(string,string)->string
(string,int)->string
(int,string)->string
(string,(int,int))->string
Split->int


Finally when you get tired of using atlas, type:

atlas> quit
Bye.