On Sat, 19 May 2007, Martin Rubey wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > On Sat, 19 May 2007, Martin Rubey wrote: | > | > | Gabriel Dos Reis <[EMAIL PROTECTED]> 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.
Martin -- If you cannot correctly parse what I wrote, then I drop the ball. -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
