statement-to-tikz / tests /fixtures /parallelogram.json
will702's picture
Upload folder using huggingface_hub
eab734a verified
Raw
History Blame Contribute Delete
1.04 kB
{
"statement": "Parallelogram ABCD with diagonals AC and BD intersecting at O.",
"points": [
{"name": "A", "hint": [0, 0]},
{"name": "B", "hint": [2, 0]},
{"name": "C", "hint": [2.5, 1]},
{"name": "D", "hint": [0.5, 1]},
{"name": "O", "hint": [1.25, 0.5]}
],
"segments": [
{"a": "A", "b": "B", "draw": true},
{"a": "B", "b": "C", "draw": true},
{"a": "C", "b": "D", "draw": true},
{"a": "D", "b": "A", "draw": true},
{"a": "A", "b": "C", "draw": true},
{"a": "B", "b": "D", "draw": true}
],
"lines": [],
"circles": [],
"angle_marks": [],
"labels": [],
"constraints": [
{"type": "parallel", "a1": "A", "a2": "B", "b1": "D", "b2": "C"},
{"type": "parallel", "a1": "A", "a2": "D", "b1": "B", "b2": "C"},
{"type": "midpoint", "point": "O", "a": "A", "b": "C"},
{"type": "midpoint", "point": "O", "a": "B", "b": "D"},
{"type": "length", "a": "A", "b": "B", "value": 2.0},
{"type": "length", "a": "A", "b": "D", "value": 1.2}
],
"expected_mode": "exact"
}