File size: 6,520 Bytes
df1eb51
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
[
  "backend/core/ag4masses/alphageometry/geometry_test.py::GeometryTest::test_bfs_for_equality_transitivity",
  "backend/core/ag4masses/alphageometry/geometry_test.py::GeometryTest::test_merged_node_equivalence",
  "backend/core/ag4masses/alphageometry/geometry_test.py::GeometryTest::test_merged_node_representative",
  "backend/core/ag4masses/alphageometry/graph_utils_test.py::GraphUtilsTest::test_comb2",
  "backend/core/ag4masses/alphageometry/graph_utils_test.py::GraphUtilsTest::test_comb3",
  "backend/core/ag4masses/alphageometry/graph_utils_test.py::GraphUtilsTest::test_comb4",
  "backend/core/ag4masses/alphageometry/graph_utils_test.py::GraphUtilsTest::test_cross",
  "backend/core/ag4masses/alphageometry/graph_utils_test.py::GraphUtilsTest::test_perm2",
  "backend/core/ag4masses/alphageometry/graph_utils_test.py::GraphUtilsTest::test_perm3",
  "backend/core/ag4masses/alphageometry/graph_utils_test.py::GraphUtilsTest::test_perm4",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_2l1c",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_3peq",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_aline",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_amirror",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_bisect",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_bline",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_cc_tangent",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_circle",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_e5128",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_edia_quadrangle",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_eq_quadrangle",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_eq_trapezoid",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_eqangle2",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_eqangle3",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_ieq_triangle",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_isos",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_isquare",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_quadrange",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_r_trapezoid",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_r_triangle",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_rectangle",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_reflect",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_risos",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_rotaten90",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_rotatep90",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_s_angle",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_shift",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_square",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_trapezoid",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_triangle",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_triangle12",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_trisect",
  "backend/core/ag4masses/alphageometry/numericals_test.py::NumericalTest::test_sketch_trisegment",
  "backend/core/ag4masses/alphageometry/problem_test.py::ProblemTest::test_orthocenter_no_translate",
  "backend/core/ag4masses/alphageometry/problem_test.py::ProblemTest::test_orthocenter_translate",
  "backend/core/test_theorem_engine.py::test_dummy",
  "backend/tests/test_analysis.py::test_shared_axioms_and_theorems",
  "backend/tests/test_axiom.py::test_axiom_evolution",
  "backend/tests/test_db.py::test_db_connection",
  "backend/tests/test_theorem.py::test_theorem_derivation",
  "backend/tests/test_universe.py::test_create_universe",
  "tests/test_alphageometry_modules.py::test_polygon_area_and_triangulation",
  "tests/test_alphageometry_modules.py::test_rdp_simplify",
  "tests/test_alphageometry_modules.py::test_visualizer_svg_and_json_roundtrip",
  "tests/test_alphageometry_modules.py::test_visualizer_writes_svg_file",
  "tests/test_alphageometry_utils.py::test_convex_hull_simple",
  "tests/test_alphageometry_utils.py::test_point_in_polygon_and_on_edge",
  "tests/test_alphageometry_utils.py::test_polygon_area_and_centroid",
  "tests/test_alphageometry_utils.py::test_rdp_closed_and_safe_earclip",
  "tests/test_demo.py::test_demo_example_deterministic",
  "tests/test_demo_api.py::test_universe_manager",
  "tests/test_demo_expanded.py::test_apply_ops_length",
  "tests/test_demo_expanded.py::test_generate_random_polygon_deterministic",
  "tests/test_demo_expanded.py::test_pipeline_demo_smoke",
  "tests/test_demo_expanded.py::test_transformer_demo_attention",
  "tests/test_demo_expanded.py::test_vector_area_centroid_convex",
  "tests/test_end_to_end_demo.py::test_run_demo_returns",
  "tests/test_pipeline.py::test_clip_outliers_basic",
  "tests/test_pipeline.py::test_median_filter_simple",
  "tests/test_pipeline.py::test_pipeline_compose_and_run",
  "tests/test_pipeline.py::test_zscore_normalize_zero_std",
  "tests/test_proposer_and_embeddings.py::test_char_histogram_embedding",
  "tests/test_proposer_and_embeddings.py::test_simulate_proof_basic",
  "tests/test_proposer_and_embeddings.py::test_verify_or_simulate_returns_dict",
  "tests/test_visualizer.py::test_mesh_svg_contains_paths_and_triangle_labels",
  "tests/test_visualizer.py::test_polygon_svg_contains_polygon_tag",
  "tests/test_visualizer.py::test_write_svg"
]