xref: /petsc/src/snes/impls/vi/ss/viss.c (revision bbd5d0b317af04eb83c39e72581bf86c64bd741a)
1 
2 #include <../src/snes/impls/vi/ss/vissimpl.h> /*I "petscsnes.h" I*/
3 #include <../include/private/kspimpl.h>
4 #include <../include/private/matimpl.h>
5 #include <../include/private/dmimpl.h>
6 
7 
8 /*
9   SNESVIComputeMeritFunction - Evaluates the merit function for the mixed complementarity problem.
10 
11   Input Parameter:
12 . phi - the semismooth function
13 
14   Output Parameter:
15 . merit - the merit function
16 . phinorm - ||phi||
17 
18   Notes:
19   The merit function for the mixed complementarity problem is defined as
20      merit = 0.5*phi^T*phi
21 */
22 #undef __FUNCT__
23 #define __FUNCT__ "SNESVIComputeMeritFunction"
24 static PetscErrorCode SNESVIComputeMeritFunction(Vec phi, PetscReal* merit,PetscReal* phinorm)
25 {
26   PetscErrorCode ierr;
27 
28   PetscFunctionBegin;
29   ierr = VecNormBegin(phi,NORM_2,phinorm);CHKERRQ(ierr);
30   ierr = VecNormEnd(phi,NORM_2,phinorm);CHKERRQ(ierr);
31 
32   *merit = 0.5*(*phinorm)*(*phinorm);
33   PetscFunctionReturn(0);
34 }
35 
36 PETSC_STATIC_INLINE PetscScalar Phi(PetscScalar a,PetscScalar b)
37 {
38   return a + b - PetscSqrtScalar(a*a + b*b);
39 }
40 
41 PETSC_STATIC_INLINE PetscScalar DPhi(PetscScalar a,PetscScalar b)
42 {
43   if ((PetscAbsScalar(a) >= 1.e-6) || (PetscAbsScalar(b) >= 1.e-6)) return  1.0 - a/ PetscSqrtScalar(a*a + b*b);
44   else return .5;
45 }
46 
47 /*
48    SNESVIComputeFunction - Reformulates a system of nonlinear equations in mixed complementarity form to a system of nonlinear equations in semismooth form.
49 
50    Input Parameters:
51 .  snes - the SNES context
52 .  x - current iterate
53 .  functx - user defined function context
54 
55    Output Parameters:
56 .  phi - Semismooth function
57 
58 */
59 #undef __FUNCT__
60 #define __FUNCT__ "SNESVIComputeFunction"
61 static PetscErrorCode SNESVIComputeFunction(SNES snes,Vec X,Vec phi,void* functx)
62 {
63   PetscErrorCode  ierr;
64   SNES_VISS       *vi = (SNES_VISS*)snes->data;
65   Vec             Xl = snes->xl,Xu = snes->xu,F = snes->vec_func;
66   PetscScalar     *phi_arr,*x_arr,*f_arr,*l,*u;
67   PetscInt        i,nlocal;
68 
69   PetscFunctionBegin;
70   ierr = (*vi->computeuserfunction)(snes,X,F,functx);CHKERRQ(ierr);
71   ierr = VecGetLocalSize(X,&nlocal);CHKERRQ(ierr);
72   ierr = VecGetArray(X,&x_arr);CHKERRQ(ierr);
73   ierr = VecGetArray(F,&f_arr);CHKERRQ(ierr);
74   ierr = VecGetArray(Xl,&l);CHKERRQ(ierr);
75   ierr = VecGetArray(Xu,&u);CHKERRQ(ierr);
76   ierr = VecGetArray(phi,&phi_arr);CHKERRQ(ierr);
77 
78   for (i=0;i < nlocal;i++) {
79     if ((PetscRealPart(l[i]) <= SNES_VI_NINF) && (PetscRealPart(u[i]) >= SNES_VI_INF)) { /* no constraints on variable */
80       phi_arr[i] = f_arr[i];
81     } else if (PetscRealPart(l[i]) <= SNES_VI_NINF) {                      /* upper bound on variable only */
82       phi_arr[i] = -Phi(u[i] - x_arr[i],-f_arr[i]);
83     } else if (PetscRealPart(u[i]) >= SNES_VI_INF) {                       /* lower bound on variable only */
84       phi_arr[i] = Phi(x_arr[i] - l[i],f_arr[i]);
85     } else if (l[i] == u[i]) {
86       phi_arr[i] = l[i] - x_arr[i];
87     } else {                                                /* both bounds on variable */
88       phi_arr[i] = Phi(x_arr[i] - l[i],-Phi(u[i] - x_arr[i],-f_arr[i]));
89     }
90   }
91 
92   ierr = VecRestoreArray(X,&x_arr);CHKERRQ(ierr);
93   ierr = VecRestoreArray(F,&f_arr);CHKERRQ(ierr);
94   ierr = VecRestoreArray(Xl,&l);CHKERRQ(ierr);
95   ierr = VecRestoreArray(Xu,&u);CHKERRQ(ierr);
96   ierr = VecRestoreArray(phi,&phi_arr);CHKERRQ(ierr);
97   PetscFunctionReturn(0);
98 }
99 
100 /*
101    SNESVIComputeBsubdifferentialVectors - Computes the diagonal shift (Da) and row scaling (Db) vectors needed for the
102                                           the semismooth jacobian.
103 */
104 #undef __FUNCT__
105 #define __FUNCT__ "SNESVIComputeBsubdifferentialVectors"
106 PetscErrorCode SNESVIComputeBsubdifferentialVectors(SNES snes,Vec X,Vec F,Mat jac,Vec Da,Vec Db)
107 {
108   PetscErrorCode ierr;
109   PetscScalar    *l,*u,*x,*f,*da,*db,da1,da2,db1,db2;
110   PetscInt       i,nlocal;
111 
112   PetscFunctionBegin;
113 
114   ierr = VecGetArray(X,&x);CHKERRQ(ierr);
115   ierr = VecGetArray(F,&f);CHKERRQ(ierr);
116   ierr = VecGetArray(snes->xl,&l);CHKERRQ(ierr);
117   ierr = VecGetArray(snes->xu,&u);CHKERRQ(ierr);
118   ierr = VecGetArray(Da,&da);CHKERRQ(ierr);
119   ierr = VecGetArray(Db,&db);CHKERRQ(ierr);
120   ierr = VecGetLocalSize(X,&nlocal);CHKERRQ(ierr);
121 
122   for (i=0;i< nlocal;i++) {
123     if ((PetscRealPart(l[i]) <= SNES_VI_NINF) && (PetscRealPart(u[i]) >= SNES_VI_INF)) {/* no constraints on variable */
124       da[i] = 0;
125       db[i] = 1;
126     } else if (PetscRealPart(l[i]) <= SNES_VI_NINF) {                     /* upper bound on variable only */
127       da[i] = DPhi(u[i] - x[i], -f[i]);
128       db[i] = DPhi(-f[i],u[i] - x[i]);
129     } else if (PetscRealPart(u[i]) >= SNES_VI_INF) {                      /* lower bound on variable only */
130       da[i] = DPhi(x[i] - l[i], f[i]);
131       db[i] = DPhi(f[i],x[i] - l[i]);
132     } else if (l[i] == u[i]) {                              /* fixed variable */
133       da[i] = 1;
134       db[i] = 0;
135     } else {                                                /* upper and lower bounds on variable */
136       da1 = DPhi(x[i] - l[i], -Phi(u[i] - x[i], -f[i]));
137       db1 = DPhi(-Phi(u[i] - x[i], -f[i]),x[i] - l[i]);
138       da2 = DPhi(u[i] - x[i], -f[i]);
139       db2 = DPhi(-f[i],u[i] - x[i]);
140       da[i] = da1 + db1*da2;
141       db[i] = db1*db2;
142     }
143   }
144 
145   ierr = VecRestoreArray(X,&x);CHKERRQ(ierr);
146   ierr = VecRestoreArray(F,&f);CHKERRQ(ierr);
147   ierr = VecRestoreArray(snes->xl,&l);CHKERRQ(ierr);
148   ierr = VecRestoreArray(snes->xu,&u);CHKERRQ(ierr);
149   ierr = VecRestoreArray(Da,&da);CHKERRQ(ierr);
150   ierr = VecRestoreArray(Db,&db);CHKERRQ(ierr);
151   PetscFunctionReturn(0);
152 }
153 
154 /*
155    SNESVIComputeJacobian - Computes the jacobian of the semismooth function.The Jacobian for the semismooth function is an element of the B-subdifferential of the Fischer-Burmeister function for complementarity problems.
156 
157    Input Parameters:
158 .  Da       - Diagonal shift vector for the semismooth jacobian.
159 .  Db       - Row scaling vector for the semismooth jacobian.
160 
161    Output Parameters:
162 .  jac      - semismooth jacobian
163 .  jac_pre  - optional preconditioning matrix
164 
165    Notes:
166    The semismooth jacobian matrix is given by
167    jac = Da + Db*jacfun
168    where Db is the row scaling matrix stored as a vector,
169          Da is the diagonal perturbation matrix stored as a vector
170    and   jacfun is the jacobian of the original nonlinear function.
171 */
172 #undef __FUNCT__
173 #define __FUNCT__ "SNESVIComputeJacobian"
174 PetscErrorCode SNESVIComputeJacobian(Mat jac, Mat jac_pre,Vec Da, Vec Db)
175 {
176   PetscErrorCode ierr;
177 
178   /* Do row scaling  and add diagonal perturbation */
179   ierr = MatDiagonalScale(jac,Db,PETSC_NULL);CHKERRQ(ierr);
180   ierr = MatDiagonalSet(jac,Da,ADD_VALUES);CHKERRQ(ierr);
181   if (jac != jac_pre) { /* If jac and jac_pre are different */
182     ierr = MatDiagonalScale(jac_pre,Db,PETSC_NULL);
183     ierr = MatDiagonalSet(jac_pre,Da,ADD_VALUES);CHKERRQ(ierr);
184   }
185   PetscFunctionReturn(0);
186 }
187 
188 /*
189    SNESVIComputeMeritFunctionGradient - Computes the gradient of the merit function psi.
190 
191    Input Parameters:
192    phi - semismooth function.
193    H   - semismooth jacobian
194 
195    Output Parameters:
196    dpsi - merit function gradient
197 
198    Notes:
199   The merit function gradient is computed as follows
200         dpsi = H^T*phi
201 */
202 #undef __FUNCT__
203 #define __FUNCT__ "SNESVIComputeMeritFunctionGradient"
204 PetscErrorCode SNESVIComputeMeritFunctionGradient(Mat H, Vec phi, Vec dpsi)
205 {
206   PetscErrorCode ierr;
207 
208   PetscFunctionBegin;
209   ierr = MatMultTranspose(H,phi,dpsi);CHKERRQ(ierr);
210   PetscFunctionReturn(0);
211 }
212 
213 
214 
215 /*
216    SNESSolve_VISS - Solves the complementarity problem with a semismooth Newton
217    method using a line search.
218 
219    Input Parameters:
220 .  snes - the SNES context
221 
222    Output Parameter:
223 .  outits - number of iterations until termination
224 
225    Application Interface Routine: SNESSolve()
226 
227    Notes:
228    This implements essentially a semismooth Newton method with a
229    line search. The default line search does not do any line seach
230    but rather takes a full newton step.
231 */
232 #undef __FUNCT__
233 #define __FUNCT__ "SNESSolve_VISS"
234 PetscErrorCode SNESSolve_VISS(SNES snes)
235 {
236   SNES_VISS          *vi = (SNES_VISS*)snes->data;
237   PetscErrorCode     ierr;
238   PetscInt           maxits,i,lits;
239   PetscBool          lssucceed;
240   MatStructure       flg = DIFFERENT_NONZERO_PATTERN;
241   PetscReal          gnorm,xnorm=0,ynorm;
242   Vec                Y,X,F,G,W;
243   KSPConvergedReason kspreason;
244   DM                 dm;
245   SNESDM             sdm;
246 
247   PetscFunctionBegin;
248   ierr = SNESGetDM(snes,&dm);CHKERRQ(ierr);
249   ierr = DMSNESGetContext(dm,&sdm);CHKERRQ(ierr);
250   vi->computeuserfunction    = sdm->computefunction;
251   sdm->computefunction = SNESVIComputeFunction;
252 
253   snes->numFailures            = 0;
254   snes->numLinearSolveFailures = 0;
255   snes->reason                 = SNES_CONVERGED_ITERATING;
256 
257   maxits	= snes->max_its;	/* maximum number of iterations */
258   X		= snes->vec_sol;	/* solution vector */
259   F		= snes->vec_func;	/* residual vector */
260   Y		= snes->work[0];	/* work vectors */
261   G		= snes->work[1];
262   W		= snes->work[2];
263 
264   ierr = PetscObjectTakeAccess(snes);CHKERRQ(ierr);
265   snes->iter = 0;
266   snes->norm = 0.0;
267   ierr = PetscObjectGrantAccess(snes);CHKERRQ(ierr);
268 
269   ierr = SNESVIProjectOntoBounds(snes,X);CHKERRQ(ierr);
270   ierr = SNESComputeFunction(snes,X,vi->phi);CHKERRQ(ierr);
271   if (snes->domainerror) {
272     snes->reason = SNES_DIVERGED_FUNCTION_DOMAIN;
273     sdm->computefunction = vi->computeuserfunction;
274     PetscFunctionReturn(0);
275   }
276    /* Compute Merit function */
277   ierr = SNESVIComputeMeritFunction(vi->phi,&vi->merit,&vi->phinorm);CHKERRQ(ierr);
278 
279   ierr = VecNormBegin(X,NORM_2,&xnorm);CHKERRQ(ierr);	/* xnorm <- ||x||  */
280   ierr = VecNormEnd(X,NORM_2,&xnorm);CHKERRQ(ierr);
281   if (PetscIsInfOrNanReal(vi->merit)) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_FP,"User provided compute function generated a Not-a-Number");
282 
283   ierr = PetscObjectTakeAccess(snes);CHKERRQ(ierr);
284   snes->norm = vi->phinorm;
285   ierr = PetscObjectGrantAccess(snes);CHKERRQ(ierr);
286   SNESLogConvHistory(snes,vi->phinorm,0);
287   ierr = SNESMonitor(snes,0,vi->phinorm);CHKERRQ(ierr);
288 
289   /* set parameter for default relative tolerance convergence test */
290   snes->ttol = vi->phinorm*snes->rtol;
291   /* test convergence */
292   ierr = (*snes->ops->converged)(snes,0,0.0,0.0,vi->phinorm,&snes->reason,snes->cnvP);CHKERRQ(ierr);
293   if (snes->reason) {
294     sdm->computefunction = vi->computeuserfunction;
295     PetscFunctionReturn(0);
296   }
297 
298   for (i=0; i<maxits; i++) {
299 
300     /* Call general purpose update function */
301     if (snes->ops->update) {
302       ierr = (*snes->ops->update)(snes, snes->iter);CHKERRQ(ierr);
303     }
304 
305     /* Solve J Y = Phi, where J is the semismooth jacobian */
306     /* Get the nonlinear function jacobian */
307     ierr = SNESComputeJacobian(snes,X,&snes->jacobian,&snes->jacobian_pre,&flg);CHKERRQ(ierr);
308     /* Get the diagonal shift and row scaling vectors */
309     ierr = SNESVIComputeBsubdifferentialVectors(snes,X,F,snes->jacobian,vi->Da,vi->Db);CHKERRQ(ierr);
310     /* Compute the semismooth jacobian */
311     ierr = SNESVIComputeJacobian(snes->jacobian,snes->jacobian_pre,vi->Da,vi->Db);CHKERRQ(ierr);
312     /* Compute the merit function gradient */
313     ierr = SNESVIComputeMeritFunctionGradient(snes->jacobian,vi->phi,vi->dpsi);CHKERRQ(ierr);
314     ierr = KSPSetOperators(snes->ksp,snes->jacobian,snes->jacobian_pre,flg);CHKERRQ(ierr);
315     ierr = SNES_KSPSolve(snes,snes->ksp,vi->phi,Y);CHKERRQ(ierr);
316     ierr = KSPGetConvergedReason(snes->ksp,&kspreason);CHKERRQ(ierr);
317 
318     if (kspreason < 0) {
319       if (++snes->numLinearSolveFailures >= snes->maxLinearSolveFailures) {
320         ierr = PetscInfo2(snes,"iter=%D, number linear solve failures %D greater than current SNES allowed, stopping solve\n",snes->iter,snes->numLinearSolveFailures);CHKERRQ(ierr);
321         snes->reason = SNES_DIVERGED_LINEAR_SOLVE;
322         break;
323       }
324     }
325     ierr = KSPGetIterationNumber(snes->ksp,&lits);CHKERRQ(ierr);
326     snes->linear_its += lits;
327     ierr = PetscInfo2(snes,"iter=%D, linear solve iterations=%D\n",snes->iter,lits);CHKERRQ(ierr);
328     /*
329     if (snes->ops->precheckstep) {
330       PetscBool changed_y = PETSC_FALSE;
331       ierr = (*snes->ops->precheckstep)(snes,X,Y,snes->precheck,&changed_y);CHKERRQ(ierr);
332     }
333 
334     if (PetscLogPrintInfo){
335       ierr = SNESVICheckResidual_Private(snes,snes->jacobian,F,Y,G,W);CHKERRQ(ierr);
336     }
337     */
338     /* Compute a (scaled) negative update in the line search routine:
339          Y <- X - lambda*Y
340        and evaluate G = function(Y) (depends on the line search).
341     */
342     ierr = VecCopy(Y,snes->vec_sol_update);CHKERRQ(ierr);
343     ynorm = 1; gnorm = vi->phinorm;
344     ierr = (*snes->ops->linesearch)(snes,snes->lsP,X,vi->phi,Y,vi->phinorm,xnorm,G,W,&ynorm,&gnorm,&lssucceed);CHKERRQ(ierr);
345     ierr = PetscInfo4(snes,"fnorm=%18.16e, gnorm=%18.16e, ynorm=%18.16e, lssucceed=%d\n",(double)vi->phinorm,(double)gnorm,(double)ynorm,(int)lssucceed);CHKERRQ(ierr);
346     if (snes->reason == SNES_DIVERGED_FUNCTION_COUNT) break;
347     if (snes->domainerror) {
348       snes->reason = SNES_DIVERGED_FUNCTION_DOMAIN;
349       sdm->computefunction = vi->computeuserfunction;
350       PetscFunctionReturn(0);
351     }
352     if (!lssucceed) {
353       if (++snes->numFailures >= snes->maxFailures) {
354 	PetscBool ismin;
355         snes->reason = SNES_DIVERGED_LINE_SEARCH;
356         ierr = SNESVICheckLocalMin_Private(snes,snes->jacobian,G,W,gnorm,&ismin);CHKERRQ(ierr);
357         if (ismin) snes->reason = SNES_DIVERGED_LOCAL_MIN;
358         break;
359       }
360     }
361     /* Update function and solution vectors */
362     vi->phinorm = gnorm;
363     vi->merit = 0.5*vi->phinorm*vi->phinorm;
364     ierr = VecCopy(G,vi->phi);CHKERRQ(ierr);
365     ierr = VecCopy(W,X);CHKERRQ(ierr);
366     /* Monitor convergence */
367     ierr = PetscObjectTakeAccess(snes);CHKERRQ(ierr);
368     snes->iter = i+1;
369     snes->norm = vi->phinorm;
370     ierr = PetscObjectGrantAccess(snes);CHKERRQ(ierr);
371     SNESLogConvHistory(snes,snes->norm,lits);
372     ierr = SNESMonitor(snes,snes->iter,snes->norm);CHKERRQ(ierr);
373     /* Test for convergence, xnorm = || X || */
374     if (snes->ops->converged != SNESSkipConverged) { ierr = VecNorm(X,NORM_2,&xnorm);CHKERRQ(ierr); }
375     ierr = (*snes->ops->converged)(snes,snes->iter,xnorm,ynorm,vi->phinorm,&snes->reason,snes->cnvP);CHKERRQ(ierr);
376     if (snes->reason) break;
377   }
378   if (i == maxits) {
379     ierr = PetscInfo1(snes,"Maximum number of iterations has been reached: %D\n",maxits);CHKERRQ(ierr);
380     if(!snes->reason) snes->reason = SNES_DIVERGED_MAX_IT;
381   }
382   sdm->computefunction = vi->computeuserfunction;
383   PetscFunctionReturn(0);
384 }
385 
386 /* -------------------------------------------------------------------------- */
387 /*
388    SNESSetUp_VISS - Sets up the internal data structures for the later use
389    of the SNES nonlinear solver.
390 
391    Input Parameter:
392 .  snes - the SNES context
393 .  x - the solution vector
394 
395    Application Interface Routine: SNESSetUp()
396 
397    Notes:
398    For basic use of the SNES solvers, the user need not explicitly call
399    SNESSetUp(), since these actions will automatically occur during
400    the call to SNESSolve().
401  */
402 #undef __FUNCT__
403 #define __FUNCT__ "SNESSetUp_VISS"
404 PetscErrorCode SNESSetUp_VISS(SNES snes)
405 {
406   PetscErrorCode ierr;
407   SNES_VISS      *vi = (SNES_VISS*) snes->data;
408 
409   PetscFunctionBegin;
410   ierr = SNESSetUp_VI(snes);CHKERRQ(ierr);
411   ierr = VecDuplicate(snes->vec_sol, &vi->dpsi);CHKERRQ(ierr);
412   ierr = VecDuplicate(snes->vec_sol, &vi->phi);CHKERRQ(ierr);
413   ierr = VecDuplicate(snes->vec_sol, &vi->Da);CHKERRQ(ierr);
414   ierr = VecDuplicate(snes->vec_sol, &vi->Db);CHKERRQ(ierr);
415   ierr = VecDuplicate(snes->vec_sol, &vi->z);CHKERRQ(ierr);
416   ierr = VecDuplicate(snes->vec_sol, &vi->t);CHKERRQ(ierr);
417   PetscFunctionReturn(0);
418 }
419 /* -------------------------------------------------------------------------- */
420 #undef __FUNCT__
421 #define __FUNCT__ "SNESReset_VISS"
422 PetscErrorCode SNESReset_VISS(SNES snes)
423 {
424   SNES_VISS      *vi = (SNES_VISS*) snes->data;
425   PetscErrorCode ierr;
426 
427   PetscFunctionBegin;
428   ierr = SNESReset_VI(snes);CHKERRQ(ierr);
429   ierr = VecDestroy(&vi->dpsi);CHKERRQ(ierr);
430   ierr = VecDestroy(&vi->phi);CHKERRQ(ierr);
431   ierr = VecDestroy(&vi->Da);CHKERRQ(ierr);
432   ierr = VecDestroy(&vi->Db);CHKERRQ(ierr);
433   ierr = VecDestroy(&vi->z);CHKERRQ(ierr);
434   ierr = VecDestroy(&vi->t);CHKERRQ(ierr);
435   PetscFunctionReturn(0);
436 }
437 
438 /* -------------------------------------------------------------------------- */
439 /*
440    SNESSetFromOptions_VISS - Sets various parameters for the SNESVI method.
441 
442    Input Parameter:
443 .  snes - the SNES context
444 
445    Application Interface Routine: SNESSetFromOptions()
446 */
447 #undef __FUNCT__
448 #define __FUNCT__ "SNESSetFromOptions_VISS"
449 static PetscErrorCode SNESSetFromOptions_VISS(SNES snes)
450 {
451   PetscErrorCode     ierr;
452 
453   PetscFunctionBegin;
454   ierr = SNESSetFromOptions_VI(snes);CHKERRQ(ierr);
455   ierr = PetscOptionsHead("SNES semismooth method options");CHKERRQ(ierr);
456   ierr = PetscOptionsTail();CHKERRQ(ierr);
457   PetscFunctionReturn(0);
458 }
459 
460 
461 /* -------------------------------------------------------------------------- */
462 /*MC
463       SNESVISS - Semi-smooth solver for variational inequalities based on Newton's method
464 
465    Options Database:
466 +   -snes_vi_type <ss,rs,rsaug> a semi-smooth solver, a reduced space active set method, and a reduced space active set method that does not eliminate the active constraints from the Jacobian instead augments the Jacobian with additional variables that enforce the constraints
467 -   -snes_vi_monitor - prints the number of active constraints at each iteration.
468 
469    Level: beginner
470 
471    References:
472    - T. S. Munson, F. Facchinei, M. C. Ferris, A. Fischer, and C. Kanzow. The semismooth
473      algorithm for large scale complementarity problems. INFORMS Journal on Computing, 13 (2001).
474 
475 .seealso:  SNESVISetVariableBounds(), SNESVISetComputeVariableBounds(), SNESCreate(), SNES, SNESSetType(), SNESVIRS, SNESVISS, SNESTR, SNESLineSearchSet(),
476            SNESLineSearchSetPostCheck(), SNESLineSearchNo(), SNESLineSearchCubic(), SNESLineSearchQuadratic(),
477            SNESLineSearchSet(), SNESLineSearchNoNorms(), SNESLineSearchSetPreCheck(), SNESLineSearchSetParams(), SNESLineSearchGetParams()
478 
479 M*/
480 EXTERN_C_BEGIN
481 #undef __FUNCT__
482 #define __FUNCT__ "SNESCreate_VISS"
483 PetscErrorCode  SNESCreate_VISS(SNES snes)
484 {
485   PetscErrorCode ierr;
486   SNES_VISS      *vi;
487 
488   PetscFunctionBegin;
489   snes->ops->reset           = SNESReset_VISS;
490   snes->ops->setup           = SNESSetUp_VISS;
491   snes->ops->solve           = SNESSolve_VISS;
492   snes->ops->destroy         = SNESDestroy_VI;
493   snes->ops->setfromoptions  = SNESSetFromOptions_VISS;
494   snes->ops->view            = PETSC_NULL;
495 
496   snes->usesksp             = PETSC_TRUE;
497   snes->usespc              = PETSC_FALSE;
498 
499   ierr                       = PetscNewLog(snes,SNES_VISS,&vi);CHKERRQ(ierr);
500   snes->data                 = (void*)vi;
501   snes->ls_alpha             = 1.e-4;
502   snes->maxstep              = 1.e8;
503   snes->steptol              = 1.e-12;
504 
505   ierr = PetscObjectComposeFunctionDynamic((PetscObject)snes,"SNESVISetVariableBounds_C","SNESVISetVariableBounds_VI",SNESVISetVariableBounds_VI);CHKERRQ(ierr);
506   ierr = PetscObjectComposeFunctionDynamic((PetscObject)snes,"SNESVISetComputeVariableBounds_C","SNESVISetComputeVariableBounds_VI",SNESVISetComputeVariableBounds_VI);CHKERRQ(ierr);
507   ierr = PetscObjectComposeFunctionDynamic((PetscObject)snes,"SNESLineSearchSetType_C","SNESLineSearchSetType_VI",SNESLineSearchSetType_VI);CHKERRQ(ierr);
508   ierr = SNESLineSearchSetType(snes, SNES_LS_CUBIC);CHKERRQ(ierr);
509 
510   PetscFunctionReturn(0);
511 }
512 EXTERN_C_END
513 
514