William Sit writes: > > > Martin Rubey wrote: > > On the other hand, given a Field to ask whether it is a QuotientField is a > > question that I consider quite important. > > > > However, the desirable query > > > > if R has QuotientField S > > > > thus defining S is, I think, quite difficult to implement sensibly. > > Not only that, such a use is limited because it requires the user to supply S > already.
I meant the above in the sense of pattern matching -- whereas the following sentence was meant to indicate that this is is not the way to go. > If it is possible to inquire about the parameters [...] of F [...] Yes, maybe you remember that I was asking for exactly this a while ago. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
