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