Re: [math] On the contract of FieldElement.divide(T)

2012-02-26 Thread Sébastien Brisard
2012/2/26 Luc Maisonobe : > Le 26/02/2012 08:47, Sébastien Brisard a écrit : >> Hi, >> I know that CM3 should be in a frozen state now, but while working >> with FieldElement this morning, I've noticed that the contract of >> divide(T) states that an ArithmeticException *should* be thrown if the >>

Re: [math] On the contract of FieldElement.divide(T)

2012-02-26 Thread Luc Maisonobe
Le 26/02/2012 08:47, Sébastien Brisard a écrit : > Hi, > I know that CM3 should be in a frozen state now, but while working > with FieldElement this morning, I've noticed that the contract of > divide(T) states that an ArithmeticException *should* be thrown if the > parameter is zero. However, for

[math] On the contract of FieldElement.divide(T)

2012-02-25 Thread Sébastien Brisard
Hi, I know that CM3 should be in a frozen state now, but while working with FieldElement this morning, I've noticed that the contract of divide(T) states that an ArithmeticException *should* be thrown if the parameter is zero. However, for this boundary case - BigFraction.divide(BigFraction) thro