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 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
