When I tried the following:
R.<x, y>= QQ[ ]
I= R.ideal([x, y])
I.is_prime()
I.is_maximal()
It is running true for I.is_prime but there is an error message when I am running I.is_maximal. It is happening for ring of integers as well. For ring of univariate polynomials, the same command is not giving any error.
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.
Asked: 2021-10-07 01:37:12 +0100
Seen: 475 times
Last updated: Oct 07 '21
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.