How to calculate Univariate Polynomial in singular?

Could someone please give me a screen shot and/or a copy-and-paste of the codes that would do the following simple task done in maple:



Let me explain a bit:

The input is F, which is a set of 2 polynomials.

The command Groebner:-UnivariatePolynomial takes F as the input, and outputs a polynomial only in x, you might ask: "but a and b are also in the output, why?" this is because a and b are considered to be parameters, only x and y are variables as defined by {x,y} in the command.

I tried to look for a "Univariate Polynomial"-like command in the singular tutorial but with no luck, as you probably have guessed, for a long time Maple user like me, Singular is kind of hard to get the hang of, many thanks to anyone who would kindly help me out!!!

The task behind is to eliminate the variable y from the two equations.

There exist two methods:

A) do a Groebner basis calculation w.r.t. to a elimination ordering
e.g. a lexicographical ordering.
Here you may also use simply Singular's command eliminate
which uses some (hidden) strategies for the choice of the ordering

B) make a resultant computation

In both cases the result is (upto to the sign) the same,
however the the speed may variy in some cases and it can not be said
which is the faster.
In your example the result is obtained instantly with both methods.



As you see, the result is displayed as polynomial in x with polynomial
coefficient in the the parameters a and b.

thank you very much!!!