Каков наилучший способ реализации полиномов с дробными показателями с помощью SageMath?

Question

Я хочу выполнить манипуляции в кольце многочленов, где члены могут иметь дробные показатели. Однако просто попытка использовать дроби возвращает ошибку значения. Очевидно, я мог бы просто установить неопределенность в качестве некоторой силы для устранения дробных показателей, но это потребовало бы изменения всех формул, есть ли лучший способ?

Answer 1

серии Puiseux и полиномы Puiseux в SageMath

На эту тему есть два билета Sage, один о серии Puiseux. и позже о полиномах Пуазе.

• Билет Sage Trac 9289: Реализация полиномов Пуазе
• Билет Sage Trac 4618: серия Puiseux

Также были многочисленные дискуссии о sage-devel и sage-support.

• обсуждение sage-devel с упоминанием Puiseux
• обсуждения поддержки sage с упоминанием Puiseux

Существует пакет, в котором реализована эта функциональность.

• абелфункции : абелевы функции, римановы поверхности и алгебраические кривые

  Библиотека для вычислений с абелевыми функциями, римановы поверхности, и алгебраические кривые.

  Документация: https://github.com/abelfunctions/abelfunctions/blob/master/doc/README.md

ряды Puiseux и полиномы Puiseux в Оскаре

Если использование Sage не является обязательным требованием, вы можете взглянуть на реализация в Оскар . Смотрите недавний пост в блоге Оскара:

• Серия Puiseux: сложные вычисления