Feature #1582
Factorization in K(a,b)[x,y]
Description
Florian would like to have factorization of polynomial over a function field e.g. QQ(a,b)[x,y].
This would also permit implementation of primary decomposition for general ideals (not just 0-dim).
Related issues
History
#1
Updated by John Abbott about 3 years ago
Updated by Presumably the following approach should work:
- map into
K[a,b,x,y]after clearing denoms - discard any factors not involving
x,yvia a content computation - factorize in
K[a,b,x,y] - map factors back into original ring
Looks easy! Well, not too horribly hard...
#2
Updated by John Abbott about 3 years ago
- Related to Feature #1580: New fn prim for polys added
#3
Updated by John Abbott about 2 months ago
- Target version changed from CoCoALib-0.99850 to CoCoALib-0.99900