Le lundi 27 mars 2006 à 22:35 -0500, Page, Bill a écrit :
[...]
> What is a "sequence"? As far as I know this is not defined in
> Axiom. Do mean that some types should be automatically coercible
> to type List? Note that:
>
> V:=vector [1,2,3]
> [i for i in V::List Integer]
>
> works in the
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Tuesday, March 28, 2006 12:36 AM Gaby wrote:
|
| > ...
| > Bill Page writes:
| > | What is a "sequence"?
| >
| > Sequence is my general term for list, vector or any "thingy"
| > walked through by a generator.
| >
|
| Well, Aldor does have generator
On Tuesday, March 28, 2006 12:36 AM Gaby wrote:
> ...
> Bill Page writes:
> | What is a "sequence"?
>
> Sequence is my general term for list, vector or any "thingy"
> walked through by a generator.
>
Well, Aldor does have generators:
http://www.aldor.org/docs/HTML/chap9.html
"In fact, this
"Page, Bill" <[EMAIL PROTECTED]> writes:
| On Monday, March 27, 2006 9:57 PM Gaby wrote:
| > ...
| > |
| > | As discussed in section "5.4.8 for Loops" of the Axiom book, you
| > | may follow the keyword 'in' only by an integer segment, stream or
| > | a list, but try this:
| > |
| > | V:=vector
On Monday, March 27, 2006 9:57 PM Gaby wrote:
> ...
> |
> | As discussed in section "5.4.8 for Loops" of the Axiom book, you
> | may follow the keyword 'in' only by an integer segment, stream or
> | a list, but try this:
> |
> | V:=vector [1,2,3]
> | [i for i in entries V]
> |
> | The function
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| > You can use the map operation on Vector and List but you can
| > iterate( [ i for i in List] ).
| > Is iteration built in a lower level of than spad, if not what
| > should I do to make Vector iteratable or is it not desirable ?
| >
|
| As disc
On Monday, March 27, 2006 7:06 PM Antoine Hersen wrote:
>
> 2 questions :
>
> On currying, is this a defect or it is normal ?
>
> (31) -> i j +-> i + j
>
>(31) i +-> j +-> i + j
>Type: AnonymousFunction
> (32) -> %(1)
>
>(32) j +-> G93074 + j
>Type: AnonymousFunction
> (33) -
Hello,
2 questions :
On currying, is this a defect or it is normal ?
(31) -> i j +-> i + j
(31) i +-> j +-> i + j
Type: AnonymousFunction
(32) -> %(1)
(32) j +-> G93074 + j
Type: