def _max_test_case_size():
# Play it safe, since this will be squared and the underlying
# field can have dimension 4 (quaternions) too.
def _max_test_case_size():
# Play it safe, since this will be squared and the underlying
# field can have dimension 4 (quaternions) too.