Re: [Axiom-mail] Type of Expression Problem

[Hans Peter Würmli]

>
> 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.