globalAssignment -- install standard global assignment method

Synopsis

Usage:
globalAssignment X
Inputs:
- X, a type
Consequences:
- the functions globalAssignFunction and globalReleaseFunction are installed in the type X under GlobalAssignHook and GlobalReleaseHook, respectively. The effect is that when an object of type X is assigned to a global variable, the function use is called on it, and thereafter that object will print out as the name of the variable.

One type for which this has been done is Ring, as illustrated in the following example.

i1 : S := QQ[x]

o1 = QQ [x]

o1 : PolynomialRing

i2 : S

o2 = QQ [x]

o2 : PolynomialRing

i3 : S^3

             3
o3 = (QQ [x])

o3 : QQ [x]-module, free

i4 : R = S

o4 = R

o4 : PolynomialRing

i5 : S

o5 = R

o5 : PolynomialRing

i6 : S^3

      3
o6 = R

o6 : R-module, free