[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] RE: What is SubDomain

**From**: |
Bill Page |

**Subject**: |
[Axiom-developer] RE: What is SubDomain |

**Date**: |
Mon, 13 Feb 2006 15:50:08 -0500 |

Ralf,
I think perhaps we can view SubDomain as the first steps towards computing
with provisos (i.e. "provided that ... clauses") and it is closely related
to the concept of "indefinite types" as explained by Tim Daly:
http://lists.gnu.org/archive/html/axiom-developer/2005-05/msg00205.html
http://wiki.axiom-developer.org/IndefiniteTypes
As Tim has pointed out, the Axiom algebra library does already contain a
domain called "SuchThat" that was among his first experiments in this
direction.
I think the the concept of NonNegativeInteger and PositiveInteger as
SubDomains of Integer are not so different from this. In a sense a
subdomain is just a domain with a proviso.
Regards,
Bill Page.

**Re: [Axiom-developer] Re: Aldor and Axiom**, *(continued)*
**Re: [Axiom-developer] Re: Aldor and Axiom**, *root*, `2006/02/15`
**Re: [Axiom-developer] Re: Aldor and Axiom**, *root*, `2006/02/15`
**Re: [Axiom-developer] Re: Aldor and Axiom**, *root*, `2006/02/15`
**Re: [Axiom-developer] RE: Aldor and Axiom**, *Jay Belanger*, `2006/02/15`
**Re: [Axiom-developer] RE: Aldor and Axiom**, *Martin Rubey*, `2006/02/14`
**[Axiom-developer] The symbol 4 (was Re: Aldor and Axiom)**, *Ralf Hemmecke*, `2006/02/14`
**Re: [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom)**, *Martin Rubey*, `2006/02/15`
**Re: [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom)**, *Ralf Hemmecke*, `2006/02/15`
**[Axiom-developer] Re: Aldor and Axiom (was Re: What is SubDomain)**, *Ralf Hemmecke*, `2006/02/14`
**[Axiom-developer] Re: Aldor and Axiom (was Re: What is SubDomain)**, *Ralf Hemmecke*, `2006/02/14`
**[Axiom-developer] RE: What is SubDomain**,
*Bill Page* **<=**
**Re: [Axiom-developer] What is SubDomain (was: non extending category)**, *Scott Morrison*, `2006/02/14`
**[Axiom-developer] Re: non extending category**, *root*, `2006/02/10`
**[Axiom-developer] RE: non extending category**, *Bill Page*, `2006/02/10`

**Re: [Axiom-developer] Help with JET**, *Vanuxem GrĂ©gory*, `2006/02/10`