[Axiom-developer] [#8 (Savannah bug #9297) output misses some parenthesis] also Tex needs patching

[kratt6]

Note that there is a tiny bug in Tex too -- in axioms domain, of course:

\begin{axiom}
  product(product(i*j, i=a..b),j=c..d)
\end{axiom}

The offending code is in tex.spad, here is a patch::

  --- tex.spad    2005-01-03 18:14:33.000000000 +0100
  +++ /home/rubey/martin/Axiom/tex.spad   2005-01-20 15:35:45.000000000 +0100
  @@ -144,8 +144,8 @@
                0,  0,   0]$(L I)
       naryNGOps     : L S := ["ROW","&"]$(L S)
  
  -    plexOps       : L S := 
["SIGMA","SIGMA2","PI","INTSIGN","INDEFINTEGRAL"]$(L S)
  -    plexPrecs     : L I := [    700, 800,      700,            700]$(L I)
  +    plexOps       : L S := ["SIGMA","SIGMA2","PI","PI2", 
"INTSIGN","INDEFINTEGRAL"]$(L S)
  +    plexPrecs     : L I := [    700, 800,    700, 800,           700]$(L I)
  
       specialOps    : L S := ["MATRIX","BRACKET","BRACE","CONCATB","VCONCAT",  
_
                               "AGGLST","CONCAT","OVERBAR","ROOT","SUB","TAG", _
  @@ -456,8 +456,9 @@
         (n ^= 2) and (n ^= 3) => error "wrong number of arguments for plex"
         s : S :=
           op = "SIGMA"   => "\sum"
  -        op = "SIGMA2"   => "\sum"
  +        op = "SIGMA2"  => "\sum"
           op = "PI"      => "\prod"
  +        op = "PI2"     => "\prod"
           op = "INTSIGN" => "\int"
           op = "INDEFINTEGRAL" => "\int"
           "????"


Tex transforms OutputForm to TeX, so it translates literally. OutputForm 
displays "PI2" as a definite products, so we have to add it here, analogously 
to "SIGMA2".

Note however, that I don't really understand plexPrecs, so I'm not sure what's 
the correct value there...

Martin
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden