next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
getNonUnit -- retrieve a previously discovered non-unit
Synopsis
Usage:
getNonUnit R
Inputs:
R
, a ring in which division by a non-unit has been attempted
Outputs:
the non-unit
Description
Warning: this function does not work yet for divisions attempted in the course of computing a Groebner basis or resolution.
See also
toField
-- declare that a ring is a field