7 lines
194 B
Text
7 lines
194 B
Text
)abbrev package TESTP TestPackage
|
|
TestPackage() : withma
|
|
perfect?: Integer -> Boolean
|
|
==
|
|
add
|
|
import IntegerNumberTheoryFunctions
|
|
perfect? n == reduce("+",divisors n) = 2*n
|