Goal
- class GoalArtists(goal, artists, used_points)
Bases:
object-
goal:
Annotated[Circumcenter|Cong|Coll|NColl|Cyclic|ConstantAngle|ACompute|LCompute|ConstantLength|ConstantRatio|EqAngle|Diff|RCompute|ObtuseAngle|MidPoint|EqRatio|Perp|NPerp|Para|NPara|SameClock|SameSide|NSameSide|PythagoreanPremises|PythagoreanConclusions|SquaredConstantLength|SquaredConstantRatio|SimtriClock|SimtriReflect|ContriClock|ContriReflect|AngleEquation|LengthEquation]
-
artists:
list[ArtistInAnimation]
-
used_points:
list[PointArtists]
- highlight(aux_point_names, highlight_color=None)
- Return type:
set[Artist]
- hide()
- Return type:
set[Artist]
-
goal:
- init_goals_to_draw(ax, proven_goals, point_name_to_artist, symbols, theme)
- Return type:
dict[str,GoalArtists]