Issue with numerical statement.

google-deepmind / alphageometry

Apache License 2.0

4.18k stars 469 forks source link

Issue with numerical statement. #104

Open cutepiggy123 opened 7 months ago

cutepiggy123 commented 7 months ago

Hi, does anyone know how to solve problems with numerical statements, for example, find y in the picture:

If yes, can you show me how to translate this problem into the language of DD+AR.

Thank you a lot!!!

fanhualiushang commented 1 month ago

alpha-geometry only provides aconst and rconst, which means angle_const(_to some constant) and ratio_const(_to_some_constant), it seems hard to solve problems with numerical statements