D(C) must be compatible with D out (op) of the semiring. [Scott: SHOULD THIS BE QUAL-
IFIED: if accum is GrB_NULL? Here and globally?]
This should not be qualified. If C(i,j) does not exist, but T(i,j) does, then the assignment C(i,j) = T(i,j) is made, bypassing the accumulator. As a result, when the accum is not NULL, D(C) must still be compatible with Dout(op), which is the type of T in this case. Line 2925 should be unchanged and you can delete the pending question.
mcmillan03
commented
2 years ago
on line 2925 the draft states:
This should not be qualified. If C(i,j) does not exist, but T(i,j) does, then the assignment C(i,j) = T(i,j) is made, bypassing the accumulator. As a result, when the accum is not NULL, D(C) must still be compatible with Dout(op), which is the type of T in this case. Line 2925 should be unchanged and you can delete the pending question.