help links subscribe changes refresh edit

	Axiom Algebra
SandBoxFunctionalSpecialFunction ←	↑	→ Tuples Products And Records

SubDomain

Edit detail for SubDomain revision 1 of 7

	1 2 3 4 5 6 7
Editor: Bill Page Time: 2008/07/23 15:09:09 GMT-7
Note: quick initial reference

changed:
-
PositiveInteger and NonNegativeInteger are subdomains of Integer.

Categories are values of the domain 'SubDomain Domain'.
'Domain' is a domain whose values are all domains. For
example:
\begin{axiom}
Integer
Ring
\end{axiom}

PositiveInteger? and NonNegativeInteger? are subdomains of Integer.

Categories are values of the domain SubDomain Domain. Domain is a domain whose values are all domains. For example:

axiom

Integer

(1)

Type: Domain

axiom

Ring

(2)

Type: SubDomain? Domain