#10949: Passing a "check if ideal is prime" argument to Spec
----------------------------------+-----------------------------------------
Reporter: weaam | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-4.7
Component: algebraic geometry | Keywords: Spec prime ideals spectrum
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Description changed by weaam:
Old description:
> Spec doesn't take an optional argument to check if a point (ideal) is
> prime. This can be confusing, for example
> {{{
> sage: Spec(Z)(ZZ.ideal(6))
> }}}
> returns a "Point on Spectrum...".
>
> See discussion at http://ask.sagemath.org/question/439/prime-ideals-and-
> point-on-spectrum
> Passing check=True only through
> `sage.schemes.generic.point.SchemeTopologicalPoint_prime_ideal.__init__`
> (as explained by user niles in that link).
New description:
Spec doesn't check if a point (ideal) is prime, although check=True by
default.
{{{
sage: Spec(Z, check=True)(ZZ.ideal(6))
}}}
returns a "Point on Spectrum...".
The issue is explained by user niles at
http://ask.sagemath.org/question/439/prime-ideals-and-point-on-spectrum
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10949#comment:2>
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.
