© 2017 John Abbott, Anna M. Bigatti
GNU Free Documentation License, Version 1.2

CoCoALib Documentation Index


User documentation

This file offers functions for testing membership in the radical of an ideal. This can be done relatively cheaply compared to actually computing a generating set for the radical.

Queries and views

Let I be an ideal in a polynomial ring, and let f be an element of the same polynomial ring.

Maintainer documentation

The implementation is straightforward (once you have learned the theory about "Rabinowitch's Trick").

We can be slightly clever when the ideal is homogeneous.

Bugs, shortcomings and other ideas

Can be terribly slow: see in test-RadicalMembership1.C for some commented out cases.

Main changes