From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,ad3b8638a6e09884
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news1.google.com!goblin1!goblin.stu.neva.ru!noris.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 18 Jul 2011 12:10:24 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.18) Gecko/20110616 Thunderbird/3.1.11
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Incorrect error?
References: <4e23f350$0$2573$703f8584@news.kpn.nl>
 <Pine.LNX.4.64.1107181119040.1340@medsec1.medien.uni-weimar.de>
In-Reply-To: <Pine.LNX.4.64.1107181119040.1340@medsec1.medien.uni-weimar.de>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-ID: <4e240690$0$6538$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 18 Jul 2011 12:10:25 CEST
NNTP-Posting-Host: 4d8676b6.newsspool4.arcor-online.net
X-Trace: 
 DXC=AK9\@PnjYXJX36K@\WTHGJ4IUK<Cl32<A4Fo<]lROoRA8kF<OcfhCOKO54QL<l^?C@nc\616M64>JLh>_cHTX3jM3J<B9ck2[aG
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:21186
Date: 2011-07-18T12:10:25+02:00
List-Id: <comp.lang.ada>

On 18.07.11 11:45, stefan-lucks@see-the.signature wrote:
> On Mon, 18 Jul 2011, ldries46 wrote:
> 
> [...]
>>   a      : Real_Vector(0 .. 2);
>>   b      : Real_Vector(0 .. 2);
>>   cross  : Real_Vector(0 .. 2);
>> begin
> [...]
>>     Cross := a * b; -- VecCross( a, b, Cross ); <---------------- line 65 the
> 
> Why do you expect the product of two vectors to be an vector? 

For a vector product, if a ⨯ b is to be one, I find the expectation
quite justified.  Confusion is what we get in return for Ada overloading
ASCII punctuation, in this case "*".  ;-)  (Wolfram's title is
"cross product", http://mathworld.wolfram.com/CrossProduct.html
IIUC.)