Note that we return False for is_affine(), because there seems to be a problem
with the implementation of the optimisation based on this for True.