Companion
Functions
A TermFormatter rendering terms in fully canonical functor(arg1, ..., argN) form, ignoring operators entirely and quoting functors only when necessary.
The default TermFormatter: renders operators as expressions, prints variables prefixed by _ rather than by Var.completeName, never quotes functors, and shows term tags.
Builds a TermFormatter out of an explicit combination of VarFormat, OpFormat, and FuncFormat. The other, more specific factories in this companion (canonical, default, readable, prettyVariables, prettyExpressions) are shorthands for common combinations.
A TermFormatter representing terms in a pretty way, i.e. by representing prefix, postfix, or infix expressions according to the operators defined in OperatorSet.DEFAULT. Variables are represented in pretty way as well, similarly to what the formatter returned by prettyVariables does.
A TermFormatter representing terms in a pretty way, i.e. by representing prefix, postfix, or infix expressions according to the provided OperatorSet. Variables are represented in pretty way as well, similarly to what the formatter returned by prettyVariables does.
A TermFormatter representing terms in a pretty way, i.e. by representing prefix, postfix, or infix expressions according to the operators defined in OperatorSet.DEFAULT. Variables may be represented either in a pretty way or through their raw representation, depending on the value of the prettyVariables.
A TermFormatter representing terms in a pretty way, i.e. by representing prefix, postfix, or infix expressions according to the provided OperatorSet. Variables may be represented either in a pretty way or through their raw representation, depending on the value of the prettyVariables.
A TermFormatter representing terms in canonical form, except for Variables which are represented using their simple name only, if possible. So for instance the term A_1 + B_2 is represented as '+'(A, B). Conversely, if two or more variables share the same simple name, they are represented through relative and progressive indexes. So for instance, the term A_3 + A_4 is represented as '+'(A1, A2).
A TermFormatter aimed at human-readable output: renders operators as expressions and variables in a pretty way (see VarFormat.PRETTY).