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

[Hans Peter Würmli]

Changes http://page.axiom-developer.org/zope/mathaction/AxiomMail/diff
--
>
> Axiom is correct. "A has B" tests whether the Domain or Category A is a
> member of *Category* B or satisfies the axiom B. So
>
> Fraction Polynomial Integer has Ring
>
> or
>
> Field has Ring
>
> would return true, similarly
>
> PF 5 has commutative("*")
>
> returns true.

Thank you, I think I understand, but how then would you assert that something 
is in a Domain? I tried

typeOf(3)=Integer

but such a simple solution doesn't work.

H.P.


_______________________________________________
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