v0.2.1

[0.2.1] - 2024-05-04

Added

• QRing is an alias for QuotientRing.
• test_primality accepts optional kwarg, iterated_degbound_computation, with defult value False. Behaviour is unchanged on default setting. If set to True, the codimensions of ideals involving f-poly factors are computed with subsequently looser degree bounds, until either a given degree (18) is exceeded or the codim is greater than that of the original ideal. Use is recommended only for ideals that are expected to be prime and for which the computation without degree bound fails.

Changed

• Default max_tries for Ideal.point_on_variety increased to 100 from 10: needed when generating a large number of points.

Fixed

• Occasinally, when generating a point_on_variety with multi-precision complex (mpc) the lex_groebner_basis computation can return the unit ideal, due to precision loss. Introduced a new RootPrecisionError exception and added this to the retry logic.