search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.47k stars 486 forks source link

"check=True" argument in Spec doesn't work. #10949

Open 151f06e9-97bc-4fec-9d2f-0919549c9fe1 opened 13 years ago

151f06e9-97bc-4fec-9d2f-0919549c9fe1 commented 13 years ago

Spec doesn't check if a point (ideal) is prime, although check=True by default.

sage: Spec(ZZ, check=True)(ZZ.ideal(6))

returns a "Point on Spectrum...".

The issue is explained in details by user niles at http://ask.sagemath.org/question/439/prime-ideals-and-point-on-spectrum

Component: algebraic geometry

Keywords: Spec prime ideals spectrum

Issue created by migration from https://trac.sagemath.org/ticket/10949

151f06e9-97bc-4fec-9d2f-0919549c9fe1 commented 13 years ago

Description changed:

--- 
+++ 
@@ -1,10 +1,10 @@
-Spec doesn't take an optional argument to check if a point (ideal) is prime. For example,
+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...".

-Passing check=True only through `sage.schemes.generic.point.SchemeTopologicalPoint_prime_ideal.__init__`

 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).
151f06e9-97bc-4fec-9d2f-0919549c9fe1 commented 13 years ago

Description changed:

--- 
+++ 
@@ -1,10 +1,8 @@
-Spec doesn't take an optional argument to check if a point (ideal) is prime. This can be confusing, for example
+Spec doesn't check if a point (ideal) is prime, although check=True by default.

-sage: Spec(Z)(ZZ.ideal(6)) +sage: Spec(Z, check=True)(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).
+The issue is explained by user niles at http://ask.sagemath.org/question/439/prime-ideals-and-point-on-spectrum
151f06e9-97bc-4fec-9d2f-0919549c9fe1 commented 13 years ago

Description changed:

--- 
+++ 
@@ -5,4 +5,4 @@

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 +The issue is explained in details by user niles at http://ask.sagemath.org/question/439/prime-ideals-and-point-on-spectrum

151f06e9-97bc-4fec-9d2f-0919549c9fe1 commented 13 years ago

Description changed:

--- 
+++ 
@@ -1,7 +1,7 @@
 Spec doesn't check if a point (ideal) is prime, although check=True by default.

-sage: Spec(Z, check=True)(ZZ.ideal(6)) +sage: Spec(ZZ, check=True)(ZZ.ideal(6))

 returns a "Point on Spectrum...".