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. Do we agree? Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
