Assertion: algorithm | /r/CapableOf | perform this check
Facets:
Source sentences:
text: The algorithm would perform this check only when one element is left (when L = R {\displaystyle L=R} ).
text: For expressions that involve only functions commonly taken to be elementary it is not known whether an algorithm performing such a check exists or not (current computer algebra systems use heuristics); moreover, if one adds the absolute value function to the list of elementary functions, it is known that no such algorithm exists; see Richardson's theorem.