Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.python > #73300

Re: Python's numeric tower

Show key headers only | View raw

On Mon, Jun 16, 2014 at 10:38 AM, Steven D'Aprano
<steve+comp.lang.python@pearwood.info> wrote:
> Mathematically, ℂ (complex) is a superset of ℝ (real), and Decimals are a
> kind of real(ish) number, like float:

The Python complex type represents a subset of ℂ. The Python Decimal
and float types implement a subset of ℝ, which as you say is a subset
of ℂ. The Python int type implements a subset of ℤ. (Although if you
have infinite storage, you could theoretically represent all of ℤ with
int, and possibly all of ℝ with Decimal. But I don't know of any
Python implementation that can utilize infinite RAM.)

The question isn't really about the mathematical number sets, but
about what operations you can do. The numbers.Complex type specifies
(3.4.0):

class Complex(Number)
 |  Complex defines the operations that work on the builtin complex type.
 |
 |  In short, those are: a conversion to complex, .real, .imag, +, -,
 |  *, /, abs(), .conjugate, ==, and !=.

>From what I can see, all of those operations are defined for Decimal,
*as long as you work exclusively with Decimal*. You can check their
.real and .imag (.imag will be Decimal('0'), and .real is self), you
can conjugate them (returns self), and you can do arithmetic with
them. But you can't mix complex and decimal, any more than you can mix
float and decimal:

>>> Decimal('2')+3.0
Traceback (most recent call last):
  File "<pyshell#30>", line 1, in <module>
    Decimal('2')+3.0
TypeError: unsupported operand type(s) for +: 'decimal.Decimal' and 'float'
>>> Decimal('2')+complex(3.0)
Traceback (most recent call last):
  File "<pyshell#31>", line 1, in <module>
    Decimal('2')+complex(3.0)
TypeError: unsupported operand type(s) for +: 'decimal.Decimal' and 'complex'

Ergo, currently, you can't say that decimal.Decimal can be treated as
a complex. (Although you can call complex(d) and get back a meaningful
value, within the limits of precision - again, same as with float(d).)

To contrast, numbers.Number places very few requirements on its
subclasses. And decimal.Decimal isn't a subclass of any of the rest of
the tower:

>>> for cls in numbers.__all__:
    print(cls,"-",isinstance(d,getattr(numbers,cls)))
Number - True
Complex - False
Real - False
Rational - False
Integral - False

As I understand it, isinstance(x,numbers.Complex) should be True for
anything that you can treat like a complex() - that is, that you can
add it to a complex(), do operations on it, etc, etc, etc. I'm not
sure what isinstance(x,numbers.Number) promises in terms of usability;
I guess if you have a list of Numbers that are all the same type, you
can probably sum them, but you can sum non-Numbers too. The docstring
is a bit vague - sure, it's a number, but what can you do with it?

ChrisA

Back to comp.lang.python | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Python's numeric tower Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2014-06-15 02:51 +0000
  Re: Python's numeric tower Ian Kelly <ian.g.kelly@gmail.com> - 2014-06-15 01:22 -0600
    Re: Python's numeric tower Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2014-06-15 15:33 +0000
      Re: Python's numeric tower Roy Smith <roy@panix.com> - 2014-06-15 13:28 -0400
        Re: Python's numeric tower Ian Kelly <ian.g.kelly@gmail.com> - 2014-06-15 11:45 -0600
        Re: Python's numeric tower Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2014-06-16 00:38 +0000
          Re: Python's numeric tower Chris Angelico <rosuav@gmail.com> - 2014-06-16 11:02 +1000
            Re: Python's numeric tower Roy Smith <roy@panix.com> - 2014-06-15 21:57 -0400
              Re: Python's numeric tower Chris Angelico <rosuav@gmail.com> - 2014-06-16 12:04 +1000
                Re: Python's numeric tower Roy Smith <roy@panix.com> - 2014-06-15 22:17 -0400
                Re: Python's numeric tower Dan Sommers <dan@tombstonezero.net> - 2014-06-16 03:38 +0000
                Re: Python's numeric tower Mark Lawrence <breamoreboy@yahoo.co.uk> - 2014-06-16 09:29 +0100
                Re: Python's numeric tower Roy Smith <roy@panix.com> - 2014-06-15 23:48 -0400

csiph-web