Combining Baker's effective method with the reduction procedure of Baker and Davenport, we give an algorithm for the complete resolution of index form equations corresponding to totally real cyclic biquadratic number fields. The solutions make it possible to construct all power integral bases of these fields. The method can be modified to be applicable also to other types of decomposable form equations.
ASJC Scopus subject areas
- Algebra and Number Theory