FormatLaTeXΒΆ

fmtlatex.spad line 100 [edit on github]

FormatLaTeX provides a coercion from OutputForm to LaTeX format. The particular dialect of TeX used is LaTeX, but for flexibility reasons FormatLaTeX outputs everything into a fricasmath environment in which certain additional commands are available. These commands are defined in a .sty file that is distributed with the source code of FriCAS.

altsupersub: Integer -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

binary: ((Integer, List OutputForm) -> OutputBox, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

binomial: (Integer, List OutputForm) -> OutputBox

from FormatterCategory

box: ((Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

bracket: (String, String, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

coerce: % -> OutputForm

from CoercibleTo OutputForm

defaultEpilogue: String -> OutputBox

from FormatterCategory

defaultPrologue: String -> OutputBox

from FormatterCategory

environment: (String, String, String, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

environmnt(env, x, sep) returns a handler that typesets its arguments (without parentheses) in a LaTeX environment with name env. The string x is put right after the start of the environment. The arguments are separated by the string sep.

formatConstant: String -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

formatExpression: (OutputForm, Integer) -> OutputBox

from FormatterCategory

formatExpression: Integer -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

formatExpression: OutputForm -> OutputBox

from FormatterCategory

formatFloat: String -> OutputBox

from FormatterCategory

formatFunctionSymbol: String -> OutputBox

from FormatterCategory

formatInteger: Integer -> OutputBox

from FormatterCategory

formatString: String -> OutputBox

from FormatterCategory

formatSymbol: String -> OutputBox

from FormatterCategory

fraction: (Integer, (Integer, List OutputForm) -> OutputBox, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

infix: (String, Integer, (Integer, List OutputForm) -> OutputBox, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

integral: Integer -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

matrix: (String, String) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

maxPrecedence: () -> Integer

from FormatterCategory

minPrecedence: () -> Integer

from FormatterCategory

nary: (String, Integer, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

naryPlus: (String, String, Integer, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

nothing: () -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

nthRoot: (Integer, (Integer, List OutputForm) -> OutputBox, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

numberOfPrimes: OutputForm -> Integer

from FormatterCategory

operatorHandlers: () -> OperatorHandlers((Integer, List OutputForm) -> OutputBox)

from FormatterCategory

overbar: (Integer, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

parenthesize: (String, String, OutputBox) -> OutputBox

from FormatterCategory

parenthesizeIf: (Boolean, OutputBox) -> OutputBox

from FormatterCategory

pile: ((Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

power: (Integer, (Integer, List OutputForm) -> OutputBox, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

precedence: (Integer, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

prefix: (String, Integer, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

prime: Integer -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

product: Integer -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

scripts: Integer -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

slash: (Integer, (Integer, List OutputForm) -> OutputBox, (Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

subscript: Integer -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

sum: Integer -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

theMap: (Integer, List OutputForm) -> OutputBox

from FormatterCategory

vconcat: ((Integer, List OutputForm) -> OutputBox) -> (Integer, List OutputForm) -> OutputBox

from FormatterCategory

zag: (Integer, List OutputForm) -> OutputBox

from FormatterCategory

CoercibleTo OutputForm

FormatterCategory