Re: Thue equations

[Guillaume Hanrot <Guillaume.Hanrot@ens-lyon.fr>]

> The algorithm used by thue() is described in Guillaume  Hanrot theis and
> published in "Thue Equations of High Degree", by Yu. Bilu and G. Hanrot, J.
> Number Theory (1996)
> 
> I do not think it is using S-unit. Also it is not specific to degree 3.

Actually, the implementation also uses the trick described in "Solving
Thue equations without the full unit group", Math. Comp. (2000) in
order to avoid as much as possible calls to bnfcertify in large
degree.

The strategy is basically Baker's method as described in Tzanakis and
de Weger (JNT 1989) seminal paper, with significant algorithmic
improvements regarding the bound reduction and final enumeration
steps.

All the best, G. 
-- 
Guillaume Hanrot                      e-mail : Guillaume.Hanrot@ens-lyon.fr
LIP / ENS Lyon			      tel1: (+33) (0)4 37 28 76 44
46, allee d'Italie                    tel2: (+33) (0)4 72 72 87 59	     
F-69364 LYON                          fax : (+33) (0)4 72 72 80 80