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