<div dir="ltr">It seems to me that after a healthy post-deprecation cycle, and if we choose to keep the Z/2 meaning of __sub__, it might be worth reintroducing __neg__ as a no-op? AFAICT, this is consistent with the Z/2 interpretation?<div><br></div><div>Eric</div></div><br><div class="gmail_quote"><div dir="ltr">On Wed, 28 Jun 2017 at 00:08 Nathaniel Smith <<a href="mailto:njs@pobox.com">njs@pobox.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Tue, Jun 27, 2017 at 3:09 PM, Robert Kern <<a href="mailto:robert.kern@gmail.com" target="_blank">robert.kern@gmail.com</a>> wrote:<br>
> On Tue, Jun 27, 2017 at 3:01 PM, Benjamin Root <<a href="mailto:ben.v.root@gmail.com" target="_blank">ben.v.root@gmail.com</a>> wrote:<br>
>><br>
>> Forgive my ignorance, but what is "Z/2"?<br>
><br>
> <a href="https://groupprops.subwiki.org/wiki/Cyclic_group:Z2" rel="noreferrer" target="_blank">https://groupprops.subwiki.org/wiki/Cyclic_group:Z2</a><br>
> <a href="https://en.wikipedia.org/wiki/Cyclic_group" rel="noreferrer" target="_blank">https://en.wikipedia.org/wiki/Cyclic_group</a><br>
<br>
This might be a slightly better link?<br>
<a href="https://en.wikipedia.org/wiki/Modular_arithmetic#Integers_modulo_n" rel="noreferrer" target="_blank">https://en.wikipedia.org/wiki/Modular_arithmetic#Integers_modulo_n</a><br>
<br>
Anyway, it's a math-nerd way of saying "the integers modulo two", i.e.<br>
the numbers 0 and 1 with * as AND and + as XOR. But the nice thing<br>
about Z/2 is that if you know some abstract algebra, then one of the<br>
most fundamental theorems is that if p is prime then Z/p is a "field",<br>
meaning that * and + are particularly well-behaved. And 2 is a prime,<br>
so pointing out that the bools with AND and XOR is the same as Z/2 is<br>
a way of saying "this way of defining * and + is internally consistent<br>
and well-behaved".<br>
<br>
-n<br>
<br>
--<br>
Nathaniel J. Smith -- <a href="https://vorpus.org" rel="noreferrer" target="_blank">https://vorpus.org</a><br>
_______________________________________________<br>
NumPy-Discussion mailing list<br>
<a href="mailto:NumPy-Discussion@python.org" target="_blank">NumPy-Discussion@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/numpy-discussion" rel="noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/numpy-discussion</a><br>
</blockquote></div>