@@ -1336,26 +1336,37 @@ def _eval_rewrite(self, pattern, rule, **hints):
return self.func(*terms)
def rewrite(self, *args, **hints):
-Rewrites expression containing applications of functions
- of one kind in terms of functions of different kind. For
-
@@ -1336,26 +1336,37 @@ def _eval_rewrite(self, pattern, rule, **hints):
return self.func(*terms)
def rewrite(self, *args, **hints):
-Rewrites expression containing applications of functions
- of one kind in terms of functions of different kind. For
-