> if i have a polynomial f (ex : poly f = x2 - 1 )
> i want to have f(1) ( f(1) = (1)^2-1 = 0 )
> and want to solve f(x) = 0
> How can i do this?
First of all you have define a ring (which includes a definition of a ground field and an ordering on monomials).
In your case let the ground field be Q, then your ring definition will be
ring r = 0,(x),dp;
Then you define your polynomial.
poly f = x^2 -1;
For evaluation there is a command "subst"
poly f1 = subst(f,x,1);
For "solving" you can use either factorization (for one polynomial)
or, for systems of equations, see the library "solve.lib".
In any case, you find the detailed information in the documentation, available both on-line (for instance, at http://www.singular.uni-kl.de/Manual/2-0-5/index.htm
) and in every distribution you dowload.