Newclid

DDAR geometric symbolic solver package

---

• Agent
  • Agents Interface
    • DeductiveAgent
      • DeductiveAgent.step()
  • Ddarn
    • DDARN
      • DDARN.step()
  • Human Agent
    • NamedFunction
      • NamedFunction.name
      • NamedFunction.function
    • HumanAgent
      • HumanAgent.select()
      • HumanAgent.step()
      • HumanAgent.match()
      • HumanAgent.update_server()
      • HumanAgent.add_construction()
      • HumanAgent.exhaust_with_ddarn()
      • HumanAgent.check()
      • HumanAgent.check_goals()
• Algebraic Reasoning
  • Algebraic Manipulator
    • AlgebraicManipulator
  • Tables
    • strip()
    • plus()
    • plus_all()
    • mult()
    • minus()
    • recon()
    • replace()
    • report()
    • Table
      • Table.add_free()
      • Table.replace()
      • Table.sumcv_from_list()
      • Table.expr_delta()
      • Table.add_expr()
      • Table.why()
      • Table.get_equal_elements()
      • Table.get_equal_elements_up_to()
      • Table.get_equal_difference_up_to()
      • Table.get_length()
• Dependencies
  • Dependency
    • NumericalyFalseDependencyError
    • Dependency
      • Dependency.statement
      • Dependency.reason
      • Dependency.why
      • Dependency.add()
      • Dependency.with_new()
      • Dependency.mk()
      • Dependency.pretty()
  • Dependency Graph
    • DependencyGraph
      • DependencyGraph.has_edge()
      • DependencyGraph.checked()
      • DependencyGraph.premises()
      • DependencyGraph.proof_deps()
      • DependencyGraph.save_pyvis()
  • Symbols
    • Symbol
      • Symbol.rep()
      • Symbol.merge()
    • Point
      • Point.num
      • Point.pretty_name
    • Line
      • Line.points
      • Line.num
      • Line.check_coll()
      • Line.make_coll()
      • Line.why_coll()
      • Line.pretty_name
    • Circle
      • Circle.points
      • Circle.num
      • Circle.check_cyclic()
      • Circle.make_cyclic()
      • Circle.why_cyclic()
      • Circle.pretty_name
  • Symbols Graph
    • SymbolsGraph
      • SymbolsGraph.nodes_of_type()
      • SymbolsGraph.names2points()
      • SymbolsGraph.container_of()
      • SymbolsGraph.new_node()
      • SymbolsGraph.line_thru_pair()
      • SymbolsGraph.save_pyvis()
• Formulations
  • Clause
    • Clause
      • Clause.points
      • Clause.sentences
      • Clause.parse_line()
      • Clause.renamed()
    • translate_sentence()
  • Definition
    • DefinitionJGEX
      • DefinitionJGEX.declare
      • DefinitionJGEX.rely
      • DefinitionJGEX.require
      • DefinitionJGEX.basics
      • DefinitionJGEX.numerics
      • DefinitionJGEX.parse_txt_file()
      • DefinitionJGEX.parse_text()
      • DefinitionJGEX.from_str()
      • DefinitionJGEX.to_dict()
  • Problem
    • ProblemJGEX
      • ProblemJGEX.name
      • ProblemJGEX.constructions
      • ProblemJGEX.goals
      • ProblemJGEX.parse_txt_file()
      • ProblemJGEX.from_text()
      • ProblemJGEX.from_file()
      • ProblemJGEX.with_more_construction()
      • ProblemJGEX.renamed()
      • ProblemJGEX.points()
  • Rule
    • Rule
      • Rule.descrption
      • Rule.premises
      • Rule.conclusions
      • Rule.parse_txt_file()
      • Rule.parse_text()
      • Rule.from_string()
      • Rule.variables()
