[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Bug #359
From: |
Martin Rubey |
Subject: |
[Axiom-developer] Bug #359 |
Date: |
06 Jun 2007 14:23:07 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
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] Bug #359,
Martin Rubey <=