New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add ring conformance tests for ad-hoc / mutating operations #1817

Open

lgoettgens opened this issue Oct 1, 2024 · 0 comments

Collaborator

lgoettgens commented Oct 1, 2024

The interface states that these may be implemented by a ring, but the generic promotion code should handle them in the fallback case (see https://nemocas.github.io/AbstractAlgebra.jl/dev/ring_interface/#Optional-binary-ad-hoc-operators).

One approach to implement this is already laid out in #1814 (comment).

x-ref Nemocas/Nemo.jl#1876 (comment) by @fingolfin

lgoettgens mentioned this issue

Add ring conformance tests for more unsafe / in place operators #1814

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment