Added reduce() and toUnmod... methods and fixed a copyright.