Jgex

Build problem setup from JGEX clauses.

---

• Constructions
  • Complete Figure
  • Free
  • Intersections
  • Point On Object
  • Predicate Prescriptions
  • Problem Specific
  • Relative To

---

• Angles
  • ang_of()
  • ang_between()
• Clause
  • JGEXConstruction
    • JGEXConstruction.model_config
    • JGEXConstruction.string
    • JGEXConstruction.name
    • JGEXConstruction.args
    • JGEXConstruction.from_name_and_args()
    • JGEXConstruction.from_str()
    • JGEXConstruction.from_tuple()
  • rename_jgex_construction()
  • is_numerical_argument()
  • JGEXClause
    • JGEXClause.model_config
    • JGEXClause.points
    • JGEXClause.constructions
    • JGEXClause.renamed()
    • JGEXClause.from_str()
  • order_clauses_by_points_construction_order()
• Definition
  • SketchConstruction
    • SketchConstruction.name
    • SketchConstruction.args
    • SketchConstruction.from_str()
    • SketchConstruction.model_config
  • SketchCall
    • SketchCall.name
    • SketchCall.args
    • SketchCall.from_construction()
    • SketchCall.model_config
  • v()
  • JGEXDefinition
    • JGEXDefinition.name
    • JGEXDefinition.args
    • JGEXDefinition.rely_on_points
    • JGEXDefinition.requirements
    • JGEXDefinition.clauses
    • JGEXDefinition.sketches
    • JGEXDefinition.input_points
    • JGEXDefinition.output_points
    • JGEXDefinition.to_dict()
    • JGEXDefinition.model_config
  • mapping_from_construction()
  • input_points_of_clause()
• Distances
  • ensure_not_too_close_numerical()
  • ensure_not_too_far_numerical()
• Errors
  • JGEXConstructionError
  • PointTooCloseError
  • PointTooFarError
  • InvalidIntersectError
• Formulation
  • JGEXFormulation
    • JGEXFormulation.name
    • JGEXFormulation.setup_clauses
    • JGEXFormulation.auxiliary_clauses
    • JGEXFormulation.goals
    • JGEXFormulation.formulation_type
    • JGEXFormulation.clauses
    • JGEXFormulation.from_text()
    • JGEXFormulation.points
    • JGEXFormulation.renamed()
    • JGEXFormulation.model_config
  • jgex_formulation_from_txt_file()
  • alphabetize()
• Geometries
  • LENGTH_UNIT
  • JGEXPoint
    • JGEXPoint.x
    • JGEXPoint.y
    • JGEXPoint.angle()
    • JGEXPoint.close_enough()
    • JGEXPoint.distance()
    • JGEXPoint.distance2()
    • JGEXPoint.rot90()
    • JGEXPoint.rotatea()
    • JGEXPoint.rotate()
    • JGEXPoint.flip()
    • JGEXPoint.perpendicular_line()
    • JGEXPoint.foot()
    • JGEXPoint.parallel_line()
    • JGEXPoint.dot()
    • JGEXPoint.deduplicate()
    • JGEXPoint.intersect()
    • JGEXPoint.model_config
  • JGEXGeometry
    • JGEXGeometry.sample_within()
  • JGEXLine
    • JGEXLine.parallel_line()
    • JGEXLine.perpendicular_line()
    • JGEXLine.distance()
    • JGEXLine.is_parallel()
    • JGEXLine.is_perp()
    • JGEXLine.is_same()
    • JGEXLine.point_at()
    • JGEXLine.diff_side()
    • JGEXLine.same_side()
    • JGEXLine.sample_within()
    • JGEXLine.angle()
    • JGEXLine.angle_to()
  • JGEXCircle
    • JGEXCircle.sample_within()
  • perpendicular_bisector()
  • solve_quad()
  • intersect()
  • circle_circle_intersection()
  • line_circle_intersection()
  • line_line_intersection()
  • reduce_intersection()
