Hello,
What is the finest term ?
Integer is a domain,
Can I say : " Complex Integer is a domain " ?
or " Complex " is a domain with a parameter as Integer ?
or " Complex " construct a domain, but isn't a domain ?
or " Integer " is an abbreviation for Integer without parameter ?
The question is the same for Fraction, Polynomial, and so.
Have a good day.
Francois
_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math
