Fraction Division Demo: n ÷ a/b

GeoGebra Commands & Parameters

1. If((p / q ≟ 1 ∨ p / q ≟ 2) ∧ (floor((a * q / p)) ≟ (a * q / p) ∨ a ≟ 1) ∨ p ≟ 1 ∧ a ≟ 1, 2, If[p / q < 1 ∨ a ≟ 1 ∨ (p / q ≟ 1 ∨ p / q ≟ 2) ∧ floor((a * q / p)) ≠ (a * q / p), 3, 4]) → steps
2. Point(Segment[A - (0, 0), A - (0, 2.5)]) → B
3. If(a ≥ p / q, 1, -1) → k
4. Point(Sequence[A + (i, 0), i, 0, a, 1 / q]) → C
5. Polygon({A, A + (a, 0), A + (a, 1), A + (0, 1)}) → poly2
6. Sequence(Sequence[Segment[B + (i + j, 0), B + (i + j, 1)], j, 1 / q, (q - 1) / q, 1 / q], i, 0, m - 1) → list3
7. Sequence(Polygon[{B + (i - 1, 0), B + (i, 0), B + (i, 1), B + (i - 1, 1)}], i, 2, m) → list2'
8. Sequence(Polygon[{B + (i - 1, 0), B + (i, 0), B + (i, 1), B + (i - 1, 1)}], i, 1, 1) → list2
9. Sequence(Sequence[Segment[A + (i + j, 0), A + (i + j, 1)], j, 1 / q, (q - 1) / q, 1 / q], i, 0, a - 1) → list6
10. Sequence(Translate[Polygon[{A, A + (p / q, 0), A + (p / q, 1), A + (0, 1)}], Vector[(i * Vector[(p / q, 0)])]], i, 0, n - 1) → L_1
11. Sequence(Sequence[Segment[A + ((i * p / q) + j, 0), A + ((i * p / q) + j, 1)], j, 1 / q, (p - 1) / q, 1 / q], i, 0, n - 1) → L_2
12. Sequence(Translate[Polygon[{B, B + (p / q, 0), B + (p / q, 1), B + (0, 1)}], Vector[(i * Vector[(p / q, 0)])]], i, 0, 0) → list4
13. Sequence(Sequence[Segment[B + ((i * p / q) + j, 0), B + ((i * p / q) + j, 1)], j, 1 / q, (p - 1) / q, 1 / q], i, 0, 0) → list5
14. Sequence(Text["1 塊", A + (((2 * i) - 1) / 2 - 0.18, 1.37)], i, 1, a) → L_4
15. PolyLine(A + (0, 1.1), A + (0.015, 1.2), A + (0.5, 1.2), A + (0.5, 1.3), A + (0.5, 1.2), A + (0.985, 1.2), A + (1, 1.1)) → g
16. Sequence(Translate[g, Vector[(i * Vector[(0, 0), (1, 0)])]], i, 1, a - 1) → L_3
17. PolyLine(B - (0, 0.1), B + (0, -0.2), B + (p / ((2 * q)), -0.2), B + (p / ((2 * q)), -0.3), B + (p / ((2 * q)), -0.2), B + (p / q, -0.2), B + (p / q, -0.1)) → f