-- test cases for Aufgabe3.hs ($Id: check_Aufgabe3.hs,v 1.7 2003/11/16 15:08:45 fp010 Exp $)
-- isPrime :: Integer [>0] -> Bool
not (isPrime 1)
isPrime 2
isPrime 3
not (isPrime 4)
isPrime 5
not (isPrime 6)
isPrime 7
-- listPrime :: Integer [>0] -> Integer [>=#1] -> [Integer]
null (listPrime 1 1)
listPrime 1 2 == [2]
listPrime 1 3 == [2,3]
listPrime 1 4 == [2,3]
listPrime 1 5 == [2,3,5]
listPrime 1 27== [2,3,5,7,11,13,17,19,23]
listPrime 2 2 == [2]
listPrime 2 3 == [2,3]
listPrime 3 3 == [3]
listPrime 3133 3167 == [3137,3163,3167]
-- primFaktorZerlegung :: Integer [>1] -> [(Integer,Integer)]
primFaktorZerlegung 2 == [(2,1)]
primFaktorZerlegung 3 == [(3,1)]
primFaktorZerlegung 4 == [(2,2)]
primFaktorZerlegung 5 == [(5,1)]
primFaktorZerlegung 6 == [(2,1),(3,1)]
primFaktorZerlegung 7 == [(7,1)]
primFaktorZerlegung 8 == [(2,3)]
primFaktorZerlegung 9 == [(3,2)]
primFaktorZerlegung 10 == [(2,1),(5,1)]
primFaktorZerlegung 11 == [(11,1)]
primFaktorZerlegung 1176 == [(2,3),(3,1),(7,2)]
primFaktorZerlegung (2^64) == [(2,64)]
primFaktorZerlegung (3^64) == [(3,64)]
primFaktorZerlegung 30030 == [(2,1),(3,1),(5,1),(7,1),(11,1),(13,1)]
primFaktorZerlegung 510510 == [(2,1),(3,1),(5,1),(7,1),(11,1),(13,1),(17,1)]
primFaktorZerlegung 3373 == [(3373,1)]
-- kgv :: Integer [>0] -> Integer [>0] -> Integer
1 `kgv` 1 == 1
1 `kgv` 2 == 2
2 `kgv` 1 == 2
2 `kgv` 2 == 2
13`kgv`17 == (13 * 17)
17`kgv`13 == (13 * 17)
(13*17)`kgv`13 == (13*17)
(13*17)`kgv`17 == (13*17)
(13*17)`kgv`(17*13) == (13*17)
(13*17)`kgv`(17*71) == (13*17*71)
510510 `kgv` 30030 == 510510
60025  `kgv` 8085  == 1980825
-- EOF