python@gentoo.org Python symengine/symengine.py symengine