OutputFormToolsΒΆ

outform2.spad line 11

undocumented

arguments: OutputForm -> List OutputForm
arguments(f) gives arguments of form f. Valid only when atom?(f) is false
atom?: OutputForm -> Boolean
atom?(f) checks if form f is atomic, false means composite
construct: (OutputForm, List OutputForm) -> OutputForm
construct(op, la) creates OutputForm with operator op and arguments la
has_op?: (OutputForm, Symbol) -> Boolean
has_op?(f, s) returns true is f is a composite from with operator s, otherwise returns false
integer: OutputForm -> Integer
integer(f) gives integer corresponding to f. Valid only when integer?(f) is true
integer?: OutputForm -> Boolean
integer?(f) checks if f is an integer, this implies atom?(f)
is_symbol?: (OutputForm, Symbol) -> Boolean
is_symbol?(f, s) retruns true if form is symbol s, otherwise returns false
operator: OutputForm -> OutputForm
operator(f) gives operator (head) of form f. Valid only when atom?(f) is false
precondition: OutputForm -> OutputForm
precondition(f) prepares form for formatting.
string: OutputForm -> String
string(f) gives string corresponding to f. Valid only when string?(f) is true
string?: OutputForm -> Boolean
string?(f) checks if f is a string, this implies atom?(f)
symbol: OutputForm -> Symbol
symbol(f) gives symbol corresponding to f. Valid only when symbol?(f) is true
symbol?: OutputForm -> Boolean
symbol?(f) checks if f is a symbol, this implies atom?(f)