use S -- installs certain defaults associated with S.
This will install functions or methods which make the use of S the default in certain contexts. For example, if S is a polynomial ring on the variable x, then it will set the value of the symbol x to be the corresponding element of the ring S.
Here is another example. If S is a monoid ring, then the product of an element of the base ring of S and an element of the base monoid of S will be taken to be an element of S, provided use S has been executed.
The return value is S.
When a ring is assigned to a global variable, this function is automatically called for it.
See also:
Ways to use use :