[Axiom-mail] Type of Expression Problem

[Hans Peter Würmli]

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.
 
Cheers, H.P.