From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 2030CBC69 for ; Fri, 9 Mar 2007 14:24:51 +0100 (CET) Received: from uni-sb.de (uni-sb.de [134.96.252.33]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l29DOost031800 for ; Fri, 9 Mar 2007 14:24:50 +0100 Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by uni-sb.de (8.14.0/2007012900) with ESMTP id l29DOoJZ023698 for ; Fri, 9 Mar 2007 14:24:50 +0100 (CET) Received: from mail.ps.uni-sb.de (james.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.14.0/2007012900) with ESMTP id l29DOo6d006202 for ; Fri, 9 Mar 2007 14:24:50 +0100 (CET) Received: from groove.ps.uni-sb.de ([134.96.186.112]) by mail.ps.uni-sb.de with esmtp (Exim 4.50) id 1HPf5V-0007D9-IG for caml-list@yquem.inria.fr; Fri, 09 Mar 2007 14:24:50 +0100 Message-ID: <45F16021.60108@ps.uni-sb.de> Date: Fri, 09 Mar 2007 14:24:49 +0100 From: Andreas Rossberg User-Agent: Thunderbird 1.5.0.5 (X11/20060812) MIME-Version: 1.0 To: caml-list@yquem.inria.fr References: <3D1E4D9CA9BCE04D8F2B55F203AE4CE30666AB74@selma.roomandboard.com> <45F14E4E.6040200@fmf.uni-lj.si> In-Reply-To: <45F14E4E.6040200@fmf.uni-lj.si> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-SA-Exim-Connect-IP: 134.96.186.112 X-SA-Exim-Mail-From: rossberg@ps.uni-sb.de Subject: Re: [Caml-list] Operator overloading X-SA-Exim-Version: 4.2 (built Thu, 03 Mar 2005 10:44:12 +0100) X-SA-Exim-Scanned: Yes (on mail.ps.uni-sb.de) X-Miltered: at discorde with ID 45F16022.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; rossberg:01 rossberg:01 overloading:01 andrej:01 wrote:01 caml-list:01 andreas:01 andreas:01 hmm:02 uni-sb:03 uni-sb:03 puzzled:04 vector:05 differently:07 strange:08 Andrej Bauer wrote: > > 7) Hmm, strange, Mathematica thinks the answer is a 2x2 matrix, and we > think it's a 2D vector. Now you left me puzzled. Can you explain *why* Mathematica thinks differently? -- Andreas Rossberg, rossberg@ps.uni-sb.de