632   poly.addLocalFloorDiv({1, 4}, 10);  in TEST()
633   poly.addLocalFloorDiv({1, 0, 100}, 10);  in TEST()
651   poly.addLocalFloorDiv({0, 0, 0, 0, 100}, 30);  in TEST()
652   poly.addLocalFloorDiv({0, 0, 0, 0, 0, 206}, 101);  in TEST()
668   poly.addLocalFloorDiv({0, -2, 7, 2, 10}, 3);  in TEST()
669   poly.addLocalFloorDiv({3, 0, 9, 2, 2, 10}, 5);  in TEST()
670   poly.addLocalFloorDiv({0, 1, -123, 2, 0, -4, 10}, 3);  in TEST()
827     poly1.addLocalFloorDiv({1, 0, 0}, 2); // y = [x / 2].  in TEST()
833     poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2].  in TEST()
850     poly1.addLocalFloorDiv({1, 0}, 5);    // z = [x / 5].  in TEST()
851     poly1.addLocalFloorDiv({1, 0, 0}, 2); // y = [x / 2].  in TEST()
856     poly2.addLocalFloorDiv({1, 0}, 2);    // y = [x / 2].  in TEST()
857     poly2.addLocalFloorDiv({1, 0, 0}, 5); // z = [x / 5].  in TEST()
875     poly1.addLocalFloorDiv({3, 0, 0}, 6); // y = [3x / 6] -> [x/2].  in TEST()
881     poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2].  in TEST()
900     poly1.addLocalFloorDiv({1, 0}, 2);    // y = [x / 2].  in TEST()
901     poly1.addLocalFloorDiv({1, 1, 0}, 3); // z = [x + y / 3].  in TEST()
906     poly2.addLocalFloorDiv({1, 0}, 2);    // y = [x / 2].  in TEST()
907     poly2.addLocalFloorDiv({1, 1, 0}, 3); // z = [x + y / 3].  in TEST()
923     poly1.addLocalFloorDiv({1, 0}, 2);       // y = [x / 2].  in TEST()
924     poly1.addLocalFloorDiv({1, 1, 0}, 3);    // z = [x + y / 3].  in TEST()
925     poly1.addLocalFloorDiv({0, 0, 1, 1}, 5); // w = [z + 1 / 5].  in TEST()
930     poly2.addLocalFloorDiv({1, 0}, 2);       // y = [x / 2].  in TEST()
931     poly2.addLocalFloorDiv({1, 1, 0}, 3);    // z = [x + y / 3].  in TEST()
932     poly2.addLocalFloorDiv({0, 0, 1, 1}, 5); // w = [z + 1 / 5].  in TEST()
947     poly1.addLocalFloorDiv({2, 0}, 4);    // y = [2x / 4] -> [x / 2].  in TEST()
948     poly1.addLocalFloorDiv({1, 1, 0}, 3); // z = [x + y / 3].  in TEST()
953     poly2.addLocalFloorDiv({1, 0}, 2); // y = [x / 2].  in TEST()
955     poly2.addLocalFloorDiv({3, 3, 0}, 9); // z = [3x + 3y / 9] -> [x + y / 3].  in TEST()
973     poly1.addLocalFloorDiv({1, 1}, 2);    // y = [x + 1 / 2].  in TEST()
974     poly1.addLocalFloorDiv({1, 0, 2}, 3); // z = [x + 2 / 3].  in TEST()
979     poly2.addLocalFloorDiv({1, 1}, 2);    // y = [x + 1 / 2].  in TEST()
980     poly2.addLocalFloorDiv({1, 0, 2}, 3); // z = [x + 2 / 3].  in TEST()
995     poly1.addLocalFloorDiv({1, 1}, 2); // y = [x + 1 / 2].  in TEST()
997     poly1.addLocalFloorDiv({3, 0, 6}, 9); // z = [3x + 6 / 9] -> [x + 2 / 3].  in TEST()
1003     poly2.addLocalFloorDiv({2, 2}, 4);    // y = [2x + 2 / 4] -> [x + 1 / 2].  in TEST()
1004     poly2.addLocalFloorDiv({1, 0, 2}, 3); // z = [x + 2 / 3].  in TEST()
1021   poly1.addLocalFloorDiv({1, 1}, 3);    // y = [x + 1 / 2].  in TEST()
1022   poly1.addLocalFloorDiv({1, 0, 1}, 3); // z = [x + 1 / 3].  in TEST()
1027   poly2.addLocalFloorDiv({1, 1}, 3);    // y = [x + 1 / 3].  in TEST()
1028   poly2.addLocalFloorDiv({1, 0, 2}, 3); // z = [x + 2 / 3].  in TEST()
1044   poly1.addLocalFloorDiv({-1, 1}, 2); // y = [x + 1 / 2].  in TEST()
1046   poly1.addLocalFloorDiv({-3, 0, -6}, 9); // z = [3x + 6 / 9] -> [x + 2 / 3].  in TEST()
1052   poly2.addLocalFloorDiv({-2, 2}, 4);     // y = [-2x + 2 / 4] -> [-x + 1 / 2].  in TEST()
1053   poly2.addLocalFloorDiv({-1, 0, -2}, 3); // z = [-x - 2 / 3].  in TEST()