isFinitePrimeField -- whether a ring is a finite prime field

Synopsis

• Usage:

  isFinitePrimeField R

• Inputs:
  • R, a ring,
• Outputs:
  • a Boolean value, whether R is a finite prime field

Description

i1 : isFinitePrimeField QQ

o1 = false

i2 : isFinitePrimeField (ZZ/101)

o2 = true