Python Module Index

n


	n
	`ncdgen`
	`ncdgen.aux_discriminators`
	`ncdgen.aux_discriminators.he_point_deps`
	`ncdgen.aux_discriminators.newclid_traceback`
	`ncdgen.build_diagram`
	`ncdgen.constructions`
	`ncdgen.double_checking`
	`ncdgen.extract_datapoint`
	`ncdgen.extract_subproblems`
	`ncdgen.generation_configuration`
	`ncdgen.generation_loop`
	`ncdgen.hydra_config`
	`ncdgen.read_datapoints`
	`ncdgen.sampling`
	`ncdgen.solver`
	`ncdgen.testing`
	`newclid`
	`newclid.agent`
	`newclid.agent.agent_builder`
	`newclid.agent.agents_interface`
	`newclid.agent.ddarn`
	`newclid.agent.follow_deductions`
	`newclid.agent.human_agent`
	`newclid.all_rules`
	`newclid.animation`
	`newclid.animation.artists_in_animation`
	`newclid.animation.clause`
	`newclid.animation.goal`
	`newclid.animation.justifications`
	`newclid.animation.proof_animation`
	`newclid.animation.text_animation`
	`newclid.api`
	`newclid.api_defaults`
	`newclid.cli`
	`newclid.deductors`
	`newclid.deductors.deductor_interface`
	`newclid.deductors.sympy_ar`
	`newclid.deductors.sympy_ar.algebraic_manipulator`
	`newclid.deductors.sympy_ar.ar_predicates`
	`newclid.deductors.sympy_ar.ar_table`
	`newclid.deductors.sympy_ar.table_angles`
	`newclid.deductors.sympy_ar.table_ratios`
	`newclid.draw`
	`newclid.draw.ar_application`
	`newclid.draw.figure`
	`newclid.draw.geometries`
	`newclid.draw.jgex_constructions`
	`newclid.draw.predicates`
	`newclid.draw.rule`
	`newclid.draw.theme`
	`newclid.ggb`
	`newclid.ggb.apply_commands_effects`
	`newclid.ggb.assumptions_from_commands`
	`newclid.ggb.assumptions_from_elements`
	`newclid.ggb.assumptions_from_elements_relation`
	`newclid.ggb.elements_relationships`
	`newclid.ggb.problem_builder`
	`newclid.ggb.read_commands`
	`newclid.ggb.read_elements`
	`newclid.ggb.relationships_from_commands`
	`newclid.heuristics`
	`newclid.heuristics.alphabet`
	`newclid.heuristics.angle_vertices`
	`newclid.heuristics.apply_heuristics`
	`newclid.heuristics.centers_of_cyclic`
	`newclid.heuristics.circumcircles_for_eqangle`
	`newclid.heuristics.foots_on_lines`
	`newclid.heuristics.geometric_objects`
	`newclid.heuristics.heuristic_from_config`
	`newclid.heuristics.line_intersections`
	`newclid.heuristics.midpoint`
	`newclid.heuristics.reflect_on_center`
	`newclid.heuristics.transfer_distances`
	`newclid.jgex`
	`newclid.jgex.angles`
	`newclid.jgex.clause`
	`newclid.jgex.constructions`
	`newclid.jgex.constructions.complete_figure`
	`newclid.jgex.constructions.free`
	`newclid.jgex.constructions.intersections`
	`newclid.jgex.constructions.point_on_object`
	`newclid.jgex.constructions.predicate_prescriptions`
	`newclid.jgex.constructions.problem_specific`
	`newclid.jgex.constructions.relative_to`
	`newclid.jgex.definition`
	`newclid.jgex.distances`
	`newclid.jgex.errors`
	`newclid.jgex.formulation`
	`newclid.jgex.geometries`
	`newclid.jgex.jgex_setup_data`
	`newclid.jgex.problem_builder`
	`newclid.jgex.sketch`
	`newclid.jgex.to_newclid`
	`newclid.justifications`
	`newclid.justifications.justification`
	`newclid.justifications.justify_predicates`
	`newclid.justifications.predicates_graph`
	`newclid.llm_input`
	`newclid.numerical`
	`newclid.numerical.check`
	`newclid.numerical.geometries`
	`newclid.predicate_types`
	`newclid.predicates`
	`newclid.predicates.circumcenter`
	`newclid.predicates.collinearity`
	`newclid.predicates.congruence`
	`newclid.predicates.constant_angle`
	`newclid.predicates.constant_length`
	`newclid.predicates.constant_ratio`
	`newclid.predicates.cyclic`
	`newclid.predicates.different`
	`newclid.predicates.equal_angles`
	`newclid.predicates.equal_ratios`
	`newclid.predicates.equation_angle`
	`newclid.predicates.equation_length`
	`newclid.predicates.midpoint`
	`newclid.predicates.obtuse_angle`
	`newclid.predicates.parallelism`
	`newclid.predicates.perpendicularity`
	`newclid.predicates.pythagoras`
	`newclid.predicates.sameclock`
	`newclid.predicates.sameside`
	`newclid.predicates.squared_constant_length`
	`newclid.predicates.squared_constant_ratio`
	`newclid.predicates.triangles_congruent`
	`newclid.predicates.triangles_similar`
	`newclid.problem`
	`newclid.problems`
	`newclid.problems.imo`
	`newclid.problems.problem`
	`newclid.proof_data`
	`newclid.proof_justifications`
	`newclid.proof_state`
	`newclid.proof_writing`
	`newclid.rng`
	`newclid.rule`
	`newclid.rule_matching`
	`newclid.rule_matching.efficient_statement`
	`newclid.rule_matching.interface`
	`newclid.rule_matching.mapping_matcher`
	`newclid.rule_matching.permutations`
	`newclid.run_loop`
	`newclid.symbols`
	`newclid.symbols.circles_registry`
	`newclid.symbols.lines_registry`
	`newclid.symbols.merging_symbols`
	`newclid.symbols.points_registry`
	`newclid.symbols.symbols_registry`
	`newclid.tools`
	`newclid.webapp`