id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
20214,Type inconsistencies in polynomial factorization,vdelecroix,,"This ticket fixes a lot of inconsistencies with factorization (`structure/factorization.py`). For example the unit was not forced to belong to the universe of the factorization
{{{
sage: R. = ZZ[]
sage: parent((x+1).factor().unit())
Univariate Polynomial Ring in x over Integer Ring
sage: parent(R.one().factor().unit())
Integer Ring
}}}
Also fixes #20607",defect,needs_work,major,sage-9.4,algebra,,"factor, polynomial, Laurent polynomial",slelievre,,Vincent Delecroix,Miguel Marco,N/A,,u/vdelecroix/20214,4dde5ce2b4ab02530e4e6bdfe7df0cace8c122b0,,