What do you mean by algebraic? There is is_polynomial or is_rational_function.
Aaron Meurer On Tue, Jun 11, 2013 at 12:54 PM, Manoj Kumar <manojkumarsivaraj...@gmail.com> wrote: > I was working out the second heuristic of the Maple paper along with Sean, > and the PR can be found here --> https://github.com/sympy/sympy/pull/2156 > > Firstly, the thing is I need to extract factors (according to the Maple > Paper) > a} that are algebraic > b} and are either a function of y alone or x alone > > For example if h(x, y) = y**2*sin(x) , a guess for g(y) would be y**2 > > The problem is, the code that I've implemented extracts all factors. Suppose > h(x, y) = exp(y)*x**2 , then g(y) would give me exp(y) also. > > Is there are a really good way to determine if an expression is algebraic or > not, thinking of something on the lines of .is_Polynomial() . Is > implementing something like .is_Algebraic() the best way forward? > > Secondly, I don't really find the necessity of g(y) to be algebraic. Because > out of the ODE's that Sean gave me, one or two infinitesimals had g(y) to be > non-algebraic, and the infinitesimals seemed to satisfy the PDE. Or maybe I > am missing something. > > -- > 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 sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy?hl=en-US. > For more options, visit https://groups.google.com/groups/opt_out. > > -- 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out.