[Axiom-developer] 20080316.01.acr.patch (bug 7113 invisible times)

[daly]

Rewrite invisible times to be "<mspace width='0.3em'/>".
The proposed rewrite using 2002 does not work in the Axiom browser fonts.

x:=104348/33215

factor(numer x)/factor(denom x)
 
used to generate
    2
   2 191373
   ---------
    571373

now generates:
    2
   2 19 1373
   ---------
   5 7 13 73

Tim

========================================================================
diff --git a/changelog b/changelog
index 1076313..443b749 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,4 @@
+20080316 acr src/algebra/mathml.spad invisibletimes == <mspace width=0.3em>
 20080314 tpd Makefile --enable-maxpage=512*1024 due to kamke2
 20080314 tpd src/input/Makefile add heugcd.input
 20080314 tpd src/input/heugcd.input regression test listgcd change
diff --git a/src/algebra/mathml.spad.pamphlet b/src/algebra/mathml.spad.pamphlet
index 67a8157..124c18f 100644
--- a/src/algebra/mathml.spad.pamphlet
+++ b/src/algebra/mathml.spad.pamphlet
@@ -1267,9 +1267,7 @@ have to be switched by swapping names.
       op :=
         op = ","     => "<mo>,</mo>" --originally , \:
         op = ";"     => "<mo>;</mo>" --originally ; \: should figure these out
-        op = "*"     => 
-           checkargs := true
-           "<mo>&#x02062;</mo>"
+        op = "*"     => "<mspace width='0.3em'/>"
        -- InvisibleTimes
         op = " "     => "<mspace width='0.5em'/>"
         op = "ROW"   => "</mtd><mtd>"