language documentation?

[iub-organizing-collective]

Hey Guys, I love the great work you did on this. But could you please post some kind of guide to the language?

For example, what does the 2nd line mean? Does the colon have a fixed meaning?

angle_bisector x a b c
x : a b c x

How is a b c = triangle a b c different from triangle a b c?

[songge25]

same as another one...... what does the 2nd line mean? this project is difficult for beginners

[unhandyandy]

It seems that some functions return points, and some are just predicates. I'm guessing the syntax x : a b c means that x is the output on inputs a b c, and that x : a b c x means that x is returned, but also must be given as input. The latter seems to be semantically a predicate.

It seems only functions that return points can be used before the ?, and only pure predicates can be used as goals.

Again: these are just my guesses.

[Ehisnet]

https://docs.google.com/document/d/1K4QspqnGFCJ9hpFyPUvaJXE7SAWbt3XRBBtyXzGhsOo/edit?usp=sharing

Hi guys here is some documentations i was able to get for AlphaGeometry Language or Syntax. We can make changes and add to the developments.

[Ehisnet]

@unhandyandy The link is now working properly

[laitselec]

hi, I create a chatbot in Coze to help understand the language using RAG. may be helpful(I haven't try much myself). feel free to kick me if there are problems or to offer suggestions https://www.coze.com/store/bot/7342168000839041032?bid=MDQEEAnsl00iWxMd9dFS5B8ng7IEHgi6xZQPwEg8u7j2j73pgvohfK_d52WqZXo-N9vg0wQA&share=1&from=others

[Ehisnet]

hi, I create a chatbot in Coze to help understand the language using RAG. may be helpful(I haven't try much myself). feel free to kick me if there are problems or to offer suggestions https://www.coze.com/store/bot/7342168000839041032?bid=MDQEEAnsl00iWxMd9dFS5B8ng7IEHgi6xZQPwEg8u7j2j73pgvohfK_d52WqZXo-N9vg0wQA&share=1&from=others

The link is not working please

[laitselec]

hi, I create a chatbot in Coze to help understand the language using RAG. may be helpful(I haven't try much myself). feel free to kick me if there are problems or to offer suggestions https://www.coze.com/store/bot/7342168000839041032?bid=MDQEEAnsl00iWxMd9dFS5B8ng7IEHgi6xZQPwEg8u7j2j73pgvohfK_d52WqZXo-N9vg0wQA&share=1&from=others

The link is not working please

maybe you could try this one below,or search the bots store. https://www.coze.com/store/bot/7342168000839041032?bid=MDQEEAnsl00iWxMd9dFS5B8ng7IEHgi6xZQPwEg8u7j2j73pgvohfK_d52WqZXo-N9vg0wQA

[Ehisnet]

In a rectangle ABCD the midpoint of AB is M and AB:AD=2:1. The point X is such that the triangle MDX is equilateral, with X and A on opposite side of the line MD. Find the value of angle XCD.

Kindly assist in translating this into Alpha Geometry syntax: Here is my syntax : nmc_2024_r2_p4 a b c d = rectangle a b c d; m = on_line m a b; m = midpoint m a b ; d x = eqtriangle d m x ? cong m x m c

The question was drawn from the recent Nigerian Junior Mathematics Olympiad Second Round. Please guys let work together to finish up with these language documentations in my opinion this is the next step in this project.

[XiaoYang66]

Hello, everyone, I thought some ideas implemented by this nature paper is inspired from this DD work. Such as the meaning of:

A:B might mean that if B then A.

But this nature DD+AR implementation is somewhat different with the definition of DD work.

I am also trying to understand the transfer rule of the DD+AR implementation.

If you have any progress, please let me know! Thank you very much!

[tpgh24]

I made some improvements in a fork repository and have some ideas to further improve the performance of AlphaGeometry, check out AG4Masses and issue 110. I also shared my experiences with AG, including a detailed explanation of the problem definition language.