So, I started my week trying my best to figure out how to implement the third heuristic, given the fact that the Maple paper gave me no clue, on how do to it. I had also posted these questions on Math Stack and Math Overflow.
The answer to the first question  was highly misleading, and I again wasted time trying to find the fallacy in the answer. (By the way, if anyone is able to find where the answer is supposedly wrong, please do add a comment) . Also to add fuel to the fire, the Math Overflow guys gave me a so called Tumbleweed badge, which is given to a person who asks a question with no votes, no answers, no comments, and low views for a week. Sigh.
Then Sean, gave me a paper which had a heuristic, that follows a logic that I intelligently(?) used in my eleventh and twelfth entrance examinations, assume one of the four answers given in the options, substitute it back and see which one satisfies the question best (Umm. Did I mention this somewhere before?). Okay,now more seriously,let us once again examine the PDE in question,.
The algorithm is as follows:
1. Since and , are assumed to be bi-variate polynomials in and , by intuition should be a rational function in and . There could also be cases like when and there could be a series expansion on both sides. But its best that things are kept simple and hence those cases are left alone.
2. Then we substitute it in the equation, reduce it into a (numerator / denominator) form, throw away the denominator, and find the degree of the numerator. By intuition again, this is the maximum limit upto which and can reach.
3. First and are assumed to be constants and substituted in the PDE. Terms that are monomials in y are grouped together, for example and the coefficients are equated to zero, this gives us a set of linear equations in the coefficients which are tried to solve for using solve(). If it gives a non-trivial solution, those are the infinitesimals. If it doesn’t
4. Then keep iterating and . The next step would be to assume the infinitesimals to be , and follow step 3 again. If it doesn’t work out then, and step 3 and so on, till the max limit given by step 2 is reached.
5. It should be understood that non-trivial solutions for a homogeneous set of equations always return a set of equations, with arbitrary constants. For now, I’ve assumed all these constants to be one. I still don’t know how effective this is.
The source code can be seen here: https://github.com/sympy/sympy/pull/2196
Towards the end of the week, my mentor Sean Vig went out for a bike race, so I took this to my advantage, and went for a movie marathon (race) as well, for four days and did not do any work. I also learnt not to be overly-dependent on your mentor, and you can do stuff like thinking about algos, even when your mentor is taking time to review your pull requests. But for now I’ve just started work on another heuristic, and have to respond to his comments on my previous Pull Request. Till then bye.