We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a737a6f commit f6328b1Copy full SHA for f6328b1
src/ResidueField.jl
@@ -466,7 +466,7 @@ residue ring parent object is cached and returned for any subsequent calls
466
to the constructor with the same base ring $R$ and element $a$.
467
"""
468
function residue_field(R::Ring, a::RingElement; cached::Bool = true)
469
- @req !is_trivial(R) "Zero rings are currently not supported as base ring."
+ @req !is_trivial(R) "Base ring must not be the zero ring."
470
iszero(a) && throw(DivideError())
471
T = elem_type(R)
472
S = EuclideanRingResidueField{T}(R(a), cached)
0 commit comments