Sébastien Loriot b0072b556f The constructor of Sqrt_extension from 3 parameters does not allow the root to be ...

0. Update Circular_kernel_3 testsuite to this precondition.

Raffine the fix of r63323 of operator== of Sqrt_extension. The original
behavior is used if ACDE_TAG is Tag_false and the one of r63323 otherwise
(selected at compile time).

2011-05-05 08:17:39 +00:00

..

Circular_kernel_3

The constructor of Sqrt_extension from 3 parameters does not allow the root to be

2011-05-05 08:17:39 +00:00