Integrate¶
-
class
proveit.numbers.
Integrate
(index_or_indices, integrand, *, domain=None, domains=None, condition=None, conditions=None, styles=None, _lambda_map=None)[source]¶ Bases:
proveit.OperationOverInstances
Methods Summary
formatted
(self, format_type, \*\*kwargs)Returns a formatted version of the expression for the given format_type (‘string’ or ‘latex’).
Methods Documentation
-
formatted
(self, format_type, \*\*kwargs)¶ Returns a formatted version of the expression for the given format_type (‘string’ or ‘latex’). In the keyword arguments, fence=True indicates that parenthesis around the sub-expression may be necessary to avoid ambiguity.
-