axiom-developer
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Hans Peter Würmli
Subject: [Axiom-developer] [Axiom-mail] Type of Expression Problem
Date: Sun, 13 Nov 2005 03:06:07 -0600 
Changes http://page.axiom-developer.org/zope/mathaction/AxiomMail/diff
--

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.


_______________________________________________
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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]