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
Axiom-mail@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-mail
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
