get rid of inv if it somehow appears

MasonProtter · MasonProtter · commit f64acefa1cfc · 2020-11-19T11:18:36.000-07:00
diff --git a/src/simplify_rules.jl b/src/simplify_rules.jl
@@ -39,6 +39,7 @@ let
         @rule((((~x)^(~p::isliteral(Integer)))^(~q::isliteral(Integer))) => (~x)^((~p)*(~q)))
         @rule(^(~x, ~z::_iszero) => 1)
         @rule(^(~x, ~z::_isone) => ~x)
+        @rule(inv(~x) => ~x ^ -1)
     ]
 
     ASSORTED_RULES = [

Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,7 @@ let`
`39`	`39`	`@rule((((~x)^(~p::isliteral(Integer)))^(~q::isliteral(Integer))) => (~x)^((~p)*(~q)))`
`40`	`40`	`@rule(^(~x, ~z::_iszero) => 1)`
`41`	`41`	`@rule(^(~x, ~z::_isone) => ~x)`
	`42`	`+ @rule(inv(~x) => ~x ^ -1)`
`42`	`43`	`]`
`43`	`44`
`44`	`45`	`ASSORTED_RULES = [`