From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id E6E391381F3 for ; Wed, 24 Jul 2013 21:16:13 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 5369AE0A41; Wed, 24 Jul 2013 21:16:09 +0000 (UTC) Received: from mail-we0-f174.google.com (mail-we0-f174.google.com [74.125.82.174]) (using TLSv1 with cipher ECDHE-RSA-RC4-SHA (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 337DEE085B for ; Wed, 24 Jul 2013 21:16:07 +0000 (UTC) Received: by mail-we0-f174.google.com with SMTP id q54so3664998wes.33 for ; Wed, 24 Jul 2013 14:16:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=Dmp24hslRCj0kmRV9HhllhiAFu2vYnx7kmoxAQsvm9Q=; b=un0jaRtYg/FeUFjKm0C/bj0/DNgJLCm7bSKHN3d4FrQqIHNOsq2qnOUSL1ZHUsyi9L fN8HvFtYPmSr3bfozaZiVO0qSITkfaY/zVPeoe96V7ChO5D7O/PnRB3oApDQkimeY9BT py/LPSVGEnHOJUHuna21QeKcm77+o8QEnUSk/46m3CyAaEA/1CSln8JMGVpq5vs1rFK5 C5os1ynzFYlB3TWfxNaevAxrxNZ9kF+0de9VunuodlEdJ0AdSYzmYOTrSehLxkznHc1E WzaSd/tPsAhnyPYOJKY5LtimsXjL+0AIl32yTeP+h6tK4OOL3lgrr4dQy/RL7tUUIEEq Jzsw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=Dmp24hslRCj0kmRV9HhllhiAFu2vYnx7kmoxAQsvm9Q=; b=AqXY/J9Za8aJsQKJtTw6Gc3kAJG8OOAwmYGHm9IXkGWQH/kd3WnD2ObmRZlvO1/5bX yLW1ymbbCKyIUkPN3aY4OQOcMRShtZKjYyoQWbjOQ5ueW6iPE3vgeWQHP9CKl8hB0Xeh Kde40zU8hVZfCjLYnqiPiJs9p6gr+tQqot6srI97n6YyrUvN94BfEdIgV9azVpvZk5eh 12Gm3IGl+4/DHiaGStxQRbjfQU0aNpPY9PQvJCiAv5Vq0O6VxYSvshNB+HEILRqROz8D VyvuZeyo9ODfbmy8fWuaI09jvznTQBCI02D10d9KcgJsd0dZ5x8/3vyMOhPAVwnP/GmN LPhA== X-Received: by 10.180.107.66 with SMTP id ha2mr3276119wib.33.1374700566791; Wed, 24 Jul 2013 14:16:06 -0700 (PDT) Received: from [172.20.0.41] (196-210-127-138.dynamic.isadsl.co.za. [196.210.127.138]) by mx.google.com with ESMTPSA id o10sm8026951wiz.5.2013.07.24.14.16.05 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 24 Jul 2013 14:16:06 -0700 (PDT) Message-ID: <51F04380.1000909@gmail.com> Date: Wed, 24 Jul 2013 23:13:36 +0200 From: Alan McKinnon User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130709 Thunderbird/17.0.7 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-user@lists.gentoo.org Reply-to: gentoo-user@lists.gentoo.org MIME-Version: 1.0 To: gentoo-user@lists.gentoo.org Subject: Re: [gentoo-user] Portage 2.2 References: <20130724111708.447eaa91@hactar.digimed.co.uk> <51EFB0A3.9070309@gmail.com> <20130724200621.GA3609@Gee-Mi-Ni.home> <87siz3r9yh.fsf@nyu.edu> In-Reply-To: <87siz3r9yh.fsf@nyu.edu> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Archives-Salt: 55675fb2-e182-47a0-983c-51fd21bdfa57 X-Archives-Hash: e0871d5a394c798301a7d380dcc2eba8 On 24/07/2013 22:15, gottlieb@nyu.edu wrote: > On Wed, Jul 24 2013, Willie WY Wong wrote: > >> Speaking as a mathematician (and A. Gottlieb will agree with me), I >> would be rather annoyed that they chose (if this is not a misquote >> from the original proposed documentation) to use '/' for set >> difference instead of '\' as it is supposed to be. > > I was also surprised to see `/'. A part of me was going to send about > quotient groups (the normal usage of '/') but I managed to refrain > myself. However, now that willie has opened the door ... > > / is normally used for quotients. For example, if we take the group Z > of integers under addition and the subgroup 2Z of the even integers, > then Z / 2Z is the quotient that results from taking Z and identifying > all the elements of 2Z. So in Z / 2Z, all the even integers are zero > and hence all odd integers are equivalent (since they differ by even > integers, which are zero). Thus the quotient has only 2 elements and is > the familiar group Z2, the integers mod 2. > > The above can be generalized. > > allan > In portage's defense, the symbol used is not really mathematical notation, it's an operator used in code, and only in code. We do this lots: * is multiplication ^ is exponentiation % is modulus (sometimes just mod) and several more, all driven by the lack of appropriate symbols on early ASCII keyboards (and the majority of current keyboards...) I would probably have selected "/" as well if I were the implementer, but that's because I heavily resist using backslash for anything other than escapes. My brain usually will not let me go against this one... You mathematician chaps could probably resolve this one nicely for yourselves by treating it as just another mangle by Applied Mathematicians <====== joke :-) -- Alan McKinnon alan.mckinnon@gmail.com