axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

## [Axiom-developer] [InfiniteTuple] (new)

 From: Bill Page Subject: [Axiom-developer] [InfiniteTuple] (new) Date: Fri, 18 Feb 2005 01:35:12 -0600

```Changes http://page.axiom-developer.org/zope/mathaction/InfiniteTuple/diff
--
The following description is copied from the source code.
No other documentation is available yet for this domain.

)abbrev domain ITUPLE InfiniteTuple::

++ Infinite tuples for the interpreter
++ Author: Clifton J. Williamson
++ Date Created: 16 February 1990
++ Date Last Updated: 16 February 1990

InfiniteTuple(S:Type): Exports == Implementation where::

++ This package implements 'infinite tuples' for the interpreter.
++ The representation is a stream.

Exports ==> CoercibleTo OutputForm with
map: (S -> S, %) -> %
++ map(f,t) replaces the tuple t
++ by \spad{[f(x) for x in t]}.
filterWhile: (S -> Boolean, %) -> %
++ filterWhile(p,t) returns \spad{[x for x in t while p(x)]}.
filterUntil: (S -> Boolean, %) -> %
++ filterUntil(p,t) returns \spad{[x for x in t while not p(x)]}.
select: (S -> Boolean, %) -> %
++ select(p,t) returns \spad{[x for x in t | p(x)]}.
generate: (S -> S,S) -> %
++ generate(f,s) returns \spad{[s,f(s),f(f(s)),...]}.
construct: % -> Stream S
++ construct(t) converts an infinite tuple to a stream.

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden

```

reply via email to

 [Prev in Thread] Current Thread [Next in Thread]
• [Axiom-developer] [InfiniteTuple] (new), Bill Page <=