added limit on commutativity checks for performance

Bumblebee00 · Bumblebee00 · commit 6458c33c6454 · 2025-08-27T17:52:38.000+02:00
diff --git a/src/matchers.jl b/src/matchers.jl
@@ -181,7 +181,7 @@ function term_matcher_constructor(term, acSets)
 
             
             T = symtype(data)
-            if T <: Number
+            if T <: Number && length(data_args)<COMM_CHECKS_LIMIT[]
                 f = operation(data)
                 
                 for inds in acSets(eachindex(data_args), length(data_args))
diff --git a/src/rule.jl b/src/rule.jl
@@ -1,5 +1,6 @@
 
 @inline alwaystrue(x) = true
+const COMM_CHECKS_LIMIT = Ref(10)
 
 # Matcher patterns with Slot, DefSlot and Segment
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,6 @@`
`1`	`1`
`2`	`2`	`@inline alwaystrue(x) = true`
	`3`	`+const COMM_CHECKS_LIMIT = Ref(10)`
`3`	`4`
`4`	`5`	`# Matcher patterns with Slot, DefSlot and Segment`
`5`	`6`