L = toField R
|
|
|
|
|
If the engine eventually discovers that some nonzero element of L is not a unit, an error will be signalled. The user may then use getNonUnit to obtain a non-invertible element of L. If a ring probably is a field, it can be used as a field until a contradiction is found, and this may be a good way of discovering whether a ring is a field.
|
|
|
|
The source of this document is in Macaulay2Doc/functions/toField-doc.m2:40:0.