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 181f3e9 commit a737a6fCopy full SHA for a737a6f
src/Fraction.jl
@@ -821,7 +821,7 @@ that it will always be returned by a call to the constructor when the same
821
base ring $R$ is supplied.
822
"""
823
function fraction_field(R::Ring; cached::Bool=true)
824
- @req !is_trivial(R) "Zero rings are currently not supported as coefficient ring."
+ @req !is_trivial(R) "Base ring must not be the zero ring."
825
return Generic.fraction_field(R; cached=cached)
826
end
827
0 commit comments