Ggb

Building problem setup from a Geogebra export.

---

• Apply Commands Effects
  • apply_commands_effects_on_elements()
• Assumptions From Commands
  • commands_to_newclid_assumptions()
• Assumptions From Elements
  • elements_to_newclid_assumptions()
• Assumptions From Elements Relation
  • relationships_to_newclid_assumptions()
• Elements Relationships
  • RelationShipType
    • RelationShipType.Parallel
    • RelationShipType.Orthogonal
    • RelationShipType.BisectorLine
    • RelationShipType.BisectorPoint
    • RelationShipType.Tangent
    • RelationShipType.Congruent
    • RelationShipType.Cyclic
    • RelationShipType.Collinear
  • ParaRelationship
    • ParaRelationship.line
    • ParaRelationship.parallel_to
    • ParaRelationship.relationship_type
    • ParaRelationship.model_config
  • OrthoRelationship
    • OrthoRelationship.line
    • OrthoRelationship.orthogonal_to
    • OrthoRelationship.relationship_type
    • OrthoRelationship.model_config
  • BisectorLineRelationship
    • BisectorLineRelationship.line
    • BisectorLineRelationship.bisector_1
    • BisectorLineRelationship.bisector_2
    • BisectorLineRelationship.relationship_type
    • BisectorLineRelationship.model_config
  • BisectorPointRelationship
    • BisectorPointRelationship.line
    • BisectorPointRelationship.angle_a
    • BisectorPointRelationship.angle_vertex
    • BisectorPointRelationship.angle_b
    • BisectorPointRelationship.relationship_type
    • BisectorPointRelationship.model_config
  • TangentRelationship
    • TangentRelationship.line
    • TangentRelationship.tangent_to
    • TangentRelationship.relationship_type
    • TangentRelationship.model_config
• Problem Builder
  • GeogebraProblemBuilder
    • GeogebraProblemBuilder.with_goals()
    • GeogebraProblemBuilder.without_assumptions()
    • GeogebraProblemBuilder.with_extra_assumptions()
    • GeogebraProblemBuilder.build()
  • load_ggb_file()
  • GGBSetup
    • GGBSetup.points
    • GGBSetup.lines
    • GGBSetup.conics
    • GGBSetup.commands
    • GGBSetup.relationships
    • GGBSetup.model_config
