arguments: int >> ring
Create the prime field with the given characteristic. Currently, characteristic zero means finite precision integer arithmetic.
