[GAP Forum] check ideal membership through singular interface

[mmarco at unizar.es]

We need to check if certains polynomials (that we construct with gap) are in a
given ideal or not. So i used the singular interface to compute groebner basis
of the ideal and the normal form of these ideals with respect to it. But the
problems when i need to study the output back in gap: i am unable to check if
the output is zero or not. Even when the result is zero, (and gap shows it as
zero), it still considers it as a diferent object.
Is there any way to convert this output to regular gap polynomials?