xref: /petsc/src/tao/complementarity/impls/ssls/ssls.c (revision 53506e15f4c198475be287552ae23f63a4890445)
1a7e14dcfSSatish Balay #include "ssls.h"
2a7e14dcfSSatish Balay 
3a7e14dcfSSatish Balay 
4a7e14dcfSSatish Balay /*------------------------------------------------------------*/
5a7e14dcfSSatish Balay #undef __FUNCT__
6a7e14dcfSSatish Balay #define __FUNCT__ "TaoSetFromOptions_SSLS"
7a7e14dcfSSatish Balay PetscErrorCode TaoSetFromOptions_SSLS(TaoSolver tao)
8a7e14dcfSSatish Balay {
9a7e14dcfSSatish Balay   TAO_SSLS       *ssls = (TAO_SSLS *)tao->data;
10a7e14dcfSSatish Balay   PetscErrorCode ierr;
11a7e14dcfSSatish Balay   PetscBool      flg;
12a7e14dcfSSatish Balay 
13a7e14dcfSSatish Balay   PetscFunctionBegin;
14*53506e15SBarry Smith   ierr = PetscOptionsHead("Semismooth method with a linesearch for complementarity problems");CHKERRQ(ierr);
15*53506e15SBarry Smith   ierr = PetscOptionsReal("-ssls_delta", "descent test fraction", "",ssls->delta, &(ssls->delta), &flg);CHKERRQ(ierr);
16*53506e15SBarry Smith   ierr = PetscOptionsReal("-ssls_rho", "descent test power", "",ssls->rho, &(ssls->rho), &flg);CHKERRQ(ierr);
17a7e14dcfSSatish Balay   ierr = TaoLineSearchSetFromOptions(tao->linesearch);CHKERRQ(ierr);
18a7e14dcfSSatish Balay   ierr = KSPSetFromOptions(tao->ksp);CHKERRQ(ierr);
19a7e14dcfSSatish Balay   ierr = PetscOptionsTail();CHKERRQ(ierr);
20a7e14dcfSSatish Balay   PetscFunctionReturn(0);
21a7e14dcfSSatish Balay }
22a7e14dcfSSatish Balay 
23a7e14dcfSSatish Balay /*------------------------------------------------------------*/
24a7e14dcfSSatish Balay #undef __FUNCT__
25a7e14dcfSSatish Balay #define __FUNCT__ "TaoView_SSLS"
26a7e14dcfSSatish Balay PetscErrorCode TaoView_SSLS(TaoSolver tao, PetscViewer pv)
27a7e14dcfSSatish Balay {
28a7e14dcfSSatish Balay   /*PetscErrorCode ierr; */
29a7e14dcfSSatish Balay 
30a7e14dcfSSatish Balay   PetscFunctionBegin;
31a7e14dcfSSatish Balay   PetscFunctionReturn(0);
32a7e14dcfSSatish Balay }
33a7e14dcfSSatish Balay 
34a7e14dcfSSatish Balay /*------------------------------------------------------------*/
35a7e14dcfSSatish Balay #undef __FUNCT__
36a7e14dcfSSatish Balay #define __FUNCT__ "Tao_SSLS_Function"
37a7e14dcfSSatish Balay PetscErrorCode Tao_SSLS_Function(TaoLineSearch ls, Vec X, PetscReal *fcn, void *ptr)
38a7e14dcfSSatish Balay {
39a7e14dcfSSatish Balay   TaoSolver tao = (TaoSolver)ptr;
40a7e14dcfSSatish Balay   TAO_SSLS *ssls = (TAO_SSLS *)tao->data;
41a7e14dcfSSatish Balay   PetscErrorCode ierr;
42a7e14dcfSSatish Balay 
43a7e14dcfSSatish Balay   PetscFunctionBegin;
44a7e14dcfSSatish Balay 
45a7e14dcfSSatish Balay   ierr = TaoComputeConstraints(tao, X, tao->constraints);CHKERRQ(ierr);
46a7e14dcfSSatish Balay   ierr = VecFischer(X,tao->constraints,tao->XL,tao->XU,ssls->ff);CHKERRQ(ierr);
47a7e14dcfSSatish Balay   ierr = VecNorm(ssls->ff,NORM_2,&ssls->merit);CHKERRQ(ierr);
48a7e14dcfSSatish Balay   *fcn = 0.5*ssls->merit*ssls->merit;
49a7e14dcfSSatish Balay   PetscFunctionReturn(0);
50a7e14dcfSSatish Balay }
51a7e14dcfSSatish Balay 
52a7e14dcfSSatish Balay /*------------------------------------------------------------*/
53a7e14dcfSSatish Balay #undef __FUNCT__
54a7e14dcfSSatish Balay #define __FUNCT__ "Tao_SSLS_FunctionGradient"
55a7e14dcfSSatish Balay PetscErrorCode Tao_SSLS_FunctionGradient(TaoLineSearch ls, Vec X, PetscReal *fcn,  Vec G, void *ptr)
56a7e14dcfSSatish Balay {
57a7e14dcfSSatish Balay   TaoSolver tao = (TaoSolver)ptr;
58a7e14dcfSSatish Balay   TAO_SSLS *ssls = (TAO_SSLS *)tao->data;
59a7e14dcfSSatish Balay   PetscErrorCode ierr;
60a7e14dcfSSatish Balay 
61a7e14dcfSSatish Balay   PetscFunctionBegin;
62a7e14dcfSSatish Balay 
63a7e14dcfSSatish Balay   ierr = TaoComputeConstraints(tao, X, tao->constraints);CHKERRQ(ierr);
64a7e14dcfSSatish Balay   ierr = VecFischer(X,tao->constraints,tao->XL,tao->XU,ssls->ff);CHKERRQ(ierr);
65a7e14dcfSSatish Balay   ierr = VecNorm(ssls->ff,NORM_2,&ssls->merit);CHKERRQ(ierr);
66a7e14dcfSSatish Balay   *fcn = 0.5*ssls->merit*ssls->merit;
67a7e14dcfSSatish Balay 
68a7e14dcfSSatish Balay   ierr = TaoComputeJacobian(tao, tao->solution, &tao->jacobian, &tao->jacobian_pre, &ssls->matflag);CHKERRQ(ierr);
69a7e14dcfSSatish Balay 
70*53506e15SBarry Smith   ierr = D_Fischer(tao->jacobian, tao->solution, tao->constraints,tao->XL, tao->XU, ssls->t1, ssls->t2,ssls->da, ssls->db);CHKERRQ(ierr);
716c23d075SBarry Smith   ierr = MatDiagonalScale(tao->jacobian,ssls->db,NULL);CHKERRQ(ierr);
72a7e14dcfSSatish Balay   ierr = MatDiagonalSet(tao->jacobian,ssls->da,ADD_VALUES);CHKERRQ(ierr);
73a7e14dcfSSatish Balay   ierr = MatMultTranspose(tao->jacobian,ssls->ff,G);CHKERRQ(ierr);
74a7e14dcfSSatish Balay 
75a7e14dcfSSatish Balay   PetscFunctionReturn(0);
76a7e14dcfSSatish Balay }
77a7e14dcfSSatish Balay 
78