Group Abstract Group Abstract

Message Boards Message Boards

0
|
8.7K Views
|
2 Replies
|
1 Total Like
View groups...
Share
Share this post:

[Solved] Using GeometricScenes and RandomInstances

Posted 5 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 5 years ago

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
Be respectful. Review our Community Guidelines to understand your role and responsibilities. Community Terms of Use