xref: /petsc/src/mat/interface/matnull.c (revision b97566877d6edecffda61a6401a48b65d1220eea) !
1a5eb4965SSatish Balay #ifdef PETSC_RCS_HEADER
2*b9756687SLois Curfman McInnes static char vcid[] = "$Id: pcnull.c,v 1.18 1998/12/17 22:09:36 bsmith Exp curfman $";
3f7765cecSBarry Smith #endif
4f7765cecSBarry Smith /*
5b4fd4287SBarry Smith     Routines to project vectors out of null spaces.
6f7765cecSBarry Smith */
7f7765cecSBarry Smith 
8f7765cecSBarry Smith #include "petsc.h"
970f55243SBarry Smith #include "src/pc/pcimpl.h"      /*I "pc.h" I*/
10f5eb4b81SSatish Balay #include "src/sys/nreg.h"
11f7765cecSBarry Smith #include "sys.h"
12f7765cecSBarry Smith 
13f7765cecSBarry Smith 
145615d1e5SSatish Balay #undef __FUNC__
155615d1e5SSatish Balay #define __FUNC__ "PCNullSpaceCreate"
16112a2221SBarry Smith /*@C
17b4fd4287SBarry Smith    PCNullSpaceCreate - Creates a data-structure used to project vectors
18b4fd4287SBarry Smith    out of null spaces.
19f7765cecSBarry Smith 
204e472627SLois Curfman McInnes    Collective on MPI_Comm
214e472627SLois Curfman McInnes 
22f7765cecSBarry Smith    Input Parameters:
234e472627SLois Curfman McInnes +  comm - the MPI communicator associated with the object.
24b4fd4287SBarry Smith .  has_cnst - if the null spaces contains the constant vector, PETSC_TRUE or PETSC_FALSE
25b4fd4287SBarry Smith .  n - number of vectors (excluding constant vector) in null space
264e472627SLois Curfman McInnes -  vecs - the vectors that span the null space (excluding the constant vector)
274e472627SLois Curfman McInnes           these vectors must be orthonormal
28f7765cecSBarry Smith 
29*b9756687SLois Curfman McInnes    Level: advanced
30*b9756687SLois Curfman McInnes 
31f7765cecSBarry Smith    Output Parameter:
32b4fd4287SBarry Smith .  SP - the null space context
33f7765cecSBarry Smith 
34b4fd4287SBarry Smith .keywords: PC, Null space
35f7765cecSBarry Smith @*/
36b4fd4287SBarry Smith int PCNullSpaceCreate(MPI_Comm comm, int has_cnst, int n, Vec *vecs,PCNullSpace *SP)
37f7765cecSBarry Smith {
38b4fd4287SBarry Smith   PCNullSpace sp;
39f7765cecSBarry Smith 
403a40ed3dSBarry Smith   PetscFunctionBegin;
413f1db9ecSBarry Smith   PetscHeaderCreate(sp,_p_PCNullSpace,int,PCNULLSPACE_COOKIE,0,"PCNullSpace",comm,PCNullSpaceDestroy,0);
42b4fd4287SBarry Smith   PLogObjectCreate(sp);
43f09e8eb9SSatish Balay   PLogObjectMemory(sp,sizeof(struct _p_PCNullSpace));
44f7765cecSBarry Smith 
45b4fd4287SBarry Smith   sp->has_cnst = has_cnst;
46b4fd4287SBarry Smith   sp->n        = n;
47b4fd4287SBarry Smith   sp->vecs     = vecs;
48b4fd4287SBarry Smith 
49b4fd4287SBarry Smith   *SP          = sp;
503a40ed3dSBarry Smith   PetscFunctionReturn(0);
51f7765cecSBarry Smith }
52f7765cecSBarry Smith 
535615d1e5SSatish Balay #undef __FUNC__
54d4bb536fSBarry Smith #define __FUNC__ "PCNullSpaceDestroy"
55f7765cecSBarry Smith /*@
56b4fd4287SBarry Smith    PCNullSpaceDestroy - Destroys a data-structure used to project vectors
57b4fd4287SBarry Smith    out of null spaces.
58b4fd4287SBarry Smith 
594e472627SLois Curfman McInnes    Collective on PCNullSpace
604e472627SLois Curfman McInnes 
61b4fd4287SBarry Smith    Input Parameter:
62*b9756687SLois Curfman McInnes .  sp - the null space context to be destroyed
63*b9756687SLois Curfman McInnes 
64*b9756687SLois Curfman McInnes    Level: advanced
65b4fd4287SBarry Smith 
66b4fd4287SBarry Smith .keywords: PC, Null space
67b4fd4287SBarry Smith @*/
68b4fd4287SBarry Smith int PCNullSpaceDestroy(PCNullSpace sp)
69b4fd4287SBarry Smith {
703a40ed3dSBarry Smith   PetscFunctionBegin;
71b4fd4287SBarry Smith   PLogObjectDestroy(sp);
72b4fd4287SBarry Smith   PetscHeaderDestroy(sp);
733a40ed3dSBarry Smith   PetscFunctionReturn(0);
74b4fd4287SBarry Smith }
75b4fd4287SBarry Smith 
765615d1e5SSatish Balay #undef __FUNC__
775615d1e5SSatish Balay #define __FUNC__ "PCNullSpaceRemove"
78b4fd4287SBarry Smith /*@
79b4fd4287SBarry Smith    PCNullSpaceRemove - Removes all the components of a null space from a vector.
80f7765cecSBarry Smith 
81fee21e36SBarry Smith    Collective on PCNullSpace
82f7765cecSBarry Smith 
834e472627SLois Curfman McInnes    Input Parameters:
844e472627SLois Curfman McInnes +  sp - the null space context
854e472627SLois Curfman McInnes -  vec - the vector you want the null space removed from
864e472627SLois Curfman McInnes 
87*b9756687SLois Curfman McInnes    Level: advanced
88*b9756687SLois Curfman McInnes 
89b4fd4287SBarry Smith .keywords: PC, Null space
90f7765cecSBarry Smith @*/
91b4fd4287SBarry Smith int PCNullSpaceRemove(PCNullSpace sp,Vec vec)
92f7765cecSBarry Smith {
93b4fd4287SBarry Smith   Scalar sum;
94b4fd4287SBarry Smith   int    j, n = sp->n, N,ierr;
95f7765cecSBarry Smith 
963a40ed3dSBarry Smith   PetscFunctionBegin;
97b4fd4287SBarry Smith   if (sp->has_cnst) {
98b4fd4287SBarry Smith     ierr = VecSum(vec,&sum); CHKERRQ(ierr);
99b4fd4287SBarry Smith     ierr = VecGetSize(vec,&N); CHKERRQ(ierr);
10018a7d68fSSatish Balay     sum  = sum/(-1.0*N);
101b4fd4287SBarry Smith     ierr = VecShift(&sum,vec); CHKERRQ(ierr);
102f7765cecSBarry Smith   }
103b4fd4287SBarry Smith 
104b4fd4287SBarry Smith   for ( j=0; j<n; j++ ) {
105b4fd4287SBarry Smith     ierr = VecDot(vec,sp->vecs[j],&sum);CHKERRQ(ierr);
106b4fd4287SBarry Smith     sum  = -sum;
107b4fd4287SBarry Smith     ierr = VecAYPX(&sum,sp->vecs[j],vec); CHKERRQ(ierr);
108f7765cecSBarry Smith   }
109b4fd4287SBarry Smith 
1103a40ed3dSBarry Smith   PetscFunctionReturn(0);
111f7765cecSBarry Smith }
112