There is a base expansion. That is
![]()
![]()
for |q|<1 and |y|<1 or ( for |q|>1 and |x|<|q| ).
Notice that we do not verify it for the domain inside the parentheses.
From above, Eisenstein shows the following
![]()
and
![]()
![]()
in special form of continued fraction
Or
