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?

--David


--
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.


Reply via email to