Francois Maltey <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
