[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] RE: Aldor and Axiom
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] RE: Aldor and Axiom |
Date: |
14 Feb 2006 15:09:09 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
C Y <address@hidden> 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?
- Re: [Axiom-developer] Re: Aldor and Axiom, (continued)
- Re: [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] RE: Aldor and Axiom, Jay Belanger, 2006/02/15
- Re: [Axiom-developer] RE: Aldor and Axiom,
Martin Rubey <=
- [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Ralf Hemmecke, 2006/02/14
- Re: [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Martin Rubey, 2006/02/15
- Re: [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Ralf Hemmecke, 2006/02/15
- [Axiom-developer] Re: Aldor and Axiom (was Re: What is SubDomain), Ralf Hemmecke, 2006/02/14
- [Axiom-developer] Re: Aldor and Axiom (was Re: What is SubDomain), Ralf Hemmecke, 2006/02/14
- [Axiom-developer] RE: What is SubDomain, Bill Page, 2006/02/13
- Re: [Axiom-developer] What is SubDomain (was: non extending category), Scott Morrison, 2006/02/14
- [Axiom-developer] Re: non extending category, root, 2006/02/10
- [Axiom-developer] RE: non extending category, Bill Page, 2006/02/10
Re: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/10