[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [Axiom-mail] Type of Expression Problem

From: Martin Rubey
Subject: [Axiom-developer] [Axiom-mail] Type of Expression Problem
Date: Mon, 14 Nov 2005 09:41:13 -0600

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.


Axiom-mail mailing list

forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]