The following functions allow the changing of the printing style of module elements (and the bases of modules). See the definition section of this chapter for a description of the printing styles.

AssertAttribute(ModMPol, "MatrixPrinting", l) : Cat, MonStgElt, BoolElt ->

This attribute is used to change the default printing for all modules created after the AssertAttribute command is executed. If l is true, then the matrix printing style will be subsequently used by default. Otherwise, the polynomial printing style will be used. The default can be overruled for a particular module by use of the AssertAttribute option listed below. The value of this attribute is obtained by use of HasAttribute(ModMPol, "MatrixPrinting").

This function is used to find the current default printing style for all modules. It returns true (since this attribute is always defined for ModMPol), and also returns the current value of the attribute. The procedure AssertAttribute(ModMPol, "MatrixPrinting", l) may be used to control the value of this flag.

This function is used to change the current printing style for the module M. If l is true, then the matrix printing style will be subsequently used for M. Otherwise, the polynomial printing style will be used for M. The value of this attribute is obtained by use of HasAttribute(M, "MatrixPrinting").

This function is used to find the current printing style for the module M. It returns true (since this attribute is always defined for a module), and also returns the current value of the attribute. The procedure AssertAttribute(M, "MatrixPrinting", l) may be used to control the value of this flag.