Question: Polynomial ideals over Q(sqrt(2))

How to create polynomial ideals over algebraic extensions of the field of  rationals Q with Maple?
The Maple help to PolynomialIdeals
"All package commands support computations over the rational numbers, algebraic number fields, rational function fields, and algebraic function fields, as well as finite fields. Coefficients from algebraic extension fields can be specified using radicals or RootOfs"
is too poor. I also don't find any example on this topic in examples,PolynomialIdeals.

Please Wait...