statement-to-tikz / tests /fixtures /angle_bisector.json
will702's picture
Upload folder using huggingface_hub
eab734a verified
Raw
History Blame Contribute Delete
1.01 kB
{
"statement": "Angle bisector of angle BAC meets BC at D.",
"points": [
{"name": "A", "hint": [0, 1.5]},
{"name": "B", "hint": [-2, 0]},
{"name": "C", "hint": [1, 0]},
{"name": "D", "hint": [-0.5, 0]}
],
"segments": [
{"a": "A", "b": "B", "draw": true},
{"a": "B", "b": "C", "draw": true},
{"a": "C", "b": "A", "draw": true},
{"a": "A", "b": "D", "draw": true}
],
"lines": [],
"circles": [],
"angle_marks": [
{"vertex": "A", "a": "B", "b": "D", "right_angle": false, "label": null},
{"vertex": "A", "a": "D", "b": "C", "right_angle": false, "label": null}
],
"labels": [],
"constraints": [
{"type": "equal_angle", "a1": "B", "v1": "A", "b1": "D", "a2": "D", "v2": "A", "b2": "C"},
{"type": "on_line", "point": "D", "a": "B", "b": "C"},
{"type": "length", "a": "A", "b": "B", "value": 2.5},
{"type": "length", "a": "A", "b": "C", "value": 1.8},
{"type": "length", "a": "B", "b": "C", "value": 3.0}
],
"expected_mode": "exact"
}