The RootOf class is explicitly defined as representing numerical complex roots of equations. The only possibility of dealing with roots of polynomials in other domains, e.g., in function fields, is by means of radicals. (Though this may not be a too big impediment in practise.)
However, there are situations where radicals do not suffice, for example, finite fields of prime power order. Their elements are algebraic over the prime field but cannot be represented in SymPy even by radicals. A more general RootOf class is called for. Would it be possible to replace the current usage of RootOf() by something like rootof() and raise the status of the RootOf class to a more abstract level? (Or is it too late to change it now?) -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/a3777481-59d8-4f6d-8b54-802308b86626%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
