Dear Ralf, > Why? The reason is the ::Boolean. That leads to a type mismatch. You > effectively ask for a function with the signature
> map: (L -> Boolean, L) -> List Boolean (where L ==> List Equation Polynomial Integer.) I think you meant to write map: (Equation Polynomial Integer -> Boolean, L) -> List Boolean > but Axiom does not provide such a function. In case the above was indeed a typo, this is not true, ListFunctions2 has such a map: (1) -> )sh ListFunctions2 ListFunctions2(A: Type,B: Type) is a package constructor Abbreviation for ListFunctions2 is LIST2 This constructor is exposed in this frame. Issue )edit /users/rubey/axiom/target/i686-pc-linux//../../src/algebra/LIST2.spad to see algebra source code for LIST2 ------------------------------- Operations -------------------------------- map : ((A -> B),List A) -> List B reduce : (((A,B) -> B),List A,B) -> B scan : (((A,B) -> B),List A,B) -> List B Martin _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer