This does not look right, does it? sage: K.<a> = NumberField(x^2-3) sage: O = K.ring_of_integers() sage: c = O(2*a + 4) sage: isinstance(O, Field) False sage: isinstance(c, FieldElement) True
Martin On Thursday, 12 December 2024 at 23:35:40 UTC+1 Nils Bruin wrote: > On Thursday, 12 December 2024 at 12:39:46 UTC-8 axio...@yahoo.de wrote: > > Great, thank you! This - almost - provides a performance test: > > > Yes, you would need to convince sage that this is indeed a euclidean ring > (I think for this one the usual norm actually is a euclidean norm). I don't > think that simply being a UFD will do it for you. > -- 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 visit https://groups.google.com/d/msgid/sage-devel/35043e34-7915-4c54-9c74-29521c3762e1n%40googlegroups.com.
