On Monday, March 4, 2013 10:35:35 AM UTC+1, David Kohel wrote: > > > In a ring of characteristic 0, it seems that 0^0 (= 1) is well-defined. > In my view this is correct. It makes it much simpler to define the > matrix (e.g. FF a finite field): > > G = matrix([ [ a^i for a in FF ] for i in range(k) ]) > > However, in finite fields or any of the the following rings, 0^0 > gives an error: > > FF.<w> = FiniteField(32) > FF = FiniteField(31) > PF.<x> = PolynomialRing(FF) > > The correct behaviour can be faked in an isomorphic ring which > is a quotient of something in characteristic zero: > > PZ.<x> = PolynomialRing(ZZ) > R = PZ.quotient_ring([x-1,31]) > > Here R(0)^0 (= 1) is fine. Is there any objection to reporting this > as a bug and fixing it? > > I think most of these were caught by http://trac.sagemath.org/sage_trac/ticket/13786 and its dependencies which are merged in the 5.8 beta series. Could you test the latest beta and report a bug if needed?
Best, JP -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
