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