Constant Angle

angle_between_4_points(a, b, c, d)

class ConstantAngle(**data)

Bases: PredicateInterface

aconst AB CD Y - Represent that the rotation needed to go from line AB to line CD, oriented on the clockwise direction is Y.

The syntax of Y is either a fraction of pi like 2pi/3 for radians or a number followed by a ‘o’ like 120o for degrees.

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.CONSTANT_ANGLE]

line1: Line

line2: Line

angle: Fraction

static preparse(args)

Preparse the predicate arguments.

Return type:

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

check_numerical()

Check numerically the predicate.

Return type:

bool

symbols(symbols)

Make symbols for the predicate in the symbols graph.

Return type:

tuple[LineSymbol | CircleSymbol, ...]

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].

class ACompute(**data)

Bases: PredicateInterface

acompute AB CD

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.A_COMPUTE]

segment1: Segment

segment2: Segment

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

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].

aconst_from_acompute(acompute)

Return type:

ConstantAngle