Added Attributes

Author: ShikharJ

symengine/lib/symengine_wrapper.pyx

@@ -745,6 +745,14 @@ cdef class Basic(object):
     def is_Symbol(self):
         return False
 
+    @property
+    def is_symbol(self):
+        return False
+
+    @property
+    def is_Dummy(self):
+        return False
+
     @property
     def is_Function(self):
         return False
@@ -765,6 +773,10 @@ cdef class Basic(object):
     def is_Number(self):
         return False
 
+    @property
+    def is_number(self):
+        return None
+
     @property
     def is_Float(self):
         return False
@@ -777,10 +789,38 @@ cdef class Basic(object):
     def is_Integer(self):
         return False
 
+    @property
+    def is_integer(self):
+        return False
+
+    @property
+    def is_finite(self):
+        return None
+
     @property
     def is_Derivative(self):
         return False
 
+    @property
+    def is_AlgebraicNumber(self):
+        return False
+
+    @property
+    def is_Relational(self):
+        return False
+
+    @property
+    def is_Equality(self):
+        return False
+
+    @property
+    def is_Boolean(self):
+        return False
+
+    @property
+    def is_Not(self):
+        return False
+    
     @property
     def is_Matrix(self):
         return False
@@ -907,6 +947,14 @@ class Symbol(Basic):
     def is_Symbol(self):
         return True
 
+    @property
+    def is_symbol(self):
+        return True
+
+    @property
+    def is_commutative(self):
+        return True
+
     @property
     def func(self):
         return self.__class__
@@ -998,7 +1046,14 @@ class Boolean(Basic):
 
 
 class BooleanAtom(Boolean):
-    pass
+    
+    @property
+    def is_Boolean(self):
+        return True
+
+    @property
+    def is_Atom(self):
+        return True
 
 
 class BooleanTrue(BooleanAtom):
@@ -1022,7 +1077,10 @@ class BooleanFalse(BooleanAtom):
 
 
 class Relational(Boolean):
-    pass
+    
+    @property
+    def is_Relational(self):
+        return True
 
 Rel = Relational
 
@@ -1042,6 +1100,10 @@ class Equality(Relational):
         s = self.args_as_sage()
         return sage.eq(*s)
 
+    @property
+    def is_Equality(self):
+        return True
+
     func = __class__
 
 
@@ -1116,6 +1178,14 @@ cdef class Number(Basic):
     def is_Number(self):
         return True
 
+    @property
+    def is_number(self):
+        return True
+
+    @property
+    def is_commutative(self):
+        return True
+
     @property
     def is_positive(Basic self):
         return deref(symengine.rcp_static_cast_Number(self.thisptr)).is_positive()
@@ -1154,6 +1224,22 @@ class Rational(Number):
     def is_Rational(self):
         return True
 
+    @property
+    def is_rational(self):
+        return True
+
+    @property
+    def is_real(self):
+        return True
+
+    @property
+    def is_finite(self):
+        return True
+
+    @property
+    def is_integer(self):
+        return False
+
     @property
     def p(self):
         return self.get_num_den()[0]
@@ -1210,6 +1296,10 @@ class Integer(Rational):
     def is_Integer(self):
         return True
 
+    @property
+    def is_integer(self):
+        return True
+
     def __hash__(Basic self):
         return deref(self.thisptr).hash()
 
@@ -1298,6 +1388,22 @@ class BasicMeta(type):
 
 class Float(Number):
 
+    @property
+    def is_rational(self):
+        return None
+
+    @property
+    def is_irrational(self):
+        return None
+
+    @property
+    def is_real(self):
+        return True
+
+    @property
+    def is_Float(self):
+        return True
+
     def __new__(cls, num, dps=None, precision=None):
         if cls is not Float:
             return super(Float, cls).__new__(cls)
@@ -1328,10 +1434,6 @@ RealNumber = Float
 
 class RealDouble(Float):
 
-    @property
-    def is_Float(self):
-        return True
-
     def __new__(cls, i):
         cdef double i_ = i
         return c2py(symengine.make_rcp_RealDouble(i_))
@@ -1374,10 +1476,6 @@ cdef class ComplexDouble(Number):
 
 class RealMPFR(Float):
 
-    @property
-    def is_Float(self):
-        return True
-
     IF HAVE_SYMENGINE_MPFR:
         def __new__(cls, i = None, long prec = 53, unsigned base = 10):
             if i is None:
@@ -1458,6 +1556,10 @@ cdef class Complex(Number):
 
 class Infinity(Number):
 
+    @property
+    def is_infinite(self):
+        return True
+
     def __new__(cls):
         return oo
 
@@ -1471,6 +1573,10 @@ class Infinity(Number):
 
 class NegativeInfinity(Number):
 
+    @property
+    def is_infinite(self):
+        return True
+
     def __new__(cls):
         return -oo
 
@@ -1484,6 +1590,10 @@ class NegativeInfinity(Number):
 
 class ComplexInfinity(Number):
 
+    @property
+    def is_infinite(self):
+        return True
+
     def __new__(cls):
         return zoo
 
@@ -1497,6 +1607,22 @@ class ComplexInfinity(Number):
 
 class NaN(Number):
 
+    @property
+    def is_rational(self):
+        return None
+
+    @property
+    def is_integer(self):
+        return None
+
+    @property
+    def is_real(self):
+        return None
+
+    @property
+    def is_finite(self):
+        return None
+
     def __new__(cls):
         return nan
 
@@ -1784,6 +1910,15 @@ class polygamma(Function):
         return sympy.polygamma(*self.args_as_sympy())
 
 class sign(OneArgFunction):
+    
+    @property
+    def is_complex(self):
+        return True
+
+    @property
+    def is_finite(self):
+        return True
+
     def __new__(cls, x):
         cdef Basic X = sympify(x)
         return c2py(symengine.sign(X.thisptr))
@@ -1977,6 +2112,14 @@ mul = Mul
 
 class Abs(OneArgFunction):
 
+    @property
+    def is_real(self):
+        return True
+
+    @property
+    def is_negative(self):
+        return False
+
     def __new__(cls, x):
         cdef Basic X = sympify(x)
         return c2py(symengine.abs(X.thisptr))