#13903: polynomial .reduce returns type int over p-adic field
-------------------------------------+--------------------------------------
Reporter: bhutz | Owner: AlexGhitza
Type: defect | Status: positive_review
Priority: minor | Milestone: sage-5.6
Component: algebra | Resolution:
Keywords: polynomial reduce | Work issues:
Report Upstream: N/A | Reviewers: Karl-Dieter Crisman
Authors: John Perry | Merged in:
Dependencies: | Stopgaps:
-------------------------------------+--------------------------------------
Comment (by john_perry):
Replying to [comment:7 kcrisman]:
> I still get
> {{{
> sage: I=ideal(G)
> sage: I.variety()
> verbose 0 (3482: multi_polynomial_ideal.py, groebner_basis) Warning:
falling back to very slow toy implementation.
> verbose 0 (1359: multi_polynomial_ideal.py, dimension) Warning: falling
back to very slow toy implementation.
> verbose 0 (2365: multi_polynomial_ideal.py, variety) Warning: falling
back to very slow toy implementation.
> verbose 0 (3482: multi_polynomial_ideal.py, groebner_basis) Warning:
falling back to very slow toy implementation.
> [{y1: O(5^20), y2: O(5^20)}]
> }}}
> but presumably that's okay.
If you mean that the warnings are bothering you, then yes, that's okay.
Unless I misread the Singular manual, it doesn't deal with Qp, though I
could be wrong (I know next to nothing about p-adics, and Singular does
deal with Zp). If Singular DOES implement Qp, then we haven't yet
implemented that interface. That should be another ticket, though, because
this bug would likely pop up even if we weren't in Qp.
> I'm uploading a slight refresh of your patch to use our new(ish) :trac:
markup...
Hunh. I didn't know about that. I wonder if I can remember it for the
future... `;-)`
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13903#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
