Further refine DMdA signatures for lcm' and gcd'.

This commit is contained in:
Mike Sperber 2010-11-15 13:39:37 +01:00
parent 24dbffaf3b
commit 9c607d39e7

View File

@ -157,10 +157,10 @@
(even? (integer -> boolean)
"feststellen, ob eine Zahl gerade ist")
(lcm (integer integer ... -> integer)
(lcm (integer integer ... -> natural)
"kleinstes gemeinsames Vielfaches berechnen")
(gcd (integer integer ... -> integer)
(gcd (integer integer ... -> natural)
"größten gemeinsamen Teiler berechnen")
(rational? (%a -> boolean)