docs(rules): better multiplicative inverse docs

mathy_core/rules/multiplicative_inverse.md

@@ -0,0 +1,17 @@
+The `Multiplicative Inverse` rule converts division operations into multiplication by the reciprocal. This transformation can simplify the structure of mathematical expressions and prepare them for further simplification.
+
+This rule is expressed with the equation `a / b = a * (1 / b)`
+
+**Convert Division to Multiplication by Reciprocal**
+
+This handles the `a / b` conversion to `a * (1 / b)`.
+
+**Handle Division by a Negative Denominator**
+
+When the denominator is negative, the rule handles it by negating the numerator and converting the division into multiplication by the positive reciprocal of the denominator.
+
+This handles the `4 / -(2 + 3)` conversion to `4 * -1 / (2 + 3)`
+
+### Examples
+
+`rule_tests:multiplicative_inverse`

mathy_core/rules/multiplicative_inverse.py

@@ -14,23 +14,7 @@
 
 
 class MultiplicativeInverseRule(BaseRule):
-    r"""Multiplicative Inverse Property
-    `a / b = a * (1/b)`
-
-    The multiplicative inverse property involves converting division operations
-    into multiplication by the reciprocal. This transformation can simplify the
-    structure of mathematical expressions and prepare them for further simplification.
-
-    **Convert Division to Multiplication by Reciprocal**
-
-    This handles the `a / b` conversion to `a * (1 / b)`.
-
-    **Handle Division by a Negative Denominator**
-
-    When the denominator is negative, the rule handles it by negating the
-    numerator and converting the division into multiplication by the positive
-    reciprocal of the denominator.
-    """
+    """Convert division operations to multiplication by the reciprocal."""
 
     @property
     def name(self) -> str:

mathy_core/rules/multiplicative_inverse.test.json

@@ -1,5 +1,9 @@
 {
   "valid": [
+    {
+      "input": "4 / -(2 + 3)",
+      "output": "4 * -1 / (2 + 3)"
+    },
     {
       "input": "(21x^3 - 35x^2) / 7x",
       "output": "(21x^3 - 35x^2) * 1 / 7x"

website/docs/api/rules/multiplicative_inverse.md

@@ -2,28 +2,33 @@
 
 import mathy_core.rules.multiplicative_inverse
 ```
+The `Multiplicative Inverse` rule converts division operations into multiplication by the reciprocal. This transformation can simplify the structure of mathematical expressions and prepare them for further simplification.
 
-## MultiplicativeInverseRule
-```python
-MultiplicativeInverseRule(self, args, kwargs)
-```
-Multiplicative Inverse Property
-`a / b = a * (1/b)`
-
-The multiplicative inverse property involves converting division operations
-into multiplication by the reciprocal. This transformation can simplify the
-structure of mathematical expressions and prepare them for further simplification.
+This rule is expressed with the equation `a / b = a * (1 / b)`
 
 **Convert Division to Multiplication by Reciprocal**
 
 This handles the `a / b` conversion to `a * (1 / b)`.
 
 **Handle Division by a Negative Denominator**
 
-When the denominator is negative, the rule handles it by negating the
-numerator and converting the division into multiplication by the positive
-reciprocal of the denominator.
+When the denominator is negative, the rule handles it by negating the numerator and converting the division into multiplication by the positive reciprocal of the denominator.
+
+This handles the `4 / -(2 + 3)` conversion to `4 * -1 / (2 + 3)`
+
+### Examples
+
+`rule_tests:multiplicative_inverse`
 
+
+## API
+
+
+## MultiplicativeInverseRule
+```python
+MultiplicativeInverseRule(self, args, kwargs)
+```
+Convert division operations to multiplication by the reciprocal.
 ### get_type
 ```python
 MultiplicativeInverseRule.get_type(
@@ -36,3 +41,4 @@ Determine the configuration of the tree for this transformation.
 Support different types of tree configurations based on the division operation:
 - DivisionExpression restated as multiplication by reciprocal
 - DivisionNegativeDenominator is a division by a negative term
+