Hi Ondrej,

In the past few days I was trying to implement the solutions for general 
Thue equation in an 
attempt to fix the following issue,

https://code.google.com/p/sympy/issues/detail?id=4005

The issue is regarding the cubic Thue equation, but as I understood after 
reading some papers,
it requires almost the  same amount of effort required by a general Thue 
equation. So, I decided
to solve the general one rather than just the cubic case. 

Here is the paper used in PARI/GP package for implementing the Thue 
equation.

http://dx.doi.org/10.1006/jnth.1996.0129
 
I found a lot of references but they all need two problems solved.

[1] Given a number field, calculate a set of fundamental units
[2] Solve the norm equation

As far as I understood, these two problems themselves need a quite a number 
of algorithms
implemented. These algorithms do not belong in a Diophantine module but in 
an Algebraic
number theory module. So, I plan to implement such a module for SymPy. But 
I won't be 
able to complete it within the deadlines for GSoC since this needs a lot of 
work. I plan to use
the following book as the bible for the subject,

http://www.amazon.com/Course-Computational-Algebraic-Graduate-Mathematics/dp/3642081428

I am comparably new to Algebraic number theory than Diophantine equations, 
so starting from
the basic algorithms and then implementing the complex ones would be the 
correct way to go
since then I can expand my knowledge gradually on the subject area.

I would like to hear what the community has to say about this and anyone 
who is interested
in contributing, is warmly welcomed since this is something I do beyond the 
scope of my GSoC
project. (Mario Pernici might be interested).

I'll write my blog post summarizing all the work I have done so far in the 
Diophantine equation 
module and I will update the wiki for 0.7.4 release (I promised Aaron I 
would do this before, 
but couldn't do it, sorry for that) in the evening.

Regards,
Thilina. 

-- 
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.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to