Changes http://wiki.axiom-developer.org/MathML/diff --
)abbrev domain MML MathMLFormat ++added: +++ Author: Bob McElrath +++ Date Created: April 25 2006 +MathMLFormat(): public == private where + I ==> Integer + + public == SetCategory with + coerce: E -> $ + ++ coerce(o) changes o in the standard output format to TeX + ++ format. + + coerce(expr : E): $ == + f : $ := new()$$ + f.MathML := [postcondition + formatTex(precondition expr, minPrec)]$(L S) + f + + private == add + import OutputForm + import Character + import Integer + import List OutputForm + import List String + + Rep := Record(prolog : L S, MathML : L S, epilog : L S) + + formatMathML(expr,prec) == + i,len : Integer + ATOM(expr)$Lisp pretend Boolean => + str := stringify expr + len := #str + str = "%pi" => "<mi>π</mi>" + + + -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
