--- 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