n: irr. polynomial:
argument a: argument b:
Add
Subtract
Multiply
Divide
Inverse
Find generators of multiplicative group

Result: n is not an integer