Database of Ring Theory Community. (2023). RingApp (Version v1.1.0) [Computer software]. https://github.com/rschwiebert/RingApp