William Sit wrote:
> Gabriel:
>
> Thanks for the response. Your script shows how to get the
> parameters, not the constructor. I do not have OpenAxiom
> installed (sorry). The question is whether I can test that
> the constructor is Fraction, or otherwise (like
> FiniteField) when the domain belongs to the category
> Field.
>
Do you want something like this?
(10) -> a := Fraction(Integer)
(10) Fraction Integer
Type: Domain
(11) -> (opOf(devaluate(a)$Lisp)$Lisp = 'Fraction::SEX)@Boolean
(11) true
Type: Boolean
(12) -> (opOf(devaluate(a)$Lisp)$Lisp = 'FiniteField::SEX)@Boolean
(12) false
Type: Boolean
(13) -> a :=FiniteField(5,2)
(13) FiniteField(5,2)
Type: Domain
(14) -> (opOf(devaluate(a)$Lisp)$Lisp = 'Fraction::SEX)@Boolean
(14) false
Type: Boolean
(15) -> (opOf(devaluate(a)$Lisp)$Lisp = 'FiniteField::SEX)@Boolean
(15) true
Type: Boolean
--
Waldek Hebisch
hebi...@math.uni.wroc.pl
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
