rings
Installation
SKILL.md
Rings
When to Use
Use this skill when working on rings problems in abstract algebra.
Decision Tree
- Is R a ring?
- (R, +) is an abelian group
- Multiplication is associative
- Distributive laws: a(b+c) = ab + ac and (a+b)c = ac + bc
z3_solve.py prove "ring_axioms"