191         PetscReal wvcheck = 0.;  in main()  local
194         for (l = 0; l < N; l++) wvcheck += w[l] * v[l];  in main()
195         diff = PetscSqrtReal(PetscSqr(wvcheck - wv));  in main()
196 … + PetscAbsReal(wvcheck)), PETSC_COMM_WORLD, PETSC_ERR_PLIB, "1-form / dot product equivalence: wv…  in main()
199         PetscReal det, wvcheck, diff;  in main()  local
220         wvcheck = det * w[0];  in main()
221         diff    = PetscSqrtReal(PetscSqr(wvcheck - wv));  in main()
222 … PetscAbsReal(wvcheck)), PETSC_COMM_WORLD, PETSC_ERR_PLIB, "n-form / determinant equivalence: wvch…  in main()
377         PetscReal *wIntv0, *wIntv0check, wvcheck, diff, diffMat, normMat;  in main()  local
444         PetscCall(PetscDTAltVApply(N, k - 1, wIntv0, &v[N], &wvcheck));  in main()
445         diff = PetscSqrtReal(PetscSqr(wvcheck - wv));  in main()
446 …+ PetscAbsReal(wvcheck)), PETSC_COMM_WORLD, PETSC_ERR_PLIB, "Interior product check: (w Int v0)(v_…  in main()