• Numerical
  • close_enough()
  • nearly_zero()
  • sign()
  • Angles
    • ang_of()
    • ang_between()
  • Check
    • same_clock()
    • clock()
  • Distances
    • PointTooCloseError
    • PointTooFarError
    • check_too_close_numerical()
    • check_too_far_numerical()
  • Draw Figure
    • init_figure()
    • draw_figure()
    • fill_missing()
    • draw_circle()
    • draw_line()
    • draw_segment()
    • draw_segment_num()
    • draw_angle()
    • draw_rectangle()
    • draw_point()
  • Geometries
    • PointNum
      • PointNum.angle()
      • PointNum.close_enough()
      • PointNum.distance()
      • PointNum.distance2()
      • PointNum.rot90()
      • PointNum.rotatea()
      • PointNum.rotate()
      • PointNum.flip()
      • PointNum.perpendicular_line()
      • PointNum.foot()
      • PointNum.parallel_line()
      • PointNum.dot()
      • PointNum.deduplicate()
      • PointNum.intersect()
    • FormNum
      • FormNum.sample_within()
    • LineNum
      • LineNum.parallel_line()
      • LineNum.perpendicular_line()
      • LineNum.same()
      • LineNum.distance()
      • LineNum.is_parallel()
      • LineNum.is_perp()
      • LineNum.point_at()
      • LineNum.diff_side()
      • LineNum.same_side()
      • LineNum.sample_within()
      • LineNum.angle()
    • CircleNum
      • CircleNum.sample_within()
    • perpendicular_bisector()
    • InvalidIntersectError
    • InvalidReduceError
    • solve_quad()
    • intersect()
    • circle_circle_intersection()
    • line_circle_intersection()
    • circle_segment_intersect()
    • line_line_intersection()
    • reduce()
  • Sketch
    • sketch()
    • 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()
