[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Type of Expression Problem
From: |
Martin Rubey |
Subject: |
Re: [Axiom-mail] Type of Expression Problem |
Date: |
14 Nov 2005 17:17:05 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Ralf Hemmecke <address@hidden> writes:
> Hmm, I can find "typeOf" in the original Axiom book, but HyperDoc does not
> seem
> to know it. :-(
it is not a library function -- only defined in the interpreter.
>
> > Axiom is correct. "A has B" tests whether the Domain or Category A is a
> > member
> > of *Category* B or satisfies the axiom B.
>
> Oh can one do this with A being a category?
>
> Anyway, what is the semantics of "A has B" if both (A and B) are domains as
> above in line (3)?
To return false, I believe.
Martin
- Re: [Axiom-mail] Type of Expression Problem, (continued)
- Re: [Axiom-mail] Type of Expression Problem, Hans Peter Würmli, 2005/11/13
- Re: [Axiom-mail] Type of Expression Problem, Martin Rubey, 2005/11/15
- Re: [Axiom-mail] Type of Expression Problem, Hans Peter Würmli, 2005/11/15
- Re: [Axiom-mail] Type of Expression Problem, Martin Rubey, 2005/11/16
- Re: [Axiom-mail] Type of Expression Problem, Hans Peter Würmli, 2005/11/16
- Re: [Axiom-mail] Type of Expression Problem, Martin Rubey, 2005/11/17
- [Axiom-mail] Axiom bibliography, Hans Peter Würmli, 2005/11/17
- Message not available
- Re: [Axiom-mail] Axiom bibliography, Hans Peter Würmli, 2005/11/18
- RE: [Axiom-mail] Axiom bibliography, Bill Page, 2005/11/18
Re: [Axiom-mail] Type of Expression Problem, Ralf Hemmecke, 2005/11/14
- Re: [Axiom-mail] Type of Expression Problem,
Martin Rubey <=