Символьное упрощение/сокращение выражений

@cama · Регистрация: 14.04.2015

Студворк — интернет-сервис помощи студентам

Помогите найти/подобрать библиотеку, которая может сокращать выражения

Например: arcsin(sinx) = x, ну и дроби, квадраты и тп.

Я знаю, что что-то подобное может SymPy, но все же посоветуйте, пожалуйста.

@alex925 · 23.06.2015, 14:47

Ну, в банальном math есть математические функции.

@Zuzik · 23.06.2015, 19:26

а чем sympy не подходит?

@cama · 24.06.2015, 15:36 **[ТС]**

То есть с помощью sympy, получая на вход левую часть выражения, я смогу получить правую?

Символьное упрощение/сокращение выражений

Название: Безымянный.jpg
Просмотров: 83

Размер: 4.5 Кб

@alex925 · 24.06.2015, 15:47

Для этого не нужен sympy, обычного math выше крыши.

@Kurles · 24.06.2015, 16:40

Сообщение от alex925

Для этого не нужен sympy, обычного math выше крыши.

Разве? Он же может только вычислять, а тут именно упростить/сократить надо, как я понял из задачи.
Если только самому весь функционал реализовывать, а это совсем нетривиальная задача.

@Somebody · 24.06.2015, 18:22

Сообщение от cama

То есть с помощью sympy, получая на вход левую часть выражения, я смогу получить правую?

Да. Только не всегда может получиться так, как хочется. Но в этих примерах получилось sin(beta) и x/3 + 2/3.

Добавлено через 10 минут
http://live.sympy.org/

Python
1
simplify((sin(x - pi/3) - cos(pi/6 - x)) / (sqrt(3) * cot(-x)))

Новые блоги и статьи Все статьи Все блоги /
Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .

@cama 0 / 0 / 0 Регистрация: 14.04.2015 Сообщений: 2

	Символьное упрощение/сокращение выражений 23.06.2015, 14:44. Показов 6736. Ответов 6 Метки нет (Все метки) Помогите найти/подобрать библиотеку, которая может сокращать выражения Например: arcsin(sinx) = x, ну и дроби, квадраты и тп. Я знаю, что что-то подобное может SymPy, но все же посоветуйте, пожалуйста. 0

@alex925 2742 / 2341 / 620 Регистрация: 19.03.2012 Сообщений: 8,830
	23.06.2015, 14:47
	Ну, в банальном math есть математические функции. 0

@Zuzik 298 / 256 / 57 Регистрация: 11.06.2012 Сообщений: 1,557
	23.06.2015, 19:26
	а чем sympy не подходит? 0

@cama 0 / 0 / 0 Регистрация: 14.04.2015 Сообщений: 2
	24.06.2015, 15:36 [ТС]
	То есть с помощью sympy, получая на вход левую часть выражения, я смогу получить правую? 0

@alex925 2742 / 2341 / 620 Регистрация: 19.03.2012 Сообщений: 8,830
	24.06.2015, 15:47
	Для этого не нужен sympy, обычного math выше крыши. 0

Символьное упрощение/сокращение выражений

Решение