Assertion: affine arithmetic | /r/HasProperty | implemented by global vector b
Facets:
Source sentences:
text: Affine arithmetic can be implemented by a global array A and a global vector b, as described above.