public inbox for gentoo-user@lists.gentoo.org
 help / color / mirror / Atom feed
From: gottlieb@nyu.edu
To: gentoo-user@lists.gentoo.org
Subject: Re: [gentoo-user] Portage 2.2
Date: Wed, 24 Jul 2013 16:15:18 -0400	[thread overview]
Message-ID: <87siz3r9yh.fsf@nyu.edu> (raw)
In-Reply-To: <20130724200621.GA3609@Gee-Mi-Ni.home> (Willie WY Wong's message of "Wed, 24 Jul 2013 22:06:21 +0200")

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


  reply	other threads:[~2013-07-24 20:15 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-07-24 10:00 [gentoo-user] Portage 2.2 Pavel Volkov
2013-07-24 10:05 ` Alan McKinnon
2013-07-24 10:13 ` Yohan Pereira
2013-07-24 10:52   ` Pavel Volkov
2013-07-24 10:53     ` Alan McKinnon
2013-07-24 10:17 ` Neil Bothwick
2013-07-24 10:46   ` Alan McKinnon
2013-07-24 13:20     ` Neil Bothwick
2013-07-24 13:27       ` Alan McKinnon
2013-07-24 15:26         ` Michael Orlitzky
2013-07-24 20:06     ` Willie WY Wong
2013-07-24 20:15       ` gottlieb [this message]
2013-07-24 21:13         ` Alan McKinnon
2013-07-24 21:21           ` gottlieb
2013-07-24 21:24             ` Alan McKinnon
2013-07-24 12:06 ` [gentoo-user] " Nikos Chantziaras

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87siz3r9yh.fsf@nyu.edu \
    --to=gottlieb@nyu.edu \
    --cc=gentoo-user@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox