[Top][All Lists]
[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
- [Axiom-developer] simplified makefile fails,
root <=
- [Axiom-developer] simplified makefile fails, root, 2005/01/20
- RE: [Axiom-developer] simplified makefile fails, Bill Page, 2005/01/20
- Re: [Axiom-developer] simplified makefile fails, root, 2005/01/20
- [Axiom-developer] GCL 2.6.6 and Axiom, Bill Page, 2005/01/20
- [Axiom-developer] Re: GCL 2.6.6 and Axiom, root, 2005/01/20
- [Axiom-developer] RE: GCL 2.6.6 and Axiom, Bill Page, 2005/01/20
- RE: [Axiom-developer] simplified makefile fails, Bill Page, 2005/01/20