search

LMCRC / Newclid

Automatic solver for plane geometry problems.
Apache License 2.0
2 stars 2 forks source link

Document symbols graph (explain all of the "contain in" relations that it captures) #6

Open friederrr opened 1 week ago

friederrr commented 1 week ago

Mention also cases where it checks that two circles are one circle.

Give 1-2 examples that illustrate this.

Mention where this is useful.

egretwAlker commented 1 week ago

If we throw cyclic A B C D and cyclic A B C P into the symbolic model, we would want to be able to check cyclic B C D P. This is done in that the symbol representing A, B, P, Q is linked to the circle symbol A B C D and same for A B C P points and the their circle. The for two circle symbols, one would point to another, semantically meaning merge.