Re: [sage-devel] change_ring for ideals

['Travis Scrimshaw' via sage-devel]

Then I will write a PR that implements the generic version I described.

This is now #36472, but I am getting a problem with large looping in 
p-adics that I cannot figure out. I haven't run other tests, but I think 
the only issues are localized to that code.

Best,
Travis

On Monday, October 16, 2023 at 3:53:05 PM UTC+9 Dima Pasechnik wrote:

>
>
> On Mon, 16 Oct 2023, 05:03 'Travis Scrimshaw' via sage-devel, <
> sage-...@googlegroups.com> wrote:
>
>> Hi everyone,
>>Is there some reason why a generic change_ring() was not implemented 
>> for all ideals? This leads to a bug with univariate Laurent polynomials:
>>
>
> I guess it was not implemented because the backend used here is not 
> Singular (where it's built-in)
>
>
>
>> sage: L. = LaurentPolynomialRing(QQ)
>> sage: I = L.ideal(0)
>> sage: I + I
>>
>> ---
>> AttributeErrorTraceback (most recent call 
>> last)
>> ...
>> AttributeError: 'Ideal_1poly_field' object has no attribute 'change_ring'
>>
>> I imagine that just calling "return 
>> self.ring().parent().ideal(self.gens())" would work in general (and I think 
>> should for that matter).
>>
>> This was noticed on PR #36368, where the author is working around it by 
>> implementing this for the class in question.
>>
>> Best,
>> Travis
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/f373c92a-1f68-42ab-aec0-a22305173bacn%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/d69d4e8d-b761-4351-b017-6b7ee274d3d8n%40googlegroups.com.

Re: [sage-devel] change_ring for ideals

[Dima Pasechnik]

On Mon, 16 Oct 2023, 05:03 'Travis Scrimshaw' via sage-devel, <
sage-devel@googlegroups.com> wrote:

> Hi everyone,
>Is there some reason why a generic change_ring() was not implemented
> for all ideals? This leads to a bug with univariate Laurent polynomials:
>

I guess it was not implemented because the backend used here is not
Singular (where it's built-in)



> sage: L. = LaurentPolynomialRing(QQ)
> sage: I = L.ideal(0)
> sage: I + I
> ---
> AttributeErrorTraceback (most recent call last)
> ...
> AttributeError: 'Ideal_1poly_field' object has no attribute 'change_ring'
>
> I imagine that just calling "return
> self.ring().parent().ideal(self.gens())" would work in general (and I think
> should for that matter).
>
> This was noticed on PR #36368, where the author is working around it by
> implementing this for the class in question.
>
> Best,
> Travis
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/f373c92a-1f68-42ab-aec0-a22305173bacn%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq0%3D%2Bdw97KKWewjMVmFmOjNEvUzLhSfZr8xisWH57wk_Jw%40mail.gmail.com.

[sage-devel] change_ring for ideals

['Travis Scrimshaw' via sage-devel]

Hi everyone,
   Is there some reason why a generic change_ring() was not implemented for 
all ideals? This leads to a bug with univariate Laurent polynomials:

sage: L. = LaurentPolynomialRing(QQ)
sage: I = L.ideal(0)
sage: I + I
---
AttributeErrorTraceback (most recent call last)
...
AttributeError: 'Ideal_1poly_field' object has no attribute 'change_ring'

I imagine that just calling "return 
self.ring().parent().ideal(self.gens())" would work in general (and I think 
should for that matter).

This was noticed on PR #36368, where the author is working around it by 
implementing this for the class in question.

Best,
Travis

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/f373c92a-1f68-42ab-aec0-a22305173bacn%40googlegroups.com.