GeometricStep

GeometricStep[{hyp₁,hyp₂,…}]

gives a symbolic representation of a step in the definition of a geometric scene, in which the hypotheses hyp_i are introduced.

labels the step with label when displaying an instance of the geometric scene.

Details

The hyp_i can be any geometric object or hypothesis supported by GeometricScene except another GeometricStep.
The presence of a GeometricStep adds a menu for selecting stages of a GeometricScene. »
In a GeometricScene, each GeometricStep is satisfied in order, treating points and scalar quantities introduced in earlier steps as fixed in subsequent steps.
If list in GeometricScene[…,list] contains both GeometricStep objects and individual hypotheses, each run of individual hypothesis will be grouped in a GeometricStep. »
By default, GeometricStep[hyps] labels steps according to their position in the list of steps.

open allclose all

Display an interactive scene that constructs an equilateral triangle in steps:

Label the steps:

If there is a GeometricStep, consecutive hypotheses are grouped into geometric steps:

The presence of a GeometricStep adds a menu for selecting stages of a GeometricScene:

If constraints are added to objects after the step in which those objects are introduced, the scene may be unsatisfiable:

Adding the constraints to the same step in which the objects are introduced may allow the scene to be satisfiable:

Top