Go backward to `desing/dloc`Go up to ProceduresGo forward to `desing/dlocext` |

It is also an interface procedure under the short name
`dlocBO`. It has the same functionality as of
``desing/dloc``, but it starts the resolution
from a user given basic object and chart. Its parameter list consists
of equations to indicate which members of the chart-record are set.

**Input:**-
*Required parameters:***J=`polylist'**- a list polynomials in the variables of VAR, generating the ideal J.
**VAR=`namelist'**- a list of affine variables (by convention
*x*)._{1}, ..., x_{n}

*Optional parameters:***DEP=`polylist'**- a list of polynomials from
*k[VAR]*, the algebraic relations of VAR. The varietymust be nonsingular (by default DEP=[]).**Z**(DEP) **IND=`polylist'**- a list of polynomials from
*k[VAR]*, representatives of equivalence classes of*k[VAR]/*<DEP>, which must give rise to a system of regular parameters in each point ofby simple translation (by default IND=VAR considered as polynomials).**Z**(DEP) **PDER=`polylists'**- a list of lists of polynomials from
*k[VAR]*, representatives of equivalence classes of*k[VAR]/*<DEP>. PDER stands for an*n ×|IND|*matrix, which in the*ij*-th position contains the partial derivative of the*i*-th affine variable w.r.t. the*j*-th parameter. If IND is given, PDER must be specified (otherwise, by default PDER is the unit*n ×n*matrix). **FOCUS=`polylist'**- a list of polynomials from
*k[VAR]*, generators for the subvariety of the chart which is not covered by other charts. **b=`rlist'**- a list of positive rational numbers, the weights
of the generators of J. The length of the list must be equal to
the number of generators. (by default
`b=[seq(1, i=1..nops(J))]`). **E=`ilist'**- a list of pairwise different indices to IND, the list of exceptional divisors. (by default E=[])
**a=`rlist'**- a list of non negative rational numbers, the weights of the exceptional divisors. If E is given `a' must also be specified, and the length of the list must be equal to the number of exceptional divisors, (otherwise, by default a=[]).
**C=`rlists'**- lists of the same cardinality as of IND, containing
nonnegative rational numbers. They encode generators of the
generalized ideal of the object that are power products of IND
members, storing in the
*i*-th position the exponent of the*i*-th IND member, divided by the rational component of the generalized ideal generator being encoded.

**Output:**- The same as of
``desing/dloc``.