axiom-math
[Top][All Lists]
Advanced

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

Re: [Axiom-math] Are Fraction and Complex domains.


From: Gabriel Dos Reis
Subject: Re: [Axiom-math] Are Fraction and Complex domains.
Date: 11 May 2006 18:47:22 +0200

Francois Maltey <address@hidden> writes:

| Hello,
| 
| What is the finest term ?
| 
| Integer is a domain, 
| 
| Can I say : " Complex Integer is a domain " ?

I think so.

|        or   " Complex " is a domain with a parameter as Integer ?

"Complex" is the name of a (type) function.  "Complex ?" is a mode.
(Integer is a mode too, but that is less interesting.)

|        or   " Complex " construct a domain, but isn't a domain ?

I think so.

|        or   " Integer " is an abbreviation for Integer without parameter ?

from the functional perspective, Integer is a nullary (type) function;
it is actually a type constant.

HTH,

-- Gaby




reply via email to

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