I want to perform manipulations in a polynomial ring where the terms can have fractional exponents. However just trying to use the fractions returns a value error. Obviously I could just set the indeterminate to be some power of itself to eliminate the fractional exponents, but this would involve altering all the formulas, is there a better way?
1 Answer
Puiseux series and Puiseux polynomials in SageMath
There are two Sage tickets on the topic, one about Puiseux series and a later one about Puiseux polynomials.
There have also been numerous discussions on sage-devel and sage-support.
There is a package where this functionality is implemented.
abelfunctions: Abelian functions, Riemann surfaces, and algebraic curves
A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
Documentation: https://github.com/abelfunctions/abelfunctions/blob/master/doc/README.md
Puiseux series and Puiseux polynomials in Oscar
If using Sage is not a strong requirement, you could have a look at the implementation in Oscar. See the recent post on the Oscar blog:
-
Ha, I was going to answer regarding all this but didn't see you had answered it - nice.– kcrismanAug 11, 2018 at 1:50