Re: [Axiom-developer] Bug #359

[Ralf Hemmecke]

On 06/06/2007 02:23 PM, Martin Rubey wrote:
> 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

Thanks, I've reverted my comment.

The only thing I would say is that FiniteLinearAggregateFunctions2 where 
map is finally implemented looks much more complicated than just writing

[beta a for a in la]

instead of

map(beta, la).

Ralf