Contents:
DeductiveAgent
DDARN
NamedFunction
HumanAgent
AlgebraicManipulator
strip()
plus()
plus_all()
mult()
minus()
recon()
replace()
report()
Table
NumericalyFalseDependencyError
Dependency
DependencyGraph
Symbol
Point
Line
Circle
SymbolsGraph
Clause
translate_sentence()
DefinitionJGEX
ProblemJGEX
Rule
close_enough()
nearly_zero()
sign()
ang_of()
ang_between()
same_clock()
clock()
PointTooCloseError
PointTooFarError
check_too_close_numerical()
check_too_far_numerical()
init_figure()
draw_figure()
fill_missing()
draw_circle()
draw_line()
draw_segment()
draw_segment_num()
draw_angle()
draw_rectangle()
draw_point()
PointNum
FormNum
LineNum
CircleNum
perpendicular_bisector()
InvalidIntersectError
InvalidReduceError
solve_quad()
intersect()
circle_circle_intersection()
line_circle_intersection()
circle_segment_intersect()
line_line_intersection()
reduce()
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()
Circumcenter
Coll
NColl
Cong
ConstantAngle
ACompute
ConstantLength
LCompute
ConstantRatio
RCompute
Cyclic
Diff
EqAngle
EqRatio
EqRatio3
MidPoint
Para
NPara
Perp
NPerp
Predicate
PythagoreanPremises
PythagoreanConclusions
SameClock
SameSide
NSameSide
ContriClock
ContriReflect
two_triangles()
SimtriClock
SimtriReflect
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()
default_configs_path()
default_defs_path()
default_rules_path()
Form
Form.Circle
Form.Line
dedup()
load_geogebra()
Matcher
Matcher.update()
Matcher.cache_theorem()
Matcher.match_theorem()
ConstructionError
ProofState
ProofState.add_construction()
ProofState.build_problemJGEX()
ProofState.match_theorem()
ProofState.apply_dep()
ProofState.check_goals()
write_proof_steps()
run_loop()
Statement
Statement.check()
Statement.check_numerical()
Statement.why()
Statement.from_tokens()
Statement.pretty()
Statement.with_new()
Statement.draw()
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()
pull_to_server()
Run DeductiveAgent until saturation or goal found.
dict[str, Any]
dict
str
Any