• Jgex Setup Data
  • PredicateConstructionInSetup
    • PredicateConstructionInSetup.id
    • PredicateConstructionInSetup.construction
    • PredicateConstructionInSetup.model_config
  • JGEXClauseInProof
    • JGEXClauseInProof.added_points
    • JGEXClauseInProof.constructions
    • JGEXClauseInProof.predicates
    • JGEXClauseInProof.model_config
  • JGEXSetupData
    • JGEXSetupData.setup_clauses
    • JGEXSetupData.aux_clauses
    • JGEXSetupData.goals
    • JGEXSetupData.model_config
  • jgex_clauses_to_setup_data()
• Problem Builder
  • JGEXProblemBuilder
    • JGEXProblemBuilder.build()
    • JGEXProblemBuilder.with_problem()
    • JGEXProblemBuilder.with_problem_from_txt()
    • JGEXProblemBuilder.include_auxiliary_clauses()
    • JGEXProblemBuilder.with_problem_from_file()
    • JGEXProblemBuilder.with_defs()
    • JGEXProblemBuilder.clauses_consequences
• Sketch
  • sketch()
  • sketch_function_name()
  • sketch_aline()
  • sketch_aline0()
  • sketch_acircle()
  • sketch_amirror()
  • sketch_bisect()
  • sketch_exbisect()
  • sketch_bline()
  • sketch_dia()
  • sketch_tangent()
  • sketch_circle()
  • sketch_cc_tangent()
  • sketch_e5128()
  • random_rfss()
  • head_from()
  • sketch_eq_quadrangle()
  • sketch_iso_trapezoid()
  • sketch_eqangle2()
  • sketch_eqangle3()
  • sketch_eqdia_quadrangle()
  • random_points()
  • sketch_free()
  • sketch_isos()
  • sketch_line()
  • sketch_cyclic()
  • sketch_midp()
  • sketch_pentagon()
  • sketch_pline()
  • sketch_pmirror()
  • sketch_quadrangle()
  • sketch_r_trapezoid()
  • sketch_r_triangle()
  • sketch_rectangle()
  • sketch_reflect()
  • sketch_risos()
  • sketch_rotaten90()
  • sketch_rotatep90()
  • sketch_s_angle()
  • sketch_aconst()
  • sketch_segment()
  • sketch_shift()
  • sketch_square()
  • sketch_isquare()
  • sketch_tline()
  • sketch_trapezoid()
  • sketch_triangle()
  • sketch_triangle12()
  • sketch_trisect()
  • sketch_trisegment()
  • sketch_ieq_triangle()
  • sketch_incenter2()
  • sketch_excenter2()
  • sketch_centroid()
  • sketch_ninepoints()
  • sketch_2l1c()
  • sketch_3peq()
  • sketch_isosvertex()
  • sketch_eqratio()
  • sketch_rconst()
  • sketch_eqratio6()
  • sketch_lconst()
  • sketch_rconst2()
  • sketch_between()
  • sketch_between_bound()
  • sketch_iso_trapezoid2()
  • sketch_acute_triangle()
  • sketch_cc_itangent()
  • sketch_simtri()
  • sketch_simtrir()
  • sketch_contri()
  • sketch_contrir()
  • sketch_test_r20()
  • sketch_test_r25()
  • sketch_l2const()
  • sketch_r2const()
• To Newclid
  • build_newclid_problem()
  • add_clause_to_problem()
  • JGEXClauseConsequences
    • JGEXClauseConsequences.new_points
    • JGEXClauseConsequences.construction_consequences
    • JGEXClauseConsequences.numerical_requirements
    • JGEXClauseConsequences.to_assumptions()
    • JGEXClauseConsequences.model_config
  • rename_points_in_clause_consequences()
  • JGEXConstructionConsequences
    • JGEXConstructionConsequences.required_predicates
    • JGEXConstructionConsequences.added_predicates
    • JGEXConstructionConsequences.to_assumptions()
    • JGEXConstructionConsequences.model_config
  • rename_points_in_construction_consequences()