C Y <[EMAIL PROTECTED]> writes: > > > Hmm. But aren't there some cases where you want this, like > > > (say) knowing that 4 is a real integer without having to > > > explicitly say that? (Sorry that's probably a dumb question). > > > > The phrase "real integer" is kind of dumb ... :) What other kinds > > of integers are there? > > Heh. None that I know of, but that's not saying much.
Gaussian Integers? _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
