Interactive .. automodule:: diofant.interactive .. automodule:: diofant.interactive.printing :members: .. automodule:: diofant.interactive.session :members: