Skip to content

add diraction#460

Open
enterpraizer wants to merge 2 commits into
developfrom
feat/Altitude_median_and_bisector_of_a_triangle
Open

add diraction#460
enterpraizer wants to merge 2 commits into
developfrom
feat/Altitude_median_and_bisector_of_a_triangle

Conversation

@enterpraizer
Copy link
Copy Markdown
Collaborator

@enterpraizer enterpraizer commented Mar 31, 2025

75,76

@aChainsmoker
Copy link
Copy Markdown
Collaborator

aChainsmoker commented Apr 1, 2025

75

Замени все concept_perimeter, concept_length узлы на узлы суперкласса (с птичкой)

geometry_point должен быть concept_geometric_point. Одни и те же вещи должны называться одинаково, поэтому сверяйтесь с тем, как они именованы в базе.
Также на этом же скриншоте здесь не надо отношение "лежит на", достаточно просто показать, что точка принадлежит отрезку, как AC --> M
image

Числа 6 и 30 уже были формализованы в задачах залитых ранее, поэтому убери здесь те конструкции, которые я выделил красным.
Также я хз, зачем тебе вообще здесь number_x и number_y, как посредники, если тебе уже известны значения периметра и длины BM. Их тоже удали
И исправь стрелки в правильную сторону, как показано синим
image

Рядом с первым действием летает какой-то бездомный узел
image

Старайся, чтобы всё, что находится в структуре не выходило за её рамки, в том числе и идентификаторы, иначе могут возникать баги
image

Число 15 тоже уже было формализовано, так что всё, что в красном стоит убрать. И там в других местах 2ка тоже лишний раз формализована, подчисти её.
image

+Вот табличка, в которую все заносят уже формализованные числа, так что через Ctrl+F сверяйся с ней и заноси туда свои новые числа. Например, в этой задаче новое число - 21.
https://docs.google.com/spreadsheets/d/1O5YLEsN3eMLRAZm_byKhd-xpBOMHKvRzFsZqUj3ph8o/edit?gid=0#gid=0

То, что в красном, тоже стоит убрать, оно просто лишним болтается.
image

И неизвестные числа, можно один раз помечать, что они числа. По несколько раз это делать - излишне
image
image
image

Ну и это, скорее, свойство равнобедренного треугольника, а не его определение. Не критично, но можно вместе с остальным и это подправить
image

А, ну ещё точку в конце забыл. У нас с этим строго
image

@aChainsmoker
Copy link
Copy Markdown
Collaborator

76

Замени все concept_perimeter, concept_length узлы на узлы суперкласса (с птичкой)

Бездомные узлы
image
image

...?
image
короче, 12 уже формализована, так что можешь оставить только number_12

Здесь должно быть nrel_inclusion
image

Все числа, использующиеся в этой задаче, уже формализованы. Так что оставляй только узлы number_x.
image

Число и мера измерения должны быть через пробел, типа "8 см". А также точки в конце расставь
image

add two more task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants