Re: [Axiom-developer] bug 7014: mathml parsing bug

[Waldek Hebisch]

Tim Daly wrote:
> Arthur,
> 
> )set out mathml on
> z:=continuedFraction(3,repeating [1], repeating [3,6])
> 
> gives the correct answer and then fails with:
> 
>  >> System error:
>  Cannot take first of an empty list
> 

The following should fix this:

--- /home/s/test/tt/fricas/trunk/src/algebra/mathml.spad.pamphlet       
2007-10-03 21:15:17.000000000 +0200
+++ trunk/src/algebra/mathml.spad.pamphlet      2007-12-05 14:05:38.000000000 
+0100
@@ -1227,7 +1227,9 @@
     -- {{ZAG}{1}{7}}
       tmpZag : L E := first args pretend L E
       #args > 1 => "<mfrac>"formatMml(first rest 
tmpZag,minPrec)"<mrow><mn>"formatMml(first rest rest 
tmpZag,minPrec)"</mn><mo>+</mo>"formatZag(rest args)"</mrow></mfrac>"
-      "<mfrac>"formatMml(first rest tmpZag,minPrec)formatMml(first rest rest 
tmpZag,minPrec)"</mfrac>"
+      -- EQUAL(tmpZag, "...")$Lisp => "<mo>&#x2026;</mo>"
+      (first args = "...":: E)@Boolean => "<mo>&#x2026;</mo>"
+      error "formatZag: Unexpected kind of ZAG"
       
     formatZag1(args : L E) : S ==
     -- make alternative ZAG format without diminishing fonts, maybe
@@ -1235,7 +1237,8 @@
     -- {{ZAG}{1}{7}}
       tmpZag : L E := first args pretend L E
       #args > 1 => "<mfrac>"formatMml(first rest 
tmpZag,minPrec)"<mrow><mn>"formatMml(first rest rest 
tmpZag,minPrec)"</mn><mo>+</mo>"formatZag(rest args)"</mrow></mfrac>"
-      "<mfrac>"formatMml(first rest tmpZag,minPrec)formatMml(first rest rest 
tmpZag,minPrec)"</mfrac>"
+      (first args = "...":: E)@Boolean => "<mo>&#x2026;</mo>"
+      error "formatZag1: Unexpected kind of ZAG"
 
     formatMml(expr : E,prec : I) ==
       i,len : Integer


-- 
                              Waldek Hebisch
address@hidden