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

[Ralf Hemmecke]

Changes http://page.axiom-developer.org/zope/mathaction/AxiomMail/diff
--
Hello,

Martin Rubey wrote:
> Hans Peter W�rmli <address@hidden> writes:
> 
>> Hi
>>
>> What are my wrong expectations in the following interpreter session when 
>> using 
>> "typeOf" and "has"
>>
>> (1) -> e:=(1+n)/(n+k)
>>         n + 1
>>    (1)  -----
>>         n + k
>>                                            Type: Fraction Polynomial Integer
>> (2) -> typeOf e
>>    (2)  Fraction Polynomial Integer
>>                                                                  Type: Domain
>> (3) -> typeOf (e) has Fraction Polynomial Integer
>>    (3)  false
>>
>> In (3) I would expect true.

Hmm, I can find "typeOf" in the original Axiom book, but HyperDoc does 
not seem to know it. :-(

> 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)?

Ralf



_______________________________________________
Axiom-mail mailing list
address@hidden
http://lists.nongnu.org/mailman/listinfo/axiom-mail

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden