add tests to IntegerRingElement
add some tests for ProductRingElement
Merge branch 'master' of git@github.com:tagel/Verifier.git
add some tests to ProductRingElement
Merge branch 'master' of git@github.com:tagel/Verifier.git
Merge branch 'master' of git@github.com:tagel/Verifier.git
fixed some tests in ProductRingElement
Merge branch 'master' of git@github.com:tagel/Verifier.git
Merge branch 'master' of git@github.com:tagel/Verifier.git
finished tests for ProductRingElement
Merge branch 'master' of git@github.com:tagel/Verifier.git