--- mathml.spad.pamphlet 2007-12-16 08:16:28.000000000 -0800 +++ mathml.spad.pamphlet.new 2007-12-17 09:20:36.000000000 -0800 @@ -100,7 +100,14 @@ 12. y:UTS(FLOAT,'z,0) := exp(z) 13. a. c := continuedFraction(314159/100000) - b. c := continuedFraction(314159/100000) + b. c := continuedFraction(14159/100000) + c. c := continuedFraction(3,repeating [1], repeating [3,6]) + +14. F := operator F + x := operator x + y := operator y + a := F(x z,y z,z**2) + x y(z+1) + D(a,z) The \spadtype{TexFormat} domain has the capability to format an object with subscripts, superscripts, presubscripts and presuperscripts however @@ -1258,9 +1265,10 @@ -- may want to test that tmpZag contains 'ZAG' #args > 1 => ""formatMml(first rest tmpZag,minPrec)""formatMml(first rest rest tmpZag,minPrec)"+"formatZag(rest args)"" (first args = "..."::E)@Boolean => "" - position("ZAG",stringify first args,1) > 0 => + op:S := stringify first args + position("ZAG",op,1) > 0 => ""formatMml(first rest tmpZag,minPrec)formatMml(first rest rest tmpZag,minPrec)"" - "formatZag: Unexpected kind of ZAG" + error "formatZag: Last argument in ZAG construct has unknown operator: "op formatZag1(args : L E) : S == -- make alternative ZAG format without diminishing fonts, maybe