Assertion: algorithm | /r/HasProperty | correct
Facets:
value: in this case
type: TEMPORAL
Source sentences:
text: This is the largest item in the list, so in this case the algorithm is correct.
text: This is the largest item in the list, so in this case the algorithm is correct.
text: This case assumes that v1 is not the largest value, so v2 is therefore the largest value, and the algorithm is also correct in this case.
text: This algorithm is correct, but is also impossibly slow.
text: If the "global optimum" is our "correct solution", stating that our algorithm converges is the same as stating that our algorithm is correct.