new method for TuttePolynomial, new convenience methods

- TuttePolynomial now exploits reduction of full parallel classes, reducing recursion depth
- convenience method to substitute ring element for the Tutte polynomial's variables
- methods PoincarePolynomial and CharacteristicPolynomial added