You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Issue #2195 / PR #2209 expose an inadvertent symmetrisation arising from the direct dependency on (Is)Quasiring, namely that the same construction of zero is definable in these structures as well. But while this is not per se in conflict with the Wikipedia definition of left- and right- near-ring, it perhaps suggests our Algebra hierarchy should be a bit more subtle in the distinctions it makes between left- and right- near-rings (and, if need be, all the Algebra.Consequences arising from when the structure is, in fact, fully symmetric wrt left- and right-distributivity etc.). At some point in the future...
The text was updated successfully, but these errors were encountered:
Issue #2195 / PR #2209 expose an inadvertent symmetrisation arising from the direct dependency on
(Is)Quasiring
, namely that the same construction ofzero
is definable in these structures as well. But while this is not per se in conflict with the Wikipedia definition of left- and right- near-ring, it perhaps suggests ourAlgebra
hierarchy should be a bit more subtle in the distinctions it makes between left- and right- near-rings (and, if need be, all theAlgebra.Consequences
arising from when the structure is, in fact, fully symmetric wrt left- and right-distributivity etc.). At some point in the future...The text was updated successfully, but these errors were encountered: