From 9c607d39e7d8aebd3650a3a7652e6eea6fa5cd78 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Mon, 15 Nov 2010 13:39:37 +0100 Subject: [PATCH] Further refine DMdA signatures for `lcm' and `gcd'. --- collects/deinprogramm/DMdA.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/deinprogramm/DMdA.rkt b/collects/deinprogramm/DMdA.rkt index b00016acd1..8d668c971f 100644 --- a/collects/deinprogramm/DMdA.rkt +++ b/collects/deinprogramm/DMdA.rkt @@ -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)