为什么就不能求两个负数的最大公约数呢？请大家看看

sysabod

请看代码

1. qsort ::  Ord a=>  [a] -> [a]
   
2. qsort [] = []
   
3. qsort (x:xs)  = qsort larger ++ [x] ++ qsort smaller
   
4.                  where
   
5.             smaller =[ a|a <- xs,a<=x]
   
6.      larger  = [ a| a <- xs ,a>x]
   
7. 
   
8. maxGYS ::   Int -> Int -> Int  --求最大公约数
   
9. maxGYS  m n
   
10.                      | abs m < abs n              = head [x | x <- qsort [1.. (abs m)],m`mod` x==0, n`mod` x==0]
    
11.        | m == n         = abs m
    
12.        | abs m > abs n     =head [ x| x <- qsort[1.. (abs n)] , m`mod` x==0, n`mod` x==0]
    
13.   

复制代码

当我输入 maxGYS -1 -3 时，winhugs的出错信息是

ERROR - Cannot infer instance
*** Instance   : Num (Int -> Int -> Int)
*** Expression : maxGYS - 1 - 3

win_hate

1. 
   
2. *Main> maxGYS (-1) (-2)
   
3. 1
   
4. *Main> maxGYS (-2) (-6)
   
5. 2
   
6. *Main>
   

复制代码

sysabod

原帖由 win_hate 于 2009-3-22 00:37 发表

*Main> maxGYS (-1) (-2)
1
*Main> maxGYS (-2) (-6)
2
*Main>

谢谢你了，我刚学。

ypyf3000

一般数学上不讨论负数的最大公约数。

win_hate

原帖由 ypyf3000 于 2009-3-27 14:50 发表
一般数学上不讨论负数的最大公约数。

整数环是唯一分解整环，任何两个元素都有相应的最大公因子，算一下也无妨。只不过负数与相应的正数是相伴的，对结果没有影响，所以通常只考虑正数。

[ 本帖最后由 win_hate 于 2009-3-27 15:04 编辑 ]

izhier

Prelude 模块中有这两个函数：

1. 
   
2. Prelude> lcm 2 4
   
3. 4
   
4. Prelude> gcd 2 4
   
5. 2
   

复制代码