Commutation 1.5.0__py3-none-any.whl

commutation-1.5.0.dist-info/METADATA

@@ -0,0 +1,101 @@
+Metadata-Version: 2.4
+Name: Commutation
+Version: 1.5.0
+Summary: A small package for doing commutator algebra
+Author-email: Alaric Sanders <thathatatt@gmail.com>
+Project-URL: Homepage, https://github.com/Spuriosity1/Commutation
+Project-URL: Issues, https://github.com/Spuriosity1/Commutation/issues
+Classifier: Programming Language :: Python :: 3
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: ipython
+Dynamic: license-file
+
+# Commutation Station for Operator Elimination
+
+A proof assistant tool for the busy physicist, to be used in evaluating large commutator expressions.
+This package does symbolic algebra on noncommutative objects.
+
+Example usage:
+
+### Creating Expressions from Operators
+```python
+from commutation import *
+from fractions import Fraction
+
+a = Operator('a','S^x_a')
+b = Operator('b','S^z_b')
+c = Operator('c','S^z_c')
+d = Operator('d','S^z_d')
+
+# building everything up from elementary operators
+
+x = a-9*b*c + a*b*a
+print(x)
+# +1 a  -9 b c  +1 a b a
+```
+
+### Complicated substitutions
+```python
+x = a*b*b*b*a*c*a*a*c*a*b + 1
+
+y = x.substitute(a*b,c+d)
+print(x) # +1 a b b b a c a a c a b  +1
+print(y) # +1 c b b a c a a c c  +1 c b b a c a a c d  +1 d b b a c a a c c  +1 d b b a c a a c d  +1
+```
+
+### Factorisations
+
+```python
+xx = 7*a*b*b + Fraction(4,5)*a*c*b*b + a*d*b*b + a*c*a*a*b*b + 3*a*b*b
+fr, ba = xx.factor('right')
+print(str(fr) + ' * [' + str(ba) + '  ] = ' +str(fr*ba)) # +1 a * [  +10 b b  +4/5 c b b  +1 d b b  +1 c a a b b  ] =   +10 a b b  +4/5 a c b b  +1 a d b b  +1 a c a a b b
+
+fr, ba = xx.factor()
+print('['+str(fr) + '  ] * ' + str(ba) + ' = ' +str(fr*ba)) # [  +10 a  +4/5 a c  +1 a d  +1 a c a a  ] * +1 b b =   +10 a b b  +4/5 a c b b  +1 a d b b  +1 a c a a b b
+```
+
+### Commutators
+
+```python
+ca = CommutatorAlgebra()
+
+az = Operator('az','S^z_a')
+ap = Operator('a⁺','S^+_a')
+am = Operator('a⁻','S^-_a')
+
+KA = Operator('KA', 'K_A', scalar=True)
+
+# note the funky bracket sequence - set_commutator actually returns a function
+ca.set_commutator(az,ap)(ap)
+ca.set_commutator(az,am)(-1*am)
+ca.set_commutator(ap,am)(2*az)
+
+# there are two modes: move_left and move_right
+# Note that pathological commutators will make these fall into recursion loops...
+
+xpr = Expression(az*ap*az*az*am)
+ca.move_right(xpr, az)
+xpr.collect()
+print(xpr) # +1 a⁺ a⁻ az az az  -2 a⁺ a⁻ az az  +1 a⁺ a⁻ az
+
+xpr = Expression(az*ap*az*az*am)
+ca.move_left(xpr, am)
+xpr.collect()
+print(xpr) # +1 a⁻ az a⁺ az az  -2 a⁻ az a⁺ az  +2 az az az az  -1 a⁻ a⁺ az az  +1 a⁻ az a⁺  -4 az az az  +2 a⁻ a⁺ az  +2 az az  -1 a⁻ a⁺
+
+# these will warn you if you add an unknown operator...
+xpr2 = Expression(az*ap*am*c*am)
+ca.move_right(xpr2, az) # UserWarning: Non-scalar operator "c" is not in the commutator database, assuming it commutes...
+xpr2.collect()
+print(xpr2) #   +1 a⁺ a⁻ c a⁻ az  -1 a⁺ a⁻ c a⁻
+
+# # ... but scalars are fine.
+xpr3 = Expression(az*ap*am*KA*am)
+ca.move_right(xpr3, az)
+xpr3.collect()
+print(xpr3) #   +1 a⁺ a⁻ KA a⁻ az  -1 a⁺ a⁻ KA a⁻
+```

commutation-1.5.0.dist-info/RECORD

@@ -0,0 +1,9 @@
+commutation/__init__.py,sha256=BsvFbBhsBo23SnW5PoSbxP2_vo5-zovLVAlTKXDUP3E,235
+commutation/commutatoralgebra.py,sha256=m4jJZ9pUKRrVKmThcrgdNWPlk9qUeS_4U-nq4bYGPRY,7861
+commutation/expression.py,sha256=WSm5zW9lUHtfsgZR4WcwKKQOSCkEDmwNe6mUjDyTGRg,18327
+commutation/style.py,sha256=ZXQZd6xGcRTAW1RO6UYtS_sM9_QU8UNMtuhGYO4-AB4,967
+commutation-1.5.0.dist-info/licenses/LICENSE,sha256=5X8cMguM-HmKfS_4Om-eBqM6A1hfbgZf6pfx2G24QFI,35150
+commutation-1.5.0.dist-info/METADATA,sha256=6OF_R8SHdKyIJytY_bq0tQ7lmA3R6dUEm4PztxgB8D4,3186
+commutation-1.5.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+commutation-1.5.0.dist-info/top_level.txt,sha256=uK6XLltjNiEoxO4fapcExhy7Nl2bL0gvHNJeMvmqUPs,12
+commutation-1.5.0.dist-info/RECORD,,

commutation-1.5.0.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (80.9.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+