S = schurRing(A,s,n) creates a Schur ring of degree n over the base ring A, with variables based on the symbol s. This is the representation ring for the general linear group of n by n matrices, tensored with the ring A. If s is already assigned a value as a variable in a ring, its base symbol will be used, if it is possible to determine.
|
|
Alternatively, the elements of a Schur ring may be interpreted as characters of symmetric groups. To indicate this interpretation, one has to set the value of the option GroupActing to "Sn".
|
|
If the dimension n is not specified, then one should think of S as the full ring of symmetric functions over the base A, i.e. there is no restriction on the number of parts of the partitions indexing the generators of S.
|
|
If the base ring A is not specified, then QQ is used instead.
|
|
The object schurRing is a method function with options.