|
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
[Prev in Thread] | Current Thread | [Next in Thread] |