Added cyclotomic arithmetic module
Added polynomial ring arithmetic
Use the fancy new arithmetic
Improve pair computation