Ideally it should be abstract. Can't we add a domain argument? Or make it so that it stores a Poly instead of an Add?
Aaron Meurer On Thu, Feb 26, 2015 at 6:02 AM, Kalevi Suominen <[email protected]> wrote: > 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. -- 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/CAKgW%3D6J_ksaZNLfU8GX%2BxhH6chfgckFX_E2hWdvNAA6am1%2BTJA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