• Predicates
  • Circumcenter
    • Circumcenter
      • Circumcenter.NAME
      • Circumcenter.preparse()
      • Circumcenter.parse()
      • Circumcenter.check_numerical()
      • Circumcenter.check()
      • Circumcenter.add()
      • Circumcenter.why()
      • Circumcenter.pretty()
  • Collinearity
    • Coll
      • Coll.NAME
      • Coll.preparse()
      • Coll.parse()
      • Coll.check_numerical()
      • Coll.check()
      • Coll.why()
      • Coll.add()
      • Coll.to_constructive()
      • Coll.pretty()
      • Coll.to_tokens()
      • Coll.draw()
    • NColl
      • NColl.NAME
      • NColl.preparse()
      • NColl.parse()
      • NColl.check_numerical()
      • NColl.check()
      • NColl.why()
      • NColl.pretty()
  • Congruence
    • Cong
      • Cong.NAME
      • Cong.preparse()
      • Cong.parse()
      • Cong.check_numerical()
      • Cong.add()
      • Cong.check()
      • Cong.why()
      • Cong.to_constructive()
      • Cong.pretty()
      • Cong.to_tokens()
      • Cong.draw()
  • Constant Angle
    • ConstantAngle
      • ConstantAngle.NAME
      • ConstantAngle.preparse()
      • ConstantAngle.parse()
      • ConstantAngle.check_numerical()
      • ConstantAngle.add()
      • ConstantAngle.why()
      • ConstantAngle.check()
      • ConstantAngle.to_tokens()
      • ConstantAngle.pretty()
    • ACompute
      • ACompute.NAME
      • ACompute.preparse()
      • ACompute.parse()
      • ACompute.check_numerical()
      • ACompute.why()
      • ACompute.check()
      • ACompute.pretty()
  • Constant Length
    • ConstantLength
      • ConstantLength.NAME
      • ConstantLength.preparse()
      • ConstantLength.parse()
      • ConstantLength.check_numerical()
      • ConstantLength.add()
      • ConstantLength.check()
      • ConstantLength.why()
      • ConstantLength.to_tokens()
      • ConstantLength.pretty()
    • LCompute
      • LCompute.NAME
      • LCompute.preparse()
      • LCompute.parse()
      • LCompute.check_numerical()
      • LCompute.check()
      • LCompute.why()
      • LCompute.pretty()
  • Constant Ratio
    • ConstantRatio
      • ConstantRatio.NAME
      • ConstantRatio.preparse()
      • ConstantRatio.parse()
      • ConstantRatio.check_numerical()
      • ConstantRatio.add()
      • ConstantRatio.check()
      • ConstantRatio.why()
      • ConstantRatio.pretty()
      • ConstantRatio.to_tokens()
    • RCompute
      • RCompute.NAME
      • RCompute.preparse()
      • RCompute.parse()
      • RCompute.check_numerical()
      • RCompute.check()
      • RCompute.why()
      • RCompute.pretty()
  • Cyclic
    • Cyclic
      • Cyclic.NAME
      • Cyclic.preparse()
      • Cyclic.parse()
      • Cyclic.check_numerical()
      • Cyclic.check()
      • Cyclic.add()
      • Cyclic.to_constructive()
      • Cyclic.why()
      • Cyclic.pretty()
      • Cyclic.to_tokens()
      • Cyclic.draw()
  • Different
    • Diff
      • Diff.NAME
      • Diff.preparse()
      • Diff.parse()
      • Diff.check_numerical()
      • Diff.check()
      • Diff.why()
      • Diff.to_repr()
  • Equal Angles
    • EqAngle
      • EqAngle.NAME
      • EqAngle.preparse()
      • EqAngle.parse()
      • EqAngle.check_numerical()
      • EqAngle.add()
      • EqAngle.check()
      • EqAngle.why()
      • EqAngle.to_constructive()
      • EqAngle.to_tokens()
      • EqAngle.pretty()
      • EqAngle.draw()
  • Equal Ratios
    • EqRatio
      • EqRatio.NAME
      • EqRatio.preparse()
      • EqRatio.parse()
      • EqRatio.check_numerical()
      • EqRatio.add()
      • EqRatio.why()
      • EqRatio.check()
      • EqRatio.to_tokens()
      • EqRatio.pretty()
    • EqRatio3
      • EqRatio3.NAME
      • EqRatio3.preparse()
      • EqRatio3.parse()
      • EqRatio3.check_numerical()
      • EqRatio3.check()
      • EqRatio3.add()
  • Midpoint
    • MidPoint
      • MidPoint.NAME
      • MidPoint.preparse()
      • MidPoint.parse()
      • MidPoint.check_numerical()
      • MidPoint.pretty()
  • Parallelism
    • Para
      • Para.NAME
      • Para.preparse()
      • Para.parse()
      • Para.check_numerical()
      • Para.add()
      • Para.why()
      • Para.check()
      • Para.pretty()
      • Para.to_constructive()
      • Para.draw()
    • NPara
      • NPara.NAME
      • NPara.preparse()
      • NPara.parse()
      • NPara.check_numerical()
      • NPara.check()
      • NPara.pretty()
  • Perpendicularity
    • Perp
      • Perp.NAME
      • Perp.preparse()
      • Perp.parse()
      • Perp.check_numerical()
      • Perp.add()
      • Perp.check()
      • Perp.why()
      • Perp.to_constructive()
      • Perp.pretty()
      • Perp.to_tokens()
      • Perp.draw()
    • NPerp
      • NPerp.NAME
      • NPerp.preparse()
      • NPerp.parse()
      • NPerp.check_numerical()
      • NPerp.check()
      • NPerp.pretty()
  • Predicate
    • Predicate
      • Predicate.NAME
      • Predicate.preparse()
      • Predicate.parse()
      • Predicate.check_numerical()
      • Predicate.check()
      • Predicate.add()
      • Predicate.why()
      • Predicate.pretty()
      • Predicate.to_repr()
      • Predicate.to_tokens()
      • Predicate.to_constructive()
      • Predicate.draw()
  • Pythagoras
    • PythagoreanPremises
      • PythagoreanPremises.NAME
      • PythagoreanPremises.preparse()
      • PythagoreanPremises.parse()
      • PythagoreanPremises.check_numerical()
      • PythagoreanPremises.check()
      • PythagoreanPremises.pretty()
      • PythagoreanPremises.why()
    • PythagoreanConclusions
      • PythagoreanConclusions.NAME
      • PythagoreanConclusions.preparse()
      • PythagoreanConclusions.parse()
      • PythagoreanConclusions.check_numerical()
      • PythagoreanConclusions.add()
  • Sameclock
    • SameClock
      • SameClock.NAME
      • SameClock.preparse()
      • SameClock.parse()
      • SameClock.check_numerical()
      • SameClock.check()
      • SameClock.why()
      • SameClock.add()
      • SameClock.pretty()
  • Sameside
    • SameSide
      • SameSide.NAME
      • SameSide.preparse()
      • SameSide.parse()
      • SameSide.check_numerical()
      • SameSide.check()
      • SameSide.why()
      • SameSide.pretty()
    • NSameSide
      • NSameSide.NAME
      • NSameSide.preparse()
      • NSameSide.parse()
      • NSameSide.check_numerical()
      • NSameSide.check()
      • NSameSide.why()
      • NSameSide.pretty()
  • Triangles Congruent
    • ContriClock
      • ContriClock.NAME
      • ContriClock.preparse()
      • ContriClock.parse()
      • ContriClock.check_numerical()
      • ContriClock.to_tokens()
    • ContriReflect
      • ContriReflect.NAME
      • ContriReflect.preparse()
      • ContriReflect.parse()
      • ContriReflect.check_numerical()
      • ContriReflect.to_tokens()
  • Triangles Similar
    • two_triangles()
    • SimtriClock
      • SimtriClock.NAME
      • SimtriClock.preparse()
      • SimtriClock.parse()
      • SimtriClock.check_numerical()
      • SimtriClock.to_tokens()
      • SimtriClock.pretty()
      • SimtriClock.draw()
    • SimtriReflect
      • SimtriReflect.NAME
      • SimtriReflect.preparse()
      • SimtriReflect.parse()
      • SimtriReflect.check_numerical()
      • SimtriReflect.to_tokens()
      • SimtriReflect.pretty()
      • SimtriReflect.draw()

