149b5e25fSSatish Balay /* 2a1373b80SHong Zhang Defines the basic matrix operations for the SBAIJ (compressed row) 349b5e25fSSatish Balay matrix storage format. 449b5e25fSSatish Balay */ 5c6db04a5SJed Brown #include <../src/mat/impls/baij/seq/baij.h> /*I "petscmat.h" I*/ 6c6db04a5SJed Brown #include <../src/mat/impls/sbaij/seq/sbaij.h> 7c6db04a5SJed Brown #include <petscblaslapack.h> 849b5e25fSSatish Balay 9c6db04a5SJed Brown #include <../src/mat/impls/sbaij/seq/relax.h> 1070dcbbb9SBarry Smith #define USESHORT 11c6db04a5SJed Brown #include <../src/mat/impls/sbaij/seq/relax.h> 1270dcbbb9SBarry Smith 1326cec326SBarry Smith /* defines MatSetValues_Seq_Hash(), MatAssemblyEnd_Seq_Hash(), MatSetUp_Seq_Hash() */ 1426cec326SBarry Smith #define TYPE SBAIJ 1526cec326SBarry Smith #define TYPE_SBAIJ 1626cec326SBarry Smith #define TYPE_BS 1726cec326SBarry Smith #include "../src/mat/impls/aij/seq/seqhashmatsetvalues.h" 1826cec326SBarry Smith #undef TYPE_BS 1926cec326SBarry Smith #define TYPE_BS _BS 2026cec326SBarry Smith #define TYPE_BS_ON 2126cec326SBarry Smith #include "../src/mat/impls/aij/seq/seqhashmatsetvalues.h" 2226cec326SBarry Smith #undef TYPE_BS 2326cec326SBarry Smith #undef TYPE_SBAIJ 2426cec326SBarry Smith #include "../src/mat/impls/aij/seq/seqhashmat.h" 2526cec326SBarry Smith #undef TYPE 2626cec326SBarry Smith #undef TYPE_BS_ON 2726cec326SBarry Smith 286214f412SHong Zhang #if defined(PETSC_HAVE_ELEMENTAL) 29cc2e6a90SBarry Smith PETSC_INTERN PetscErrorCode MatConvert_SeqSBAIJ_Elemental(Mat, MatType, MatReuse, Mat *); 306214f412SHong Zhang #endif 31d24d4204SJose E. Roman #if defined(PETSC_HAVE_SCALAPACK) 32d24d4204SJose E. Roman PETSC_INTERN PetscErrorCode MatConvert_SBAIJ_ScaLAPACK(Mat, MatType, MatReuse, Mat *); 33d24d4204SJose E. Roman #endif 3428d58a37SPierre Jolivet PETSC_INTERN PetscErrorCode MatConvert_MPISBAIJ_Basic(Mat, MatType, MatReuse, Mat *); 35b5b17502SBarry Smith 3649b5e25fSSatish Balay /* 3749b5e25fSSatish Balay Checks for missing diagonals 3849b5e25fSSatish Balay */ 39ba38deedSJacob Faibussowitsch static PetscErrorCode MatMissingDiagonal_SeqSBAIJ(Mat A, PetscBool *missing, PetscInt *dd) 40d71ae5a4SJacob Faibussowitsch { 41045c9aa0SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 427734d3b5SMatthew G. Knepley PetscInt *diag, *ii = a->i, i; 4349b5e25fSSatish Balay 4449b5e25fSSatish Balay PetscFunctionBegin; 459566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSBAIJ(A)); 462af78befSBarry Smith *missing = PETSC_FALSE; 477734d3b5SMatthew G. Knepley if (A->rmap->n > 0 && !ii) { 48358d2f5dSShri Abhyankar *missing = PETSC_TRUE; 49358d2f5dSShri Abhyankar if (dd) *dd = 0; 509566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n")); 51358d2f5dSShri Abhyankar } else { 52358d2f5dSShri Abhyankar diag = a->diag; 5349b5e25fSSatish Balay for (i = 0; i < a->mbs; i++) { 547734d3b5SMatthew G. Knepley if (diag[i] >= ii[i + 1]) { 552af78befSBarry Smith *missing = PETSC_TRUE; 562af78befSBarry Smith if (dd) *dd = i; 572af78befSBarry Smith break; 582af78befSBarry Smith } 5949b5e25fSSatish Balay } 60358d2f5dSShri Abhyankar } 613ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 6249b5e25fSSatish Balay } 6349b5e25fSSatish Balay 64d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMarkDiagonal_SeqSBAIJ(Mat A) 65d71ae5a4SJacob Faibussowitsch { 66045c9aa0SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 6748dd3d27SHong Zhang PetscInt i, j; 6849b5e25fSSatish Balay 6949b5e25fSSatish Balay PetscFunctionBegin; 7009f38230SBarry Smith if (!a->diag) { 719566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(a->mbs, &a->diag)); 72c760cd28SBarry Smith a->free_diag = PETSC_TRUE; 7309f38230SBarry Smith } 7448dd3d27SHong Zhang for (i = 0; i < a->mbs; i++) { 7548dd3d27SHong Zhang a->diag[i] = a->i[i + 1]; 7648dd3d27SHong Zhang for (j = a->i[i]; j < a->i[i + 1]; j++) { 7748dd3d27SHong Zhang if (a->j[j] == i) { 7848dd3d27SHong Zhang a->diag[i] = j; 7948dd3d27SHong Zhang break; 8048dd3d27SHong Zhang } 8148dd3d27SHong Zhang } 8248dd3d27SHong Zhang } 833ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 8449b5e25fSSatish Balay } 8549b5e25fSSatish Balay 86d71ae5a4SJacob Faibussowitsch static PetscErrorCode MatGetRowIJ_SeqSBAIJ(Mat A, PetscInt oshift, PetscBool symmetric, PetscBool blockcompressed, PetscInt *nn, const PetscInt *inia[], const PetscInt *inja[], PetscBool *done) 87d71ae5a4SJacob Faibussowitsch { 88a6ece127SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 892462f5fdSStefano Zampini PetscInt i, j, n = a->mbs, nz = a->i[n], *tia, *tja, bs = A->rmap->bs, k, l, cnt; 902462f5fdSStefano Zampini PetscInt **ia = (PetscInt **)inia, **ja = (PetscInt **)inja; 9149b5e25fSSatish Balay 9249b5e25fSSatish Balay PetscFunctionBegin; 93d3e5a4abSHong Zhang *nn = n; 943ba16761SJacob Faibussowitsch if (!ia) PetscFunctionReturn(PETSC_SUCCESS); 952462f5fdSStefano Zampini if (symmetric) { 969566063dSJacob Faibussowitsch PetscCall(MatToSymmetricIJ_SeqAIJ(n, a->i, a->j, PETSC_FALSE, 0, 0, &tia, &tja)); 972462f5fdSStefano Zampini nz = tia[n]; 982462f5fdSStefano Zampini } else { 999371c9d4SSatish Balay tia = a->i; 1009371c9d4SSatish Balay tja = a->j; 1012462f5fdSStefano Zampini } 1022462f5fdSStefano Zampini 1032462f5fdSStefano Zampini if (!blockcompressed && bs > 1) { 1042462f5fdSStefano Zampini (*nn) *= bs; 1058f7157efSSatish Balay /* malloc & create the natural set of indices */ 1069566063dSJacob Faibussowitsch PetscCall(PetscMalloc1((n + 1) * bs, ia)); 1072462f5fdSStefano Zampini if (n) { 1082462f5fdSStefano Zampini (*ia)[0] = oshift; 109ad540459SPierre Jolivet for (j = 1; j < bs; j++) (*ia)[j] = (tia[1] - tia[0]) * bs + (*ia)[j - 1]; 1102462f5fdSStefano Zampini } 1112462f5fdSStefano Zampini 1122462f5fdSStefano Zampini for (i = 1; i < n; i++) { 1132462f5fdSStefano Zampini (*ia)[i * bs] = (tia[i] - tia[i - 1]) * bs + (*ia)[i * bs - 1]; 114ad540459SPierre Jolivet for (j = 1; j < bs; j++) (*ia)[i * bs + j] = (tia[i + 1] - tia[i]) * bs + (*ia)[i * bs + j - 1]; 1152462f5fdSStefano Zampini } 116ad540459SPierre Jolivet if (n) (*ia)[n * bs] = (tia[n] - tia[n - 1]) * bs + (*ia)[n * bs - 1]; 1172462f5fdSStefano Zampini 1182462f5fdSStefano Zampini if (inja) { 1199566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nz * bs * bs, ja)); 1202462f5fdSStefano Zampini cnt = 0; 1212462f5fdSStefano Zampini for (i = 0; i < n; i++) { 1228f7157efSSatish Balay for (j = 0; j < bs; j++) { 1232462f5fdSStefano Zampini for (k = tia[i]; k < tia[i + 1]; k++) { 124ad540459SPierre Jolivet for (l = 0; l < bs; l++) (*ja)[cnt++] = bs * tja[k] + l; 1258f7157efSSatish Balay } 1268f7157efSSatish Balay } 1278f7157efSSatish Balay } 1288f7157efSSatish Balay } 1292462f5fdSStefano Zampini 1302462f5fdSStefano Zampini if (symmetric) { /* deallocate memory allocated in MatToSymmetricIJ_SeqAIJ() */ 1319566063dSJacob Faibussowitsch PetscCall(PetscFree(tia)); 1329566063dSJacob Faibussowitsch PetscCall(PetscFree(tja)); 1332462f5fdSStefano Zampini } 1342462f5fdSStefano Zampini } else if (oshift == 1) { 1352462f5fdSStefano Zampini if (symmetric) { 1362462f5fdSStefano Zampini nz = tia[A->rmap->n / bs]; 1372462f5fdSStefano Zampini /* add 1 to i and j indices */ 1382462f5fdSStefano Zampini for (i = 0; i < A->rmap->n / bs + 1; i++) tia[i] = tia[i] + 1; 1392462f5fdSStefano Zampini *ia = tia; 1402462f5fdSStefano Zampini if (ja) { 1412462f5fdSStefano Zampini for (i = 0; i < nz; i++) tja[i] = tja[i] + 1; 1422462f5fdSStefano Zampini *ja = tja; 1432462f5fdSStefano Zampini } 1442462f5fdSStefano Zampini } else { 1452462f5fdSStefano Zampini nz = a->i[A->rmap->n / bs]; 1462462f5fdSStefano Zampini /* malloc space and add 1 to i and j indices */ 1479566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(A->rmap->n / bs + 1, ia)); 1482462f5fdSStefano Zampini for (i = 0; i < A->rmap->n / bs + 1; i++) (*ia)[i] = a->i[i] + 1; 1492462f5fdSStefano Zampini if (ja) { 1509566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nz, ja)); 1512462f5fdSStefano Zampini for (i = 0; i < nz; i++) (*ja)[i] = a->j[i] + 1; 1522462f5fdSStefano Zampini } 1532462f5fdSStefano Zampini } 1542462f5fdSStefano Zampini } else { 1552462f5fdSStefano Zampini *ia = tia; 1562462f5fdSStefano Zampini if (ja) *ja = tja; 157a6ece127SHong Zhang } 1583ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 15949b5e25fSSatish Balay } 16049b5e25fSSatish Balay 161d71ae5a4SJacob Faibussowitsch static PetscErrorCode MatRestoreRowIJ_SeqSBAIJ(Mat A, PetscInt oshift, PetscBool symmetric, PetscBool blockcompressed, PetscInt *nn, const PetscInt *ia[], const PetscInt *ja[], PetscBool *done) 162d71ae5a4SJacob Faibussowitsch { 16349b5e25fSSatish Balay PetscFunctionBegin; 1643ba16761SJacob Faibussowitsch if (!ia) PetscFunctionReturn(PETSC_SUCCESS); 1652462f5fdSStefano Zampini if ((!blockcompressed && A->rmap->bs > 1) || (symmetric || oshift == 1)) { 1669566063dSJacob Faibussowitsch PetscCall(PetscFree(*ia)); 1679566063dSJacob Faibussowitsch if (ja) PetscCall(PetscFree(*ja)); 168a6ece127SHong Zhang } 1693ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 17049b5e25fSSatish Balay } 17149b5e25fSSatish Balay 172d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDestroy_SeqSBAIJ(Mat A) 173d71ae5a4SJacob Faibussowitsch { 17449b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 17549b5e25fSSatish Balay 17649b5e25fSSatish Balay PetscFunctionBegin; 177b4e2f619SBarry Smith if (A->hash_active) { 178b4e2f619SBarry Smith PetscInt bs; 179e3c72094SPierre Jolivet A->ops[0] = a->cops; 180b4e2f619SBarry Smith PetscCall(PetscHMapIJVDestroy(&a->ht)); 181b4e2f619SBarry Smith PetscCall(MatGetBlockSize(A, &bs)); 182b4e2f619SBarry Smith if (bs > 1) PetscCall(PetscHSetIJDestroy(&a->bht)); 183b4e2f619SBarry Smith PetscCall(PetscFree(a->dnz)); 184b4e2f619SBarry Smith PetscCall(PetscFree(a->bdnz)); 185b4e2f619SBarry Smith A->hash_active = PETSC_FALSE; 186b4e2f619SBarry Smith } 1873ba16761SJacob Faibussowitsch PetscCall(PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->N, a->nz)); 1889566063dSJacob Faibussowitsch PetscCall(MatSeqXAIJFreeAIJ(A, &a->a, &a->j, &a->i)); 1899566063dSJacob Faibussowitsch if (a->free_diag) PetscCall(PetscFree(a->diag)); 1909566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 1919566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 1929566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->icol)); 1939566063dSJacob Faibussowitsch PetscCall(PetscFree(a->idiag)); 1949566063dSJacob Faibussowitsch PetscCall(PetscFree(a->inode.size)); 1959566063dSJacob Faibussowitsch if (a->free_imax_ilen) PetscCall(PetscFree2(a->imax, a->ilen)); 1969566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solve_work)); 1979566063dSJacob Faibussowitsch PetscCall(PetscFree(a->sor_work)); 1989566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solves_work)); 1999566063dSJacob Faibussowitsch PetscCall(PetscFree(a->mult_work)); 2009566063dSJacob Faibussowitsch PetscCall(PetscFree(a->saved_values)); 2019566063dSJacob Faibussowitsch if (a->free_jshort) PetscCall(PetscFree(a->jshort)); 2029566063dSJacob Faibussowitsch PetscCall(PetscFree(a->inew)); 2039566063dSJacob Faibussowitsch PetscCall(MatDestroy(&a->parent)); 2049566063dSJacob Faibussowitsch PetscCall(PetscFree(A->data)); 205901853e0SKris Buschelman 2069566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL)); 2072e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSBAIJGetArray_C", NULL)); 2082e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSBAIJRestoreArray_C", NULL)); 2099566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL)); 2109566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL)); 2119566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSBAIJSetColumnIndices_C", NULL)); 2129566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsbaij_seqaij_C", NULL)); 2139566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsbaij_seqbaij_C", NULL)); 2149566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSBAIJSetPreallocation_C", NULL)); 2159566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSBAIJSetPreallocationCSR_C", NULL)); 2166214f412SHong Zhang #if defined(PETSC_HAVE_ELEMENTAL) 2179566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsbaij_elemental_C", NULL)); 2186214f412SHong Zhang #endif 219d24d4204SJose E. Roman #if defined(PETSC_HAVE_SCALAPACK) 2209566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsbaij_scalapack_C", NULL)); 221d24d4204SJose E. Roman #endif 2222e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatFactorGetSolverType_C", NULL)); 2233ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 22449b5e25fSSatish Balay } 22549b5e25fSSatish Balay 226ba38deedSJacob Faibussowitsch static PetscErrorCode MatSetOption_SeqSBAIJ(Mat A, MatOption op, PetscBool flg) 227d71ae5a4SJacob Faibussowitsch { 228045c9aa0SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 229eb1ec7c1SStefano Zampini #if defined(PETSC_USE_COMPLEX) 230eb1ec7c1SStefano Zampini PetscInt bs; 231eb1ec7c1SStefano Zampini #endif 23249b5e25fSSatish Balay 23349b5e25fSSatish Balay PetscFunctionBegin; 234eb1ec7c1SStefano Zampini #if defined(PETSC_USE_COMPLEX) 2359566063dSJacob Faibussowitsch PetscCall(MatGetBlockSize(A, &bs)); 236eb1ec7c1SStefano Zampini #endif 2374d9d31abSKris Buschelman switch (op) { 238d71ae5a4SJacob Faibussowitsch case MAT_ROW_ORIENTED: 239d71ae5a4SJacob Faibussowitsch a->roworiented = flg; 240d71ae5a4SJacob Faibussowitsch break; 241d71ae5a4SJacob Faibussowitsch case MAT_KEEP_NONZERO_PATTERN: 242d71ae5a4SJacob Faibussowitsch a->keepnonzeropattern = flg; 243d71ae5a4SJacob Faibussowitsch break; 244d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATIONS: 245d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? 0 : 1); 246d71ae5a4SJacob Faibussowitsch break; 247d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_LOCATION_ERR: 248d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -1 : 0); 249d71ae5a4SJacob Faibussowitsch break; 250d71ae5a4SJacob Faibussowitsch case MAT_NEW_NONZERO_ALLOCATION_ERR: 251d71ae5a4SJacob Faibussowitsch a->nonew = (flg ? -2 : 0); 252d71ae5a4SJacob Faibussowitsch break; 253d71ae5a4SJacob Faibussowitsch case MAT_UNUSED_NONZERO_LOCATION_ERR: 254d71ae5a4SJacob Faibussowitsch a->nounused = (flg ? -1 : 0); 255d71ae5a4SJacob Faibussowitsch break; 2568c78258cSHong Zhang case MAT_FORCE_DIAGONAL_ENTRIES: 2574d9d31abSKris Buschelman case MAT_IGNORE_OFF_PROC_ENTRIES: 2584d9d31abSKris Buschelman case MAT_USE_HASH_TABLE: 259d71ae5a4SJacob Faibussowitsch case MAT_SORTED_FULL: 260d71ae5a4SJacob Faibussowitsch PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op])); 261d71ae5a4SJacob Faibussowitsch break; 2629a4540c5SBarry Smith case MAT_HERMITIAN: 263eb1ec7c1SStefano Zampini #if defined(PETSC_USE_COMPLEX) 264eb1ec7c1SStefano Zampini if (flg) { /* disable transpose ops */ 26508401ef6SPierre Jolivet PetscCheck(bs <= 1, PETSC_COMM_SELF, PETSC_ERR_SUP, "No support for Hermitian with block size greater than 1"); 266eb1ec7c1SStefano Zampini A->ops->multtranspose = NULL; 267eb1ec7c1SStefano Zampini A->ops->multtransposeadd = NULL; 268b94d7dedSBarry Smith A->symmetric = PETSC_BOOL3_FALSE; 269eb1ec7c1SStefano Zampini } 2700f2140c7SStefano Zampini #endif 271eeffb40dSHong Zhang break; 27277e54ba9SKris Buschelman case MAT_SYMMETRIC: 273eb1ec7c1SStefano Zampini case MAT_SPD: 274eb1ec7c1SStefano Zampini #if defined(PETSC_USE_COMPLEX) 275eb1ec7c1SStefano Zampini if (flg) { /* An hermitian and symmetric matrix has zero imaginary part (restore back transpose ops) */ 276eb1ec7c1SStefano Zampini A->ops->multtranspose = A->ops->mult; 277eb1ec7c1SStefano Zampini A->ops->multtransposeadd = A->ops->multadd; 278eb1ec7c1SStefano Zampini } 279eb1ec7c1SStefano Zampini #endif 280eb1ec7c1SStefano Zampini break; 281eb1ec7c1SStefano Zampini /* These options are handled directly by MatSetOption() */ 28277e54ba9SKris Buschelman case MAT_STRUCTURALLY_SYMMETRIC: 2839a4540c5SBarry Smith case MAT_SYMMETRY_ETERNAL: 284b94d7dedSBarry Smith case MAT_STRUCTURAL_SYMMETRY_ETERNAL: 285672ba085SHong Zhang case MAT_STRUCTURE_ONLY: 286b94d7dedSBarry Smith case MAT_SPD_ETERNAL: 2874dcd73b1SHong Zhang /* These options are handled directly by MatSetOption() */ 288290bbb0aSBarry Smith break; 289d71ae5a4SJacob Faibussowitsch case MAT_IGNORE_LOWER_TRIANGULAR: 290d71ae5a4SJacob Faibussowitsch a->ignore_ltriangular = flg; 291d71ae5a4SJacob Faibussowitsch break; 292d71ae5a4SJacob Faibussowitsch case MAT_ERROR_LOWER_TRIANGULAR: 293d71ae5a4SJacob Faibussowitsch a->ignore_ltriangular = flg; 294d71ae5a4SJacob Faibussowitsch break; 295d71ae5a4SJacob Faibussowitsch case MAT_GETROW_UPPERTRIANGULAR: 296d71ae5a4SJacob Faibussowitsch a->getrow_utriangular = flg; 297d71ae5a4SJacob Faibussowitsch break; 298d71ae5a4SJacob Faibussowitsch case MAT_SUBMAT_SINGLEIS: 299d71ae5a4SJacob Faibussowitsch break; 300d71ae5a4SJacob Faibussowitsch default: 301d71ae5a4SJacob Faibussowitsch SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op); 30249b5e25fSSatish Balay } 3033ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 30449b5e25fSSatish Balay } 30549b5e25fSSatish Balay 306d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetRow_SeqSBAIJ(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 307d71ae5a4SJacob Faibussowitsch { 30849b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 30949b5e25fSSatish Balay 31049b5e25fSSatish Balay PetscFunctionBegin; 31108401ef6SPierre Jolivet PetscCheck(!A || a->getrow_utriangular, PETSC_COMM_SELF, PETSC_ERR_SUP, "MatGetRow is not supported for SBAIJ matrix format. Getting the upper triangular part of row, run with -mat_getrow_uppertriangular, call MatSetOption(mat,MAT_GETROW_UPPERTRIANGULAR,PETSC_TRUE) or MatGetRowUpperTriangular()"); 31252768537SHong Zhang 313f5edf698SHong Zhang /* Get the upper triangular part of the row */ 3149566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqBAIJ_private(A, row, nz, idx, v, a->i, a->j, a->a)); 3153ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 31649b5e25fSSatish Balay } 31749b5e25fSSatish Balay 318d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRestoreRow_SeqSBAIJ(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) 319d71ae5a4SJacob Faibussowitsch { 32049b5e25fSSatish Balay PetscFunctionBegin; 3219566063dSJacob Faibussowitsch if (idx) PetscCall(PetscFree(*idx)); 3229566063dSJacob Faibussowitsch if (v) PetscCall(PetscFree(*v)); 3233ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 32449b5e25fSSatish Balay } 32549b5e25fSSatish Balay 326ba38deedSJacob Faibussowitsch static PetscErrorCode MatGetRowUpperTriangular_SeqSBAIJ(Mat A) 327d71ae5a4SJacob Faibussowitsch { 328f5edf698SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 329f5edf698SHong Zhang 330f5edf698SHong Zhang PetscFunctionBegin; 331f5edf698SHong Zhang a->getrow_utriangular = PETSC_TRUE; 3323ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 333f5edf698SHong Zhang } 334a323099bSStefano Zampini 335ba38deedSJacob Faibussowitsch static PetscErrorCode MatRestoreRowUpperTriangular_SeqSBAIJ(Mat A) 336d71ae5a4SJacob Faibussowitsch { 337f5edf698SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 338f5edf698SHong Zhang 339f5edf698SHong Zhang PetscFunctionBegin; 340f5edf698SHong Zhang a->getrow_utriangular = PETSC_FALSE; 3413ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 342f5edf698SHong Zhang } 343f5edf698SHong Zhang 344ba38deedSJacob Faibussowitsch static PetscErrorCode MatTranspose_SeqSBAIJ(Mat A, MatReuse reuse, Mat *B) 345d71ae5a4SJacob Faibussowitsch { 34649b5e25fSSatish Balay PetscFunctionBegin; 3477fb60732SBarry Smith if (reuse == MAT_REUSE_MATRIX) PetscCall(MatTransposeCheckNonzeroState_Private(A, *B)); 348cf37664fSBarry Smith if (reuse == MAT_INITIAL_MATRIX) { 3499566063dSJacob Faibussowitsch PetscCall(MatDuplicate(A, MAT_COPY_VALUES, B)); 350cf37664fSBarry Smith } else if (reuse == MAT_REUSE_MATRIX) { 3519566063dSJacob Faibussowitsch PetscCall(MatCopy(A, *B, SAME_NONZERO_PATTERN)); 352fc4dec0aSBarry Smith } 3533ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 35449b5e25fSSatish Balay } 35549b5e25fSSatish Balay 356ba38deedSJacob Faibussowitsch static PetscErrorCode MatView_SeqSBAIJ_ASCII(Mat A, PetscViewer viewer) 357d71ae5a4SJacob Faibussowitsch { 35849b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 359d0f46423SBarry Smith PetscInt i, j, bs = A->rmap->bs, k, l, bs2 = a->bs2; 360f3ef73ceSBarry Smith PetscViewerFormat format; 361121deb67SSatish Balay PetscInt *diag; 362b3a0534dSBarry Smith const char *matname; 36349b5e25fSSatish Balay 36449b5e25fSSatish Balay PetscFunctionBegin; 3659566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 366456192e2SBarry Smith if (format == PETSC_VIEWER_ASCII_INFO || format == PETSC_VIEWER_ASCII_INFO_DETAIL) { 3679566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " block size is %" PetscInt_FMT "\n", bs)); 368fb9695e5SSatish Balay } else if (format == PETSC_VIEWER_ASCII_MATLAB) { 369d2507d54SMatthew Knepley Mat aij; 370ade3a672SBarry Smith 371d5f3da31SBarry Smith if (A->factortype && bs > 1) { 3729566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_SELF, "Warning: matrix is factored with bs>1. MatView() with PETSC_VIEWER_ASCII_MATLAB is not supported and ignored!\n")); 3733ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 37470d5e725SHong Zhang } 3759566063dSJacob Faibussowitsch PetscCall(MatConvert(A, MATSEQAIJ, MAT_INITIAL_MATRIX, &aij)); 37623a3927dSBarry Smith if (((PetscObject)A)->name) PetscCall(PetscObjectGetName((PetscObject)A, &matname)); 37723a3927dSBarry Smith if (((PetscObject)A)->name) PetscCall(PetscObjectSetName((PetscObject)aij, matname)); 37823a3927dSBarry Smith PetscCall(MatView_SeqAIJ(aij, viewer)); 3799566063dSJacob Faibussowitsch PetscCall(MatDestroy(&aij)); 380fb9695e5SSatish Balay } else if (format == PETSC_VIEWER_ASCII_COMMON) { 381b3a0534dSBarry Smith Mat B; 382b3a0534dSBarry Smith 383b3a0534dSBarry Smith PetscCall(MatConvert(A, MATSEQAIJ, MAT_INITIAL_MATRIX, &B)); 384b3a0534dSBarry Smith if (((PetscObject)A)->name) PetscCall(PetscObjectGetName((PetscObject)A, &matname)); 385b3a0534dSBarry Smith if (((PetscObject)A)->name) PetscCall(PetscObjectSetName((PetscObject)B, matname)); 386b3a0534dSBarry Smith PetscCall(MatView_SeqAIJ(B, viewer)); 387b3a0534dSBarry Smith PetscCall(MatDestroy(&B)); 388c1490034SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO) { 3893ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 39049b5e25fSSatish Balay } else { 3919566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 3922c990fa1SHong Zhang if (A->factortype) { /* for factored matrix */ 39308401ef6SPierre Jolivet PetscCheck(bs <= 1, PETSC_COMM_SELF, PETSC_ERR_SUP, "matrix is factored with bs>1. Not implemented yet"); 3942c990fa1SHong Zhang 395121deb67SSatish Balay diag = a->diag; 396121deb67SSatish Balay for (i = 0; i < a->mbs; i++) { /* for row block i */ 3979566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 3982c990fa1SHong Zhang /* diagonal entry */ 3992c990fa1SHong Zhang #if defined(PETSC_USE_COMPLEX) 4002c990fa1SHong Zhang if (PetscImaginaryPart(a->a[diag[i]]) > 0.0) { 4019566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i) ", a->j[diag[i]], (double)PetscRealPart(1.0 / a->a[diag[i]]), (double)PetscImaginaryPart(1.0 / a->a[diag[i]]))); 4022c990fa1SHong Zhang } else if (PetscImaginaryPart(a->a[diag[i]]) < 0.0) { 4039566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i) ", a->j[diag[i]], (double)PetscRealPart(1.0 / a->a[diag[i]]), -(double)PetscImaginaryPart(1.0 / a->a[diag[i]]))); 4042c990fa1SHong Zhang } else { 4059566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->j[diag[i]], (double)PetscRealPart(1.0 / a->a[diag[i]]))); 4062c990fa1SHong Zhang } 4072c990fa1SHong Zhang #else 4089566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->j[diag[i]], (double)(1.0 / a->a[diag[i]]))); 4092c990fa1SHong Zhang #endif 4102c990fa1SHong Zhang /* off-diagonal entries */ 4112c990fa1SHong Zhang for (k = a->i[i]; k < a->i[i + 1] - 1; k++) { 4122c990fa1SHong Zhang #if defined(PETSC_USE_COMPLEX) 413ca0704adSBarry Smith if (PetscImaginaryPart(a->a[k]) > 0.0) { 4149566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i) ", bs * a->j[k], (double)PetscRealPart(a->a[k]), (double)PetscImaginaryPart(a->a[k]))); 415ca0704adSBarry Smith } else if (PetscImaginaryPart(a->a[k]) < 0.0) { 4169566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i) ", bs * a->j[k], (double)PetscRealPart(a->a[k]), -(double)PetscImaginaryPart(a->a[k]))); 4172c990fa1SHong Zhang } else { 4189566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", bs * a->j[k], (double)PetscRealPart(a->a[k]))); 4192c990fa1SHong Zhang } 4202c990fa1SHong Zhang #else 4219566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->j[k], (double)a->a[k])); 4222c990fa1SHong Zhang #endif 4232c990fa1SHong Zhang } 4249566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 4252c990fa1SHong Zhang } 4262c990fa1SHong Zhang 4272c990fa1SHong Zhang } else { /* for non-factored matrix */ 4280c74a584SJed Brown for (i = 0; i < a->mbs; i++) { /* for row block i */ 4290c74a584SJed Brown for (j = 0; j < bs; j++) { /* for row bs*i + j */ 4309566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i * bs + j)); 4310c74a584SJed Brown for (k = a->i[i]; k < a->i[i + 1]; k++) { /* for column block */ 4320c74a584SJed Brown for (l = 0; l < bs; l++) { /* for column */ 43349b5e25fSSatish Balay #if defined(PETSC_USE_COMPLEX) 43449b5e25fSSatish Balay if (PetscImaginaryPart(a->a[bs2 * k + l * bs + j]) > 0.0) { 4359371c9d4SSatish Balay PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i) ", bs * a->j[k] + l, (double)PetscRealPart(a->a[bs2 * k + l * bs + j]), (double)PetscImaginaryPart(a->a[bs2 * k + l * bs + j]))); 43649b5e25fSSatish Balay } else if (PetscImaginaryPart(a->a[bs2 * k + l * bs + j]) < 0.0) { 4379371c9d4SSatish Balay PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i) ", bs * a->j[k] + l, (double)PetscRealPart(a->a[bs2 * k + l * bs + j]), -(double)PetscImaginaryPart(a->a[bs2 * k + l * bs + j]))); 43849b5e25fSSatish Balay } else { 4399566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", bs * a->j[k] + l, (double)PetscRealPart(a->a[bs2 * k + l * bs + j]))); 44049b5e25fSSatish Balay } 44149b5e25fSSatish Balay #else 4429566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", bs * a->j[k] + l, (double)a->a[bs2 * k + l * bs + j])); 44349b5e25fSSatish Balay #endif 44449b5e25fSSatish Balay } 44549b5e25fSSatish Balay } 4469566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 44749b5e25fSSatish Balay } 44849b5e25fSSatish Balay } 4492c990fa1SHong Zhang } 4509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 45149b5e25fSSatish Balay } 4529566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 4533ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 45449b5e25fSSatish Balay } 45549b5e25fSSatish Balay 4569804daf3SBarry Smith #include <petscdraw.h> 457d71ae5a4SJacob Faibussowitsch static PetscErrorCode MatView_SeqSBAIJ_Draw_Zoom(PetscDraw draw, void *Aa) 458d71ae5a4SJacob Faibussowitsch { 45949b5e25fSSatish Balay Mat A = (Mat)Aa; 46049b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 461d0f46423SBarry Smith PetscInt row, i, j, k, l, mbs = a->mbs, color, bs = A->rmap->bs, bs2 = a->bs2; 46249b5e25fSSatish Balay PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 46349b5e25fSSatish Balay MatScalar *aa; 464b0a32e0cSBarry Smith PetscViewer viewer; 46549b5e25fSSatish Balay 46649b5e25fSSatish Balay PetscFunctionBegin; 4679566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 4689566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 46949b5e25fSSatish Balay 47049b5e25fSSatish Balay /* loop over matrix elements drawing boxes */ 471383922c3SLisandro Dalcin 472d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 4739566063dSJacob Faibussowitsch PetscCall(PetscDrawString(draw, .3 * (xl + xr), .3 * (yl + yr), PETSC_DRAW_BLACK, "symmetric")); 474383922c3SLisandro Dalcin /* Blue for negative, Cyan for zero and Red for positive */ 475b0a32e0cSBarry Smith color = PETSC_DRAW_BLUE; 47649b5e25fSSatish Balay for (i = 0, row = 0; i < mbs; i++, row += bs) { 47749b5e25fSSatish Balay for (j = a->i[i]; j < a->i[i + 1]; j++) { 4789371c9d4SSatish Balay y_l = A->rmap->N - row - 1.0; 4799371c9d4SSatish Balay y_r = y_l + 1.0; 4809371c9d4SSatish Balay x_l = a->j[j] * bs; 4819371c9d4SSatish Balay x_r = x_l + 1.0; 48249b5e25fSSatish Balay aa = a->a + j * bs2; 48349b5e25fSSatish Balay for (k = 0; k < bs; k++) { 48449b5e25fSSatish Balay for (l = 0; l < bs; l++) { 48549b5e25fSSatish Balay if (PetscRealPart(*aa++) >= 0.) continue; 4869566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l + k, y_l - l, x_r + k, y_r - l, color, color, color, color)); 48749b5e25fSSatish Balay } 48849b5e25fSSatish Balay } 48949b5e25fSSatish Balay } 49049b5e25fSSatish Balay } 491b0a32e0cSBarry Smith color = PETSC_DRAW_CYAN; 49249b5e25fSSatish Balay for (i = 0, row = 0; i < mbs; i++, row += bs) { 49349b5e25fSSatish Balay for (j = a->i[i]; j < a->i[i + 1]; j++) { 4949371c9d4SSatish Balay y_l = A->rmap->N - row - 1.0; 4959371c9d4SSatish Balay y_r = y_l + 1.0; 4969371c9d4SSatish Balay x_l = a->j[j] * bs; 4979371c9d4SSatish Balay x_r = x_l + 1.0; 49849b5e25fSSatish Balay aa = a->a + j * bs2; 49949b5e25fSSatish Balay for (k = 0; k < bs; k++) { 50049b5e25fSSatish Balay for (l = 0; l < bs; l++) { 50149b5e25fSSatish Balay if (PetscRealPart(*aa++) != 0.) continue; 5029566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l + k, y_l - l, x_r + k, y_r - l, color, color, color, color)); 50349b5e25fSSatish Balay } 50449b5e25fSSatish Balay } 50549b5e25fSSatish Balay } 50649b5e25fSSatish Balay } 507b0a32e0cSBarry Smith color = PETSC_DRAW_RED; 50849b5e25fSSatish Balay for (i = 0, row = 0; i < mbs; i++, row += bs) { 50949b5e25fSSatish Balay for (j = a->i[i]; j < a->i[i + 1]; j++) { 5109371c9d4SSatish Balay y_l = A->rmap->N - row - 1.0; 5119371c9d4SSatish Balay y_r = y_l + 1.0; 5129371c9d4SSatish Balay x_l = a->j[j] * bs; 5139371c9d4SSatish Balay x_r = x_l + 1.0; 51449b5e25fSSatish Balay aa = a->a + j * bs2; 51549b5e25fSSatish Balay for (k = 0; k < bs; k++) { 51649b5e25fSSatish Balay for (l = 0; l < bs; l++) { 51749b5e25fSSatish Balay if (PetscRealPart(*aa++) <= 0.) continue; 5189566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l + k, y_l - l, x_r + k, y_r - l, color, color, color, color)); 51949b5e25fSSatish Balay } 52049b5e25fSSatish Balay } 52149b5e25fSSatish Balay } 52249b5e25fSSatish Balay } 523d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 5243ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 52549b5e25fSSatish Balay } 52649b5e25fSSatish Balay 527d71ae5a4SJacob Faibussowitsch static PetscErrorCode MatView_SeqSBAIJ_Draw(Mat A, PetscViewer viewer) 528d71ae5a4SJacob Faibussowitsch { 52949b5e25fSSatish Balay PetscReal xl, yl, xr, yr, w, h; 530b0a32e0cSBarry Smith PetscDraw draw; 531ace3abfcSBarry Smith PetscBool isnull; 53249b5e25fSSatish Balay 53349b5e25fSSatish Balay PetscFunctionBegin; 5349566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 5359566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 5363ba16761SJacob Faibussowitsch if (isnull) PetscFunctionReturn(PETSC_SUCCESS); 53749b5e25fSSatish Balay 5389371c9d4SSatish Balay xr = A->rmap->N; 5399371c9d4SSatish Balay yr = A->rmap->N; 5409371c9d4SSatish Balay h = yr / 10.0; 5419371c9d4SSatish Balay w = xr / 10.0; 5429371c9d4SSatish Balay xr += w; 5439371c9d4SSatish Balay yr += h; 5449371c9d4SSatish Balay xl = -w; 5459371c9d4SSatish Balay yl = -h; 5469566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 5479566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 5489566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSBAIJ_Draw_Zoom, A)); 5499566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 5509566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 5513ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 55249b5e25fSSatish Balay } 55349b5e25fSSatish Balay 554618cc2edSLisandro Dalcin /* Used for both MPIBAIJ and MPISBAIJ matrices */ 555618cc2edSLisandro Dalcin #define MatView_SeqSBAIJ_Binary MatView_SeqBAIJ_Binary 556618cc2edSLisandro Dalcin 557d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSBAIJ(Mat A, PetscViewer viewer) 558d71ae5a4SJacob Faibussowitsch { 559618cc2edSLisandro Dalcin PetscBool iascii, isbinary, isdraw; 56049b5e25fSSatish Balay 56149b5e25fSSatish Balay PetscFunctionBegin; 5629566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 5639566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 5649566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 56532077d6dSBarry Smith if (iascii) { 5669566063dSJacob Faibussowitsch PetscCall(MatView_SeqSBAIJ_ASCII(A, viewer)); 567618cc2edSLisandro Dalcin } else if (isbinary) { 5689566063dSJacob Faibussowitsch PetscCall(MatView_SeqSBAIJ_Binary(A, viewer)); 56949b5e25fSSatish Balay } else if (isdraw) { 5709566063dSJacob Faibussowitsch PetscCall(MatView_SeqSBAIJ_Draw(A, viewer)); 57149b5e25fSSatish Balay } else { 572a5e6ed63SBarry Smith Mat B; 573ade3a672SBarry Smith const char *matname; 5749566063dSJacob Faibussowitsch PetscCall(MatConvert(A, MATSEQAIJ, MAT_INITIAL_MATRIX, &B)); 57523a3927dSBarry Smith if (((PetscObject)A)->name) PetscCall(PetscObjectGetName((PetscObject)A, &matname)); 57623a3927dSBarry Smith if (((PetscObject)A)->name) PetscCall(PetscObjectSetName((PetscObject)B, matname)); 5779566063dSJacob Faibussowitsch PetscCall(MatView(B, viewer)); 5789566063dSJacob Faibussowitsch PetscCall(MatDestroy(&B)); 57949b5e25fSSatish Balay } 5803ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 58149b5e25fSSatish Balay } 58249b5e25fSSatish Balay 583d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetValues_SeqSBAIJ(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) 584d71ae5a4SJacob Faibussowitsch { 585045c9aa0SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 58613f74950SBarry Smith PetscInt *rp, k, low, high, t, row, nrow, i, col, l, *aj = a->j; 58713f74950SBarry Smith PetscInt *ai = a->i, *ailen = a->ilen; 588d0f46423SBarry Smith PetscInt brow, bcol, ridx, cidx, bs = A->rmap->bs, bs2 = a->bs2; 58997e567efSBarry Smith MatScalar *ap, *aa = a->a; 59049b5e25fSSatish Balay 59149b5e25fSSatish Balay PetscFunctionBegin; 59249b5e25fSSatish Balay for (k = 0; k < m; k++) { /* loop over rows */ 5939371c9d4SSatish Balay row = im[k]; 5949371c9d4SSatish Balay brow = row / bs; 5959371c9d4SSatish Balay if (row < 0) { 5969371c9d4SSatish Balay v += n; 5979371c9d4SSatish Balay continue; 5989371c9d4SSatish Balay } /* negative row */ 59954c59aa7SJacob Faibussowitsch PetscCheck(row < A->rmap->N, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row too large: row %" PetscInt_FMT " max %" PetscInt_FMT, row, A->rmap->N - 1); 6009371c9d4SSatish Balay rp = aj + ai[brow]; 6019371c9d4SSatish Balay ap = aa + bs2 * ai[brow]; 60249b5e25fSSatish Balay nrow = ailen[brow]; 60349b5e25fSSatish Balay for (l = 0; l < n; l++) { /* loop over columns */ 6049371c9d4SSatish Balay if (in[l] < 0) { 6059371c9d4SSatish Balay v++; 6069371c9d4SSatish Balay continue; 6079371c9d4SSatish Balay } /* negative column */ 60854c59aa7SJacob Faibussowitsch PetscCheck(in[l] < A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Column too large: col %" PetscInt_FMT " max %" PetscInt_FMT, in[l], A->cmap->n - 1); 60949b5e25fSSatish Balay col = in[l]; 61049b5e25fSSatish Balay bcol = col / bs; 61149b5e25fSSatish Balay cidx = col % bs; 61249b5e25fSSatish Balay ridx = row % bs; 61349b5e25fSSatish Balay high = nrow; 61449b5e25fSSatish Balay low = 0; /* assume unsorted */ 61549b5e25fSSatish Balay while (high - low > 5) { 61649b5e25fSSatish Balay t = (low + high) / 2; 61749b5e25fSSatish Balay if (rp[t] > bcol) high = t; 61849b5e25fSSatish Balay else low = t; 61949b5e25fSSatish Balay } 62049b5e25fSSatish Balay for (i = low; i < high; i++) { 62149b5e25fSSatish Balay if (rp[i] > bcol) break; 62249b5e25fSSatish Balay if (rp[i] == bcol) { 62349b5e25fSSatish Balay *v++ = ap[bs2 * i + bs * cidx + ridx]; 62449b5e25fSSatish Balay goto finished; 62549b5e25fSSatish Balay } 62649b5e25fSSatish Balay } 62797e567efSBarry Smith *v++ = 0.0; 62849b5e25fSSatish Balay finished:; 62949b5e25fSSatish Balay } 63049b5e25fSSatish Balay } 6313ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 63249b5e25fSSatish Balay } 63349b5e25fSSatish Balay 634ba38deedSJacob Faibussowitsch static PetscErrorCode MatPermute_SeqSBAIJ(Mat A, IS rowp, IS colp, Mat *B) 635d71ae5a4SJacob Faibussowitsch { 636dc29a518SPierre Jolivet Mat C; 63757069620SPierre Jolivet PetscBool flg = (PetscBool)(rowp == colp); 638dc29a518SPierre Jolivet 639dc29a518SPierre Jolivet PetscFunctionBegin; 6409566063dSJacob Faibussowitsch PetscCall(MatConvert(A, MATSEQBAIJ, MAT_INITIAL_MATRIX, &C)); 6419566063dSJacob Faibussowitsch PetscCall(MatPermute(C, rowp, colp, B)); 6429566063dSJacob Faibussowitsch PetscCall(MatDestroy(&C)); 64357069620SPierre Jolivet if (!flg) PetscCall(ISEqual(rowp, colp, &flg)); 64457069620SPierre Jolivet if (flg) PetscCall(MatConvert(*B, MATSEQSBAIJ, MAT_INPLACE_MATRIX, B)); 6453ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 646dc29a518SPierre Jolivet } 64749b5e25fSSatish Balay 648d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValuesBlocked_SeqSBAIJ(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 649d71ae5a4SJacob Faibussowitsch { 6500880e062SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 651e2ee6c50SBarry Smith PetscInt *rp, k, low, high, t, ii, jj, row, nrow, i, col, l, rmax, N, lastcol = -1; 65213f74950SBarry Smith PetscInt *imax = a->imax, *ai = a->i, *ailen = a->ilen; 653d0f46423SBarry Smith PetscInt *aj = a->j, nonew = a->nonew, bs2 = a->bs2, bs = A->rmap->bs, stepval; 654ace3abfcSBarry Smith PetscBool roworiented = a->roworiented; 655dd6ea824SBarry Smith const PetscScalar *value = v; 656f15d580aSBarry Smith MatScalar *ap, *aa = a->a, *bap; 6570880e062SHong Zhang 65849b5e25fSSatish Balay PetscFunctionBegin; 65926fbe8dcSKarl Rupp if (roworiented) stepval = (n - 1) * bs; 66026fbe8dcSKarl Rupp else stepval = (m - 1) * bs; 66126fbe8dcSKarl Rupp 6620880e062SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 6630880e062SHong Zhang row = im[k]; 6640880e062SHong Zhang if (row < 0) continue; 6656bdcaf15SBarry Smith PetscCheck(row < a->mbs, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Block index row too large %" PetscInt_FMT " max %" PetscInt_FMT, row, a->mbs - 1); 6660880e062SHong Zhang rp = aj + ai[row]; 6670880e062SHong Zhang ap = aa + bs2 * ai[row]; 6680880e062SHong Zhang rmax = imax[row]; 6690880e062SHong Zhang nrow = ailen[row]; 6700880e062SHong Zhang low = 0; 671818f2c47SBarry Smith high = nrow; 6720880e062SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 6730880e062SHong Zhang if (in[l] < 0) continue; 6740880e062SHong Zhang col = in[l]; 6756bdcaf15SBarry Smith PetscCheck(col < a->nbs, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Block index column too large %" PetscInt_FMT " max %" PetscInt_FMT, col, a->nbs - 1); 676b98bf0e1SJed Brown if (col < row) { 67726fbe8dcSKarl Rupp if (a->ignore_ltriangular) continue; /* ignore lower triangular block */ 67826fbe8dcSKarl Rupp else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_USER, "Lower triangular value cannot be set for sbaij format. Ignoring these values, run with -mat_ignore_lower_triangular or call MatSetOption(mat,MAT_IGNORE_LOWER_TRIANGULAR,PETSC_TRUE)"); 679b98bf0e1SJed Brown } 68026fbe8dcSKarl Rupp if (roworiented) value = v + k * (stepval + bs) * bs + l * bs; 68126fbe8dcSKarl Rupp else value = v + l * (stepval + bs) * bs + k * bs; 68226fbe8dcSKarl Rupp 68326fbe8dcSKarl Rupp if (col <= lastcol) low = 0; 68426fbe8dcSKarl Rupp else high = nrow; 68526fbe8dcSKarl Rupp 686e2ee6c50SBarry Smith lastcol = col; 6870880e062SHong Zhang while (high - low > 7) { 6880880e062SHong Zhang t = (low + high) / 2; 6890880e062SHong Zhang if (rp[t] > col) high = t; 6900880e062SHong Zhang else low = t; 6910880e062SHong Zhang } 6920880e062SHong Zhang for (i = low; i < high; i++) { 6930880e062SHong Zhang if (rp[i] > col) break; 6940880e062SHong Zhang if (rp[i] == col) { 6950880e062SHong Zhang bap = ap + bs2 * i; 6960880e062SHong Zhang if (roworiented) { 6970880e062SHong Zhang if (is == ADD_VALUES) { 6980880e062SHong Zhang for (ii = 0; ii < bs; ii++, value += stepval) { 699ad540459SPierre Jolivet for (jj = ii; jj < bs2; jj += bs) bap[jj] += *value++; 7000880e062SHong Zhang } 7010880e062SHong Zhang } else { 7020880e062SHong Zhang for (ii = 0; ii < bs; ii++, value += stepval) { 703ad540459SPierre Jolivet for (jj = ii; jj < bs2; jj += bs) bap[jj] = *value++; 7040880e062SHong Zhang } 7050880e062SHong Zhang } 7060880e062SHong Zhang } else { 7070880e062SHong Zhang if (is == ADD_VALUES) { 7080880e062SHong Zhang for (ii = 0; ii < bs; ii++, value += stepval) { 709ad540459SPierre Jolivet for (jj = 0; jj < bs; jj++) *bap++ += *value++; 7100880e062SHong Zhang } 7110880e062SHong Zhang } else { 7120880e062SHong Zhang for (ii = 0; ii < bs; ii++, value += stepval) { 713ad540459SPierre Jolivet for (jj = 0; jj < bs; jj++) *bap++ = *value++; 7140880e062SHong Zhang } 7150880e062SHong Zhang } 7160880e062SHong Zhang } 7170880e062SHong Zhang goto noinsert2; 7180880e062SHong Zhang } 7190880e062SHong Zhang } 7200880e062SHong Zhang if (nonew == 1) goto noinsert2; 72108401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new block index nonzero block (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 722fef13f97SBarry Smith MatSeqXAIJReallocateAIJ(A, a->mbs, bs2, nrow, row, col, rmax, aa, ai, aj, rp, ap, imax, nonew, MatScalar); 7239371c9d4SSatish Balay N = nrow++ - 1; 7249371c9d4SSatish Balay high++; 7250880e062SHong Zhang /* shift up all the later entries in this row */ 7269566063dSJacob Faibussowitsch PetscCall(PetscArraymove(rp + i + 1, rp + i, N - i + 1)); 7279566063dSJacob Faibussowitsch PetscCall(PetscArraymove(ap + bs2 * (i + 1), ap + bs2 * i, bs2 * (N - i + 1))); 7289566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(ap + bs2 * i, bs2)); 7290880e062SHong Zhang rp[i] = col; 7300880e062SHong Zhang bap = ap + bs2 * i; 7310880e062SHong Zhang if (roworiented) { 7320880e062SHong Zhang for (ii = 0; ii < bs; ii++, value += stepval) { 733ad540459SPierre Jolivet for (jj = ii; jj < bs2; jj += bs) bap[jj] = *value++; 7340880e062SHong Zhang } 7350880e062SHong Zhang } else { 7360880e062SHong Zhang for (ii = 0; ii < bs; ii++, value += stepval) { 737ad540459SPierre Jolivet for (jj = 0; jj < bs; jj++) *bap++ = *value++; 7380880e062SHong Zhang } 7390880e062SHong Zhang } 7400880e062SHong Zhang noinsert2:; 7410880e062SHong Zhang low = i; 7420880e062SHong Zhang } 7430880e062SHong Zhang ailen[row] = nrow; 7440880e062SHong Zhang } 7453ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 74649b5e25fSSatish Balay } 74749b5e25fSSatish Balay 748ba38deedSJacob Faibussowitsch static PetscErrorCode MatAssemblyEnd_SeqSBAIJ(Mat A, MatAssemblyType mode) 749d71ae5a4SJacob Faibussowitsch { 75049b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 7518f8f2f0dSBarry Smith PetscInt fshift = 0, i, *ai = a->i, *aj = a->j, *imax = a->imax; 752d0f46423SBarry Smith PetscInt m = A->rmap->N, *ip, N, *ailen = a->ilen; 75313f74950SBarry Smith PetscInt mbs = a->mbs, bs2 = a->bs2, rmax = 0; 75449b5e25fSSatish Balay MatScalar *aa = a->a, *ap; 75549b5e25fSSatish Balay 75649b5e25fSSatish Balay PetscFunctionBegin; 757d32568d8SPierre Jolivet if (mode == MAT_FLUSH_ASSEMBLY || (A->was_assembled && A->ass_nonzerostate == A->nonzerostate)) PetscFunctionReturn(PETSC_SUCCESS); 75849b5e25fSSatish Balay 75949b5e25fSSatish Balay if (m) rmax = ailen[0]; 76049b5e25fSSatish Balay for (i = 1; i < mbs; i++) { 76149b5e25fSSatish Balay /* move each row back by the amount of empty slots (fshift) before it*/ 76249b5e25fSSatish Balay fshift += imax[i - 1] - ailen[i - 1]; 76349b5e25fSSatish Balay rmax = PetscMax(rmax, ailen[i]); 76449b5e25fSSatish Balay if (fshift) { 765580bdb30SBarry Smith ip = aj + ai[i]; 766580bdb30SBarry Smith ap = aa + bs2 * ai[i]; 76749b5e25fSSatish Balay N = ailen[i]; 7689566063dSJacob Faibussowitsch PetscCall(PetscArraymove(ip - fshift, ip, N)); 7699566063dSJacob Faibussowitsch PetscCall(PetscArraymove(ap - bs2 * fshift, ap, bs2 * N)); 77049b5e25fSSatish Balay } 77149b5e25fSSatish Balay ai[i] = ai[i - 1] + ailen[i - 1]; 77249b5e25fSSatish Balay } 77349b5e25fSSatish Balay if (mbs) { 77449b5e25fSSatish Balay fshift += imax[mbs - 1] - ailen[mbs - 1]; 77549b5e25fSSatish Balay ai[mbs] = ai[mbs - 1] + ailen[mbs - 1]; 77649b5e25fSSatish Balay } 77749b5e25fSSatish Balay /* reset ilen and imax for each row */ 778ad540459SPierre Jolivet for (i = 0; i < mbs; i++) ailen[i] = imax[i] = ai[i + 1] - ai[i]; 7796c6c5352SBarry Smith a->nz = ai[mbs]; 78049b5e25fSSatish Balay 781b424e231SHong Zhang /* diagonals may have moved, reset it */ 7821baa6e33SBarry Smith if (a->diag) PetscCall(PetscArraycpy(a->diag, ai, mbs)); 783aed4548fSBarry Smith PetscCheck(!fshift || a->nounused != -1, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Unused space detected in matrix: %" PetscInt_FMT " X %" PetscInt_FMT " block size %" PetscInt_FMT ", %" PetscInt_FMT " unneeded", m, A->cmap->n, A->rmap->bs, fshift * bs2); 78426fbe8dcSKarl Rupp 7859566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix size: %" PetscInt_FMT " X %" PetscInt_FMT ", block size %" PetscInt_FMT "; storage space: %" PetscInt_FMT " unneeded, %" PetscInt_FMT " used\n", m, A->rmap->N, A->rmap->bs, fshift * bs2, a->nz * bs2)); 7869566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues is %" PetscInt_FMT "\n", a->reallocs)); 7879566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Most nonzeros blocks in any row is %" PetscInt_FMT "\n", rmax)); 78826fbe8dcSKarl Rupp 7898e58a170SBarry Smith A->info.mallocs += a->reallocs; 79049b5e25fSSatish Balay a->reallocs = 0; 79149b5e25fSSatish Balay A->info.nz_unneeded = (PetscReal)fshift * bs2; 792061b2667SBarry Smith a->idiagvalid = PETSC_FALSE; 7934dcd73b1SHong Zhang a->rmax = rmax; 79438702af4SBarry Smith 79538702af4SBarry Smith if (A->cmap->n < 65536 && A->cmap->bs == 1) { 79644e1c64aSLisandro Dalcin if (a->jshort && a->free_jshort) { 79717803ae8SHong Zhang /* when matrix data structure is changed, previous jshort must be replaced */ 7989566063dSJacob Faibussowitsch PetscCall(PetscFree(a->jshort)); 79917803ae8SHong Zhang } 8009566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(a->i[A->rmap->n], &a->jshort)); 80138702af4SBarry Smith for (i = 0; i < a->i[A->rmap->n]; i++) a->jshort[i] = a->j[i]; 80238702af4SBarry Smith A->ops->mult = MatMult_SeqSBAIJ_1_ushort; 80341f059aeSBarry Smith A->ops->sor = MatSOR_SeqSBAIJ_ushort; 8044da8f245SBarry Smith a->free_jshort = PETSC_TRUE; 80538702af4SBarry Smith } 8063ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 80749b5e25fSSatish Balay } 80849b5e25fSSatish Balay 80949b5e25fSSatish Balay /* Only add/insert a(i,j) with i<=j (blocks). 810da81f932SPierre Jolivet Any a(i,j) with i>j input by user is ignored. 81149b5e25fSSatish Balay */ 81249b5e25fSSatish Balay 813d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSBAIJ(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) 814d71ae5a4SJacob Faibussowitsch { 81549b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 816e2ee6c50SBarry Smith PetscInt *rp, k, low, high, t, ii, row, nrow, i, col, l, rmax, N, lastcol = -1; 81713f74950SBarry Smith PetscInt *imax = a->imax, *ai = a->i, *ailen = a->ilen, roworiented = a->roworiented; 818d0f46423SBarry Smith PetscInt *aj = a->j, nonew = a->nonew, bs = A->rmap->bs, brow, bcol; 81913f74950SBarry Smith PetscInt ridx, cidx, bs2 = a->bs2; 82049b5e25fSSatish Balay MatScalar *ap, value, *aa = a->a, *bap; 82149b5e25fSSatish Balay 82249b5e25fSSatish Balay PetscFunctionBegin; 82349b5e25fSSatish Balay for (k = 0; k < m; k++) { /* loop over added rows */ 82449b5e25fSSatish Balay row = im[k]; /* row number */ 82549b5e25fSSatish Balay brow = row / bs; /* block row number */ 82649b5e25fSSatish Balay if (row < 0) continue; 8276bdcaf15SBarry Smith PetscCheck(row < A->rmap->N, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row too large: row %" PetscInt_FMT " max %" PetscInt_FMT, row, A->rmap->N - 1); 82849b5e25fSSatish Balay rp = aj + ai[brow]; /*ptr to beginning of column value of the row block*/ 82949b5e25fSSatish Balay ap = aa + bs2 * ai[brow]; /*ptr to beginning of element value of the row block*/ 83049b5e25fSSatish Balay rmax = imax[brow]; /* maximum space allocated for this row */ 83149b5e25fSSatish Balay nrow = ailen[brow]; /* actual length of this row */ 83249b5e25fSSatish Balay low = 0; 8338509e838SStefano Zampini high = nrow; 83449b5e25fSSatish Balay for (l = 0; l < n; l++) { /* loop over added columns */ 83549b5e25fSSatish Balay if (in[l] < 0) continue; 8366bdcaf15SBarry Smith PetscCheck(in[l] < A->cmap->N, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Column too large: col %" PetscInt_FMT " max %" PetscInt_FMT, in[l], A->cmap->N - 1); 83749b5e25fSSatish Balay col = in[l]; 83849b5e25fSSatish Balay bcol = col / bs; /* block col number */ 83949b5e25fSSatish Balay 840941593c8SHong Zhang if (brow > bcol) { 84126fbe8dcSKarl Rupp if (a->ignore_ltriangular) continue; /* ignore lower triangular values */ 84226fbe8dcSKarl Rupp else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_USER, "Lower triangular value cannot be set for sbaij format. Ignoring these values, run with -mat_ignore_lower_triangular or call MatSetOption(mat,MAT_IGNORE_LOWER_TRIANGULAR,PETSC_TRUE)"); 843941593c8SHong Zhang } 844f4989cb3SHong Zhang 8459371c9d4SSatish Balay ridx = row % bs; 8469371c9d4SSatish Balay cidx = col % bs; /*row and col index inside the block */ 8478549e402SHong Zhang if ((brow == bcol && ridx <= cidx) || (brow < bcol)) { 84849b5e25fSSatish Balay /* element value a(k,l) */ 84926fbe8dcSKarl Rupp if (roworiented) value = v[l + k * n]; 85026fbe8dcSKarl Rupp else value = v[k + l * m]; 85149b5e25fSSatish Balay 85249b5e25fSSatish Balay /* move pointer bap to a(k,l) quickly and add/insert value */ 85326fbe8dcSKarl Rupp if (col <= lastcol) low = 0; 8548509e838SStefano Zampini else high = nrow; 8558509e838SStefano Zampini 856e2ee6c50SBarry Smith lastcol = col; 85749b5e25fSSatish Balay while (high - low > 7) { 85849b5e25fSSatish Balay t = (low + high) / 2; 85949b5e25fSSatish Balay if (rp[t] > bcol) high = t; 86049b5e25fSSatish Balay else low = t; 86149b5e25fSSatish Balay } 86249b5e25fSSatish Balay for (i = low; i < high; i++) { 86349b5e25fSSatish Balay if (rp[i] > bcol) break; 86449b5e25fSSatish Balay if (rp[i] == bcol) { 86549b5e25fSSatish Balay bap = ap + bs2 * i + bs * cidx + ridx; 86649b5e25fSSatish Balay if (is == ADD_VALUES) *bap += value; 86749b5e25fSSatish Balay else *bap = value; 8688549e402SHong Zhang /* for diag block, add/insert its symmetric element a(cidx,ridx) */ 8698549e402SHong Zhang if (brow == bcol && ridx < cidx) { 8708549e402SHong Zhang bap = ap + bs2 * i + bs * ridx + cidx; 8718549e402SHong Zhang if (is == ADD_VALUES) *bap += value; 8728549e402SHong Zhang else *bap = value; 8738549e402SHong Zhang } 87449b5e25fSSatish Balay goto noinsert1; 87549b5e25fSSatish Balay } 87649b5e25fSSatish Balay } 87749b5e25fSSatish Balay 87849b5e25fSSatish Balay if (nonew == 1) goto noinsert1; 87908401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 880fef13f97SBarry Smith MatSeqXAIJReallocateAIJ(A, a->mbs, bs2, nrow, brow, bcol, rmax, aa, ai, aj, rp, ap, imax, nonew, MatScalar); 88149b5e25fSSatish Balay 8829371c9d4SSatish Balay N = nrow++ - 1; 8839371c9d4SSatish Balay high++; 88449b5e25fSSatish Balay /* shift up all the later entries in this row */ 8859566063dSJacob Faibussowitsch PetscCall(PetscArraymove(rp + i + 1, rp + i, N - i + 1)); 8869566063dSJacob Faibussowitsch PetscCall(PetscArraymove(ap + bs2 * (i + 1), ap + bs2 * i, bs2 * (N - i + 1))); 8879566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(ap + bs2 * i, bs2)); 88849b5e25fSSatish Balay rp[i] = bcol; 88949b5e25fSSatish Balay ap[bs2 * i + bs * cidx + ridx] = value; 8908509e838SStefano Zampini /* for diag block, add/insert its symmetric element a(cidx,ridx) */ 891ad540459SPierre Jolivet if (brow == bcol && ridx < cidx) ap[bs2 * i + bs * ridx + cidx] = value; 892e56f5c9eSBarry Smith A->nonzerostate++; 89349b5e25fSSatish Balay noinsert1:; 89449b5e25fSSatish Balay low = i; 8958549e402SHong Zhang } 89649b5e25fSSatish Balay } /* end of loop over added columns */ 89749b5e25fSSatish Balay ailen[brow] = nrow; 89849b5e25fSSatish Balay } /* end of loop over added rows */ 8993ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 90049b5e25fSSatish Balay } 90149b5e25fSSatish Balay 902ba38deedSJacob Faibussowitsch static PetscErrorCode MatICCFactor_SeqSBAIJ(Mat inA, IS row, const MatFactorInfo *info) 903d71ae5a4SJacob Faibussowitsch { 9044ccecd49SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)inA->data; 90549b5e25fSSatish Balay Mat outA; 906ace3abfcSBarry Smith PetscBool row_identity; 90749b5e25fSSatish Balay 90849b5e25fSSatish Balay PetscFunctionBegin; 90908401ef6SPierre Jolivet PetscCheck(info->levels == 0, PETSC_COMM_SELF, PETSC_ERR_SUP, "Only levels=0 is supported for in-place icc"); 9109566063dSJacob Faibussowitsch PetscCall(ISIdentity(row, &row_identity)); 91128b400f6SJacob Faibussowitsch PetscCheck(row_identity, PETSC_COMM_SELF, PETSC_ERR_SUP, "Matrix reordering is not supported"); 91208401ef6SPierre Jolivet PetscCheck(inA->rmap->bs == 1, PETSC_COMM_SELF, PETSC_ERR_SUP, "Matrix block size %" PetscInt_FMT " is not supported", inA->rmap->bs); /* Need to replace MatCholeskyFactorSymbolic_SeqSBAIJ_MSR()! */ 913c84f5b01SHong Zhang 91449b5e25fSSatish Balay outA = inA; 915d5f3da31SBarry Smith inA->factortype = MAT_FACTOR_ICC; 9169566063dSJacob Faibussowitsch PetscCall(PetscFree(inA->solvertype)); 9179566063dSJacob Faibussowitsch PetscCall(PetscStrallocpy(MATSOLVERPETSC, &inA->solvertype)); 91849b5e25fSSatish Balay 9199566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSBAIJ(inA)); 9209566063dSJacob Faibussowitsch PetscCall(MatSeqSBAIJSetNumericFactorization_inplace(inA, row_identity)); 92149b5e25fSSatish Balay 9229566063dSJacob Faibussowitsch PetscCall(PetscObjectReference((PetscObject)row)); 9239566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 924c84f5b01SHong Zhang a->row = row; 9259566063dSJacob Faibussowitsch PetscCall(PetscObjectReference((PetscObject)row)); 9269566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 927c84f5b01SHong Zhang a->col = row; 928c84f5b01SHong Zhang 929c84f5b01SHong Zhang /* Create the invert permutation so that it can be used in MatCholeskyFactorNumeric() */ 9309566063dSJacob Faibussowitsch if (a->icol) PetscCall(ISInvertPermutation(row, PETSC_DECIDE, &a->icol)); 93149b5e25fSSatish Balay 932aa624791SPierre Jolivet if (!a->solve_work) PetscCall(PetscMalloc1(inA->rmap->N + inA->rmap->bs, &a->solve_work)); 93349b5e25fSSatish Balay 9349566063dSJacob Faibussowitsch PetscCall(MatCholeskyFactorNumeric(outA, inA, info)); 9353ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 93649b5e25fSSatish Balay } 937950f1e5bSHong Zhang 938ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSBAIJSetColumnIndices_SeqSBAIJ(Mat mat, PetscInt *indices) 939d71ae5a4SJacob Faibussowitsch { 940045c9aa0SHong Zhang Mat_SeqSBAIJ *baij = (Mat_SeqSBAIJ *)mat->data; 94113f74950SBarry Smith PetscInt i, nz, n; 94249b5e25fSSatish Balay 94349b5e25fSSatish Balay PetscFunctionBegin; 9446c6c5352SBarry Smith nz = baij->maxnz; 945d0f46423SBarry Smith n = mat->cmap->n; 94626fbe8dcSKarl Rupp for (i = 0; i < nz; i++) baij->j[i] = indices[i]; 94726fbe8dcSKarl Rupp 9486c6c5352SBarry Smith baij->nz = nz; 94926fbe8dcSKarl Rupp for (i = 0; i < n; i++) baij->ilen[i] = baij->imax[i]; 95026fbe8dcSKarl Rupp 9519566063dSJacob Faibussowitsch PetscCall(MatSetOption(mat, MAT_NEW_NONZERO_LOCATION_ERR, PETSC_TRUE)); 9523ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 95349b5e25fSSatish Balay } 95449b5e25fSSatish Balay 95549b5e25fSSatish Balay /*@ 95619585528SSatish Balay MatSeqSBAIJSetColumnIndices - Set the column indices for all the rows 95711a5261eSBarry Smith in a `MATSEQSBAIJ` matrix. 95849b5e25fSSatish Balay 95949b5e25fSSatish Balay Input Parameters: 96011a5261eSBarry Smith + mat - the `MATSEQSBAIJ` matrix 96149b5e25fSSatish Balay - indices - the column indices 96249b5e25fSSatish Balay 96349b5e25fSSatish Balay Level: advanced 96449b5e25fSSatish Balay 96549b5e25fSSatish Balay Notes: 96649b5e25fSSatish Balay This can be called if you have precomputed the nonzero structure of the 96749b5e25fSSatish Balay matrix and want to provide it to the matrix object to improve the performance 96811a5261eSBarry Smith of the `MatSetValues()` operation. 96949b5e25fSSatish Balay 97049b5e25fSSatish Balay You MUST have set the correct numbers of nonzeros per row in the call to 97111a5261eSBarry Smith `MatCreateSeqSBAIJ()`, and the columns indices MUST be sorted. 97249b5e25fSSatish Balay 9732ef1f0ffSBarry Smith MUST be called before any calls to `MatSetValues()` 97449b5e25fSSatish Balay 9751cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, `MATSEQSBAIJ`, `MatCreateSeqSBAIJ` 97649b5e25fSSatish Balay @*/ 977d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSBAIJSetColumnIndices(Mat mat, PetscInt *indices) 978d71ae5a4SJacob Faibussowitsch { 97949b5e25fSSatish Balay PetscFunctionBegin; 9800700a824SBarry Smith PetscValidHeaderSpecific(mat, MAT_CLASSID, 1); 9814f572ea9SToby Isaac PetscAssertPointer(indices, 2); 982cac4c232SBarry Smith PetscUseMethod(mat, "MatSeqSBAIJSetColumnIndices_C", (Mat, PetscInt *), (mat, indices)); 9833ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 98449b5e25fSSatish Balay } 98549b5e25fSSatish Balay 986ba38deedSJacob Faibussowitsch static PetscErrorCode MatCopy_SeqSBAIJ(Mat A, Mat B, MatStructure str) 987d71ae5a4SJacob Faibussowitsch { 9884c7a3774SStefano Zampini PetscBool isbaij; 9893c896bc6SHong Zhang 9903c896bc6SHong Zhang PetscFunctionBegin; 9919566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompareAny((PetscObject)B, &isbaij, MATSEQSBAIJ, MATMPISBAIJ, "")); 99228b400f6SJacob Faibussowitsch PetscCheck(isbaij, PetscObjectComm((PetscObject)B), PETSC_ERR_SUP, "Not for matrix type %s", ((PetscObject)B)->type_name); 9934c7a3774SStefano Zampini /* If the two matrices have the same copy implementation and nonzero pattern, use fast copy. */ 9944c7a3774SStefano Zampini if (str == SAME_NONZERO_PATTERN && A->ops->copy == B->ops->copy) { 9953c896bc6SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 9963c896bc6SHong Zhang Mat_SeqSBAIJ *b = (Mat_SeqSBAIJ *)B->data; 9973c896bc6SHong Zhang 99808401ef6SPierre Jolivet PetscCheck(a->i[a->mbs] == b->i[b->mbs], PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Number of nonzeros in two matrices are different"); 99908401ef6SPierre Jolivet PetscCheck(a->mbs == b->mbs, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Number of rows in two matrices are different"); 100008401ef6SPierre Jolivet PetscCheck(a->bs2 == b->bs2, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Different block size"); 10019566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->a, a->a, a->bs2 * a->i[a->mbs])); 10029566063dSJacob Faibussowitsch PetscCall(PetscObjectStateIncrease((PetscObject)B)); 10033c896bc6SHong Zhang } else { 10049566063dSJacob Faibussowitsch PetscCall(MatGetRowUpperTriangular(A)); 10059566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 10069566063dSJacob Faibussowitsch PetscCall(MatRestoreRowUpperTriangular(A)); 10073c896bc6SHong Zhang } 10083ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 10093c896bc6SHong Zhang } 10103c896bc6SHong Zhang 1011d71ae5a4SJacob Faibussowitsch static PetscErrorCode MatSeqSBAIJGetArray_SeqSBAIJ(Mat A, PetscScalar *array[]) 1012d71ae5a4SJacob Faibussowitsch { 1013a6ece127SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 10145fd66863SKarl Rupp 1015a6ece127SHong Zhang PetscFunctionBegin; 1016a6ece127SHong Zhang *array = a->a; 10173ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1018a6ece127SHong Zhang } 1019a6ece127SHong Zhang 1020d71ae5a4SJacob Faibussowitsch static PetscErrorCode MatSeqSBAIJRestoreArray_SeqSBAIJ(Mat A, PetscScalar *array[]) 1021d71ae5a4SJacob Faibussowitsch { 1022a6ece127SHong Zhang PetscFunctionBegin; 1023cda14afcSprj- *array = NULL; 10243ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1025a6ece127SHong Zhang } 1026a6ece127SHong Zhang 1027d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAXPYGetPreallocation_SeqSBAIJ(Mat Y, Mat X, PetscInt *nnz) 1028d71ae5a4SJacob Faibussowitsch { 1029b264fe52SHong Zhang PetscInt bs = Y->rmap->bs, mbs = Y->rmap->N / bs; 103052768537SHong Zhang Mat_SeqSBAIJ *x = (Mat_SeqSBAIJ *)X->data; 103152768537SHong Zhang Mat_SeqSBAIJ *y = (Mat_SeqSBAIJ *)Y->data; 103252768537SHong Zhang 103352768537SHong Zhang PetscFunctionBegin; 103452768537SHong Zhang /* Set the number of nonzeros in the new matrix */ 10359566063dSJacob Faibussowitsch PetscCall(MatAXPYGetPreallocation_SeqX_private(mbs, x->i, x->j, y->i, y->j, nnz)); 10363ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 103752768537SHong Zhang } 103852768537SHong Zhang 1039ba38deedSJacob Faibussowitsch static PetscErrorCode MatAXPY_SeqSBAIJ(Mat Y, PetscScalar a, Mat X, MatStructure str) 1040d71ae5a4SJacob Faibussowitsch { 104142ee4b1aSHong Zhang Mat_SeqSBAIJ *x = (Mat_SeqSBAIJ *)X->data, *y = (Mat_SeqSBAIJ *)Y->data; 104231ce2d13SHong Zhang PetscInt bs = Y->rmap->bs, bs2 = bs * bs; 1043e838b9e7SJed Brown PetscBLASInt one = 1; 104442ee4b1aSHong Zhang 104542ee4b1aSHong Zhang PetscFunctionBegin; 1046134adf20SPierre Jolivet if (str == UNKNOWN_NONZERO_PATTERN || (PetscDefined(USE_DEBUG) && str == SAME_NONZERO_PATTERN)) { 1047134adf20SPierre Jolivet PetscBool e = x->nz == y->nz && x->mbs == y->mbs ? PETSC_TRUE : PETSC_FALSE; 1048134adf20SPierre Jolivet if (e) { 10499566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(x->i, y->i, x->mbs + 1, &e)); 1050134adf20SPierre Jolivet if (e) { 10519566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(x->j, y->j, x->i[x->mbs], &e)); 1052134adf20SPierre Jolivet if (e) str = SAME_NONZERO_PATTERN; 1053134adf20SPierre Jolivet } 1054134adf20SPierre Jolivet } 105554c59aa7SJacob Faibussowitsch if (!e) PetscCheck(str != SAME_NONZERO_PATTERN, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "MatStructure is not SAME_NONZERO_PATTERN"); 1056134adf20SPierre Jolivet } 105742ee4b1aSHong Zhang if (str == SAME_NONZERO_PATTERN) { 1058f4df32b1SMatthew Knepley PetscScalar alpha = a; 1059c5df96a5SBarry Smith PetscBLASInt bnz; 10609566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(x->nz * bs2, &bnz)); 1061792fecdfSBarry Smith PetscCallBLAS("BLASaxpy", BLASaxpy_(&bnz, &alpha, x->a, &one, y->a, &one)); 10629566063dSJacob Faibussowitsch PetscCall(PetscObjectStateIncrease((PetscObject)Y)); 1063ab784542SHong Zhang } else if (str == SUBSET_NONZERO_PATTERN) { /* nonzeros of X is a subset of Y's */ 10649566063dSJacob Faibussowitsch PetscCall(MatSetOption(X, MAT_GETROW_UPPERTRIANGULAR, PETSC_TRUE)); 10659566063dSJacob Faibussowitsch PetscCall(MatAXPY_Basic(Y, a, X, str)); 10669566063dSJacob Faibussowitsch PetscCall(MatSetOption(X, MAT_GETROW_UPPERTRIANGULAR, PETSC_FALSE)); 106742ee4b1aSHong Zhang } else { 106852768537SHong Zhang Mat B; 106952768537SHong Zhang PetscInt *nnz; 107054c59aa7SJacob Faibussowitsch PetscCheck(bs == X->rmap->bs, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Matrices must have same block size"); 10719566063dSJacob Faibussowitsch PetscCall(MatGetRowUpperTriangular(X)); 10729566063dSJacob Faibussowitsch PetscCall(MatGetRowUpperTriangular(Y)); 10739566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(Y->rmap->N, &nnz)); 10749566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)Y), &B)); 10759566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)B, ((PetscObject)Y)->name)); 10769566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, Y->rmap->n, Y->cmap->n, Y->rmap->N, Y->cmap->N)); 10779566063dSJacob Faibussowitsch PetscCall(MatSetBlockSizesFromMats(B, Y, Y)); 10789566063dSJacob Faibussowitsch PetscCall(MatSetType(B, ((PetscObject)Y)->type_name)); 10799566063dSJacob Faibussowitsch PetscCall(MatAXPYGetPreallocation_SeqSBAIJ(Y, X, nnz)); 10809566063dSJacob Faibussowitsch PetscCall(MatSeqSBAIJSetPreallocation(B, bs, 0, nnz)); 108152768537SHong Zhang 10829566063dSJacob Faibussowitsch PetscCall(MatAXPY_BasicWithPreallocation(B, Y, a, X, str)); 108352768537SHong Zhang 10849566063dSJacob Faibussowitsch PetscCall(MatHeaderMerge(Y, &B)); 10859566063dSJacob Faibussowitsch PetscCall(PetscFree(nnz)); 10869566063dSJacob Faibussowitsch PetscCall(MatRestoreRowUpperTriangular(X)); 10879566063dSJacob Faibussowitsch PetscCall(MatRestoreRowUpperTriangular(Y)); 108842ee4b1aSHong Zhang } 10893ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 109042ee4b1aSHong Zhang } 109142ee4b1aSHong Zhang 1092ba38deedSJacob Faibussowitsch static PetscErrorCode MatIsStructurallySymmetric_SeqSBAIJ(Mat A, PetscBool *flg) 1093d71ae5a4SJacob Faibussowitsch { 1094efcf0fc3SBarry Smith PetscFunctionBegin; 1095efcf0fc3SBarry Smith *flg = PETSC_TRUE; 10963ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1097efcf0fc3SBarry Smith } 1098efcf0fc3SBarry Smith 1099ba38deedSJacob Faibussowitsch static PetscErrorCode MatConjugate_SeqSBAIJ(Mat A) 1100d71ae5a4SJacob Faibussowitsch { 11012726fb6dSPierre Jolivet #if defined(PETSC_USE_COMPLEX) 11022726fb6dSPierre Jolivet Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 11032726fb6dSPierre Jolivet PetscInt i, nz = a->bs2 * a->i[a->mbs]; 11042726fb6dSPierre Jolivet MatScalar *aa = a->a; 11052726fb6dSPierre Jolivet 11062726fb6dSPierre Jolivet PetscFunctionBegin; 11072726fb6dSPierre Jolivet for (i = 0; i < nz; i++) aa[i] = PetscConj(aa[i]); 11082726fb6dSPierre Jolivet #else 11092726fb6dSPierre Jolivet PetscFunctionBegin; 11102726fb6dSPierre Jolivet #endif 11113ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 11122726fb6dSPierre Jolivet } 11132726fb6dSPierre Jolivet 1114ba38deedSJacob Faibussowitsch static PetscErrorCode MatRealPart_SeqSBAIJ(Mat A) 1115d71ae5a4SJacob Faibussowitsch { 111699cafbc1SBarry Smith Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 111799cafbc1SBarry Smith PetscInt i, nz = a->bs2 * a->i[a->mbs]; 1118dd6ea824SBarry Smith MatScalar *aa = a->a; 111999cafbc1SBarry Smith 112099cafbc1SBarry Smith PetscFunctionBegin; 112199cafbc1SBarry Smith for (i = 0; i < nz; i++) aa[i] = PetscRealPart(aa[i]); 11223ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 112399cafbc1SBarry Smith } 112499cafbc1SBarry Smith 1125ba38deedSJacob Faibussowitsch static PetscErrorCode MatImaginaryPart_SeqSBAIJ(Mat A) 1126d71ae5a4SJacob Faibussowitsch { 112799cafbc1SBarry Smith Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 112899cafbc1SBarry Smith PetscInt i, nz = a->bs2 * a->i[a->mbs]; 1129dd6ea824SBarry Smith MatScalar *aa = a->a; 113099cafbc1SBarry Smith 113199cafbc1SBarry Smith PetscFunctionBegin; 113299cafbc1SBarry Smith for (i = 0; i < nz; i++) aa[i] = PetscImaginaryPart(aa[i]); 11333ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 113499cafbc1SBarry Smith } 113599cafbc1SBarry Smith 1136ba38deedSJacob Faibussowitsch static PetscErrorCode MatZeroRowsColumns_SeqSBAIJ(Mat A, PetscInt is_n, const PetscInt is_idx[], PetscScalar diag, Vec x, Vec b) 1137d71ae5a4SJacob Faibussowitsch { 11383bededecSBarry Smith Mat_SeqSBAIJ *baij = (Mat_SeqSBAIJ *)A->data; 11393bededecSBarry Smith PetscInt i, j, k, count; 11403bededecSBarry Smith PetscInt bs = A->rmap->bs, bs2 = baij->bs2, row, col; 11413bededecSBarry Smith PetscScalar zero = 0.0; 11423bededecSBarry Smith MatScalar *aa; 11433bededecSBarry Smith const PetscScalar *xx; 11443bededecSBarry Smith PetscScalar *bb; 114556777dd2SBarry Smith PetscBool *zeroed, vecs = PETSC_FALSE; 11463bededecSBarry Smith 11473bededecSBarry Smith PetscFunctionBegin; 1148*dd8e379bSPierre Jolivet /* fix right-hand side if needed */ 11493bededecSBarry Smith if (x && b) { 11509566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(x, &xx)); 11519566063dSJacob Faibussowitsch PetscCall(VecGetArray(b, &bb)); 115256777dd2SBarry Smith vecs = PETSC_TRUE; 11533bededecSBarry Smith } 11543bededecSBarry Smith 11553bededecSBarry Smith /* zero the columns */ 11569566063dSJacob Faibussowitsch PetscCall(PetscCalloc1(A->rmap->n, &zeroed)); 11573bededecSBarry Smith for (i = 0; i < is_n; i++) { 1158aed4548fSBarry Smith PetscCheck(is_idx[i] >= 0 && is_idx[i] < A->rmap->N, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "row %" PetscInt_FMT " out of range", is_idx[i]); 11593bededecSBarry Smith zeroed[is_idx[i]] = PETSC_TRUE; 11603bededecSBarry Smith } 116156777dd2SBarry Smith if (vecs) { 116256777dd2SBarry Smith for (i = 0; i < A->rmap->N; i++) { 116356777dd2SBarry Smith row = i / bs; 116456777dd2SBarry Smith for (j = baij->i[row]; j < baij->i[row + 1]; j++) { 116556777dd2SBarry Smith for (k = 0; k < bs; k++) { 116656777dd2SBarry Smith col = bs * baij->j[j] + k; 116756777dd2SBarry Smith if (col <= i) continue; 1168f4f49eeaSPierre Jolivet aa = ((MatScalar *)baij->a) + j * bs2 + (i % bs) + bs * k; 116926fbe8dcSKarl Rupp if (!zeroed[i] && zeroed[col]) bb[i] -= aa[0] * xx[col]; 117026fbe8dcSKarl Rupp if (zeroed[i] && !zeroed[col]) bb[col] -= aa[0] * xx[i]; 117156777dd2SBarry Smith } 117256777dd2SBarry Smith } 117356777dd2SBarry Smith } 117426fbe8dcSKarl Rupp for (i = 0; i < is_n; i++) bb[is_idx[i]] = diag * xx[is_idx[i]]; 117556777dd2SBarry Smith } 117656777dd2SBarry Smith 11773bededecSBarry Smith for (i = 0; i < A->rmap->N; i++) { 11783bededecSBarry Smith if (!zeroed[i]) { 11793bededecSBarry Smith row = i / bs; 11803bededecSBarry Smith for (j = baij->i[row]; j < baij->i[row + 1]; j++) { 11813bededecSBarry Smith for (k = 0; k < bs; k++) { 11823bededecSBarry Smith col = bs * baij->j[j] + k; 11833bededecSBarry Smith if (zeroed[col]) { 1184f4f49eeaSPierre Jolivet aa = ((MatScalar *)baij->a) + j * bs2 + (i % bs) + bs * k; 11853bededecSBarry Smith aa[0] = 0.0; 11863bededecSBarry Smith } 11873bededecSBarry Smith } 11883bededecSBarry Smith } 11893bededecSBarry Smith } 11903bededecSBarry Smith } 11919566063dSJacob Faibussowitsch PetscCall(PetscFree(zeroed)); 119256777dd2SBarry Smith if (vecs) { 11939566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(x, &xx)); 11949566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(b, &bb)); 119556777dd2SBarry Smith } 11963bededecSBarry Smith 11973bededecSBarry Smith /* zero the rows */ 11983bededecSBarry Smith for (i = 0; i < is_n; i++) { 11993bededecSBarry Smith row = is_idx[i]; 12003bededecSBarry Smith count = (baij->i[row / bs + 1] - baij->i[row / bs]) * bs; 1201f4f49eeaSPierre Jolivet aa = ((MatScalar *)baij->a) + baij->i[row / bs] * bs2 + (row % bs); 12023bededecSBarry Smith for (k = 0; k < count; k++) { 12033bededecSBarry Smith aa[0] = zero; 12043bededecSBarry Smith aa += bs; 12053bededecSBarry Smith } 1206dbbe0bcdSBarry Smith if (diag != 0.0) PetscUseTypeMethod(A, setvalues, 1, &row, 1, &row, &diag, INSERT_VALUES); 12073bededecSBarry Smith } 12089566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd_SeqSBAIJ(A, MAT_FINAL_ASSEMBLY)); 12093ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 12103bededecSBarry Smith } 12113bededecSBarry Smith 1212ba38deedSJacob Faibussowitsch static PetscErrorCode MatShift_SeqSBAIJ(Mat Y, PetscScalar a) 1213d71ae5a4SJacob Faibussowitsch { 12147d68702bSBarry Smith Mat_SeqSBAIJ *aij = (Mat_SeqSBAIJ *)Y->data; 12157d68702bSBarry Smith 12167d68702bSBarry Smith PetscFunctionBegin; 121748a46eb9SPierre Jolivet if (!Y->preallocated || !aij->nz) PetscCall(MatSeqSBAIJSetPreallocation(Y, Y->rmap->bs, 1, NULL)); 12189566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 12193ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 12207d68702bSBarry Smith } 12217d68702bSBarry Smith 122217ea310bSPierre Jolivet PetscErrorCode MatEliminateZeros_SeqSBAIJ(Mat A, PetscBool keep) 122317ea310bSPierre Jolivet { 122417ea310bSPierre Jolivet Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data; 122517ea310bSPierre Jolivet PetscInt fshift = 0, fshift_prev = 0, i, *ai = a->i, *aj = a->j, *imax = a->imax, j, k; 122617ea310bSPierre Jolivet PetscInt m = A->rmap->N, *ailen = a->ilen; 122717ea310bSPierre Jolivet PetscInt mbs = a->mbs, bs2 = a->bs2, rmax = 0; 122817ea310bSPierre Jolivet MatScalar *aa = a->a, *ap; 122917ea310bSPierre Jolivet PetscBool zero; 123017ea310bSPierre Jolivet 123117ea310bSPierre Jolivet PetscFunctionBegin; 123217ea310bSPierre Jolivet PetscCheck(A->assembled, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Cannot eliminate zeros for unassembled matrix"); 123317ea310bSPierre Jolivet if (m) rmax = ailen[0]; 123417ea310bSPierre Jolivet for (i = 1; i <= mbs; i++) { 123517ea310bSPierre Jolivet for (k = ai[i - 1]; k < ai[i]; k++) { 123617ea310bSPierre Jolivet zero = PETSC_TRUE; 123717ea310bSPierre Jolivet ap = aa + bs2 * k; 123817ea310bSPierre Jolivet for (j = 0; j < bs2 && zero; j++) { 123917ea310bSPierre Jolivet if (ap[j] != 0.0) zero = PETSC_FALSE; 124017ea310bSPierre Jolivet } 124117ea310bSPierre Jolivet if (zero && (aj[k] != i - 1 || !keep)) fshift++; 124217ea310bSPierre Jolivet else { 124317ea310bSPierre Jolivet if (zero && aj[k] == i - 1) PetscCall(PetscInfo(A, "Keep the diagonal block at row %" PetscInt_FMT "\n", i - 1)); 124417ea310bSPierre Jolivet aj[k - fshift] = aj[k]; 124517ea310bSPierre Jolivet PetscCall(PetscArraymove(ap - bs2 * fshift, ap, bs2)); 124617ea310bSPierre Jolivet } 124717ea310bSPierre Jolivet } 124817ea310bSPierre Jolivet ai[i - 1] -= fshift_prev; 124917ea310bSPierre Jolivet fshift_prev = fshift; 125017ea310bSPierre Jolivet ailen[i - 1] = imax[i - 1] = ai[i] - fshift - ai[i - 1]; 125117ea310bSPierre Jolivet a->nonzerorowcnt += ((ai[i] - fshift - ai[i - 1]) > 0); 125217ea310bSPierre Jolivet rmax = PetscMax(rmax, ailen[i - 1]); 125317ea310bSPierre Jolivet } 125417ea310bSPierre Jolivet if (fshift) { 125517ea310bSPierre Jolivet if (mbs) { 125617ea310bSPierre Jolivet ai[mbs] -= fshift; 125717ea310bSPierre Jolivet a->nz = ai[mbs]; 125817ea310bSPierre Jolivet } 125917ea310bSPierre Jolivet PetscCall(PetscInfo(A, "Matrix size: %" PetscInt_FMT " X %" PetscInt_FMT "; zeros eliminated: %" PetscInt_FMT "; nonzeros left: %" PetscInt_FMT "\n", m, A->cmap->n, fshift, a->nz)); 126017ea310bSPierre Jolivet A->nonzerostate++; 126117ea310bSPierre Jolivet A->info.nz_unneeded += (PetscReal)fshift; 126217ea310bSPierre Jolivet a->rmax = rmax; 126317ea310bSPierre Jolivet PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY)); 126417ea310bSPierre Jolivet PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY)); 126517ea310bSPierre Jolivet } 126617ea310bSPierre Jolivet PetscFunctionReturn(PETSC_SUCCESS); 126717ea310bSPierre Jolivet } 126817ea310bSPierre Jolivet 12693964eb88SJed Brown static struct _MatOps MatOps_Values = {MatSetValues_SeqSBAIJ, 127049b5e25fSSatish Balay MatGetRow_SeqSBAIJ, 127149b5e25fSSatish Balay MatRestoreRow_SeqSBAIJ, 127249b5e25fSSatish Balay MatMult_SeqSBAIJ_N, 127397304618SKris Buschelman /* 4*/ MatMultAdd_SeqSBAIJ_N, 1274431c96f7SBarry Smith MatMult_SeqSBAIJ_N, /* transpose versions are same as non-transpose versions */ 1275e005ede5SBarry Smith MatMultAdd_SeqSBAIJ_N, 1276f4259b30SLisandro Dalcin NULL, 1277f4259b30SLisandro Dalcin NULL, 1278f4259b30SLisandro Dalcin NULL, 1279f4259b30SLisandro Dalcin /* 10*/ NULL, 1280f4259b30SLisandro Dalcin NULL, 1281c078aec8SLisandro Dalcin MatCholeskyFactor_SeqSBAIJ, 128241f059aeSBarry Smith MatSOR_SeqSBAIJ, 128349b5e25fSSatish Balay MatTranspose_SeqSBAIJ, 128497304618SKris Buschelman /* 15*/ MatGetInfo_SeqSBAIJ, 128549b5e25fSSatish Balay MatEqual_SeqSBAIJ, 128649b5e25fSSatish Balay MatGetDiagonal_SeqSBAIJ, 128749b5e25fSSatish Balay MatDiagonalScale_SeqSBAIJ, 128849b5e25fSSatish Balay MatNorm_SeqSBAIJ, 1289f4259b30SLisandro Dalcin /* 20*/ NULL, 129049b5e25fSSatish Balay MatAssemblyEnd_SeqSBAIJ, 129149b5e25fSSatish Balay MatSetOption_SeqSBAIJ, 129249b5e25fSSatish Balay MatZeroEntries_SeqSBAIJ, 1293f4259b30SLisandro Dalcin /* 24*/ NULL, 1294f4259b30SLisandro Dalcin NULL, 1295f4259b30SLisandro Dalcin NULL, 1296f4259b30SLisandro Dalcin NULL, 1297f4259b30SLisandro Dalcin NULL, 129826cec326SBarry Smith /* 29*/ MatSetUp_Seq_Hash, 1299f4259b30SLisandro Dalcin NULL, 1300f4259b30SLisandro Dalcin NULL, 1301f4259b30SLisandro Dalcin NULL, 1302f4259b30SLisandro Dalcin NULL, 1303d519adbfSMatthew Knepley /* 34*/ MatDuplicate_SeqSBAIJ, 1304f4259b30SLisandro Dalcin NULL, 1305f4259b30SLisandro Dalcin NULL, 1306f4259b30SLisandro Dalcin NULL, 1307c84f5b01SHong Zhang MatICCFactor_SeqSBAIJ, 1308d519adbfSMatthew Knepley /* 39*/ MatAXPY_SeqSBAIJ, 13097dae84e0SHong Zhang MatCreateSubMatrices_SeqSBAIJ, 131049b5e25fSSatish Balay MatIncreaseOverlap_SeqSBAIJ, 131149b5e25fSSatish Balay MatGetValues_SeqSBAIJ, 13123c896bc6SHong Zhang MatCopy_SeqSBAIJ, 1313f4259b30SLisandro Dalcin /* 44*/ NULL, 131449b5e25fSSatish Balay MatScale_SeqSBAIJ, 13157d68702bSBarry Smith MatShift_SeqSBAIJ, 1316f4259b30SLisandro Dalcin NULL, 13173bededecSBarry Smith MatZeroRowsColumns_SeqSBAIJ, 1318f4259b30SLisandro Dalcin /* 49*/ NULL, 131949b5e25fSSatish Balay MatGetRowIJ_SeqSBAIJ, 132049b5e25fSSatish Balay MatRestoreRowIJ_SeqSBAIJ, 1321f4259b30SLisandro Dalcin NULL, 1322f4259b30SLisandro Dalcin NULL, 1323f4259b30SLisandro Dalcin /* 54*/ NULL, 1324f4259b30SLisandro Dalcin NULL, 1325f4259b30SLisandro Dalcin NULL, 1326dc29a518SPierre Jolivet MatPermute_SeqSBAIJ, 132749b5e25fSSatish Balay MatSetValuesBlocked_SeqSBAIJ, 13287dae84e0SHong Zhang /* 59*/ MatCreateSubMatrix_SeqSBAIJ, 1329f4259b30SLisandro Dalcin NULL, 1330f4259b30SLisandro Dalcin NULL, 1331f4259b30SLisandro Dalcin NULL, 1332f4259b30SLisandro Dalcin NULL, 1333f4259b30SLisandro Dalcin /* 64*/ NULL, 1334f4259b30SLisandro Dalcin NULL, 1335f4259b30SLisandro Dalcin NULL, 1336f4259b30SLisandro Dalcin NULL, 1337f4259b30SLisandro Dalcin NULL, 1338d519adbfSMatthew Knepley /* 69*/ MatGetRowMaxAbs_SeqSBAIJ, 1339f4259b30SLisandro Dalcin NULL, 134028d58a37SPierre Jolivet MatConvert_MPISBAIJ_Basic, 1341f4259b30SLisandro Dalcin NULL, 1342f4259b30SLisandro Dalcin NULL, 1343f4259b30SLisandro Dalcin /* 74*/ NULL, 1344f4259b30SLisandro Dalcin NULL, 1345f4259b30SLisandro Dalcin NULL, 1346f4259b30SLisandro Dalcin NULL, 1347f4259b30SLisandro Dalcin NULL, 1348f4259b30SLisandro Dalcin /* 79*/ NULL, 1349f4259b30SLisandro Dalcin NULL, 1350f4259b30SLisandro Dalcin NULL, 135197304618SKris Buschelman MatGetInertia_SeqSBAIJ, 13525bba2384SShri Abhyankar MatLoad_SeqSBAIJ, 13536cff0a6bSPierre Jolivet /* 84*/ NULL, 13546cff0a6bSPierre Jolivet NULL, 1355efcf0fc3SBarry Smith MatIsStructurallySymmetric_SeqSBAIJ, 1356f4259b30SLisandro Dalcin NULL, 1357f4259b30SLisandro Dalcin NULL, 1358f4259b30SLisandro Dalcin /* 89*/ NULL, 1359f4259b30SLisandro Dalcin NULL, 1360f4259b30SLisandro Dalcin NULL, 1361f4259b30SLisandro Dalcin NULL, 1362f4259b30SLisandro Dalcin NULL, 1363f4259b30SLisandro Dalcin /* 94*/ NULL, 1364f4259b30SLisandro Dalcin NULL, 1365f4259b30SLisandro Dalcin NULL, 1366f4259b30SLisandro Dalcin NULL, 1367f4259b30SLisandro Dalcin NULL, 1368f4259b30SLisandro Dalcin /* 99*/ NULL, 1369f4259b30SLisandro Dalcin NULL, 1370f4259b30SLisandro Dalcin NULL, 13712726fb6dSPierre Jolivet MatConjugate_SeqSBAIJ, 1372f4259b30SLisandro Dalcin NULL, 1373f4259b30SLisandro Dalcin /*104*/ NULL, 137499cafbc1SBarry Smith MatRealPart_SeqSBAIJ, 1375f5edf698SHong Zhang MatImaginaryPart_SeqSBAIJ, 1376f5edf698SHong Zhang MatGetRowUpperTriangular_SeqSBAIJ, 13772af78befSBarry Smith MatRestoreRowUpperTriangular_SeqSBAIJ, 1378f4259b30SLisandro Dalcin /*109*/ NULL, 1379f4259b30SLisandro Dalcin NULL, 1380f4259b30SLisandro Dalcin NULL, 1381f4259b30SLisandro Dalcin NULL, 1382547795f9SHong Zhang MatMissingDiagonal_SeqSBAIJ, 1383f4259b30SLisandro Dalcin /*114*/ NULL, 1384f4259b30SLisandro Dalcin NULL, 1385f4259b30SLisandro Dalcin NULL, 1386f4259b30SLisandro Dalcin NULL, 1387f4259b30SLisandro Dalcin NULL, 1388f4259b30SLisandro Dalcin /*119*/ NULL, 1389f4259b30SLisandro Dalcin NULL, 1390f4259b30SLisandro Dalcin NULL, 1391f4259b30SLisandro Dalcin NULL, 1392f4259b30SLisandro Dalcin NULL, 1393f4259b30SLisandro Dalcin /*124*/ NULL, 1394f4259b30SLisandro Dalcin NULL, 1395f4259b30SLisandro Dalcin NULL, 1396f4259b30SLisandro Dalcin NULL, 1397f4259b30SLisandro Dalcin NULL, 1398f4259b30SLisandro Dalcin /*129*/ NULL, 1399f4259b30SLisandro Dalcin NULL, 1400f4259b30SLisandro Dalcin NULL, 1401f4259b30SLisandro Dalcin NULL, 1402f4259b30SLisandro Dalcin NULL, 1403f4259b30SLisandro Dalcin /*134*/ NULL, 1404f4259b30SLisandro Dalcin NULL, 1405f4259b30SLisandro Dalcin NULL, 1406f4259b30SLisandro Dalcin NULL, 1407f4259b30SLisandro Dalcin NULL, 140846533700Sstefano_zampini /*139*/ MatSetBlockSizes_Default, 1409f4259b30SLisandro Dalcin NULL, 1410f4259b30SLisandro Dalcin NULL, 1411f4259b30SLisandro Dalcin NULL, 1412f4259b30SLisandro Dalcin NULL, 1413d70f29a3SPierre Jolivet /*144*/ MatCreateMPIMatConcatenateSeqMat_SeqSBAIJ, 1414d70f29a3SPierre Jolivet NULL, 1415d70f29a3SPierre Jolivet NULL, 141699a7f59eSMark Adams NULL, 141799a7f59eSMark Adams NULL, 14187fb60732SBarry Smith NULL, 1419dec0b466SHong Zhang /*150*/ NULL, 1420eede4a3fSMark Adams MatEliminateZeros_SeqSBAIJ, 1421eede4a3fSMark Adams NULL}; 1422be1d678aSKris Buschelman 1423ba38deedSJacob Faibussowitsch static PetscErrorCode MatStoreValues_SeqSBAIJ(Mat mat) 1424d71ae5a4SJacob Faibussowitsch { 14254afc71dfSHong Zhang Mat_SeqSBAIJ *aij = (Mat_SeqSBAIJ *)mat->data; 1426d0f46423SBarry Smith PetscInt nz = aij->i[mat->rmap->N] * mat->rmap->bs * aij->bs2; 142749b5e25fSSatish Balay 142849b5e25fSSatish Balay PetscFunctionBegin; 142908401ef6SPierre Jolivet PetscCheck(aij->nonew == 1, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 143049b5e25fSSatish Balay 143149b5e25fSSatish Balay /* allocate space for values if not already there */ 143248a46eb9SPierre Jolivet if (!aij->saved_values) PetscCall(PetscMalloc1(nz + 1, &aij->saved_values)); 143349b5e25fSSatish Balay 143449b5e25fSSatish Balay /* copy values over */ 14359566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(aij->saved_values, aij->a, nz)); 14363ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 143749b5e25fSSatish Balay } 143849b5e25fSSatish Balay 1439ba38deedSJacob Faibussowitsch static PetscErrorCode MatRetrieveValues_SeqSBAIJ(Mat mat) 1440d71ae5a4SJacob Faibussowitsch { 14414afc71dfSHong Zhang Mat_SeqSBAIJ *aij = (Mat_SeqSBAIJ *)mat->data; 1442d0f46423SBarry Smith PetscInt nz = aij->i[mat->rmap->N] * mat->rmap->bs * aij->bs2; 144349b5e25fSSatish Balay 144449b5e25fSSatish Balay PetscFunctionBegin; 144508401ef6SPierre Jolivet PetscCheck(aij->nonew == 1, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 144628b400f6SJacob Faibussowitsch PetscCheck(aij->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 144749b5e25fSSatish Balay 144849b5e25fSSatish Balay /* copy values over */ 14499566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(aij->a, aij->saved_values, nz)); 14503ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 145149b5e25fSSatish Balay } 145249b5e25fSSatish Balay 1453f9663b93SPierre Jolivet static PetscErrorCode MatSeqSBAIJSetPreallocation_SeqSBAIJ(Mat B, PetscInt bs, PetscInt nz, const PetscInt nnz[]) 1454d71ae5a4SJacob Faibussowitsch { 1455c464158bSHong Zhang Mat_SeqSBAIJ *b = (Mat_SeqSBAIJ *)B->data; 14564dcd73b1SHong Zhang PetscInt i, mbs, nbs, bs2; 14572576faa2SJed Brown PetscBool skipallocation = PETSC_FALSE, flg = PETSC_FALSE, realalloc = PETSC_FALSE; 145849b5e25fSSatish Balay 1459b4e2f619SBarry Smith PetscFunctionBegin; 1460ad79cf63SBarry Smith if (B->hash_active) { 1461ad79cf63SBarry Smith PetscInt bs; 1462aea10558SJacob Faibussowitsch B->ops[0] = b->cops; 1463ad79cf63SBarry Smith PetscCall(PetscHMapIJVDestroy(&b->ht)); 1464ad79cf63SBarry Smith PetscCall(MatGetBlockSize(B, &bs)); 1465ad79cf63SBarry Smith if (bs > 1) PetscCall(PetscHSetIJDestroy(&b->bht)); 1466ad79cf63SBarry Smith PetscCall(PetscFree(b->dnz)); 1467ad79cf63SBarry Smith PetscCall(PetscFree(b->bdnz)); 1468ad79cf63SBarry Smith B->hash_active = PETSC_FALSE; 1469ad79cf63SBarry Smith } 14702576faa2SJed Brown if (nz >= 0 || nnz) realalloc = PETSC_TRUE; 1471db4efbfdSBarry Smith 14729566063dSJacob Faibussowitsch PetscCall(MatSetBlockSize(B, PetscAbs(bs))); 14739566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->rmap)); 14749566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->cmap)); 147508401ef6SPierre Jolivet PetscCheck(B->rmap->N <= B->cmap->N, PETSC_COMM_SELF, PETSC_ERR_SUP, "SEQSBAIJ matrix cannot have more rows %" PetscInt_FMT " than columns %" PetscInt_FMT, B->rmap->N, B->cmap->N); 14769566063dSJacob Faibussowitsch PetscCall(PetscLayoutGetBlockSize(B->rmap, &bs)); 1477899cda47SBarry Smith 147821940c7eSstefano_zampini B->preallocated = PETSC_TRUE; 147921940c7eSstefano_zampini 1480d0f46423SBarry Smith mbs = B->rmap->N / bs; 14814dcd73b1SHong Zhang nbs = B->cmap->n / bs; 148249b5e25fSSatish Balay bs2 = bs * bs; 148349b5e25fSSatish Balay 1484aed4548fSBarry Smith PetscCheck(mbs * bs == B->rmap->N && nbs * bs == B->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Number rows, cols must be divisible by blocksize"); 148549b5e25fSSatish Balay 1486ab93d7beSBarry Smith if (nz == MAT_SKIP_ALLOCATION) { 1487ab93d7beSBarry Smith skipallocation = PETSC_TRUE; 1488ab93d7beSBarry Smith nz = 0; 1489ab93d7beSBarry Smith } 1490ab93d7beSBarry Smith 1491435da068SBarry Smith if (nz == PETSC_DEFAULT || nz == PETSC_DECIDE) nz = 3; 149208401ef6SPierre Jolivet PetscCheck(nz >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "nz cannot be less than 0: value %" PetscInt_FMT, nz); 149349b5e25fSSatish Balay if (nnz) { 149449b5e25fSSatish Balay for (i = 0; i < mbs; i++) { 149508401ef6SPierre Jolivet PetscCheck(nnz[i] >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "nnz cannot be less than 0: local row %" PetscInt_FMT " value %" PetscInt_FMT, i, nnz[i]); 149608401ef6SPierre Jolivet PetscCheck(nnz[i] <= nbs, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "nnz cannot be greater than block row length: local row %" PetscInt_FMT " value %" PetscInt_FMT " block rowlength %" PetscInt_FMT, i, nnz[i], nbs); 149749b5e25fSSatish Balay } 149849b5e25fSSatish Balay } 149949b5e25fSSatish Balay 1500db4efbfdSBarry Smith B->ops->mult = MatMult_SeqSBAIJ_N; 1501db4efbfdSBarry Smith B->ops->multadd = MatMultAdd_SeqSBAIJ_N; 1502db4efbfdSBarry Smith B->ops->multtranspose = MatMult_SeqSBAIJ_N; 1503db4efbfdSBarry Smith B->ops->multtransposeadd = MatMultAdd_SeqSBAIJ_N; 150426fbe8dcSKarl Rupp 15059566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(((PetscObject)B)->options, ((PetscObject)B)->prefix, "-mat_no_unroll", &flg, NULL)); 150649b5e25fSSatish Balay if (!flg) { 150749b5e25fSSatish Balay switch (bs) { 150849b5e25fSSatish Balay case 1: 150949b5e25fSSatish Balay B->ops->mult = MatMult_SeqSBAIJ_1; 151049b5e25fSSatish Balay B->ops->multadd = MatMultAdd_SeqSBAIJ_1; 1511431c96f7SBarry Smith B->ops->multtranspose = MatMult_SeqSBAIJ_1; 1512431c96f7SBarry Smith B->ops->multtransposeadd = MatMultAdd_SeqSBAIJ_1; 151349b5e25fSSatish Balay break; 151449b5e25fSSatish Balay case 2: 151549b5e25fSSatish Balay B->ops->mult = MatMult_SeqSBAIJ_2; 151649b5e25fSSatish Balay B->ops->multadd = MatMultAdd_SeqSBAIJ_2; 1517431c96f7SBarry Smith B->ops->multtranspose = MatMult_SeqSBAIJ_2; 1518431c96f7SBarry Smith B->ops->multtransposeadd = MatMultAdd_SeqSBAIJ_2; 151949b5e25fSSatish Balay break; 152049b5e25fSSatish Balay case 3: 152149b5e25fSSatish Balay B->ops->mult = MatMult_SeqSBAIJ_3; 152249b5e25fSSatish Balay B->ops->multadd = MatMultAdd_SeqSBAIJ_3; 1523431c96f7SBarry Smith B->ops->multtranspose = MatMult_SeqSBAIJ_3; 1524431c96f7SBarry Smith B->ops->multtransposeadd = MatMultAdd_SeqSBAIJ_3; 152549b5e25fSSatish Balay break; 152649b5e25fSSatish Balay case 4: 152749b5e25fSSatish Balay B->ops->mult = MatMult_SeqSBAIJ_4; 152849b5e25fSSatish Balay B->ops->multadd = MatMultAdd_SeqSBAIJ_4; 1529431c96f7SBarry Smith B->ops->multtranspose = MatMult_SeqSBAIJ_4; 1530431c96f7SBarry Smith B->ops->multtransposeadd = MatMultAdd_SeqSBAIJ_4; 153149b5e25fSSatish Balay break; 153249b5e25fSSatish Balay case 5: 153349b5e25fSSatish Balay B->ops->mult = MatMult_SeqSBAIJ_5; 153449b5e25fSSatish Balay B->ops->multadd = MatMultAdd_SeqSBAIJ_5; 1535431c96f7SBarry Smith B->ops->multtranspose = MatMult_SeqSBAIJ_5; 1536431c96f7SBarry Smith B->ops->multtransposeadd = MatMultAdd_SeqSBAIJ_5; 153749b5e25fSSatish Balay break; 153849b5e25fSSatish Balay case 6: 153949b5e25fSSatish Balay B->ops->mult = MatMult_SeqSBAIJ_6; 154049b5e25fSSatish Balay B->ops->multadd = MatMultAdd_SeqSBAIJ_6; 1541431c96f7SBarry Smith B->ops->multtranspose = MatMult_SeqSBAIJ_6; 1542431c96f7SBarry Smith B->ops->multtransposeadd = MatMultAdd_SeqSBAIJ_6; 154349b5e25fSSatish Balay break; 154449b5e25fSSatish Balay case 7: 1545de53e5efSHong Zhang B->ops->mult = MatMult_SeqSBAIJ_7; 154649b5e25fSSatish Balay B->ops->multadd = MatMultAdd_SeqSBAIJ_7; 1547431c96f7SBarry Smith B->ops->multtranspose = MatMult_SeqSBAIJ_7; 1548431c96f7SBarry Smith B->ops->multtransposeadd = MatMultAdd_SeqSBAIJ_7; 154949b5e25fSSatish Balay break; 155049b5e25fSSatish Balay } 155149b5e25fSSatish Balay } 155249b5e25fSSatish Balay 155349b5e25fSSatish Balay b->mbs = mbs; 15544dcd73b1SHong Zhang b->nbs = nbs; 1555ab93d7beSBarry Smith if (!skipallocation) { 15562ee49352SLisandro Dalcin if (!b->imax) { 15579566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(mbs, &b->imax, mbs, &b->ilen)); 155826fbe8dcSKarl Rupp 1559c760cd28SBarry Smith b->free_imax_ilen = PETSC_TRUE; 15602ee49352SLisandro Dalcin } 156149b5e25fSSatish Balay if (!nnz) { 1562435da068SBarry Smith if (nz == PETSC_DEFAULT || nz == PETSC_DECIDE) nz = 5; 156349b5e25fSSatish Balay else if (nz <= 0) nz = 1; 15645d2a9ed1SStefano Zampini nz = PetscMin(nbs, nz); 156526fbe8dcSKarl Rupp for (i = 0; i < mbs; i++) b->imax[i] = nz; 15669566063dSJacob Faibussowitsch PetscCall(PetscIntMultError(nz, mbs, &nz)); 156749b5e25fSSatish Balay } else { 1568c73702f5SBarry Smith PetscInt64 nz64 = 0; 15699371c9d4SSatish Balay for (i = 0; i < mbs; i++) { 15709371c9d4SSatish Balay b->imax[i] = nnz[i]; 15719371c9d4SSatish Balay nz64 += nnz[i]; 15729371c9d4SSatish Balay } 15739566063dSJacob Faibussowitsch PetscCall(PetscIntCast(nz64, &nz)); 157449b5e25fSSatish Balay } 15752ee49352SLisandro Dalcin /* b->ilen will count nonzeros in each block row so far. */ 157626fbe8dcSKarl Rupp for (i = 0; i < mbs; i++) b->ilen[i] = 0; 15776c6c5352SBarry Smith /* nz=(nz+mbs)/2; */ /* total diagonal and superdiagonal nonzero blocks */ 157849b5e25fSSatish Balay 157949b5e25fSSatish Balay /* allocate the matrix space */ 15809566063dSJacob Faibussowitsch PetscCall(MatSeqXAIJFreeAIJ(B, &b->a, &b->j, &b->i)); 15819566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(bs2 * nz, &b->a, nz, &b->j, B->rmap->N + 1, &b->i)); 15829566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(b->a, nz * bs2)); 15839566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(b->j, nz)); 158426fbe8dcSKarl Rupp 158549b5e25fSSatish Balay b->singlemalloc = PETSC_TRUE; 158649b5e25fSSatish Balay 158749b5e25fSSatish Balay /* pointer to beginning of each row */ 1588e60cf9a0SBarry Smith b->i[0] = 0; 158926fbe8dcSKarl Rupp for (i = 1; i < mbs + 1; i++) b->i[i] = b->i[i - 1] + b->imax[i - 1]; 159026fbe8dcSKarl Rupp 1591e6b907acSBarry Smith b->free_a = PETSC_TRUE; 1592e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 1593e811da20SHong Zhang } else { 1594e6b907acSBarry Smith b->free_a = PETSC_FALSE; 1595e6b907acSBarry Smith b->free_ij = PETSC_FALSE; 1596ab93d7beSBarry Smith } 159749b5e25fSSatish Balay 159849b5e25fSSatish Balay b->bs2 = bs2; 15996c6c5352SBarry Smith b->nz = 0; 1600b32cb4a7SJed Brown b->maxnz = nz; 1601f4259b30SLisandro Dalcin b->inew = NULL; 1602f4259b30SLisandro Dalcin b->jnew = NULL; 1603f4259b30SLisandro Dalcin b->anew = NULL; 1604f4259b30SLisandro Dalcin b->a2anew = NULL; 16051a3463dfSHong Zhang b->permute = PETSC_FALSE; 1606cb7b82ddSBarry Smith 1607cb7b82ddSBarry Smith B->was_assembled = PETSC_FALSE; 1608cb7b82ddSBarry Smith B->assembled = PETSC_FALSE; 16099566063dSJacob Faibussowitsch if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE)); 16103ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1611c464158bSHong Zhang } 1612153ea458SHong Zhang 1613ba38deedSJacob Faibussowitsch static PetscErrorCode MatSeqSBAIJSetPreallocationCSR_SeqSBAIJ(Mat B, PetscInt bs, const PetscInt ii[], const PetscInt jj[], const PetscScalar V[]) 1614d71ae5a4SJacob Faibussowitsch { 16150cd7f59aSBarry Smith PetscInt i, j, m, nz, anz, nz_max = 0, *nnz; 1616f4259b30SLisandro Dalcin PetscScalar *values = NULL; 161738f409ebSLisandro Dalcin PetscBool roworiented = ((Mat_SeqSBAIJ *)B->data)->roworiented; 16180cd7f59aSBarry Smith 161938f409ebSLisandro Dalcin PetscFunctionBegin; 162008401ef6SPierre Jolivet PetscCheck(bs >= 1, PetscObjectComm((PetscObject)B), PETSC_ERR_ARG_OUTOFRANGE, "Invalid block size specified, must be positive but it is %" PetscInt_FMT, bs); 16219566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetBlockSize(B->rmap, bs)); 16229566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetBlockSize(B->cmap, bs)); 16239566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->rmap)); 16249566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->cmap)); 16259566063dSJacob Faibussowitsch PetscCall(PetscLayoutGetBlockSize(B->rmap, &bs)); 162638f409ebSLisandro Dalcin m = B->rmap->n / bs; 162738f409ebSLisandro Dalcin 1628aed4548fSBarry Smith PetscCheck(!ii[0], PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "ii[0] must be 0 but it is %" PetscInt_FMT, ii[0]); 16299566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m + 1, &nnz)); 163038f409ebSLisandro Dalcin for (i = 0; i < m; i++) { 163138f409ebSLisandro Dalcin nz = ii[i + 1] - ii[i]; 163208401ef6SPierre Jolivet PetscCheck(nz >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " has a negative number of columns %" PetscInt_FMT, i, nz); 16330cd7f59aSBarry Smith anz = 0; 16340cd7f59aSBarry Smith for (j = 0; j < nz; j++) { 16350cd7f59aSBarry Smith /* count only values on the diagonal or above */ 16360cd7f59aSBarry Smith if (jj[ii[i] + j] >= i) { 16370cd7f59aSBarry Smith anz = nz - j; 16380cd7f59aSBarry Smith break; 16390cd7f59aSBarry Smith } 16400cd7f59aSBarry Smith } 16410cd7f59aSBarry Smith nz_max = PetscMax(nz_max, anz); 16420cd7f59aSBarry Smith nnz[i] = anz; 164338f409ebSLisandro Dalcin } 16449566063dSJacob Faibussowitsch PetscCall(MatSeqSBAIJSetPreallocation(B, bs, 0, nnz)); 16459566063dSJacob Faibussowitsch PetscCall(PetscFree(nnz)); 164638f409ebSLisandro Dalcin 164738f409ebSLisandro Dalcin values = (PetscScalar *)V; 164848a46eb9SPierre Jolivet if (!values) PetscCall(PetscCalloc1(bs * bs * nz_max, &values)); 164938f409ebSLisandro Dalcin for (i = 0; i < m; i++) { 165038f409ebSLisandro Dalcin PetscInt ncols = ii[i + 1] - ii[i]; 165138f409ebSLisandro Dalcin const PetscInt *icols = jj + ii[i]; 165238f409ebSLisandro Dalcin if (!roworiented || bs == 1) { 165338f409ebSLisandro Dalcin const PetscScalar *svals = values + (V ? (bs * bs * ii[i]) : 0); 16549566063dSJacob Faibussowitsch PetscCall(MatSetValuesBlocked_SeqSBAIJ(B, 1, &i, ncols, icols, svals, INSERT_VALUES)); 165538f409ebSLisandro Dalcin } else { 165638f409ebSLisandro Dalcin for (j = 0; j < ncols; j++) { 165738f409ebSLisandro Dalcin const PetscScalar *svals = values + (V ? (bs * bs * (ii[i] + j)) : 0); 16589566063dSJacob Faibussowitsch PetscCall(MatSetValuesBlocked_SeqSBAIJ(B, 1, &i, 1, &icols[j], svals, INSERT_VALUES)); 165938f409ebSLisandro Dalcin } 166038f409ebSLisandro Dalcin } 166138f409ebSLisandro Dalcin } 16629566063dSJacob Faibussowitsch if (!V) PetscCall(PetscFree(values)); 16639566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 16649566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 16659566063dSJacob Faibussowitsch PetscCall(MatSetOption(B, MAT_NEW_NONZERO_LOCATION_ERR, PETSC_TRUE)); 16663ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 166738f409ebSLisandro Dalcin } 166838f409ebSLisandro Dalcin 1669db4efbfdSBarry Smith /* 1670db4efbfdSBarry Smith This is used to set the numeric factorization for both Cholesky and ICC symbolic factorization 1671db4efbfdSBarry Smith */ 1672d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSBAIJSetNumericFactorization_inplace(Mat B, PetscBool natural) 1673d71ae5a4SJacob Faibussowitsch { 1674ace3abfcSBarry Smith PetscBool flg = PETSC_FALSE; 1675db4efbfdSBarry Smith PetscInt bs = B->rmap->bs; 1676db4efbfdSBarry Smith 1677db4efbfdSBarry Smith PetscFunctionBegin; 16789566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(((PetscObject)B)->options, ((PetscObject)B)->prefix, "-mat_no_unroll", &flg, NULL)); 1679db4efbfdSBarry Smith if (flg) bs = 8; 1680db4efbfdSBarry Smith 1681db4efbfdSBarry Smith if (!natural) { 1682db4efbfdSBarry Smith switch (bs) { 1683d71ae5a4SJacob Faibussowitsch case 1: 1684d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_inplace; 1685d71ae5a4SJacob Faibussowitsch break; 1686d71ae5a4SJacob Faibussowitsch case 2: 1687d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2; 1688d71ae5a4SJacob Faibussowitsch break; 1689d71ae5a4SJacob Faibussowitsch case 3: 1690d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3; 1691d71ae5a4SJacob Faibussowitsch break; 1692d71ae5a4SJacob Faibussowitsch case 4: 1693d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4; 1694d71ae5a4SJacob Faibussowitsch break; 1695d71ae5a4SJacob Faibussowitsch case 5: 1696d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5; 1697d71ae5a4SJacob Faibussowitsch break; 1698d71ae5a4SJacob Faibussowitsch case 6: 1699d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6; 1700d71ae5a4SJacob Faibussowitsch break; 1701d71ae5a4SJacob Faibussowitsch case 7: 1702d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7; 1703d71ae5a4SJacob Faibussowitsch break; 1704d71ae5a4SJacob Faibussowitsch default: 1705d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N; 1706d71ae5a4SJacob Faibussowitsch break; 1707db4efbfdSBarry Smith } 1708db4efbfdSBarry Smith } else { 1709db4efbfdSBarry Smith switch (bs) { 1710d71ae5a4SJacob Faibussowitsch case 1: 1711d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering_inplace; 1712d71ae5a4SJacob Faibussowitsch break; 1713d71ae5a4SJacob Faibussowitsch case 2: 1714d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering; 1715d71ae5a4SJacob Faibussowitsch break; 1716d71ae5a4SJacob Faibussowitsch case 3: 1717d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering; 1718d71ae5a4SJacob Faibussowitsch break; 1719d71ae5a4SJacob Faibussowitsch case 4: 1720d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering; 1721d71ae5a4SJacob Faibussowitsch break; 1722d71ae5a4SJacob Faibussowitsch case 5: 1723d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering; 1724d71ae5a4SJacob Faibussowitsch break; 1725d71ae5a4SJacob Faibussowitsch case 6: 1726d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering; 1727d71ae5a4SJacob Faibussowitsch break; 1728d71ae5a4SJacob Faibussowitsch case 7: 1729d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering; 1730d71ae5a4SJacob Faibussowitsch break; 1731d71ae5a4SJacob Faibussowitsch default: 1732d71ae5a4SJacob Faibussowitsch B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 1733d71ae5a4SJacob Faibussowitsch break; 1734db4efbfdSBarry Smith } 1735db4efbfdSBarry Smith } 17363ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1737db4efbfdSBarry Smith } 1738db4efbfdSBarry Smith 1739cc2e6a90SBarry Smith PETSC_INTERN PetscErrorCode MatConvert_SeqSBAIJ_SeqAIJ(Mat, MatType, MatReuse, Mat *); 1740cc2e6a90SBarry Smith PETSC_INTERN PetscErrorCode MatConvert_SeqSBAIJ_SeqBAIJ(Mat, MatType, MatReuse, Mat *); 1741d71ae5a4SJacob Faibussowitsch static PetscErrorCode MatFactorGetSolverType_petsc(Mat A, MatSolverType *type) 1742d71ae5a4SJacob Faibussowitsch { 17434ac6704cSBarry Smith PetscFunctionBegin; 17444ac6704cSBarry Smith *type = MATSOLVERPETSC; 17453ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 17464ac6704cSBarry Smith } 1747d769727bSBarry Smith 1748d71ae5a4SJacob Faibussowitsch PETSC_INTERN PetscErrorCode MatGetFactor_seqsbaij_petsc(Mat A, MatFactorType ftype, Mat *B) 1749d71ae5a4SJacob Faibussowitsch { 1750d0f46423SBarry Smith PetscInt n = A->rmap->n; 17515c9eb25fSBarry Smith 17525c9eb25fSBarry Smith PetscFunctionBegin; 17530e92d65fSHong Zhang #if defined(PETSC_USE_COMPLEX) 175403e5aca4SStefano Zampini if ((ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) && A->hermitian == PETSC_BOOL3_TRUE && A->symmetric != PETSC_BOOL3_TRUE) { 175503e5aca4SStefano Zampini PetscCall(PetscInfo(A, "Hermitian MAT_FACTOR_CHOLESKY or MAT_FACTOR_ICC are not supported. Use MAT_FACTOR_LU instead.\n")); 175603e5aca4SStefano Zampini *B = NULL; 175703e5aca4SStefano Zampini PetscFunctionReturn(PETSC_SUCCESS); 175803e5aca4SStefano Zampini } 17590e92d65fSHong Zhang #endif 1760eb1ec7c1SStefano Zampini 17619566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 17629566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, n, n, n, n)); 17635c9eb25fSBarry Smith if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) { 17649566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, MATSEQSBAIJ)); 17659566063dSJacob Faibussowitsch PetscCall(MatSeqSBAIJSetPreallocation(*B, A->rmap->bs, MAT_SKIP_ALLOCATION, NULL)); 176626fbe8dcSKarl Rupp 17677b056e98SHong Zhang (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqSBAIJ; 1768c6d0d4f0SHong Zhang (*B)->ops->iccfactorsymbolic = MatICCFactorSymbolic_SeqSBAIJ; 17699566063dSJacob Faibussowitsch PetscCall(PetscStrallocpy(MATORDERINGNATURAL, (char **)&(*B)->preferredordering[MAT_FACTOR_CHOLESKY])); 17709566063dSJacob Faibussowitsch PetscCall(PetscStrallocpy(MATORDERINGNATURAL, (char **)&(*B)->preferredordering[MAT_FACTOR_ICC])); 1771e32f2f54SBarry Smith } else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "Factor type not supported"); 177200c67f3bSHong Zhang 1773d5f3da31SBarry Smith (*B)->factortype = ftype; 1774f73b0415SBarry Smith (*B)->canuseordering = PETSC_TRUE; 17759566063dSJacob Faibussowitsch PetscCall(PetscFree((*B)->solvertype)); 17769566063dSJacob Faibussowitsch PetscCall(PetscStrallocpy(MATSOLVERPETSC, &(*B)->solvertype)); 17779566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)*B, "MatFactorGetSolverType_C", MatFactorGetSolverType_petsc)); 17783ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 17795c9eb25fSBarry Smith } 17805c9eb25fSBarry Smith 17818397e458SBarry Smith /*@C 17822ef1f0ffSBarry Smith MatSeqSBAIJGetArray - gives access to the array where the numerical data for a `MATSEQSBAIJ` matrix is stored 17838397e458SBarry Smith 17848397e458SBarry Smith Not Collective 17858397e458SBarry Smith 17868397e458SBarry Smith Input Parameter: 1787fe59aa6dSJacob Faibussowitsch . A - a `MATSEQSBAIJ` matrix 17888397e458SBarry Smith 17898397e458SBarry Smith Output Parameter: 17908397e458SBarry Smith . array - pointer to the data 17918397e458SBarry Smith 17928397e458SBarry Smith Level: intermediate 17938397e458SBarry Smith 17941cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, `MATSEQSBAIJ`, `MatSeqSBAIJRestoreArray()`, `MatSeqAIJGetArray()`, `MatSeqAIJRestoreArray()` 17958397e458SBarry Smith @*/ 1796d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSBAIJGetArray(Mat A, PetscScalar **array) 1797d71ae5a4SJacob Faibussowitsch { 17988397e458SBarry Smith PetscFunctionBegin; 1799cac4c232SBarry Smith PetscUseMethod(A, "MatSeqSBAIJGetArray_C", (Mat, PetscScalar **), (A, array)); 18003ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 18018397e458SBarry Smith } 18028397e458SBarry Smith 18038397e458SBarry Smith /*@C 18042ef1f0ffSBarry Smith MatSeqSBAIJRestoreArray - returns access to the array where the numerical data for a `MATSEQSBAIJ` matrix is stored obtained by `MatSeqSBAIJGetArray()` 18058397e458SBarry Smith 18068397e458SBarry Smith Not Collective 18078397e458SBarry Smith 18088397e458SBarry Smith Input Parameters: 1809fe59aa6dSJacob Faibussowitsch + A - a `MATSEQSBAIJ` matrix 1810a2b725a8SWilliam Gropp - array - pointer to the data 18118397e458SBarry Smith 18128397e458SBarry Smith Level: intermediate 18138397e458SBarry Smith 18141cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, `MATSEQSBAIJ`, `MatSeqSBAIJGetArray()`, `MatSeqAIJGetArray()`, `MatSeqAIJRestoreArray()` 18158397e458SBarry Smith @*/ 1816d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSBAIJRestoreArray(Mat A, PetscScalar **array) 1817d71ae5a4SJacob Faibussowitsch { 18188397e458SBarry Smith PetscFunctionBegin; 1819cac4c232SBarry Smith PetscUseMethod(A, "MatSeqSBAIJRestoreArray_C", (Mat, PetscScalar **), (A, array)); 18203ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 18218397e458SBarry Smith } 18228397e458SBarry Smith 18230bad9183SKris Buschelman /*MC 1824fafad747SKris Buschelman MATSEQSBAIJ - MATSEQSBAIJ = "seqsbaij" - A matrix type to be used for sequential symmetric block sparse matrices, 18250bad9183SKris Buschelman based on block compressed sparse row format. Only the upper triangular portion of the matrix is stored. 18260bad9183SKris Buschelman 1827828413b8SBarry Smith For complex numbers by default this matrix is symmetric, NOT Hermitian symmetric. To make it Hermitian symmetric you 182811a5261eSBarry Smith can call `MatSetOption`(`Mat`, `MAT_HERMITIAN`). 1829828413b8SBarry Smith 18302ef1f0ffSBarry Smith Options Database Key: 183111a5261eSBarry Smith . -mat_type seqsbaij - sets the matrix type to "seqsbaij" during a call to `MatSetFromOptions()` 18320bad9183SKris Buschelman 18332ef1f0ffSBarry Smith Level: beginner 18342ef1f0ffSBarry Smith 183595452b02SPatrick Sanan Notes: 183695452b02SPatrick Sanan By default if you insert values into the lower triangular part of the matrix they are simply ignored (since they are not 183711a5261eSBarry Smith stored and it is assumed they symmetric to the upper triangular). If you call `MatSetOption`(`Mat`,`MAT_IGNORE_LOWER_TRIANGULAR`,`PETSC_FALSE`) or use 18382ef1f0ffSBarry Smith the options database `-mat_ignore_lower_triangular` false it will generate an error if you try to set a value in the lower triangular portion. 183971dad5bbSBarry Smith 1840476417e5SBarry Smith The number of rows in the matrix must be less than or equal to the number of columns 184171dad5bbSBarry Smith 18421cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, `MATSEQSBAIJ`, `MatCreateSeqSBAIJ()`, `MatType`, `MATMPISBAIJ` 18430bad9183SKris Buschelman M*/ 1844d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSBAIJ(Mat B) 1845d71ae5a4SJacob Faibussowitsch { 1846a23d5eceSKris Buschelman Mat_SeqSBAIJ *b; 184713f74950SBarry Smith PetscMPIInt size; 1848ace3abfcSBarry Smith PetscBool no_unroll = PETSC_FALSE, no_inode = PETSC_FALSE; 1849a23d5eceSKris Buschelman 1850a23d5eceSKris Buschelman PetscFunctionBegin; 18519566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 185208401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Comm must be of size 1"); 1853a23d5eceSKris Buschelman 18544dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 1855a23d5eceSKris Buschelman B->data = (void *)b; 1856aea10558SJacob Faibussowitsch B->ops[0] = MatOps_Values; 185726fbe8dcSKarl Rupp 1858a23d5eceSKris Buschelman B->ops->destroy = MatDestroy_SeqSBAIJ; 1859a23d5eceSKris Buschelman B->ops->view = MatView_SeqSBAIJ; 1860f4259b30SLisandro Dalcin b->row = NULL; 1861f4259b30SLisandro Dalcin b->icol = NULL; 1862a23d5eceSKris Buschelman b->reallocs = 0; 1863f4259b30SLisandro Dalcin b->saved_values = NULL; 18640def2e27SBarry Smith b->inode.limit = 5; 18650def2e27SBarry Smith b->inode.max_limit = 5; 1866a23d5eceSKris Buschelman 1867a23d5eceSKris Buschelman b->roworiented = PETSC_TRUE; 1868a23d5eceSKris Buschelman b->nonew = 0; 1869f4259b30SLisandro Dalcin b->diag = NULL; 1870f4259b30SLisandro Dalcin b->solve_work = NULL; 1871f4259b30SLisandro Dalcin b->mult_work = NULL; 1872f4259b30SLisandro Dalcin B->spptr = NULL; 1873f2cbd3d5SJed Brown B->info.nz_unneeded = (PetscReal)b->maxnz * b->bs2; 1874a9817697SBarry Smith b->keepnonzeropattern = PETSC_FALSE; 1875a23d5eceSKris Buschelman 1876f4259b30SLisandro Dalcin b->inew = NULL; 1877f4259b30SLisandro Dalcin b->jnew = NULL; 1878f4259b30SLisandro Dalcin b->anew = NULL; 1879f4259b30SLisandro Dalcin b->a2anew = NULL; 1880a23d5eceSKris Buschelman b->permute = PETSC_FALSE; 1881a23d5eceSKris Buschelman 188271dad5bbSBarry Smith b->ignore_ltriangular = PETSC_TRUE; 188326fbe8dcSKarl Rupp 18849566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(((PetscObject)B)->options, ((PetscObject)B)->prefix, "-mat_ignore_lower_triangular", &b->ignore_ltriangular, NULL)); 1885941593c8SHong Zhang 1886f5edf698SHong Zhang b->getrow_utriangular = PETSC_FALSE; 188726fbe8dcSKarl Rupp 18889566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(((PetscObject)B)->options, ((PetscObject)B)->prefix, "-mat_getrow_uppertriangular", &b->getrow_utriangular, NULL)); 1889f5edf698SHong Zhang 18909566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSBAIJGetArray_C", MatSeqSBAIJGetArray_SeqSBAIJ)); 18919566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSBAIJRestoreArray_C", MatSeqSBAIJRestoreArray_SeqSBAIJ)); 18929566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSBAIJ)); 18939566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSBAIJ)); 18949566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSBAIJSetColumnIndices_C", MatSeqSBAIJSetColumnIndices_SeqSBAIJ)); 18959566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsbaij_seqaij_C", MatConvert_SeqSBAIJ_SeqAIJ)); 18969566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsbaij_seqbaij_C", MatConvert_SeqSBAIJ_SeqBAIJ)); 18979566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSBAIJSetPreallocation_C", MatSeqSBAIJSetPreallocation_SeqSBAIJ)); 18989566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSBAIJSetPreallocationCSR_C", MatSeqSBAIJSetPreallocationCSR_SeqSBAIJ)); 18996214f412SHong Zhang #if defined(PETSC_HAVE_ELEMENTAL) 19009566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsbaij_elemental_C", MatConvert_SeqSBAIJ_Elemental)); 19016214f412SHong Zhang #endif 1902d24d4204SJose E. Roman #if defined(PETSC_HAVE_SCALAPACK) 19039566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsbaij_scalapack_C", MatConvert_SBAIJ_ScaLAPACK)); 1904d24d4204SJose E. Roman #endif 190523ce1328SBarry Smith 1906b94d7dedSBarry Smith B->symmetry_eternal = PETSC_TRUE; 1907b94d7dedSBarry Smith B->structural_symmetry_eternal = PETSC_TRUE; 1908b94d7dedSBarry Smith B->symmetric = PETSC_BOOL3_TRUE; 1909b94d7dedSBarry Smith B->structurally_symmetric = PETSC_BOOL3_TRUE; 1910eb1ec7c1SStefano Zampini #if defined(PETSC_USE_COMPLEX) 1911b94d7dedSBarry Smith B->hermitian = PETSC_BOOL3_FALSE; 1912eb1ec7c1SStefano Zampini #else 1913b94d7dedSBarry Smith B->hermitian = PETSC_BOOL3_TRUE; 1914eb1ec7c1SStefano Zampini #endif 191513647f61SHong Zhang 19169566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSBAIJ)); 19170def2e27SBarry Smith 1918d0609cedSBarry Smith PetscOptionsBegin(PetscObjectComm((PetscObject)B), ((PetscObject)B)->prefix, "Options for SEQSBAIJ matrix", "Mat"); 19199566063dSJacob Faibussowitsch PetscCall(PetscOptionsBool("-mat_no_unroll", "Do not optimize for inodes (slower)", NULL, no_unroll, &no_unroll, NULL)); 192048a46eb9SPierre Jolivet if (no_unroll) PetscCall(PetscInfo(B, "Not using Inode routines due to -mat_no_unroll\n")); 19219566063dSJacob Faibussowitsch PetscCall(PetscOptionsBool("-mat_no_inode", "Do not optimize for inodes (slower)", NULL, no_inode, &no_inode, NULL)); 19229566063dSJacob Faibussowitsch if (no_inode) PetscCall(PetscInfo(B, "Not using Inode routines due to -mat_no_inode\n")); 19239566063dSJacob Faibussowitsch PetscCall(PetscOptionsInt("-mat_inode_limit", "Do not use inodes larger then this value", NULL, b->inode.limit, &b->inode.limit, NULL)); 1924d0609cedSBarry Smith PetscOptionsEnd(); 1925ace3abfcSBarry Smith b->inode.use = (PetscBool)(!(no_unroll || no_inode)); 19260def2e27SBarry Smith if (b->inode.limit > b->inode.max_limit) b->inode.limit = b->inode.max_limit; 19273ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1928a23d5eceSKris Buschelman } 1929a23d5eceSKris Buschelman 1930a23d5eceSKris Buschelman /*@C 1931a23d5eceSKris Buschelman MatSeqSBAIJSetPreallocation - Creates a sparse symmetric matrix in block AIJ (block 193211a5261eSBarry Smith compressed row) `MATSEQSBAIJ` format. For good matrix assembly performance the 193320f4b53cSBarry Smith user should preallocate the matrix storage by setting the parameter `nz` 193420f4b53cSBarry Smith (or the array `nnz`). 1935a23d5eceSKris Buschelman 1936c3339decSBarry Smith Collective 1937a23d5eceSKris Buschelman 1938a23d5eceSKris Buschelman Input Parameters: 19391c4f3114SJed Brown + B - the symmetric matrix 194011a5261eSBarry Smith . bs - size of block, the blocks are ALWAYS square. One can use `MatSetBlockSizes()` to set a different row and column blocksize but the row 194111a5261eSBarry Smith blocksize always defines the size of the blocks. The column blocksize sets the blocksize of the vectors obtained with `MatCreateVecs()` 1942a23d5eceSKris Buschelman . nz - number of block nonzeros per block row (same for all rows) 1943a23d5eceSKris Buschelman - nnz - array containing the number of block nonzeros in the upper triangular plus 19442ef1f0ffSBarry Smith diagonal portion of each block (possibly different for each block row) or `NULL` 1945a23d5eceSKris Buschelman 1946a23d5eceSKris Buschelman Options Database Keys: 1947d8a51d2aSBarry Smith + -mat_no_unroll - uses code that does not unroll the loops in the block calculations (much slower) 1948a2b725a8SWilliam Gropp - -mat_block_size - size of the blocks to use (only works if a negative bs is passed in 1949a23d5eceSKris Buschelman 1950a23d5eceSKris Buschelman Level: intermediate 1951a23d5eceSKris Buschelman 1952a23d5eceSKris Buschelman Notes: 195320f4b53cSBarry Smith Specify the preallocated storage with either `nz` or `nnz` (not both). 19542ef1f0ffSBarry Smith Set `nz` = `PETSC_DEFAULT` and `nnz` = `NULL` for PETSc to control dynamic memory 1955651615e1SBarry Smith allocation. See [Sparse Matrices](sec_matsparse) for details. 1956a23d5eceSKris Buschelman 195711a5261eSBarry Smith You can call `MatGetInfo()` to get information on how effective the preallocation was; 1958aa95bbe8SBarry Smith for example the fields mallocs,nz_allocated,nz_used,nz_unneeded; 19592ef1f0ffSBarry Smith You can also run with the option `-info` and look for messages with the string 1960aa95bbe8SBarry Smith malloc in them to see if additional memory allocation was needed. 1961aa95bbe8SBarry Smith 19622ef1f0ffSBarry Smith If the `nnz` parameter is given then the `nz` parameter is ignored 196349a6f317SBarry Smith 19641cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, [Sparse Matrices](sec_matsparse), `MATSEQSBAIJ`, `MatCreate()`, `MatCreateSeqAIJ()`, `MatSetValues()`, `MatCreateSBAIJ()` 1965a23d5eceSKris Buschelman @*/ 1966d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSBAIJSetPreallocation(Mat B, PetscInt bs, PetscInt nz, const PetscInt nnz[]) 1967d71ae5a4SJacob Faibussowitsch { 1968a23d5eceSKris Buschelman PetscFunctionBegin; 19696ba663aaSJed Brown PetscValidHeaderSpecific(B, MAT_CLASSID, 1); 19706ba663aaSJed Brown PetscValidType(B, 1); 19716ba663aaSJed Brown PetscValidLogicalCollectiveInt(B, bs, 2); 1972cac4c232SBarry Smith PetscTryMethod(B, "MatSeqSBAIJSetPreallocation_C", (Mat, PetscInt, PetscInt, const PetscInt[]), (B, bs, nz, nnz)); 19733ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1974a23d5eceSKris Buschelman } 197549b5e25fSSatish Balay 197638f409ebSLisandro Dalcin /*@C 197711a5261eSBarry Smith MatSeqSBAIJSetPreallocationCSR - Creates a sparse parallel matrix in `MATSEQSBAIJ` format using the given nonzero structure and (optional) numerical values 197838f409ebSLisandro Dalcin 197938f409ebSLisandro Dalcin Input Parameters: 19801c4f3114SJed Brown + B - the matrix 1981eab78319SHong Zhang . bs - size of block, the blocks are ALWAYS square. 1982d8a51d2aSBarry Smith . i - the indices into `j` for the start of each local row (indices start with zero) 1983d8a51d2aSBarry Smith . j - the column indices for each local row (indices start with zero) these must be sorted for each row 1984d8a51d2aSBarry Smith - v - optional values in the matrix, use `NULL` if not provided 198538f409ebSLisandro Dalcin 1986664954b6SBarry Smith Level: advanced 198738f409ebSLisandro Dalcin 198838f409ebSLisandro Dalcin Notes: 1989d8a51d2aSBarry Smith The `i`,`j`,`v` values are COPIED with this routine; to avoid the copy use `MatCreateSeqSBAIJWithArrays()` 1990d8a51d2aSBarry Smith 199111a5261eSBarry Smith The order of the entries in values is specified by the `MatOption` `MAT_ROW_ORIENTED`. For example, C programs 199211a5261eSBarry Smith may want to use the default `MAT_ROW_ORIENTED` = `PETSC_TRUE` and use an array v[nnz][bs][bs] where the second index is 199338f409ebSLisandro Dalcin over rows within a block and the last index is over columns within a block row. Fortran programs will likely set 199411a5261eSBarry Smith `MAT_ROW_ORIENTED` = `PETSC_FALSE` and use a Fortran array v(bs,bs,nnz) in which the first index is over rows within a 199538f409ebSLisandro Dalcin block column and the second index is over columns within a block. 199638f409ebSLisandro Dalcin 1997d8a51d2aSBarry Smith Any entries provided that lie below the diagonal are ignored 19980cd7f59aSBarry Smith 19990cd7f59aSBarry Smith Though this routine has Preallocation() in the name it also sets the exact nonzero locations of the matrix entries 20000cd7f59aSBarry Smith and usually the numerical values as well 2001664954b6SBarry Smith 2002fe59aa6dSJacob Faibussowitsch .seealso: [](ch_matrices), `Mat`, `MATSEQSBAIJ`, `MatCreate()`, `MatCreateSeqSBAIJ()`, `MatSetValuesBlocked()`, `MatSeqSBAIJSetPreallocation()` 200338f409ebSLisandro Dalcin @*/ 2004d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSBAIJSetPreallocationCSR(Mat B, PetscInt bs, const PetscInt i[], const PetscInt j[], const PetscScalar v[]) 2005d71ae5a4SJacob Faibussowitsch { 200638f409ebSLisandro Dalcin PetscFunctionBegin; 200738f409ebSLisandro Dalcin PetscValidHeaderSpecific(B, MAT_CLASSID, 1); 200838f409ebSLisandro Dalcin PetscValidType(B, 1); 200938f409ebSLisandro Dalcin PetscValidLogicalCollectiveInt(B, bs, 2); 2010cac4c232SBarry Smith PetscTryMethod(B, "MatSeqSBAIJSetPreallocationCSR_C", (Mat, PetscInt, const PetscInt[], const PetscInt[], const PetscScalar[]), (B, bs, i, j, v)); 20113ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 201238f409ebSLisandro Dalcin } 201338f409ebSLisandro Dalcin 2014c464158bSHong Zhang /*@C 20152ef1f0ffSBarry Smith MatCreateSeqSBAIJ - Creates a sparse symmetric matrix in (block 201611a5261eSBarry Smith compressed row) `MATSEQSBAIJ` format. For good matrix assembly performance the 20172ef1f0ffSBarry Smith user should preallocate the matrix storage by setting the parameter `nz` 20182ef1f0ffSBarry Smith (or the array `nnz`). 201949b5e25fSSatish Balay 2020d083f849SBarry Smith Collective 2021c464158bSHong Zhang 2022c464158bSHong Zhang Input Parameters: 202311a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 202411a5261eSBarry Smith . bs - size of block, the blocks are ALWAYS square. One can use `MatSetBlockSizes()` to set a different row and column blocksize but the row 2025bb7ae925SBarry Smith blocksize always defines the size of the blocks. The column blocksize sets the blocksize of the vectors obtained with MatCreateVecs() 202620f4b53cSBarry Smith . m - number of rows 202720f4b53cSBarry Smith . n - number of columns 2028c464158bSHong Zhang . nz - number of block nonzeros per block row (same for all rows) 2029744e8345SSatish Balay - nnz - array containing the number of block nonzeros in the upper triangular plus 20302ef1f0ffSBarry Smith diagonal portion of each block (possibly different for each block row) or `NULL` 2031c464158bSHong Zhang 2032c464158bSHong Zhang Output Parameter: 2033c464158bSHong Zhang . A - the symmetric matrix 2034c464158bSHong Zhang 2035c464158bSHong Zhang Options Database Keys: 2036d8a51d2aSBarry Smith + -mat_no_unroll - uses code that does not unroll the loops in the block calculations (much slower) 2037a2b725a8SWilliam Gropp - -mat_block_size - size of the blocks to use 2038c464158bSHong Zhang 2039c464158bSHong Zhang Level: intermediate 2040c464158bSHong Zhang 20412ef1f0ffSBarry Smith Notes: 204277433607SBarry Smith It is recommended that one use `MatCreateFromOptions()` or the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2043f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 204411a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqAIJSetPreallocation()`] 2045175b88e8SBarry Smith 20466d6d819aSHong Zhang The number of rows and columns must be divisible by blocksize. 20476d6d819aSHong Zhang This matrix type does not support complex Hermitian operation. 2048c464158bSHong Zhang 20492ef1f0ffSBarry Smith Specify the preallocated storage with either `nz` or `nnz` (not both). 20502ef1f0ffSBarry Smith Set `nz` = `PETSC_DEFAULT` and `nnz` = `NULL` for PETSc to control dynamic memory 2051651615e1SBarry Smith allocation. See [Sparse Matrices](sec_matsparse) for details. 2052c464158bSHong Zhang 20532ef1f0ffSBarry Smith If the `nnz` parameter is given then the `nz` parameter is ignored 205449a6f317SBarry Smith 20551cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, [Sparse Matrices](sec_matsparse), `MATSEQSBAIJ`, `MatCreate()`, `MatCreateSeqAIJ()`, `MatSetValues()`, `MatCreateSBAIJ()` 2056c464158bSHong Zhang @*/ 2057d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCreateSeqSBAIJ(MPI_Comm comm, PetscInt bs, PetscInt m, PetscInt n, PetscInt nz, const PetscInt nnz[], Mat *A) 2058d71ae5a4SJacob Faibussowitsch { 2059c464158bSHong Zhang PetscFunctionBegin; 20609566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 20619566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 20629566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSBAIJ)); 20639566063dSJacob Faibussowitsch PetscCall(MatSeqSBAIJSetPreallocation(*A, bs, nz, (PetscInt *)nnz)); 20643ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 206549b5e25fSSatish Balay } 206649b5e25fSSatish Balay 2067d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSBAIJ(Mat A, MatDuplicateOption cpvalues, Mat *B) 2068d71ae5a4SJacob Faibussowitsch { 206949b5e25fSSatish Balay Mat C; 207049b5e25fSSatish Balay Mat_SeqSBAIJ *c, *a = (Mat_SeqSBAIJ *)A->data; 2071b40805acSSatish Balay PetscInt i, mbs = a->mbs, nz = a->nz, bs2 = a->bs2; 207249b5e25fSSatish Balay 207349b5e25fSSatish Balay PetscFunctionBegin; 207431fe6a7dSBarry Smith PetscCheck(A->assembled, PetscObjectComm((PetscObject)A), PETSC_ERR_ARG_WRONGSTATE, "Cannot duplicate unassembled matrix"); 207508401ef6SPierre Jolivet PetscCheck(a->i[mbs] == nz, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Corrupt matrix"); 207649b5e25fSSatish Balay 2077f4259b30SLisandro Dalcin *B = NULL; 20789566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &C)); 20799566063dSJacob Faibussowitsch PetscCall(MatSetSizes(C, A->rmap->N, A->cmap->n, A->rmap->N, A->cmap->n)); 20809566063dSJacob Faibussowitsch PetscCall(MatSetBlockSizesFromMats(C, A, A)); 20819566063dSJacob Faibussowitsch PetscCall(MatSetType(C, MATSEQSBAIJ)); 2082692f9cbeSHong Zhang c = (Mat_SeqSBAIJ *)C->data; 2083692f9cbeSHong Zhang 2084273d9f13SBarry Smith C->preallocated = PETSC_TRUE; 2085d5f3da31SBarry Smith C->factortype = A->factortype; 2086f4259b30SLisandro Dalcin c->row = NULL; 2087f4259b30SLisandro Dalcin c->icol = NULL; 2088f4259b30SLisandro Dalcin c->saved_values = NULL; 2089a9817697SBarry Smith c->keepnonzeropattern = a->keepnonzeropattern; 209049b5e25fSSatish Balay C->assembled = PETSC_TRUE; 209149b5e25fSSatish Balay 20929566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 20939566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 209449b5e25fSSatish Balay c->bs2 = a->bs2; 209549b5e25fSSatish Balay c->mbs = a->mbs; 209649b5e25fSSatish Balay c->nbs = a->nbs; 209749b5e25fSSatish Balay 2098c760cd28SBarry Smith if (cpvalues == MAT_SHARE_NONZERO_PATTERN) { 2099c760cd28SBarry Smith c->imax = a->imax; 2100c760cd28SBarry Smith c->ilen = a->ilen; 2101c760cd28SBarry Smith c->free_imax_ilen = PETSC_FALSE; 2102c760cd28SBarry Smith } else { 21039566063dSJacob Faibussowitsch PetscCall(PetscMalloc2((mbs + 1), &c->imax, (mbs + 1), &c->ilen)); 210449b5e25fSSatish Balay for (i = 0; i < mbs; i++) { 210549b5e25fSSatish Balay c->imax[i] = a->imax[i]; 210649b5e25fSSatish Balay c->ilen[i] = a->ilen[i]; 210749b5e25fSSatish Balay } 2108c760cd28SBarry Smith c->free_imax_ilen = PETSC_TRUE; 2109c760cd28SBarry Smith } 211049b5e25fSSatish Balay 211149b5e25fSSatish Balay /* allocate the matrix space */ 21124da8f245SBarry Smith if (cpvalues == MAT_SHARE_NONZERO_PATTERN) { 21139566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(bs2 * nz, &c->a)); 211444e1c64aSLisandro Dalcin c->i = a->i; 211544e1c64aSLisandro Dalcin c->j = a->j; 21164da8f245SBarry Smith c->singlemalloc = PETSC_FALSE; 211744e1c64aSLisandro Dalcin c->free_a = PETSC_TRUE; 21184da8f245SBarry Smith c->free_ij = PETSC_FALSE; 21194da8f245SBarry Smith c->parent = A; 21209566063dSJacob Faibussowitsch PetscCall(PetscObjectReference((PetscObject)A)); 21219566063dSJacob Faibussowitsch PetscCall(MatSetOption(A, MAT_NEW_NONZERO_LOCATION_ERR, PETSC_TRUE)); 21229566063dSJacob Faibussowitsch PetscCall(MatSetOption(C, MAT_NEW_NONZERO_LOCATION_ERR, PETSC_TRUE)); 21234da8f245SBarry Smith } else { 21249566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(bs2 * nz, &c->a, nz, &c->j, mbs + 1, &c->i)); 21259566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->i, a->i, mbs + 1)); 21264da8f245SBarry Smith c->singlemalloc = PETSC_TRUE; 212744e1c64aSLisandro Dalcin c->free_a = PETSC_TRUE; 21284da8f245SBarry Smith c->free_ij = PETSC_TRUE; 21294da8f245SBarry Smith } 213049b5e25fSSatish Balay if (mbs > 0) { 213148a46eb9SPierre Jolivet if (cpvalues != MAT_SHARE_NONZERO_PATTERN) PetscCall(PetscArraycpy(c->j, a->j, nz)); 213249b5e25fSSatish Balay if (cpvalues == MAT_COPY_VALUES) { 21339566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->a, a->a, bs2 * nz)); 213449b5e25fSSatish Balay } else { 21359566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->a, bs2 * nz)); 213649b5e25fSSatish Balay } 2137a1c3900fSBarry Smith if (a->jshort) { 213844e1c64aSLisandro Dalcin /* cannot share jshort, it is reallocated in MatAssemblyEnd_SeqSBAIJ() */ 213944e1c64aSLisandro Dalcin /* if the parent matrix is reassembled, this child matrix will never notice */ 21409566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(nz, &c->jshort)); 21419566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->jshort, a->jshort, nz)); 214226fbe8dcSKarl Rupp 21434da8f245SBarry Smith c->free_jshort = PETSC_TRUE; 21444da8f245SBarry Smith } 2145a1c3900fSBarry Smith } 214649b5e25fSSatish Balay 214749b5e25fSSatish Balay c->roworiented = a->roworiented; 214849b5e25fSSatish Balay c->nonew = a->nonew; 214949b5e25fSSatish Balay 215049b5e25fSSatish Balay if (a->diag) { 2151c760cd28SBarry Smith if (cpvalues == MAT_SHARE_NONZERO_PATTERN) { 2152c760cd28SBarry Smith c->diag = a->diag; 2153c760cd28SBarry Smith c->free_diag = PETSC_FALSE; 2154c760cd28SBarry Smith } else { 21559566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(mbs, &c->diag)); 215626fbe8dcSKarl Rupp for (i = 0; i < mbs; i++) c->diag[i] = a->diag[i]; 2157c760cd28SBarry Smith c->free_diag = PETSC_TRUE; 2158c760cd28SBarry Smith } 215944e1c64aSLisandro Dalcin } 21606c6c5352SBarry Smith c->nz = a->nz; 2161f2cbd3d5SJed Brown c->maxnz = a->nz; /* Since we allocate exactly the right amount */ 2162f4259b30SLisandro Dalcin c->solve_work = NULL; 2163f4259b30SLisandro Dalcin c->mult_work = NULL; 216426fbe8dcSKarl Rupp 216549b5e25fSSatish Balay *B = C; 21669566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 21673ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 216849b5e25fSSatish Balay } 216949b5e25fSSatish Balay 2170618cc2edSLisandro Dalcin /* Used for both SeqBAIJ and SeqSBAIJ matrices */ 2171618cc2edSLisandro Dalcin #define MatLoad_SeqSBAIJ_Binary MatLoad_SeqBAIJ_Binary 2172618cc2edSLisandro Dalcin 2173d71ae5a4SJacob Faibussowitsch PetscErrorCode MatLoad_SeqSBAIJ(Mat mat, PetscViewer viewer) 2174d71ae5a4SJacob Faibussowitsch { 21757f489da9SVaclav Hapla PetscBool isbinary; 21762f480046SShri Abhyankar 21772f480046SShri Abhyankar PetscFunctionBegin; 21789566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 217928b400f6SJacob Faibussowitsch PetscCheck(isbinary, PetscObjectComm((PetscObject)viewer), PETSC_ERR_SUP, "Viewer type %s not yet supported for reading %s matrices", ((PetscObject)viewer)->type_name, ((PetscObject)mat)->type_name); 21809566063dSJacob Faibussowitsch PetscCall(MatLoad_SeqSBAIJ_Binary(mat, viewer)); 21813ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 21822f480046SShri Abhyankar } 21832f480046SShri Abhyankar 2184c75a6043SHong Zhang /*@ 218511a5261eSBarry Smith MatCreateSeqSBAIJWithArrays - Creates an sequential `MATSEQSBAIJ` matrix using matrix elements 2186c75a6043SHong Zhang (upper triangular entries in CSR format) provided by the user. 2187c75a6043SHong Zhang 2188d083f849SBarry Smith Collective 2189c75a6043SHong Zhang 2190c75a6043SHong Zhang Input Parameters: 2191c75a6043SHong Zhang + comm - must be an MPI communicator of size 1 2192c75a6043SHong Zhang . bs - size of block 2193c75a6043SHong Zhang . m - number of rows 2194c75a6043SHong Zhang . n - number of columns 2195483a2f95SBarry Smith . i - row indices; that is i[0] = 0, i[row] = i[row-1] + number of block elements in that row block row of the matrix 2196c75a6043SHong Zhang . j - column indices 2197c75a6043SHong Zhang - a - matrix values 2198c75a6043SHong Zhang 2199c75a6043SHong Zhang Output Parameter: 2200c75a6043SHong Zhang . mat - the matrix 2201c75a6043SHong Zhang 2202dfb205c3SBarry Smith Level: advanced 2203c75a6043SHong Zhang 2204c75a6043SHong Zhang Notes: 22052ef1f0ffSBarry Smith The `i`, `j`, and `a` arrays are not copied by this routine, the user must free these arrays 2206c75a6043SHong Zhang once the matrix is destroyed 2207c75a6043SHong Zhang 2208c75a6043SHong Zhang You cannot set new nonzero locations into this matrix, that will generate an error. 2209c75a6043SHong Zhang 22102ef1f0ffSBarry Smith The `i` and `j` indices are 0 based 2211c75a6043SHong Zhang 22122ef1f0ffSBarry Smith When block size is greater than 1 the matrix values must be stored using the `MATSBAIJ` storage format. For block size of 1 2213dfb205c3SBarry Smith it is the regular CSR format excluding the lower triangular elements. 2214dfb205c3SBarry Smith 22151cc06b55SBarry Smith .seealso: [](ch_matrices), `Mat`, `MATSEQSBAIJ`, `MatCreate()`, `MatCreateSBAIJ()`, `MatCreateSeqSBAIJ()` 2216c75a6043SHong Zhang @*/ 2217d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCreateSeqSBAIJWithArrays(MPI_Comm comm, PetscInt bs, PetscInt m, PetscInt n, PetscInt i[], PetscInt j[], PetscScalar a[], Mat *mat) 2218d71ae5a4SJacob Faibussowitsch { 2219c75a6043SHong Zhang PetscInt ii; 2220c75a6043SHong Zhang Mat_SeqSBAIJ *sbaij; 2221c75a6043SHong Zhang 2222c75a6043SHong Zhang PetscFunctionBegin; 222308401ef6SPierre Jolivet PetscCheck(bs == 1, PETSC_COMM_SELF, PETSC_ERR_SUP, "block size %" PetscInt_FMT " > 1 is not supported yet", bs); 2224aed4548fSBarry Smith PetscCheck(m == 0 || i[0] == 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "i (row indices) must start with 0"); 2225c75a6043SHong Zhang 22269566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, mat)); 22279566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*mat, m, n, m, n)); 22289566063dSJacob Faibussowitsch PetscCall(MatSetType(*mat, MATSEQSBAIJ)); 22299566063dSJacob Faibussowitsch PetscCall(MatSeqSBAIJSetPreallocation(*mat, bs, MAT_SKIP_ALLOCATION, NULL)); 2230c75a6043SHong Zhang sbaij = (Mat_SeqSBAIJ *)(*mat)->data; 22319566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(m, &sbaij->imax, m, &sbaij->ilen)); 2232c75a6043SHong Zhang 2233c75a6043SHong Zhang sbaij->i = i; 2234c75a6043SHong Zhang sbaij->j = j; 2235c75a6043SHong Zhang sbaij->a = a; 223626fbe8dcSKarl Rupp 2237c75a6043SHong Zhang sbaij->singlemalloc = PETSC_FALSE; 2238c75a6043SHong Zhang sbaij->nonew = -1; /*this indicates that inserting a new value in the matrix that generates a new nonzero is an error*/ 2239e6b907acSBarry Smith sbaij->free_a = PETSC_FALSE; 2240e6b907acSBarry Smith sbaij->free_ij = PETSC_FALSE; 2241ddf7884eSMatthew Knepley sbaij->free_imax_ilen = PETSC_TRUE; 2242c75a6043SHong Zhang 2243c75a6043SHong Zhang for (ii = 0; ii < m; ii++) { 2244c75a6043SHong Zhang sbaij->ilen[ii] = sbaij->imax[ii] = i[ii + 1] - i[ii]; 22456bdcaf15SBarry Smith PetscCheck(i[ii + 1] >= i[ii], PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Negative row length in i (row indices) row = %" PetscInt_FMT " length = %" PetscInt_FMT, ii, i[ii + 1] - i[ii]); 2246c75a6043SHong Zhang } 224776bd3646SJed Brown if (PetscDefined(USE_DEBUG)) { 2248c75a6043SHong Zhang for (ii = 0; ii < sbaij->i[m]; ii++) { 22496bdcaf15SBarry Smith PetscCheck(j[ii] >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Negative column index at location = %" PetscInt_FMT " index = %" PetscInt_FMT, ii, j[ii]); 22506bdcaf15SBarry Smith PetscCheck(j[ii] < n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Column index too large at location = %" PetscInt_FMT " index = %" PetscInt_FMT, ii, j[ii]); 2251c75a6043SHong Zhang } 225276bd3646SJed Brown } 2253c75a6043SHong Zhang 22549566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(*mat, MAT_FINAL_ASSEMBLY)); 22559566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(*mat, MAT_FINAL_ASSEMBLY)); 22563ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2257c75a6043SHong Zhang } 2258d06b337dSHong Zhang 2259d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCreateMPIMatConcatenateSeqMat_SeqSBAIJ(MPI_Comm comm, Mat inmat, PetscInt n, MatReuse scall, Mat *outmat) 2260d71ae5a4SJacob Faibussowitsch { 226159f5e6ceSHong Zhang PetscFunctionBegin; 22629566063dSJacob Faibussowitsch PetscCall(MatCreateMPIMatConcatenateSeqMat_MPISBAIJ(comm, inmat, n, scall, outmat)); 22633ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 226459f5e6ceSHong Zhang } 2265