Merge pull request #1564 from mathics/quickpatterntest

adding some quick pattern tests for PatternTest
mathics · Aug 25, 2021 · 8a90e51 · 8a90e51
2 parents 7cfa65d + 7716c43
commit 8a90e51
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/mathics/builtin/patterns.py b/mathics/builtin/patterns.py
@@ -476,6 +476,16 @@ def init(self, expr):
     def quick_pattern_test(self, candidate, test, evaluation):
         if test == "System`NumberQ":
             return isinstance(candidate, Number)
+        elif test == "System`RealNumberQ":
+            if isinstance(candidate, (Integer, Rational, Real)):
+                return True
+            return False
+            # pass
+        elif test == "System`Positive":
+            if isinstance(candidate, (Integer, Rational, Real)):
+                return candidate.value > 0
+            return False
+            # pass
         elif test == "System`Negative":
             if isinstance(candidate, (Integer, Rational, Real)):
                 return candidate.value < 0