Numeric.Ring.Endomorphism
data
End
a
toEnd
fromEnd
frobenius