From c7700dbe069bf15dc0cf9a916a706c4567c8dbce Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Wed, 10 Nov 2010 18:59:40 +0100 Subject: [PATCH] Fix signatures for `gcd' and `lcd' in DMdA. --- 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 d8449c94a5..b00016acd1 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 (natural natural ... -> natural) + (lcm (integer integer ... -> integer) "kleinstes gemeinsames Vielfaches berechnen") - (gcd (natural natural ... -> natural) + (gcd (integer integer ... -> integer) "größten gemeinsamen Teiler berechnen") (rational? (%a -> boolean)