• Read Commands
  • read_commands()
  • GGBReadCommandType
    • GGBReadCommandType.Line
    • GGBReadCommandType.OrthogonalLine
    • GGBReadCommandType.Intersect
    • GGBReadCommandType.ParallelLine
    • GGBReadCommandType.Circle
    • GGBReadCommandType.AddPointOn
    • GGBReadCommandType.Eqdistance
    • GGBReadCommandType.Circumcircle
    • GGBReadCommandType.Segment
    • GGBReadCommandType.Center
    • GGBReadCommandType.Midpoint
    • GGBReadCommandType.AngularBisector
    • GGBReadCommandType.AngularBisectorPoints
    • GGBReadCommandType.TangentOnCircle
    • GGBReadCommandType.TangentOutsideCircle
  • GGBLineCommand
    • GGBLineCommand.point_start
    • GGBLineCommand.point_end
    • GGBLineCommand.line
    • GGBLineCommand.construction_type
    • GGBLineCommand.model_config
  • GGBParaCommand
    • GGBParaCommand.point_start
    • GGBParaCommand.base_line
    • GGBParaCommand.parallel_line
    • GGBParaCommand.construction_type
    • GGBParaCommand.model_config
  • GGBOrthogonalLineCommand
    • GGBOrthogonalLineCommand.line
    • GGBOrthogonalLineCommand.point
    • GGBOrthogonalLineCommand.perpendicular_line
    • GGBOrthogonalLineCommand.construction_type
    • GGBOrthogonalLineCommand.model_config
  • GGBIntersectCommand
    • GGBIntersectCommand.object_1
    • GGBIntersectCommand.object_2
    • GGBIntersectCommand.point
    • GGBIntersectCommand.construction_type
    • GGBIntersectCommand.model_config
  • GGBCircleCommand
    • GGBCircleCommand.center
    • GGBCircleCommand.point_b
    • GGBCircleCommand.circle
    • GGBCircleCommand.construction_type
    • GGBCircleCommand.model_config
  • GGBCircumcircleCommand
    • GGBCircumcircleCommand.point_a
    • GGBCircumcircleCommand.point_b
    • GGBCircumcircleCommand.point_c
    • GGBCircumcircleCommand.circle
    • GGBCircumcircleCommand.construction_type
    • GGBCircumcircleCommand.model_config
  • GGBCompassCommand
    • GGBCompassCommand.center
    • GGBCompassCommand.segment_radius
    • GGBCompassCommand.circle
    • GGBCompassCommand.construction_type
    • GGBCompassCommand.model_config
  • GGBAddPointOnObjectCommand
    • GGBAddPointOnObjectCommand.object_name
    • GGBAddPointOnObjectCommand.point
    • GGBAddPointOnObjectCommand.construction_type
    • GGBAddPointOnObjectCommand.model_config
  • GGBCenterCommand
    • GGBCenterCommand.circle
    • GGBCenterCommand.point
    • GGBCenterCommand.construction_type
    • GGBCenterCommand.model_config
  • GGBMidpointCommand
    • GGBMidpointCommand.point_a
    • GGBMidpointCommand.point_b
    • GGBMidpointCommand.midpoint
    • GGBMidpointCommand.construction_type
    • GGBMidpointCommand.model_config
  • GGBAngularBisectorLinesCommand
    • GGBAngularBisectorLinesCommand.line_1
    • GGBAngularBisectorLinesCommand.line_2
    • GGBAngularBisectorLinesCommand.line_bisector
    • GGBAngularBisectorLinesCommand.construction_type
    • GGBAngularBisectorLinesCommand.model_config
  • GGBAngularBisectorPointsCommand
    • GGBAngularBisectorPointsCommand.point_a
    • GGBAngularBisectorPointsCommand.corner
    • GGBAngularBisectorPointsCommand.point_b
    • GGBAngularBisectorPointsCommand.line_bisector
    • GGBAngularBisectorPointsCommand.construction_type
    • GGBAngularBisectorPointsCommand.model_config
  • GGBTangentOnCircleCommand
    • GGBTangentOnCircleCommand.point_on_tangent
    • GGBTangentOnCircleCommand.tangent_object
    • GGBTangentOnCircleCommand.tangent_line
    • GGBTangentOnCircleCommand.construction_type
    • GGBTangentOnCircleCommand.model_config
  • GGBTangentOutsideCircleCommand
    • GGBTangentOutsideCircleCommand.point_on_tangent
    • GGBTangentOutsideCircleCommand.tangent_object
    • GGBTangentOutsideCircleCommand.tangent_line1
    • GGBTangentOutsideCircleCommand.tangent_line2
    • GGBTangentOutsideCircleCommand.construction_type
    • GGBTangentOutsideCircleCommand.model_config
  • GGBXMLCommandType
    • GGBXMLCommandType.Circle
    • GGBXMLCommandType.Center
    • GGBXMLCommandType.Line
    • GGBXMLCommandType.Segment
    • GGBXMLCommandType.OrthogonalLine
    • GGBXMLCommandType.Point
    • GGBXMLCommandType.Intersect
    • GGBXMLCommandType.Midpoint
    • GGBXMLCommandType.AngularBisector
    • GGBXMLCommandType.Tangent
  • GGBXMLCommandComponents
    • GGBXMLCommandComponents.command_type
    • GGBXMLCommandComponents.args
    • GGBXMLCommandComponents.model_config
• Read Elements
  • GGBElementType
    • GGBElementType.POINT
    • GGBElementType.LINE
    • GGBElementType.CONIC
    • GGBElementType.SEGMENT
  • GGBPoint
    • GGBPoint.type
    • GGBPoint.label
    • GGBPoint.x
    • GGBPoint.y
    • GGBPoint.z
    • GGBPoint.from_xml_element()
    • GGBPoint.to_newclid()
    • GGBPoint.model_config
  • GGBLine
    • GGBLine.type
    • GGBLine.line_name
    • GGBLine.points
    • GGBLine.from_xml_element()
    • GGBLine.model_config
  • GGBConic
    • GGBConic.type
    • GGBConic.conic_name
    • GGBConic.points
    • GGBConic.center
    • GGBConic.radius
    • GGBConic.from_xml_element()
    • GGBConic.model_config
  • read_elements()
• Relationships From Commands
  • relationships_from_commands()