haskell - 输入 ‘where’ 解析错误

Question

我正在尝试“求解”给定 d 的 Pell 方程: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