A.4 Print Option Commands

set print mixfix on . / set print mixfix off .

Controls whether operators with mixfix syntax are printed in mixfix or prefix form. User-defined syntax is supported for pretty printing even though it is not currently supported for parsing. It is sometimes advantageous to have uniform prefix notation for output; for example, if the output is going to be post-processed by some other tool. Default is on.

set print graph on . / set print graph off .

If on, terms that are internally represented by graphs (currently, result terms together with terms being reduced and terms in substitutions during tracing) are printed as graph representations rather than as terms, together with the number of operator symbols in the full term. This can be useful in some pathological cases where the size of the term is exponential in the size of the graph. Default is off.

set print flattened on . / set print flattened off .

Controls whether arguments under function symbols with the associative attribute are printed in flattened form or not. Default is on.

set print with parentheses on . / set print with parentheses off .

If on, additional mixfix terms are printed with additional parentheses to make grouping explicit. Default is off.

set show stats on . / set show stats off .

Determines whether the number of rewrites is printed with the results of the reduce, rewrite and continue commands. Default is on.

set show timing on . / set show timing off .

Determines whether the cpu and real time used during rewriting is printed with the results of the reduce, rewrite and continue commands. Default is on.

set show command on . / set show command off .

Determines whether the full form of certain commands is printed before they are executed. Default is on.

set show gc on . / set show gc off .

Determines which message is printed when a garbage collect is performed. Default is off.