Circumcircles For Eqangle

class ThreeCircumcirclesForEqangleGoalHeuristicConfig(**data)

Bases: BaseModel

Create a new model by parsing and validating input data from keyword arguments.

Raises [ValidationError][pydantic_core.ValidationError] if the input data cannot be validated to form a valid model.

self is explicitly positional-only to allow self as a field name.

heuristic_name: Literal[<HeuristicName.THREE_CIRCUMCIRCLES_FOR_EQANGLE_GOAL: 'three_circumcircles_for_eqangle_goal'>]

model_config: ClassVar[ConfigDict] = {}

Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

class ThreeCircumcirclesForEqangleGoalHeuristic

Bases: Heuristic

Given an eqangle goal, create the vertices and implement the two versions of the 3 circumcircles method for the corresponding quadrilateral configuration.

Check the solution of “Langley’s Adventious Angles” problem for more details.

new_clauses(setup, max_new_points, rng)

Find new clauses to add to the problem by applying the heuristic.

Return type:

list[JGEXClause]