In the MAGMA software package, given a multivariate polynomial $f$ in some polynomial ring , how do we get its constant part?
For univariate polynomials the method ConstantCoefficient(f) returns (you guessed it) the constant coefficient. But this method does not exist for multivariate polynomials.
I can use the Evaluate method to find the constant part of the polynomial, but this seems wastefull.
Needless to say, I am very new to the MAGMA Software, any help is appreciated.