[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


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:

As Tim has pointed out, the Axiom algebra library does already contain a
domain called "SuchThat" that was among his first experiments in this

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.

Bill Page.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]