[sage-support] Re: Inverse in integer mod ring

2009-04-05 Thread John Cremona
On Apr 5, 7:43 am, William Stein wrote: > On Sat, Apr 4, 2009 at 2:20 PM, Kwankyu wrote: > > > In the example above, R(3)^-1 produces the right answer (my mistake). > > Anyway the ticket for inverse operation for matrices over integer mod > > ring is now in Ticket #5683. > > > Kwankyu > > I po

[sage-support] Re: Inverse in integer mod ring

2009-04-04 Thread William Stein
On Sat, Apr 4, 2009 at 2:20 PM, Kwankyu wrote: > > In the example above, R(3)^-1 produces the right answer (my mistake). > Anyway the ticket for inverse operation for matrices over integer mod > ring is now in Ticket #5683. > > Kwankyu I posted a patch at http://trac.sagemath.org/sage_trac/ticke

[sage-support] Re: Inverse in integer mod ring

2009-04-04 Thread Kwankyu
In the example above, R(3)^-1 produces the right answer (my mistake). Anyway the ticket for inverse operation for matrices over integer mod ring is now in Ticket #5683. Kwankyu --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com

[sage-support] Re: Inverse in integer mod ring

2009-04-04 Thread William Stein
On Sat, Apr 4, 2009 at 1:12 PM, Kwankyu wrote: > > Thanks Robert. But inverse operation in non integral domain is not > supposed to be implemented in Sage? or is it just a missing feature > yet? Missing feature. Somebody should *definitely* implement this. A first reasonable thing would be "li

[sage-support] Re: Inverse in integer mod ring

2009-04-04 Thread Kwankyu
Thanks Robert. But inverse operation in non integral domain is not supposed to be implemented in Sage? or is it just a missing feature yet? --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send

[sage-support] Re: Inverse in integer mod ring

2009-04-04 Thread Robert Bradshaw
On Apr 4, 2009, at 12:55 PM, Kwankyu wrote: > Hi, > > I get this: > > sage: R=IntegerModRing(8) > sage: m=matrix(R,2,[2,1,3,3]);m.det() > sage: m.inverse() > Traceback (most recent call last): > ... > TypeError: self must be an integral domain. > sage: m^-1 > Traceback (most recent call last): >