#7450: implement is_prime() for ideals
-----------------------------------+----------------------------------------
Reporter: AlexGhitza | Owner: malb
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.3
Component: commutative algebra | Keywords: prime ideal
Work_issues: | Author: Alex Ghitza
Reviewer: | Merged:
-----------------------------------+----------------------------------------
The attached patch implements a generic primality testing method for
ideals. It is based on the computation of the associated primes of an
ideal, and so at the moment will only work for ideals that have this
implemented (e.g. ideals in multivariate polynomial rings that Singular
can handle).
There are also a few related methods such as {{{is_primary()}}} and
{{{embedded_primes()}}}.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7450>
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
-~----------~----~----~----~------~----~------~--~---
