#
0th pass version of solver? #11

Loading…

Reference in New Issue

No description provided.

Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?

Per discussion with @Vectornaut today:

A potential specification for an initial toy solver is one that would allow specifications like "A is a point," "B is a plane", and "C and D are incident", where two points would be identical if incident, and perhaps the same for planes, or perhaps incident planes are simply non-parallel ones -- unclear. (A point and plane are incident if one contains the other.) Then the solver would return (presumably rational) coordinates for each object that satisfy the constraints.

However, the difficulty is that if all we have are such constraints, then there is always a trivial solution of making all points be the origin and all planes be the xy plane. So to make this a non-trivial exercise, perhaps we need in addition one or more of the following:

There may be other reasonable changes to get beyond the trivial solver.