Возможность вычислять любую неорицательную целую степень

[galushin]

power_semigroup может принимать дополнительный параметр - единицу группы, для этого параметра должно быть значение по умолчанию