#3891: [with patch, needs review] polynomial sqrt method
-------------------------------------+--------------------------------------
Reporter: jbmohler | Owner: somebody
Type: enhancement | Status: new
Priority: minor | Milestone: sage-3.2.1
Component: basic arithmetic | Resolution:
Keywords: polynomial, square root |
-------------------------------------+--------------------------------------
Changes (by jhpalmieri):
* keywords: => polynomial, square root
* priority: major => minor
* type: defect => enhancement
* summary: polynomial sqrt method => [with patch, needs review]
polynomial sqrt method
Comment:
For an integer n, there are two options: n.sqrt() or n.is_square().
n.sqrt() returns a square root by passing to a larger ring (like CC) if it
needs to, while n.is_square() returns True (and optionally returns a
square root) if n is the square of an integer, false otherwise. I think
that we need an is_square method for polynomials, not a sqrt method.
The attached patch provides an is_square method. It also fixes a bug in
squarefree_decomposition: that method would barf for the wrong reason if
you gave it a polynomial over a finite field. Now it barfs for the right
reason.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/3891#comment:1>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
