Ask Your Question

Revision history [back]

Indeed, it seems not implemented (the returned error is ImplementedError).

If you look at the code of the is_maximal method:

sage: I.is_maximal??

you will see that the difference is that for univariate polynomial rings, the Krull dimension is 1, while here it is 2.

If you know some method to decide such maximality, it could be added to Sage source code.