Split SupportsRealImag into SupportsRealImagProperties and SupportsRealImagAsMethod

Now ``sympy.core.numbers`` primitives are adequately supported (excepting general false positives; see #5).

Fixes #4.

Author: posita

README.md

@@ -368,8 +368,24 @@ True
 True
 >>> hasattr(pants_on_fire, "real") or hasattr(pants_on_fire, "imag")  # somebody's tellin' stories
 False
->>> from numerary.types import SupportsRealImag
->>> real_imag: SupportsRealImag = pants_on_fire  # fails to detect the lie
+>>> from numerary.types import SupportsRealImagProperties
+>>> real_imag: SupportsRealImagProperties = pants_on_fire  # fails to detect the lie
+>>> real_imag.real
+Traceback (most recent call last):
+  ...
+AttributeError: 'One' object has no attribute 'real'
+
+```
+
+In this particular case, ``numerary`` provides us with a defensive mechanism.
+
+``` python
+>>> from numerary.types import SupportsRealImagMixedU, real, imag
+>>> real_imag_defense: SupportsRealImagMixedU = pants_on_fire
+>>> real(real_imag_defense)
+1
+>>> imag(real_imag)
+0
 
 ```
 

docs/notes.md

@@ -17,6 +17,8 @@
 
 ## [0.1.2](https://github.com/posita/numerary/releases/tag/v0.1.2)
 
+* Splits ``SupportsRealImag`` into [``SupportsRealImagProperties``][numerary.types.SupportsRealImagProperties] and [``SupportsRealImagAsMethod``][numerary.types.SupportsRealImagAsMethod] and provides the [``real``][numerary.types.real] and [``imag``][numerary.types.imag] helper functions for better support of ``sympy.core.numbers`` primitives.
+
 ## [0.1.1](https://github.com/posita/numerary/releases/tag/v0.1.1)
 
 * Removes obsoleted ``…SCT`` aliases.

docs/numerary.types.md

@@ -66,7 +66,8 @@ from numerary.bt import beartype  # will resolve to the identity decorator if be
         - "SupportsIndex"
         - "SupportsRound"
         - "SupportsConjugate"
-        - "SupportsRealImag"
+        - "SupportsRealImagProperties"
+        - "SupportsRealImagAsMethod"
         - "SupportsTrunc"
         - "SupportsFloorCeil"
         - "SupportsDivmod"
@@ -77,6 +78,8 @@ from numerary.bt import beartype  # will resolve to the identity decorator if be
         - "SupportsRealOps"
         - "SupportsIntegralOps"
         - "SupportsIntegralPow"
+        - "real"
+        - "imag"
         - "trunc"
         - "floor"
         - "ceil"
@@ -102,7 +105,10 @@ from numerary.bt import beartype  # will resolve to the identity decorator if be
         - "_SupportsIndex"
         - "_SupportsRound"
         - "_SupportsConjugate"
-        - "_SupportsRealImag"
+        - "_SupportsRealImagProperties"
+        - "_SupportsRealImagAsMethod"
+        - "SupportsRealImagMixedT"
+        - "SupportsRealImagMixedU"
         - "_SupportsTrunc"
         - "_SupportsFloorCeil"
         - "_SupportsDivmod"

docs/perf_rational_big_protocol.ipy

@@ -5,7 +5,7 @@ from numerary.types import (  # "raw" (non-caching) versions
   _SupportsConjugate,
   _SupportsFloorCeil,
   _SupportsDivmod,
-  _SupportsRealImag,
+  _SupportsRealImagProperties,
   _SupportsRealOps,
   _SupportsTrunc,
 )
@@ -33,7 +33,7 @@ class SupportsLotsOfNumberStuff(
   _SupportsTrunc,
   _SupportsFloorCeil,
   _SupportsConjugate,
-  _SupportsRealImag,
+  _SupportsRealImagProperties,
   SupportsAbs,
   SupportsFloat,
   SupportsComplex,

docs/perf_rational_big_protocol.out

@@ -1,6 +1,6 @@
 %timeit isinstance(builtins.int(1), SupportsLotsOfNumberStuff)
-132 µs ± 1.15 µs per loop (mean ± std. dev. of 7 runs, 10000 loops each)
+135 µs ± 1.02 µs per loop (mean ± std. dev. of 7 runs, 10000 loops each)
 %timeit isinstance(fractions.Fraction(2), SupportsLotsOfNumberStuff)
-139 µs ± 2.01 µs per loop (mean ± std. dev. of 7 runs, 10000 loops each)
+146 µs ± 14.4 µs per loop (mean ± std. dev. of 7 runs, 10000 loops each)
 %timeit isinstance(builtins.float(3.0), SupportsLotsOfNumberStuff)
-131 µs ± 1.13 µs per loop (mean ± std. dev. of 7 runs, 10000 loops each)
+134 µs ± 1.84 µs per loop (mean ± std. dev. of 7 runs, 10000 loops each)