Syntax von WHERE

Article View: bln.comp.lang.opal

Article #31

Back to bln.comp.lang.opal Previous Next

#31

From: Nikolaus Filus
Date: Thu, 15 Nov 2001 12:51

28 lines
1593 bytes

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

Danke schon mal,

Nikolaus

-- 
C rules! :)

Technical Details

Message-ID: <9t0dpe$jep$1@news.cs.tu-berlin.de>

Path:

arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!fu-berlin.de!cs.tu-berlin.de!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Language: GERMAN,ASCII-7-bit
X-Google-Thread: 108421,541c32db404143be,start
X-Google-Attributes: gid108421,public
X-Google-ArrivalTime: 2001-11-15 04:52:05 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!fu-berlin.de!cs.tu-berlin.de!not-for-mail
From: Nikolaus Filus <nfilus@cs.tu-berlin.de>
Newsgroups: bln.comp.lang.opal
Subject: Syntax von WHERE
Date: 15 Nov 2001 12:51:58 GMT
Organization: Technische Universitaet Berlin, Deutschland
Lines: 29
Message-ID: <9t0dpe$jep$1@news.cs.tu-berlin.de>
NNTP-Posting-Host: nereid.cs.tu-berlin.de
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: news.cs.tu-berlin.de 1005828718 19929 130.149.26.88 (15 Nov 2001 12:51:58 GMT)
X-Complaints-To: news@cs.tu-berlin.de
NNTP-Posting-Date: 15 Nov 2001 12:51:58 GMT
User-Agent: slrn/0.9.7.3 (SunOS)