Re: [sage-support] spec.an_element()

[Justin C. Walker]

On Mar 31, 2016, at 12:33 , William Stein wrote:

> On Thu, Mar 31, 2016 at 12:31 PM, Justin C. Walker  wrote:
>> Dear Sage Support:
>> 
>> Just checking, but this seems wrong:
>> 
>> sage: R12=Integers(12)
>> sage: Spec12=Spec(R12)
>> sage: Spec12.an_element()
>> Point on Spectrum of Ring of integers modulo 12 defined by the Principal 
>> ideal (0) of Ring of integers modulo 12
>> 
>> Checking the code (schemes/generic/scheme.py), if the coordinate ring is not 
>> the rational integers, it punts and assumes the zero-ideal is prime in that 
>> ring.
> 
> You're right -- this is definitely wrong.

This is now 

Suggestions (on the ticket) welcome.

--
Justin C. Walker, Curmudgeon-at-Large
() The ASCII Ribbon Campaign
/\ Help Cure HTML Email



-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-support] spec.an_element()

[William Stein]

On Thu, Mar 31, 2016 at 12:31 PM, Justin C. Walker  wrote:
> Dear Sage Support:
>
> Just checking, but this seems wrong:
>
> sage: R12=Integers(12)
> sage: Spec12=Spec(R12)
> sage: Spec12.an_element()
> Point on Spectrum of Ring of integers modulo 12 defined by the Principal 
> ideal (0) of Ring of integers modulo 12
>
> Checking the code (schemes/generic/scheme.py), if the coordinate ring is not 
> the rational integers, it punts and assumes the zero-ideal is prime in that 
> ring.

You're right -- this is definitely wrong.

>
> Thanks for confirmation or firm smacks!
>
> Justin
>
> --
> Justin C. Walker, Curmudgeon at Large
> Institute for the Absorption of Federal Funds
> ---
> If it weren't for carbon-14, I wouldn't date at all.
> ---
>
>
> --
> You received this message because you are subscribed to the Google Groups 
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-support+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-support@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-support.
> For more options, visit https://groups.google.com/d/optout.



-- 
William (http://wstein.org)

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] spec.an_element()

[Justin C. Walker]

Dear Sage Support:

Just checking, but this seems wrong:

sage: R12=Integers(12)
sage: Spec12=Spec(R12)
sage: Spec12.an_element()
Point on Spectrum of Ring of integers modulo 12 defined by the Principal ideal 
(0) of Ring of integers modulo 12

Checking the code (schemes/generic/scheme.py), if the coordinate ring is not 
the rational integers, it punts and assumes the zero-ideal is prime in that 
ring.

Thanks for confirmation or firm smacks!

Justin

--
Justin C. Walker, Curmudgeon at Large
Institute for the Absorption of Federal Funds
---
If it weren't for carbon-14, I wouldn't date at all.
---


-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.