Python Expr.domain_defined Examples

Example #1

File: determinant.py Project: cosmosZhou/sagemath

 def domain_defined(self, x):
     domain = Expr.domain_defined(self, x)
     for arg in self.args:
         domain &= arg.domain_defined(x)
     return domain