xref: /petsc/src/mat/impls/aij/seq/matrart.c (revision 863a9f98de4b862b358008e4a3bef7533b4dee41)
1807171c5SHong Zhang 
23b1b9624SHong Zhang /*
33b1b9624SHong Zhang   Defines projective product routines where A is a SeqAIJ matrix
43b1b9624SHong Zhang           C = R * A * R^T
53b1b9624SHong Zhang */
63b1b9624SHong Zhang 
7807171c5SHong Zhang #include <../src/mat/impls/aij/seq/aij.h>
8807171c5SHong Zhang #include <../src/mat/utils/freespace.h>
9807171c5SHong Zhang #include <../src/mat/impls/dense/seq/dense.h> /*I "petscmat.h" I*/
108563dfccSBarry Smith #include <petsctime.h>
11807171c5SHong Zhang 
123b1b9624SHong Zhang /* #define RART_PROFILE */
13807171c5SHong Zhang 
14807171c5SHong Zhang #undef __FUNCT__
15257c235dSHong Zhang #define __FUNCT__ "MatDestroy_SeqAIJ_RARt"
16257c235dSHong Zhang PetscErrorCode MatDestroy_SeqAIJ_RARt(Mat A)
17807171c5SHong Zhang {
18807171c5SHong Zhang   PetscErrorCode ierr;
19257c235dSHong Zhang   Mat_SeqAIJ     *a    = (Mat_SeqAIJ*)A->data;
20257c235dSHong Zhang   Mat_RARt       *rart = a->rart;
21807171c5SHong Zhang 
22807171c5SHong Zhang   PetscFunctionBegin;
23807171c5SHong Zhang   ierr = MatTransposeColoringDestroy(&rart->matcoloring);CHKERRQ(ierr);
24807171c5SHong Zhang   ierr = MatDestroy(&rart->Rt);CHKERRQ(ierr);
25807171c5SHong Zhang   ierr = MatDestroy(&rart->RARt);CHKERRQ(ierr);
263b1b9624SHong Zhang   ierr = MatDestroy(&rart->ARt);CHKERRQ(ierr);
27807171c5SHong Zhang   ierr = PetscFree(rart->work);CHKERRQ(ierr);
28807171c5SHong Zhang 
29807171c5SHong Zhang   A->ops->destroy = rart->destroy;
30807171c5SHong Zhang   if (A->ops->destroy) {
31807171c5SHong Zhang     ierr = (*A->ops->destroy)(A);CHKERRQ(ierr);
32807171c5SHong Zhang   }
33257c235dSHong Zhang   ierr = PetscFree(rart);CHKERRQ(ierr);
34807171c5SHong Zhang   PetscFunctionReturn(0);
35807171c5SHong Zhang }
36807171c5SHong Zhang 
37807171c5SHong Zhang #undef __FUNCT__
38807171c5SHong Zhang #define __FUNCT__ "MatRARtSymbolic_SeqAIJ_SeqAIJ"
39807171c5SHong Zhang PetscErrorCode MatRARtSymbolic_SeqAIJ_SeqAIJ(Mat A,Mat R,PetscReal fill,Mat *C)
40807171c5SHong Zhang {
41807171c5SHong Zhang   PetscErrorCode       ierr;
42807171c5SHong Zhang   Mat                  P;
43807171c5SHong Zhang   PetscInt             *rti,*rtj;
44807171c5SHong Zhang   Mat_RARt             *rart;
45807171c5SHong Zhang   MatTransposeColoring matcoloring;
46807171c5SHong Zhang   ISColoring           iscoloring;
478d0a38e4SHong Zhang   Mat                  Rt_dense,RARt_dense;
483b1b9624SHong Zhang #if defined(RART_PROFILE)
49807171c5SHong Zhang   PetscLogDouble       GColor=0.0,MCCreate=0.0,MDenCreate=0.0,t0,tf,etime=0.0;
503b1b9624SHong Zhang #endif
51807171c5SHong Zhang   Mat_SeqAIJ           *c;
52807171c5SHong Zhang 
53807171c5SHong Zhang   PetscFunctionBegin;
543b1b9624SHong Zhang #if defined(RART_PROFILE)
558563dfccSBarry Smith   ierr = PetscTime(&t0);CHKERRQ(ierr);
563b1b9624SHong Zhang #endif
57807171c5SHong Zhang   /* create symbolic P=Rt */
58807171c5SHong Zhang   ierr = MatGetSymbolicTranspose_SeqAIJ(R,&rti,&rtj);CHKERRQ(ierr);
590298fd71SBarry Smith   ierr = MatCreateSeqAIJWithArrays(PETSC_COMM_SELF,R->cmap->n,R->rmap->n,rti,rtj,NULL,&P);CHKERRQ(ierr);
60807171c5SHong Zhang 
61807171c5SHong Zhang   /* get symbolic C=Pt*A*P */
62807171c5SHong Zhang   ierr           = MatPtAPSymbolic_SeqAIJ_SeqAIJ(A,P,fill,C);CHKERRQ(ierr);
63fd8e3dafSHong Zhang   (*C)->rmap->bs = R->rmap->bs;
64fd8e3dafSHong Zhang   (*C)->cmap->bs = R->rmap->bs;
65807171c5SHong Zhang 
66807171c5SHong Zhang   /* create a supporting struct */
67807171c5SHong Zhang   ierr = PetscNew(Mat_RARt,&rart);CHKERRQ(ierr);
68257c235dSHong Zhang   c       = (Mat_SeqAIJ*)(*C)->data;
69257c235dSHong Zhang   c->rart = rart;
703b1b9624SHong Zhang #if defined(RART_PROFILE)
718563dfccSBarry Smith   ierr   = PetscTime(&tf);CHKERRQ(ierr);
72807171c5SHong Zhang   etime += tf - t0;
733b1b9624SHong Zhang #endif
74807171c5SHong Zhang 
7522e94b5dSHong Zhang   /* ------ Use coloring ---------- */
76807171c5SHong Zhang   /* Create MatTransposeColoring from symbolic C=R*A*R^T */
773b1b9624SHong Zhang #if defined(RART_PROFILE)
788563dfccSBarry Smith   ierr    = PetscTime(&t0);CHKERRQ(ierr);
793b1b9624SHong Zhang #endif
80807171c5SHong Zhang   ierr    = MatGetColoring(*C,MATCOLORINGLF,&iscoloring);CHKERRQ(ierr);
813b1b9624SHong Zhang #if defined(RART_PROFILE)
828563dfccSBarry Smith   ierr    = PetscTime(&tf);CHKERRQ(ierr);
83807171c5SHong Zhang   GColor += tf - t0;
848563dfccSBarry Smith   ierr = PetscTime(&t0);CHKERRQ(ierr);
853b1b9624SHong Zhang #endif
86807171c5SHong Zhang   ierr = MatTransposeColoringCreate(*C,iscoloring,&matcoloring);CHKERRQ(ierr);
872205254eSKarl Rupp 
88807171c5SHong Zhang   rart->matcoloring = matcoloring;
892205254eSKarl Rupp 
90807171c5SHong Zhang   ierr      = ISColoringDestroy(&iscoloring);CHKERRQ(ierr);
913b1b9624SHong Zhang #if defined(RART_PROFILE)
928563dfccSBarry Smith   ierr      = PetscTime(&tf);CHKERRQ(ierr);
93807171c5SHong Zhang   MCCreate += tf - t0;
948563dfccSBarry Smith   ierr = PetscTime(&t0);CHKERRQ(ierr);
953b1b9624SHong Zhang #endif
963b1b9624SHong Zhang 
97807171c5SHong Zhang   /* Create Rt_dense */
98807171c5SHong Zhang   ierr = MatCreate(PETSC_COMM_SELF,&Rt_dense);CHKERRQ(ierr);
99807171c5SHong Zhang   ierr = MatSetSizes(Rt_dense,A->cmap->n,matcoloring->ncolors,A->cmap->n,matcoloring->ncolors);CHKERRQ(ierr);
100807171c5SHong Zhang   ierr = MatSetType(Rt_dense,MATSEQDENSE);CHKERRQ(ierr);
1010298fd71SBarry Smith   ierr = MatSeqDenseSetPreallocation(Rt_dense,NULL);CHKERRQ(ierr);
1022205254eSKarl Rupp 
103807171c5SHong Zhang   Rt_dense->assembled = PETSC_TRUE;
104807171c5SHong Zhang   rart->Rt            = Rt_dense;
105807171c5SHong Zhang 
106807171c5SHong Zhang   /* Create RARt_dense = R*A*Rt_dense */
107807171c5SHong Zhang   ierr = MatCreate(PETSC_COMM_SELF,&RARt_dense);CHKERRQ(ierr);
108807171c5SHong Zhang   ierr = MatSetSizes(RARt_dense,(*C)->rmap->n,matcoloring->ncolors,(*C)->rmap->n,matcoloring->ncolors);CHKERRQ(ierr);
109807171c5SHong Zhang   ierr = MatSetType(RARt_dense,MATSEQDENSE);CHKERRQ(ierr);
1100298fd71SBarry Smith   ierr = MatSeqDenseSetPreallocation(RARt_dense,NULL);CHKERRQ(ierr);
1112205254eSKarl Rupp 
112807171c5SHong Zhang   rart->RARt = RARt_dense;
113807171c5SHong Zhang 
114807171c5SHong Zhang   /* Allocate work array to store columns of A*R^T used in MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense() */
115807171c5SHong Zhang   ierr = PetscMalloc(A->rmap->n*4*sizeof(PetscScalar),&rart->work);CHKERRQ(ierr);
116807171c5SHong Zhang 
1173b1b9624SHong Zhang #if defined(RART_PROFILE)
1188563dfccSBarry Smith   ierr        = PetscTime(&tf);CHKERRQ(ierr);
119807171c5SHong Zhang   MDenCreate += tf - t0;
1203b1b9624SHong Zhang #endif
121807171c5SHong Zhang 
122807171c5SHong Zhang   rart->destroy      = (*C)->ops->destroy;
123807171c5SHong Zhang   (*C)->ops->destroy = MatDestroy_SeqAIJ_RARt;
124807171c5SHong Zhang 
125807171c5SHong Zhang   /* clean up */
126807171c5SHong Zhang   ierr = MatRestoreSymbolicTranspose_SeqAIJ(R,&rti,&rtj);CHKERRQ(ierr);
127807171c5SHong Zhang   ierr = MatDestroy(&P);CHKERRQ(ierr);
128807171c5SHong Zhang 
129807171c5SHong Zhang #if defined(PETSC_USE_INFO)
1301ce71dffSSatish Balay   {
131807171c5SHong Zhang     PetscReal density= (PetscReal)(c->nz)/(RARt_dense->rmap->n*RARt_dense->cmap->n);
132a2ea699eSBarry Smith     ierr = PetscInfo6(*C,"RARt_den %D %D; Rt_den %D %D, (RARt->nz %D)/(m*ncolors)=%g\n",RARt_dense->rmap->n,RARt_dense->cmap->n,Rt_dense->rmap->n,Rt_dense->cmap->n,c->nz,density);CHKERRQ(ierr);
1333b1b9624SHong Zhang #if defined(RART_PROFILE)
134a2ea699eSBarry Smith     ierr = PetscInfo5(*C,"Sym = GetColor %g + MColorCreate %g + MDenCreate %g + other %g = %g\n",GColor,MCCreate,MDenCreate,etime,GColor+MCCreate+MDenCreate+etime);CHKERRQ(ierr);
1353b1b9624SHong Zhang #endif
1361ce71dffSSatish Balay   }
137807171c5SHong Zhang #endif
138807171c5SHong Zhang   PetscFunctionReturn(0);
139807171c5SHong Zhang }
140807171c5SHong Zhang 
141807171c5SHong Zhang /*
142807171c5SHong Zhang  RAB = R * A * B, R and A in seqaij format, B in dense format;
143807171c5SHong Zhang */
144807171c5SHong Zhang #undef __FUNCT__
145807171c5SHong Zhang #define __FUNCT__ "MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense"
146807171c5SHong Zhang PetscErrorCode MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense(Mat R,Mat A,Mat B,Mat RAB,PetscScalar *work)
147807171c5SHong Zhang {
148807171c5SHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data,*r=(Mat_SeqAIJ*)R->data;
149807171c5SHong Zhang   PetscErrorCode ierr;
150807171c5SHong Zhang   PetscScalar    *b,r1,r2,r3,r4,*b1,*b2,*b3,*b4;
151807171c5SHong Zhang   MatScalar      *aa,*ra;
152807171c5SHong Zhang   PetscInt       cn =B->cmap->n,bm=B->rmap->n,col,i,j,n,*ai=a->i,*aj,am=A->rmap->n;
153807171c5SHong Zhang   PetscInt       am2=2*am,am3=3*am,bm4=4*bm;
154807171c5SHong Zhang   PetscScalar    *d,*c,*c2,*c3,*c4;
155807171c5SHong Zhang   PetscInt       *rj,rm=R->rmap->n,dm=RAB->rmap->n,dn=RAB->cmap->n;
156807171c5SHong Zhang   PetscInt       rm2=2*rm,rm3=3*rm,colrm;
1573b1b9624SHong Zhang #if defined(RART_PROFILE)
158274010c0SHong Zhang   PetscLogDouble t0,tf,Mult_sp_den1=0.0,Mult_sp_den2=0.0;
1593b1b9624SHong Zhang #endif
160807171c5SHong Zhang 
161807171c5SHong Zhang   PetscFunctionBegin;
162807171c5SHong Zhang   if (!dm || !dn) PetscFunctionReturn(0);
163807171c5SHong Zhang   if (bm != A->cmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"Number columns in A %D not equal rows in B %D\n",A->cmap->n,bm);
164807171c5SHong Zhang   if (am != R->cmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"Number columns in R %D not equal rows in A %D\n",R->cmap->n,am);
165807171c5SHong Zhang   if (R->rmap->n != RAB->rmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"Number rows in RAB %D not equal rows in R %D\n",RAB->rmap->n,R->rmap->n);
166807171c5SHong Zhang   if (B->cmap->n != RAB->cmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"Number columns in RAB %D not equal columns in B %D\n",RAB->cmap->n,B->cmap->n);
167807171c5SHong Zhang 
168274010c0SHong Zhang   { /*
169274010c0SHong Zhang      This approach is not as good as original ones (will be removed later), but it reveals that
170274010c0SHong Zhang      AB_den=A*B takes almost all execution time in R*A*B for src/ksp/ksp/examples/tutorials/ex56.c
171274010c0SHong Zhang      */
172274010c0SHong Zhang     PetscBool via_matmatmult=PETSC_FALSE;
173274010c0SHong Zhang     ierr = PetscOptionsGetBool(NULL,"-matrart_via_matmatmult",&via_matmatmult,NULL);CHKERRQ(ierr);
174274010c0SHong Zhang     if (via_matmatmult) {
175274010c0SHong Zhang       Mat AB_den;
176274010c0SHong Zhang       ierr = MatMatMultSymbolic_SeqAIJ_SeqDense(A,B,0.0,&AB_den);CHKERRQ(ierr);
177274010c0SHong Zhang 
1783b1b9624SHong Zhang #if defined(RART_PROFILE)
17926be7272SHong Zhang       ierr = PetscTime(&t0);CHKERRQ(ierr);
1803b1b9624SHong Zhang #endif
181274010c0SHong Zhang       ierr = MatMatMultNumeric_SeqAIJ_SeqDense(A,B,AB_den);CHKERRQ(ierr);
1823b1b9624SHong Zhang #if defined(RART_PROFILE)
18326be7272SHong Zhang       ierr  = PetscTime(&tf);CHKERRQ(ierr);
184274010c0SHong Zhang       Mult_sp_den1 += tf - t0;
18526be7272SHong Zhang       ierr = PetscTime(&t0);CHKERRQ(ierr);
1863b1b9624SHong Zhang #endif
187274010c0SHong Zhang       ierr = MatMatMultNumeric_SeqAIJ_SeqDense(R,AB_den,RAB);CHKERRQ(ierr);
1883b1b9624SHong Zhang #if defined(RART_PROFILE)
18926be7272SHong Zhang       ierr  = PetscTime(&tf);CHKERRQ(ierr);
190274010c0SHong Zhang       Mult_sp_den2 += tf - t0;
191274010c0SHong Zhang       printf(" MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense...time = %g + %g = %g; ncolor: %d\n",Mult_sp_den1, Mult_sp_den2, Mult_sp_den1+ Mult_sp_den2,B->cmap->n);
1923b1b9624SHong Zhang #endif
193274010c0SHong Zhang       ierr = MatDestroy(&AB_den);CHKERRQ(ierr);
194274010c0SHong Zhang       PetscFunctionReturn(0);
195274010c0SHong Zhang     }
196274010c0SHong Zhang   }
197274010c0SHong Zhang 
1988c778c55SBarry Smith   ierr = MatDenseGetArray(B,&b);CHKERRQ(ierr);
1998c778c55SBarry Smith   ierr = MatDenseGetArray(RAB,&d);CHKERRQ(ierr);
200807171c5SHong Zhang   b1   = b; b2 = b1 + bm; b3 = b2 + bm; b4 = b3 + bm;
201807171c5SHong Zhang   c    = work; c2 = c + am; c3 = c2 + am; c4 = c3 + am;
202807171c5SHong Zhang   for (col=0; col<cn-4; col += 4) {  /* over columns of C */
203807171c5SHong Zhang     for (i=0; i<am; i++) {        /* over rows of A in those columns */
204807171c5SHong Zhang       r1 = r2 = r3 = r4 = 0.0;
205807171c5SHong Zhang       n  = ai[i+1] - ai[i];
206807171c5SHong Zhang       aj = a->j + ai[i];
207807171c5SHong Zhang       aa = a->a + ai[i];
208807171c5SHong Zhang       for (j=0; j<n; j++) {
209807171c5SHong Zhang         r1 += (*aa)*b1[*aj];
210807171c5SHong Zhang         r2 += (*aa)*b2[*aj];
211807171c5SHong Zhang         r3 += (*aa)*b3[*aj];
212807171c5SHong Zhang         r4 += (*aa++)*b4[*aj++];
213807171c5SHong Zhang       }
214807171c5SHong Zhang       c[i]       = r1;
215807171c5SHong Zhang       c[am  + i] = r2;
216807171c5SHong Zhang       c[am2 + i] = r3;
217807171c5SHong Zhang       c[am3 + i] = r4;
218807171c5SHong Zhang     }
219807171c5SHong Zhang     b1 += bm4;
220807171c5SHong Zhang     b2 += bm4;
221807171c5SHong Zhang     b3 += bm4;
222807171c5SHong Zhang     b4 += bm4;
223807171c5SHong Zhang 
224807171c5SHong Zhang     /* RAB[:,col] = R*C[:,col] */
225807171c5SHong Zhang     colrm = col*rm;
226807171c5SHong Zhang     for (i=0; i<rm; i++) {        /* over rows of R in those columns */
227807171c5SHong Zhang       r1 = r2 = r3 = r4 = 0.0;
228807171c5SHong Zhang       n  = r->i[i+1] - r->i[i];
229807171c5SHong Zhang       rj = r->j + r->i[i];
230807171c5SHong Zhang       ra = r->a + r->i[i];
231807171c5SHong Zhang       for (j=0; j<n; j++) {
232807171c5SHong Zhang         r1 += (*ra)*c[*rj];
233807171c5SHong Zhang         r2 += (*ra)*c2[*rj];
234807171c5SHong Zhang         r3 += (*ra)*c3[*rj];
235807171c5SHong Zhang         r4 += (*ra++)*c4[*rj++];
236807171c5SHong Zhang       }
237807171c5SHong Zhang       d[colrm + i]       = r1;
238807171c5SHong Zhang       d[colrm + rm + i]  = r2;
239807171c5SHong Zhang       d[colrm + rm2 + i] = r3;
240807171c5SHong Zhang       d[colrm + rm3 + i] = r4;
241807171c5SHong Zhang     }
242807171c5SHong Zhang   }
243807171c5SHong Zhang   for (; col<cn; col++) {     /* over extra columns of C */
244807171c5SHong Zhang     for (i=0; i<am; i++) {  /* over rows of A in those columns */
245807171c5SHong Zhang       r1 = 0.0;
246807171c5SHong Zhang       n  = a->i[i+1] - a->i[i];
247807171c5SHong Zhang       aj = a->j + a->i[i];
248807171c5SHong Zhang       aa = a->a + a->i[i];
249807171c5SHong Zhang       for (j=0; j<n; j++) {
250807171c5SHong Zhang         r1 += (*aa++)*b1[*aj++];
251807171c5SHong Zhang       }
252807171c5SHong Zhang       c[i] = r1;
253807171c5SHong Zhang     }
254807171c5SHong Zhang     b1 += bm;
255807171c5SHong Zhang 
256807171c5SHong Zhang     for (i=0; i<rm; i++) {  /* over rows of R in those columns */
257807171c5SHong Zhang       r1 = 0.0;
258807171c5SHong Zhang       n  = r->i[i+1] - r->i[i];
259807171c5SHong Zhang       rj = r->j + r->i[i];
260807171c5SHong Zhang       ra = r->a + r->i[i];
261807171c5SHong Zhang       for (j=0; j<n; j++) {
262807171c5SHong Zhang         r1 += (*ra++)*c[*rj++];
263807171c5SHong Zhang       }
264807171c5SHong Zhang       d[col*rm + i] = r1;
265807171c5SHong Zhang     }
266807171c5SHong Zhang   }
267807171c5SHong Zhang   ierr = PetscLogFlops(cn*2.0*(a->nz + r->nz));CHKERRQ(ierr);
268807171c5SHong Zhang 
2698c778c55SBarry Smith   ierr = MatDenseRestoreArray(B,&b);CHKERRQ(ierr);
2708c778c55SBarry Smith   ierr = MatDenseRestoreArray(RAB,&d);CHKERRQ(ierr);
271807171c5SHong Zhang   ierr = MatAssemblyBegin(RAB,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
272807171c5SHong Zhang   ierr = MatAssemblyEnd(RAB,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
273807171c5SHong Zhang   PetscFunctionReturn(0);
274807171c5SHong Zhang }
275807171c5SHong Zhang 
276807171c5SHong Zhang #undef __FUNCT__
277807171c5SHong Zhang #define __FUNCT__ "MatRARtNumeric_SeqAIJ_SeqAIJ"
278807171c5SHong Zhang PetscErrorCode MatRARtNumeric_SeqAIJ_SeqAIJ(Mat A,Mat R,Mat C)
279807171c5SHong Zhang {
280807171c5SHong Zhang   PetscErrorCode       ierr;
281257c235dSHong Zhang   Mat_SeqAIJ           *c = (Mat_SeqAIJ*)C->data;
282257c235dSHong Zhang   Mat_RARt             *rart=c->rart;
283807171c5SHong Zhang   MatTransposeColoring matcoloring;
2848d0a38e4SHong Zhang   Mat                  Rt,RARt;
2853b1b9624SHong Zhang #if defined(RART_PROFILE)
286807171c5SHong Zhang   PetscLogDouble       Mult_sp_den=0.0,app1=0.0,app2=0.0,t0,tf;
2873b1b9624SHong Zhang #endif
288807171c5SHong Zhang 
289807171c5SHong Zhang   PetscFunctionBegin;
290807171c5SHong Zhang   /* Get dense Rt by Apply MatTransposeColoring to R */
291807171c5SHong Zhang   matcoloring = rart->matcoloring;
292807171c5SHong Zhang   Rt          = rart->Rt;
2932205254eSKarl Rupp 
2943b1b9624SHong Zhang #if defined(RART_PROFILE)
2958563dfccSBarry Smith   ierr  = PetscTime(&t0);CHKERRQ(ierr);
2963b1b9624SHong Zhang #endif
297807171c5SHong Zhang   ierr  = MatTransColoringApplySpToDen(matcoloring,R,Rt);CHKERRQ(ierr);
2983b1b9624SHong Zhang #if defined(RART_PROFILE)
2998563dfccSBarry Smith   ierr  = PetscTime(&tf);CHKERRQ(ierr);
300807171c5SHong Zhang   app1 += tf - t0;
3013b1b9624SHong Zhang #endif
302807171c5SHong Zhang 
30350647e95SHong Zhang   /* Get dense RARt = R*A*Rt -- dominates! */
3043b1b9624SHong Zhang #if defined(RART_PROFILE)
3058563dfccSBarry Smith   ierr = PetscTime(&t0);CHKERRQ(ierr);
3063b1b9624SHong Zhang #endif
307807171c5SHong Zhang   RARt = rart->RARt;
308807171c5SHong Zhang   ierr = MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense(R,A,Rt,RARt,rart->work);CHKERRQ(ierr);
3093b1b9624SHong Zhang #if defined(RART_PROFILE)
3108563dfccSBarry Smith   ierr = PetscTime(&tf);CHKERRQ(ierr);
311807171c5SHong Zhang   Mult_sp_den += tf - t0;
3123b1b9624SHong Zhang #endif
313807171c5SHong Zhang 
314807171c5SHong Zhang   /* Recover C from C_dense */
3153b1b9624SHong Zhang #if defined(RART_PROFILE)
3168563dfccSBarry Smith   ierr = PetscTime(&t0);CHKERRQ(ierr);
3173b1b9624SHong Zhang #endif
318807171c5SHong Zhang   ierr = MatTransColoringApplyDenToSp(matcoloring,RARt,C);CHKERRQ(ierr);
3193b1b9624SHong Zhang #if defined(RART_PROFILE)
3208563dfccSBarry Smith   ierr = PetscTime(&tf);CHKERRQ(ierr);
321807171c5SHong Zhang   app2 += tf - t0;
3223b1b9624SHong Zhang #endif
323807171c5SHong Zhang 
3243b1b9624SHong Zhang #if defined(RART_PROFILE)
3253b1b9624SHong Zhang   printf("MatRARtNumeric_SeqAIJ_SeqAIJ: ColorApp %g + %g + Mult_sp_den %g  = %g\n",app1,app2,Mult_sp_den,app1+app2+Mult_sp_den);CHKERRQ(ierr);
326807171c5SHong Zhang #endif
327807171c5SHong Zhang   PetscFunctionReturn(0);
328807171c5SHong Zhang }
329807171c5SHong Zhang 
330807171c5SHong Zhang #undef __FUNCT__
331807171c5SHong Zhang #define __FUNCT__ "MatRARt_SeqAIJ_SeqAIJ"
332807171c5SHong Zhang PetscErrorCode MatRARt_SeqAIJ_SeqAIJ(Mat A,Mat R,MatReuse scall,PetscReal fill,Mat *C)
333807171c5SHong Zhang {
334807171c5SHong Zhang   PetscErrorCode ierr;
33595a72cc5SHong Zhang   const char     *algTypes[3] = {"matmatmatmult","matmattransposemult","coloring_rart"};
33695a72cc5SHong Zhang   PetscInt       alg=0; /* set default algorithm */
3374fa85fdeSHong Zhang   Mat_SeqAIJ     *c;
3384fa85fdeSHong Zhang   Mat_RARt       *rart;
3394fa85fdeSHong Zhang 
34095a72cc5SHong Zhang   PetscFunctionBegin;
341*863a9f98SHong Zhang   ierr = PetscObjectOptionsBegin((PetscObject)A);CHKERRQ(ierr);
342*863a9f98SHong Zhang   ierr = PetscOptionsEList("-matrart_via","Algorithmic approach","MatRARt",algTypes,3,algTypes[0],&alg,NULL);CHKERRQ(ierr);
343*863a9f98SHong Zhang   ierr = PetscOptionsEnd();CHKERRQ(ierr);
34495a72cc5SHong Zhang   switch (alg) {
34595a72cc5SHong Zhang   case 1:
34695a72cc5SHong Zhang     /* via matmattransposemult: ARt=A*R^T, C=R*ARt - matrix coloring can be applied to A*R^T */
34795a72cc5SHong Zhang     /*---------------------------------------------------------------------------------------*/
34836104f73SHong Zhang     Mat ARt,RARt;
3493b1b9624SHong Zhang #if defined(RART_PROFILE)
350b3b4fc5aSHong Zhang     PetscLogDouble t0,t1,t2;
3513b1b9624SHong Zhang #endif
35236104f73SHong Zhang     if (scall == MAT_INITIAL_MATRIX) {
35336104f73SHong Zhang       ierr = PetscLogEventBegin(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr);
354b3b4fc5aSHong Zhang        /* must use '-mat_no_inode' with '-matmattransmult_color 1' - do not knwo why? */
35536104f73SHong Zhang       ierr = MatMatTransposeMultSymbolic_SeqAIJ_SeqAIJ(A,R,fill,&ARt);CHKERRQ(ierr);
35636104f73SHong Zhang       ierr = MatMatMultSymbolic_SeqAIJ_SeqAIJ(R,ARt,fill,&RARt);CHKERRQ(ierr);
3573b1b9624SHong Zhang 
3583b1b9624SHong Zhang       *C = RARt;
3593b1b9624SHong Zhang       ierr = PetscNew(Mat_RARt,&rart);CHKERRQ(ierr);
3603b1b9624SHong Zhang       c       = (Mat_SeqAIJ*)(*C)->data;
3613b1b9624SHong Zhang       c->rart   = rart;
3623b1b9624SHong Zhang       rart->ARt = ARt;
3633b1b9624SHong Zhang       rart->destroy      = RARt->ops->destroy;
3643b1b9624SHong Zhang       RARt->ops->destroy = MatDestroy_SeqAIJ_RARt;
36536104f73SHong Zhang       ierr = PetscLogEventEnd(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr);
36636104f73SHong Zhang     }
36736104f73SHong Zhang     ierr = PetscLogEventBegin(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr);
3683b1b9624SHong Zhang     c    = (Mat_SeqAIJ*)(*C)->data;
3693b1b9624SHong Zhang     rart = c->rart;
3703b1b9624SHong Zhang     ARt  = rart->ARt;
3713b1b9624SHong Zhang #if defined(RART_PROFILE)
37226be7272SHong Zhang     ierr = PetscTime(&t0);CHKERRQ(ierr);
3733b1b9624SHong Zhang #endif
374b3b4fc5aSHong Zhang     ierr = MatMatTransposeMultNumeric_SeqAIJ_SeqAIJ(A,R,ARt);CHKERRQ(ierr); /* dominate! */
3753b1b9624SHong Zhang #if defined(RART_PROFILE)
37626be7272SHong Zhang     ierr = PetscTime(&t1);CHKERRQ(ierr);
3773b1b9624SHong Zhang #endif
3783b1b9624SHong Zhang     ierr = MatMatMultNumeric_SeqAIJ_SeqAIJ(R,ARt,*C);CHKERRQ(ierr);
3793b1b9624SHong Zhang #if defined(RART_PROFILE)
38026be7272SHong Zhang     ierr = PetscTime(&t2);CHKERRQ(ierr);
381b3b4fc5aSHong Zhang     printf(" matrart_color_art_num = %g + %g = %g\n",t1-t0,t2-t1,t2-t0);
3823b1b9624SHong Zhang #endif
38336104f73SHong Zhang     ierr = PetscLogEventEnd(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr);
38495a72cc5SHong Zhang #if defined(PETSC_USE_INFO)
38595a72cc5SHong Zhang     ierr = PetscInfo(*C,"Use ARt=A*R^T, C=R*ARt via MatMatTransposeMult(). Coloring can be applied to A*R^T.\n");CHKERRQ(ierr);
38695a72cc5SHong Zhang #endif
38795a72cc5SHong Zhang     break;
38895a72cc5SHong Zhang   case 2:
38995a72cc5SHong Zhang     /* via coloring_rart: apply coloring C = R*A*R^T                          */
39095a72cc5SHong Zhang     /*-----------------------------------------------------*/
39195a72cc5SHong Zhang     if (scall == MAT_INITIAL_MATRIX) {
39250647e95SHong Zhang       ierr = PetscLogEventBegin(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr);
393807171c5SHong Zhang       ierr = MatRARtSymbolic_SeqAIJ_SeqAIJ(A,R,fill,C);CHKERRQ(ierr);
39450647e95SHong Zhang       ierr = PetscLogEventEnd(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr);
395807171c5SHong Zhang     }
39650647e95SHong Zhang     ierr = PetscLogEventBegin(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr);
397807171c5SHong Zhang     ierr = MatRARtNumeric_SeqAIJ_SeqAIJ(A,R,*C);CHKERRQ(ierr);
39850647e95SHong Zhang     ierr = PetscLogEventEnd(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr);
39995a72cc5SHong Zhang #if defined(PETSC_USE_INFO)
40095a72cc5SHong Zhang     ierr = PetscInfo(*C,"Coloring C=R*A*R^T.\n");CHKERRQ(ierr);
40195a72cc5SHong Zhang #endif
40295a72cc5SHong Zhang     break;
40395a72cc5SHong Zhang   default:
40495a72cc5SHong Zhang     /* via matmatmatmult: Rt=R^T, C=R*A*Rt - avoid inefficient sparse inner products */
40595a72cc5SHong Zhang     /*-------------------------------------------------------------------------------*/
40695a72cc5SHong Zhang     Mat           Rt;
40795a72cc5SHong Zhang     if (scall == MAT_INITIAL_MATRIX) {
40895a72cc5SHong Zhang       ierr = MatTranspose(R,MAT_INITIAL_MATRIX,&Rt);CHKERRQ(ierr);
40995a72cc5SHong Zhang       ierr = MatMatMatMult(R,A,Rt,scall,fill,C);CHKERRQ(ierr);
41095a72cc5SHong Zhang 
41195a72cc5SHong Zhang       ierr = PetscNew(Mat_RARt,&rart);CHKERRQ(ierr);
41295a72cc5SHong Zhang       rart->Rt = Rt;
41395a72cc5SHong Zhang       c        = (Mat_SeqAIJ*)(*C)->data;
41495a72cc5SHong Zhang       c->rart  = rart;
41595a72cc5SHong Zhang       rart->destroy      = (*C)->ops->destroy;
41695a72cc5SHong Zhang       (*C)->ops->destroy = MatDestroy_SeqAIJ_RARt;
41795a72cc5SHong Zhang     } else {
41895a72cc5SHong Zhang       c  = (Mat_SeqAIJ*)(*C)->data;
41995a72cc5SHong Zhang       rart = c->rart;
42095a72cc5SHong Zhang       Rt   = rart->Rt;
42195a72cc5SHong Zhang       ierr = MatTranspose(R,MAT_REUSE_MATRIX,&Rt);CHKERRQ(ierr);
42295a72cc5SHong Zhang       ierr = MatMatMatMult(R,A,Rt,scall,fill,C);CHKERRQ(ierr);
42395a72cc5SHong Zhang     }
42495a72cc5SHong Zhang #if defined(PETSC_USE_INFO)
42595a72cc5SHong Zhang     ierr = PetscInfo(*C,"Use Rt=R^T and C=R*A*Rt via MatMatMatMult() to avoid sparse inner products\n");CHKERRQ(ierr);
42695a72cc5SHong Zhang #endif
42795a72cc5SHong Zhang     break;
42895a72cc5SHong Zhang   }
429807171c5SHong Zhang   PetscFunctionReturn(0);
430807171c5SHong Zhang }
431