axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] RE: [#8 (Savannah bug #9297) output misses some parent


From: Bill Page
Subject: [Axiom-developer] RE: [#8 (Savannah bug #9297) output misses some parenthesis] fixed in February build
Date: Thu, 20 Jan 2005 21:40:26 -0500

Tim,

I don't understand what you are doing here. It doesn't make
sense to close this bug. The patch that Martin is proposing
is not general enough. We have discussed this previously on
this list. There is more wrong here than just parenthesis
and LaTex.

Bill Page.

> -----Original Message-----
> From: anonymous [mailto:address@hidden 
> Sent: Thursday, January 20, 2005 2:45 PM
> To: address@hidden
> Subject: [#8 (Savannah bug #9297) output misses some 
> parenthesis] fixed in February build
> 
> 
> Status: open => closed 
> 
> --
> forwarded from 
> http://page.axiom-developer.org/zope/mathaction/8SavannahBug92
address@hidden
g



> -----Original Message-----
> From: root [mailto:address@hidden 
> Sent: Thursday, January 20, 2005 3:24 PM
> To: address@hidden
> Cc: address@hidden; address@hidden
> Subject: simplified makefile fails
> 
> 
> > 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...
> > 
> 
> This is fixed in the February build.
> Note that plexPrecs is a list of lexical precedent values.
> Of course there is no documentation to capture the meaning of '700'.
> 
> Tim
> 





reply via email to

[Prev in Thread] Current Thread [Next in Thread]