Maximal ideal in FriCAS

[Grégory Vanuxem]

Hello,

There are tons of conditions in FriCAS/Mathematics, I agree, but are
there some conditions on ideals (I am not a mathematician), I just
see that as _special_ subset. No condition? Maximal ideal is my
concern.

So, any conditions to use for conditional exports?

Greg

PS: Not too a lot of mathematics I have also tons of books, _just in FriCAS_

[Waldek Hebisch]

It is not clear to me what you want. We have domain 'PolynomialIdeal'
which represents ideals in a polynomial ring. Do you want a
function to determine if an ideal (that is element of PolynomialIdeal)
is a maximal ideal? ATM I do not see any. In ring of polynomials
over algebraically closed field checking if an ideal is maximal is
quite easy. In general it is more tricky, but probably we could add
such a function.

--
Waldek Hebisch