> Sure. So we have 4 (?) possible outcomes:
>
> 1. Inverse exists and we can compute it: return the inverse
> 2. We can compute that the inverse does not exist: ZeroDivisionError
> 3. We can compute that the inverse exists but cannot find the inverse:
> NotImplementedError
> 4. We cannot determ
On 2012-10-29 16:39, Marco Streng wrote:
> 2012/10/28 Charles Bouillaguet :
>> Hi all,
>>
>> While playing with the quotient of a polynomial ring with an ideal, I
>> encountered several glitches.
>>
>> *) Trying to compute the inverse of something which is not invertible.
>>
>> I know it is kind o
On 31 October 2012 13:39, Charles Bouillaguet wrote:
>
> > I think all that Marco meant was that for a general ring, there may be
> > no algorithm to decide invertibility. In this ring, of course there
> > is.
>
> Yes, but the NotImplemented exception was raised **in the case where a
> Groebner
> I think all that Marco meant was that for a general ring, there may be
> no algorithm to decide invertibility. In this ring, of course there
> is.
Yes, but the NotImplemented exception was raised **in the case where a Groebner
basis could be computed**, and I maintain that it is not the most
On 30 October 2012 13:38, Charles Bouillaguet
wrote:
> On Oct 29, 2012, at 4:39 PM, Marco Streng wrote:
>
>
>> 2012/10/28 Charles Bouillaguet :
>>> Hi all,
>>>
>>> While playing with the quotient of a polynomial ring with an ideal, I
>>> encountered several glitches.
>>>
>>> *) Trying to compute
On Oct 29, 2012, at 4:39 PM, Marco Streng wrote:
> 2012/10/28 Charles Bouillaguet :
>> Hi all,
>>
>> While playing with the quotient of a polynomial ring with an ideal, I
>> encountered several glitches.
>>
>> *) Trying to compute the inverse of something which is not invertible.
>>
>> I know
2012/10/28 Charles Bouillaguet :
> Hi all,
>
> While playing with the quotient of a polynomial ring with an ideal, I
> encountered several glitches.
>
> *) Trying to compute the inverse of something which is not invertible.
>
> I know it is kind of weird to try this. However, it raises a
> NotImp
On Oct 28, 2012, at 04:25 , Charles Bouillaguet wrote:
> Hi all,
>
> While playing with the quotient of a polynomial ring with an ideal, I
> encountered several glitches.
>
> *) Trying to compute the inverse of something which is not invertible.
>
> I know it is kind of weird to try this. Ho
Hi all,
While playing with the quotient of a polynomial ring with an ideal, I
encountered several glitches.
*) Trying to compute the inverse of something which is not invertible.
I know it is kind of weird to try this. However, it raises a
NotImplementedError exception, instead of something m
