[Top][All Lists]
[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