axiom-developer
[Top][All Lists]
Advanced

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

[Axiom-developer] simplified makefile fails


From: root
Subject: [Axiom-developer] simplified makefile fails
Date: Thu, 20 Jan 2005 15:23:45 -0500

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