[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] what is meaining of % in SPAD
From: |
Page, Bill |
Subject: |
RE: [Axiom-developer] what is meaining of % in SPAD |
Date: |
Wed, 20 Jul 2005 19:53:44 -0400 |
On July 20, 2005 7:23 PM William Sit wrote:
> "Page, Bill" wrote:
>> ...
>> What does the % represent?
>
> % means the current domain in which this occurs (for categories,
> it refers to any domain of that category). In older spad files,
> the symbol is $ (Chapter 12 of Axiom book). Here, it means EXPR R.
Yes, thanks. After thinking twice about this I realized that this
must be the case.
Are the notations % and $ used interchangably in SPAD code? Why
this change? This use of % does not seem to be mentioned anywhere
in the book but you imply that it is a "newer" notation.
>...
> I am not too sure exactly how 'EXPR R' orders its elements, but
> from 'expr.spad', the ordering is inherited from 'Rep :=
> FRAC SMP(R, Kernel EXPR R)'. Ignoring the ordering on 'FRAC'
> (uniquely determined by the ordering on 'SMP'), this means the
> ordering should be induced by lexicographic order using the
> "variables" ordering of 'Kernel EXPR R'. Here is where things become
> difficult (one of the cyclic compiler problems?). Have to dig into
> kl.spad.
Very interesting reading! :)
As near as I can determine (see previous email), it all has to do
with CacheableSet.
Thanks.
Bill Page.
- [Axiom-developer] what is meaining of % in SPAD, Page, Bill, 2005/07/20
- Re: [Axiom-developer] what is meaining of % in SPAD, William Sit, 2005/07/20
- RE: [Axiom-developer] what is meaining of % in SPAD, Page, Bill, 2005/07/20
- RE: [Axiom-developer] what is meaining of % in SPAD,
Page, Bill <=
- [Axiom-developer] what is meaining of % in SPAD, daly, 2005/07/20
- RE: [Axiom-developer] what is meaining of % in SPAD, Page, Bill, 2005/07/21
- Re: [Axiom-developer] what is meaining of % in SPAD, William Sit, 2005/07/21