Is it possible to extract the data points from a RandomInstance? I have generated pictures, but would like to know the coordinates of the points to check the computations and possibly see if potential assertions were ever tested for validity.
Try using “Points” with RandomInstance. For example:
GeometricScene[{a, b, c}, {Triangle[{a, b, c}],
PlanarAngle[{a, b, c}] == 30 \[Degree]}]
ri = RandomInstance[%]
ri["Points"]
(* {a -> {0.358567, -1.71279}, b -> {3.88163, 2.82286},
c -> {-1.92652, 0.457124}} *)
That works great. Thank you. (s9 = RandomInstance)
EuclideanDistance[c, a] /. s9["Points"]
7.52881