Circumcenter

class Circumcenter(**data)

Bases: PredicateInterface

circle O A B C - Represent that O is the center of the circle through A, B, and C (circumcenter of triangle ABC).

Can be equivalent to cong O A O B and cong O A O C, and equivalent pairs of congruences.

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.

predicate_type: Literal[PredicateType.CIRCUMCENTER]

center: Point

points: tuple[Point, ...]

static preparse(args)

Preparse the predicate arguments.

Return type:

tuple[NewType(PredicateArgument, str), ...] | None

check_numerical()

Check numerically the predicate.

Return type:

bool

check(proof_state)

Check symbolically the predicate in the current proof state.

If the predicate cannot be decided, return None.

Return type:

bool | None

add(proof_state)

Add the predicate to the proof state.

Return a tuple of predicates that are direct consequences of the predicate by definition.

Return type:

tuple[PredicateInterface, ...]

to_tokens()

Convert the predicate to a tuple of strings.

Return type:

tuple[NewType(PredicateArgument, str), ...]

model_config: ClassVar[ConfigDict] = {}

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