[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: fixing SPAD
From: |
Martin Rubey |
Subject: |
[Axiom-developer] Re: fixing SPAD |
Date: |
19 May 2007 17:19:31 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Gabriel Dos Reis <address@hidden> writes:
> On Sat, 19 May 2007, Martin Rubey wrote:
>
> | Gabriel Dos Reis <address@hidden> writes:
> |
> | > I believe you raise a fundamental problem, which is that Spad
> | > should allow combination of predicate through usual logical operators.
> |
> | "combinations of predicates through usual logical operators." *are* allowed.
> | Only, in the context of conditional exports, predicates are limited to "is"
> and
> | "has".
>
> I meant in the context of conditional exports.
> Sorry, if that wasn't clear -- as I assumed you were talking of exports.
Sorry, but this reply of you makes your initial statement "unclearer". You
write
> | > Spad should allow combination of predicate through usual logical
> | > operators.
This sounds as though combination of predicates (in conditional exports) would
not be allowed.
But currently, Spad does allow combination of predicates through usual logical
operators, no matter where. However, *predicates* in the context of
conditional exports are limited to "is" and "has", it seems to me. So,
combination works, but arbitrary predicates don't.
Do we agree?
Martin
- [Axiom-developer] fixing SPAD, Martin Rubey, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Martin Rubey, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- [Axiom-developer] Re: fixing SPAD,
Martin Rubey <=
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Martin Rubey, 2007/05/19
- [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Waldek Hebisch, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Waldek Hebisch, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Gabriel Dos Reis, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Ralf Hemmecke, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Waldek Hebisch, 2007/05/19
- Re: [Axiom-developer] Re: fixing SPAD, Martin Rubey, 2007/05/19