xref: /petsc/src/snes/mf/snesmfj.c (revision ecaffdda287f357c8fe4ab0cb82a0c64d6671904)
181e6777dSBarry Smith 
2b45d2f2cSJed Brown #include <petsc-private/snesimpl.h>  /*I  "petscsnes.h" I*/
3c6db04a5SJed Brown #include <../src/mat/impls/mffd/mffdimpl.h>
4b45d2f2cSJed Brown #include <petsc-private/matimpl.h>
581e6777dSBarry Smith 
6e884886fSBarry Smith #undef __FUNCT__
7e884886fSBarry Smith #define __FUNCT__ "MatMFFDComputeJacobian"
85fe378a3SBarry Smith /*@C
9e884886fSBarry Smith    MatMFFDComputeJacobian - Tells the matrix-free Jacobian object the new location at which
10174415d9SBarry Smith        Jacobian matrix vector products will be computed at, i.e. J(x) * a. The x is obtained
11174415d9SBarry Smith        from the SNES object (using SNESGetSolution()).
12e884886fSBarry Smith 
133f9fe445SBarry Smith    Logically Collective on SNES
14e884886fSBarry Smith 
15e884886fSBarry Smith    Input Parameters:
16e884886fSBarry Smith +   snes - the nonlinear solver context
17e884886fSBarry Smith .   x - the point at which the Jacobian vector products will be performed
18e884886fSBarry Smith .   jac - the matrix-free Jacobian object
19e884886fSBarry Smith .   B - either the same as jac or another matrix type (ignored)
20e884886fSBarry Smith .   flag - not relevent for matrix-free form
21e884886fSBarry Smith -   dummy - the user context (ignored)
22e884886fSBarry Smith 
23e884886fSBarry Smith    Level: developer
24e884886fSBarry Smith 
25174415d9SBarry Smith    Warning:
26174415d9SBarry Smith       If MatMFFDSetBase() is ever called on jac then this routine will NO longer get
27174415d9SBarry Smith     the x from the SNES object and MatMFFDSetBase() must from that point on be used to
28174415d9SBarry Smith     change the base vector x.
29174415d9SBarry Smith 
30e884886fSBarry Smith    Notes:
31*ecaffddaSVictor Eijkhout      This can be passed into SNESSetJacobian() as the Jacobian evaluation function argument
32*ecaffddaSVictor Eijkhout      when using a completely matrix-free solver,
33e884886fSBarry Smith      that is the B matrix is also the same matrix operator. This is used when you select
345fe378a3SBarry Smith      -snes_mf but rarely used directly by users. (All this routine does is call MatAssemblyBegin/End() on
355fe378a3SBarry Smith      the Mat jac.
365fe378a3SBarry Smith 
370decc0a3SBarry Smith .seealso: MatMFFDGetH(), MatCreateSNESMF(), MatCreateMFFD(), MATMFFD,
381d0fab5eSBarry Smith           MatMFFDSetHHistory(), MatMFFDSetFunctionError(), MatCreateMFFD(), SNESSetJacobian()
39e884886fSBarry Smith 
40e884886fSBarry Smith @*/
417087cfbeSBarry Smith PetscErrorCode  MatMFFDComputeJacobian(SNES snes,Vec x,Mat *jac,Mat *B,MatStructure *flag,void *dummy)
42e884886fSBarry Smith {
43e884886fSBarry Smith   PetscErrorCode ierr;
44e884886fSBarry Smith   PetscFunctionBegin;
45e884886fSBarry Smith   ierr = MatAssemblyBegin(*jac,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
46e884886fSBarry Smith   ierr = MatAssemblyEnd(*jac,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
47e884886fSBarry Smith   PetscFunctionReturn(0);
48e884886fSBarry Smith }
49e884886fSBarry Smith 
503ec795f1SBarry Smith PetscErrorCode MatAssemblyEnd_MFFD(Mat,MatAssemblyType);
51563d23a3SJed Brown EXTERN_C_BEGIN
52a8248277SBarry Smith PetscErrorCode MatMFFDSetBase_MFFD(Mat,Vec,Vec);
53563d23a3SJed Brown EXTERN_C_END
54563d23a3SJed Brown 
553ec795f1SBarry Smith #undef __FUNCT__
563ec795f1SBarry Smith #define __FUNCT__ "MatAssemblyEnd_SNESMF"
573ec795f1SBarry Smith /*
583ec795f1SBarry Smith    MatAssemblyEnd_SNESMF - Calls MatAssemblyEnd_MFFD() and then sets the
593ec795f1SBarry Smith     base from the SNES context
603ec795f1SBarry Smith 
613ec795f1SBarry Smith */
623ec795f1SBarry Smith PetscErrorCode MatAssemblyEnd_SNESMF(Mat J,MatAssemblyType mt)
633ec795f1SBarry Smith {
643ec795f1SBarry Smith   PetscErrorCode ierr;
653ec795f1SBarry Smith   MatMFFD        j = (MatMFFD)J->data;
663ec795f1SBarry Smith   SNES           snes = (SNES)j->funcctx;
6709ffd372SDmitry Karpeev   Vec            u,f;
683ec795f1SBarry Smith 
693ec795f1SBarry Smith   PetscFunctionBegin;
703ec795f1SBarry Smith   ierr = MatAssemblyEnd_MFFD(J,mt);CHKERRQ(ierr);
713ec795f1SBarry Smith 
72be4711e3SBarry Smith   ierr = SNESGetSolution(snes,&u);CHKERRQ(ierr);
73be4711e3SBarry Smith   ierr = SNESGetFunction(snes,&f,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
7409ffd372SDmitry Karpeev   ierr = MatMFFDSetBase_MFFD(J,u,f);CHKERRQ(ierr);
753ec795f1SBarry Smith   PetscFunctionReturn(0);
763ec795f1SBarry Smith }
773ec795f1SBarry Smith 
78174415d9SBarry Smith EXTERN_C_BEGIN
79174415d9SBarry Smith /*
80174415d9SBarry Smith     This routine resets the MatAssemblyEnd() for the MatMFFD created from MatCreateSNESMF() so that it NO longer
81174415d9SBarry Smith   uses the solution in the SNES object to update the base. See the warning in MatCreateSNESMF().
82174415d9SBarry Smith */
83174415d9SBarry Smith #undef __FUNCT__
84174415d9SBarry Smith #define __FUNCT__ "MatMFFDSetBase_SNESMF"
857087cfbeSBarry Smith PetscErrorCode  MatMFFDSetBase_SNESMF(Mat J,Vec U,Vec F)
86174415d9SBarry Smith {
87174415d9SBarry Smith   PetscErrorCode ierr;
88174415d9SBarry Smith 
89174415d9SBarry Smith   PetscFunctionBegin;
90885877adSHong Zhang   ierr = MatMFFDSetBase_MFFD(J,U,F);CHKERRQ(ierr);
91174415d9SBarry Smith   J->ops->assemblyend = MatAssemblyEnd_MFFD;
92174415d9SBarry Smith   PetscFunctionReturn(0);
93174415d9SBarry Smith }
94174415d9SBarry Smith EXTERN_C_END
95174415d9SBarry Smith 
96c5c390f1SBarry Smith #undef __FUNCT__
974a2ae208SSatish Balay #define __FUNCT__ "MatCreateSNESMF"
9852baeb72SSatish Balay /*@
9965f2ba5bSLois Curfman McInnes    MatCreateSNESMF - Creates a matrix-free matrix context for use with
10065f2ba5bSLois Curfman McInnes    a SNES solver.  This matrix can be used as the Jacobian argument for
101174415d9SBarry Smith    the routine SNESSetJacobian(). See MatCreateMFFD() for details on how
102174415d9SBarry Smith    the finite difference computation is done.
103a4d4d686SBarry Smith 
104a4d4d686SBarry Smith    Collective on SNES and Vec
105a4d4d686SBarry Smith 
106a4d4d686SBarry Smith    Input Parameters:
107fef1beadSBarry Smith .  snes - the SNES context
108a4d4d686SBarry Smith 
109a4d4d686SBarry Smith    Output Parameter:
110a4d4d686SBarry Smith .  J - the matrix-free matrix
111a4d4d686SBarry Smith 
11215091d37SBarry Smith    Level: advanced
11315091d37SBarry Smith 
114174415d9SBarry Smith    Warning:
115174415d9SBarry Smith       If MatMFFDSetBase() is ever called on jac then this routine will NO longer get
116174415d9SBarry Smith     the x from the SNES object and MatMFFDSetBase() must from that point on be used to
117174415d9SBarry Smith     change the base vector x.
1189a6cb015SBarry Smith 
119174415d9SBarry Smith    Notes: The difference between this routine and MatCreateMFFD() is that this matrix
120174415d9SBarry Smith      automatically gets the current base vector from the SNES object and not from an
121174415d9SBarry Smith      explicit call to MatMFFDSetBase().
122a4d4d686SBarry Smith 
1231d0fab5eSBarry Smith .seealso: MatDestroy(), MatMFFDSetFunctionError(), MatMFFDDSSetUmin()
124174415d9SBarry Smith           MatMFFDSetHHistory(), MatMFFDResetHHistory(), MatCreateMFFD(),
1251d0fab5eSBarry Smith           MatMFFDGetH(), MatMFFDRegisterDynamic), MatMFFDComputeJacobian()
126a4d4d686SBarry Smith 
127a4d4d686SBarry Smith @*/
1287087cfbeSBarry Smith PetscErrorCode  MatCreateSNESMF(SNES snes,Mat *J)
129a4d4d686SBarry Smith {
130dfbe8321SBarry Smith   PetscErrorCode ierr;
131fef1beadSBarry Smith   PetscInt       n,N;
1321d1367b7SBarry Smith 
1331d1367b7SBarry Smith   PetscFunctionBegin;
134a8248277SBarry Smith   if (snes->vec_func) {
135fef1beadSBarry Smith     ierr = VecGetLocalSize(snes->vec_func,&n);CHKERRQ(ierr);
136fef1beadSBarry Smith     ierr = VecGetSize(snes->vec_func,&N);CHKERRQ(ierr);
137a8248277SBarry Smith   } else if (snes->dm) {
138a8248277SBarry Smith     Vec tmp;
139a8248277SBarry Smith     ierr = DMGetGlobalVector(snes->dm,&tmp);CHKERRQ(ierr);
140a8248277SBarry Smith     ierr = VecGetLocalSize(tmp,&n);CHKERRQ(ierr);
141a8248277SBarry Smith     ierr = VecGetSize(tmp,&N);CHKERRQ(ierr);
142a8248277SBarry Smith     ierr = DMRestoreGlobalVector(snes->dm,&tmp);CHKERRQ(ierr);
143a8248277SBarry Smith   } else SETERRQ(((PetscObject)snes)->comm,PETSC_ERR_ARG_WRONGSTATE,"Must call SNESSetFunction() or SNESSetDM() first");
1447adad957SLisandro Dalcin   ierr = MatCreateMFFD(((PetscObject)snes)->comm,n,n,N,N,J);CHKERRQ(ierr);
145ece7ea46SSatish Balay   ierr = MatMFFDSetFunction(*J,(PetscErrorCode (*)(void*,Vec,Vec))SNESComputeFunction,snes);CHKERRQ(ierr);
1463ec795f1SBarry Smith   (*J)->ops->assemblyend = MatAssemblyEnd_SNESMF;
147174415d9SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)*J,"MatMFFDSetBase_C","MatMFFDSetBase_SNESMF",MatMFFDSetBase_SNESMF);CHKERRQ(ierr);
1481d1367b7SBarry Smith   PetscFunctionReturn(0);
1491d1367b7SBarry Smith }
1501d1367b7SBarry Smith 
151cf57b110SBarry Smith 
152cf57b110SBarry Smith 
153cf57b110SBarry Smith 
154cf57b110SBarry Smith 
155cf57b110SBarry Smith 
156