<A NAME=Ideal_Parameters>
<TITLE>Ideal_Parameters</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>
<B>IDEAL PARAMETERS</B><P>
<P>
<P>
<P>
Most operators of the <em>Groebner</em> package compute expressions in a
polynomial ring which given as <R>[<var>,<var>,...] where
<R> is the current REDUCE coefficient domain. All algebraically
exact domains of REDUCE are supported. The package can operate over rings
and fields. The operation mode is distinguished automatically. In
general the ring mode is a bit faster than the field mode. The factoring
variant can be applied only over domains which allow you factoring of
multivariate polynomials.
<P>
<P>
The variable sequence <var> is either declared explicitly as argument
in form of a
<A HREF=r37_0053.html>list</A> in
<A HREF=r37_0354.html>torder</A>, or it is extracted
automatically from the expressions. In the second case the current REDUCE
system order is used (see
<A HREF=r37_0198.html>korder</A>) for arranging the variables.
If some kernels should play the role of formal parameters (the ground
domain <R> then is the polynomial ring over these), the variable
sequences must be given explicitly.
<P>
<P>
All REDUCE
<A HREF=r37_0002.html>kernel</A>s can be used as variables. But please note,
that all variables are considered as independent. E.g. when using
<em>sin(a)</em> and <em>cos(a)</em> as variables, the basic relation
<em>sin(a)^2+cos(a)^2-1=0</em> must be explicitly added to an equation set
because the Groebner operators don't include such knowledge automatically.
<P>
<P>
The terms (monomials) in polynomials are arranged according to the current
<A HREF=r37_0353.html>term order</A>. Note that the algebraic properties of the
computed
results only are valid as long as neither the ordering nor the variable
sequence changes.
<P>
<P>
The input expressions <exp> can be polynomials <p>, rational
functions <n>/<d> or equations <lh>=<rh> built from
polynomials or rational functions. Apart from the <em>tracing</em>
algorithms
<A HREF=r37_0397.html>groebnert</A> and
<A HREF=r37_0398.html>preducet</A>, where the equations
have a specific meaning, equations are converted to simple expressions by
taking the difference of the left-hand and right-hand sides
<lh>-<rh>=><p>. Rational functions are converted to
polynomials by converting the expression to a common denominator form
first, and then using the numerator only <n>=><p>. So eventual
zeros of the denominators are ignored.
<P>
<P>
A basis on input or output of an algorithm is coded as
<A HREF=r37_0053.html>list</A> of
expressions {<exp>,<exp>,...} .
<P>
<P>