🚀 go-pugleaf

Nikolaus Filus schrieb:

> Hi,
> 
> ich sitze gerade an den Augaben vom Aufgabenblatt 3 fuer Info1 und habe
> mal wieder ein Verstaendnisproblem von WHERE. Kann mir jemand sagen wieso
> Beispiel 1 funktioniert und 2 nicht? Nach meiner Begrifflichkeit sind
> beide logisch aufgebaut.
> 
> FUN skalprod : seq[nat] ** seq[nat] -> nat
> DEF skalprod (v1,v2) ==
> IF <>?(v1) THEN 0
> IF <>?(v2) THEN 0
> ELSE
> ft(v1)*ft(v2) + skalprod(rt(v1),rt(v2))
> FI
> 
> FUN skalprod2 : seq[nat] ** seq[nat] -> nat
> DEF skalprod2 (v1,v2) == x
> WHERE
> x == a*b + skalprod2(rt(v1),rt(v2))
> a == IF <>?(v1) THEN 0 ELSE ft(v1) FI
> b == IF <>?(v2) THEN 0 ELSE ft(v2) FI


Der Unterschied ist, dass bei der zweiten Definition die Rekursion nicht 
abbricht und deswegen irgendwann einmal rt(<>) aufegrufen wird. (Ich nehme 
an, das war der Fehler den Du meintest.) Versuche einfach mal, per Hand den 
Aufruf von skalprod<>, <>) und skalprod2(<>, <>) nachzuvollziehen.

MfG
        Klaus
-- 
----------------------------------------------------------------------
Klaus Didrich   
email: Klaus.Didrich@berlin.de
----------------------------------------------------------------------