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 + ?
  Overloaded instances of +
    (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.