输入'where'时解析错误

Question

我正在尝试“解决”给定d: 的佩尔方程x^2 - d * y^2 = 1，或者至少我想得到x > 0可以解决方程的最小值。到现在为止还挺好。这是我的 Haskell 代码

minX :: Integer -> Integer
minX n  | isSquare n = 1
        | otherwise  = minXRec [0,1,intSqrt n] [1,0,1] 0 1 (intSqrt n) n

minXRec :: [Integer] -> [Integer] -> Integer -> Integer -> Integer -> Integer -> Integer
minXRec (p0:p1:p2:x) (q0:q1:q2:y) m d a n
    | p2*p2 - n*q2*q2 == 1 = p2
    | minXRec [p1, p2, newA*p2+p1] [q1, q2, newA*q2+q1] newM newD newA n
    where
        newM = d*a-m
        newD = quot (n-newM*newM) d
        newA = quot (intSqrt n + newM) newD

代码的逻辑应该可以正常工作，但是在编译时我得到

PE66.hs:28:9: parse error on input ‘where’

这没有为我提供足够的信息来解决问题。我已经尝试把它放在一种let .. in ..风格中，但我像这样，没有让它起作用。

我的错误在哪里？

Answer 1

在 minXRec 的第二个守卫中，您没有条件测试。你需要改变

| minXRec [p1, p2, a*p1+p0] [q1, q2, a*q1+q0] newM newD newA n

最有可能

| otherwise = minXRec [p1, p2, a*p1+p0] [q1, q2, a*q1+q0] newM newD newA n