[Axiom-developer] Bug #359

[Martin Rubey]

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