isField
isField R
-- tells whether a ring is a field.
No computation is done -- the question is whether the ring was constructed as a field.
