Changes between Initial Version and Version 1 of Ticket #20220, comment 5


Ignore:
Timestamp:
Mar 21, 2016, 3:59:09 PM (7 years ago)
Author:
Bruno Grenet
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #20220, comment 5

    initial v1  
    44
    55The second failed doctest '''is''' a real failure. It requires a change in the method `_gcd_univariate_polynomial` of the category `UniqueFactorizationDomains` (replace `truediv` by `floordiv`). This change breaks other doctests. tl;dr: I am working on it!
     6
     7**[edit]** There is another change to make: Right now, for polynomial rings such as `R[x][y][z]` where `R` is some "uncommon" ring (not `ZZ`, `QQ`, but `CC` or `Frac(QQ['z'])` for instance), the algorithm first converts the input to `R[x,y,z]`, and then in the multivariate algorithm converts back to `R[x][y][z]`. This works, but is of course silly. I am also trying to find the best solution to avoid the problem!