По умолчанию в командной строке в качестве десятичного разделителя используется точка, а не запятая. Если ввести запятую:
line (1 0) (1 2,5)
программа выдаст ошибку про недопустимый символ и предложит проверить написание: Invalid token. Check the spelling
.
При вводе других значений — параметры грунтов, значение нагрузки и т. п. — в качестве разделителя используется запятая.
В настройках Windows можно поменять запятую на точку: меню Пуск → Панель управления → Региональные стандарты → Дополнительные параметры... → Разделитель целой и дробной части.