---

• Api
  • GeometricSolver
    • GeometricSolver.run()
    • GeometricSolver.write_proof_steps()
    • GeometricSolver.draw_figure()
    • GeometricSolver.write_run_infos()
    • GeometricSolver.write_all_outputs()
  • GeometricSolverBuilder
    • GeometricSolverBuilder.defs
    • GeometricSolverBuilder.rules
    • GeometricSolverBuilder.build()
    • GeometricSolverBuilder.load_problem_from_file()
    • GeometricSolverBuilder.load_problem()
    • GeometricSolverBuilder.del_goals()
    • GeometricSolverBuilder.load_problem_from_txt()
    • GeometricSolverBuilder.load_rules_from_txt()
    • GeometricSolverBuilder.load_rules_from_file()
    • GeometricSolverBuilder.load_defs_from_file()
    • GeometricSolverBuilder.load_defs_from_txt()
    • GeometricSolverBuilder.with_deductive_agent()
    • GeometricSolverBuilder.load_geogebra()
    • GeometricSolverBuilder.load_goal()
    • GeometricSolverBuilder.load_goals_file()
    • GeometricSolverBuilder.with_problem_path()
    • GeometricSolverBuilder.without_figure()
• Configs
  • default_configs_path()
  • default_defs_path()
  • default_rules_path()
• Load Geogebra
  • Form
    • Form.Circle
    • Form.Line
  • dedup()
  • load_geogebra()
• Match Theorems
  • Matcher
    • Matcher.update()
    • Matcher.cache_theorem()
    • Matcher.match_theorem()
• Proof
  • ConstructionError
  • ProofState
    • ProofState.add_construction()
    • ProofState.build_problemJGEX()
    • ProofState.match_theorem()
    • ProofState.apply_dep()
    • ProofState.check_goals()
• Proof Writing
  • write_proof_steps()
• Run Loop
  • run_loop()
• Statement
  • Statement
    • Statement.check()
    • Statement.check_numerical()
    • Statement.why()
    • Statement.from_tokens()
    • Statement.pretty()
    • Statement.with_new()
    • Statement.draw()
• Tools
  • InfQuotientError
  • notNone()
  • get_quotient()
  • atomize()
  • str_to_fraction()
  • fraction_to_len()
  • fraction_to_ratio()
  • fraction_to_angle()
  • reshape()
  • add_edge()
  • runtime_cache_path()
  • run_static_server()
  • boring_statement()
• Webapp
  • pull_to_server()