3.7 Creating Types

NewType returns the type given by the family fam and the filter filt. The optional third argument data is any object that denotes defining data of the desired type.

For examples where NewType is used, see Component Objects, Positional Objects, and the example in Chapter An Example -- Residue Class Rings.

[Top] [Previous] [Up] [Next] [Index]