Message Boards Message Boards

0
|
5874 Views
|
2 Replies
|
1 Total Likes
View groups...
Share
Share this post:

[Solved] Using GeometricScenes and RandomInstances

Posted 3 years ago

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.

POSTED BY: Douglas Kubler
2 Replies
Posted 3 years ago

That works great. Thank you. (s9 = RandomInstance)

EuclideanDistance[c, a] /. s9["Points"]

 7.52881
POSTED BY: Douglas Kubler

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}} *)
POSTED BY: Tim Laska
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract