Ticket #13903 (closed defect: fixed)
polynomial .reduce returns type int over p-adic field
|Reported by:||bhutz||Owned by:||AlexGhitza|
|Report Upstream:||N/A||Reviewers:||Karl-Dieter Crisman|
|Authors:||John Perry||Merged in:||sage-5.6.beta3|
Description (last modified by kcrisman) (diff)
The .reduce() function for a polynomial ring can return an 'int' type when the base field is a p-adic field.
R.<y1,y2>=PolynomialRing(Qp(5),2, order='lex') G=[y1^2 + y2^2, y1*y2 + y2^2, y2^3] type((y2^3).reduce(G))
It should be returning an element of the polynomial ring.
This was noticed since it causes .variety() to fail.
R.<y1,y2>=PolynomialRing(Qp(5),2, order='lex') G=[y1^2 + y2^2, y1*y2 + y2^2, y2^3] I=ideal(G) I.variety()
Some discussion at: https://groups.google.com/forum/?fromgroups=#!topic/sage-support/Ar7z2b5cOic
- Status changed from needs_review to positive_review
- Reviewers set to Karl-Dieter Crisman
- Description modified (diff)
- Authors set to John Perry