[Top][All Lists]
[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 06:22:49 -0600 |
Changes http://page.axiom-developer.org/zope/mathaction/AxiomMail/diff
--
>
> 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.
Thank you, I think I understand, but how then would you assert that something
is in a Domain? I tried
typeOf(3)=Integer
but such a simple solution doesn't work.
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
- [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 <=
- [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