[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Axiom-mail] Type of Expression Problem
From: |
Martin Rubey |
Subject: |
[Axiom-developer] [Axiom-mail] Type of Expression Problem |
Date: |
Sun, 13 Nov 2005 05:27:51 -0600 |
Changes http://page.axiom-developer.org/zope/mathaction/AxiomMail/diff
--
Hans Peter W�rmli <address@hidden> writes:
> 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.
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.
Martin
_______________________________________________
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
- [Axiom-developer] [Axiom-mail] Type of Expression Problem, Hans Peter Würmli, 2005/11/13
- [Axiom-developer] [Axiom-mail] Type of Expression Problem,
Martin Rubey <=
- [Axiom-developer] [Axiom-mail] Type of Expression Problem, Hans Peter Würmli, 2005/11/13
- [Axiom-developer] [Axiom-mail] Type of Expression Problem, Martin Rubey, 2005/11/13
- [Axiom-developer] [Axiom-mail] Type of Expression Problem, Hans Peter Würmli, 2005/11/13
- [Axiom-developer] [Axiom-mail] Type of Expression Problem, Martin Rubey, 2005/11/15
- [Axiom-developer] [Axiom-mail] Type of Expression Problem, Hans Peter Würmli, 2005/11/15
- [Axiom-developer] [Axiom-mail] Type of Expression Problem, Martin Rubey, 2005/11/16
[Axiom-developer] [Axiom-mail] Type of Expression Problem, Ralf Hemmecke, 2005/11/14