function C = GB_spec_Matrix_eWiseAdd (C, Mask, accum, add, A, B, descriptor, ignore)
%GB_SPEC_MATRIX_EWISEADD a MATLAB mimic of GrB_Matrix_eWiseAdd
%
% Usage:
% C = GB_spec_Matrix_eWiseAdd (C, Mask, accum, add, A, B, descriptor)
%
% Computes C<Mask> = accum(C,T), in GraphBLAS notation, where T =A+B, A'+B,
% A+B' or A'+B'.  The pattern of T is the union of A and B.

% SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2020, All Rights Reserved.
% http://suitesparse.com   See GraphBLAS/Doc/License.txt for license.

%-------------------------------------------------------------------------------
% get inputs
%-------------------------------------------------------------------------------

if (nargout > 1 || ~(nargin == 7 || nargin == 8))
    error ('usage: C = GB_spec_Matrix_eWiseAdd (C, Mask, accum, add, A, B, descriptor)') ;
end

C = GB_spec_matrix (C) ;
A = GB_spec_matrix (A) ;
B = GB_spec_matrix (B) ;
[add_op optype ztype xtype ytype] = GB_spec_operator (add, C.class) ;
[C_replace Mask_comp Atrans Btrans Mask_struct] = ...
    GB_spec_descriptor (descriptor) ;
Mask = GB_spec_getmask (Mask, Mask_struct) ;

%-------------------------------------------------------------------------------
% do the work via a clean MATLAB interpretation of the entire GraphBLAS spec
%-------------------------------------------------------------------------------

% apply the descriptor to A
if (Atrans)
    A.matrix = A.matrix.' ;
    A.pattern = A.pattern' ;
end

% apply the descriptor to B
if (Btrans)
    B.matrix = B.matrix.' ;
    B.pattern = B.pattern' ;
end

% T = A+B, with typecasting
T.matrix = GB_spec_zeros (size (A.matrix), ztype) ;

% apply the add to entries in the intersection of A and B
p = A.pattern & B.pattern ;
% first cast the entries into the class of the operator
% note that in the spec, all three domains z=op(x,y) can be different
% here they are assumed to all be the same
A1 = GB_mex_cast (A.matrix (p), xtype) ;
B1 = GB_mex_cast (B.matrix (p), ytype) ;
z = GB_spec_op (add, A1, B1) ;
T.matrix (p) = z ;

% cast entries in A but not in B, into the result T
p = A.pattern & ~B.pattern ;
T.matrix (p) = GB_mex_cast (A.matrix (p), ztype) ;

% cast entries in B but not in A, into the result T
p = B.pattern & ~A.pattern ;
T.matrix (p) = GB_mex_cast (B.matrix (p), ztype) ;

% the pattern of T is the union of both A and B
T.pattern = A.pattern | B.pattern ;

T.class = ztype ;

% C<Mask> = accum (C,T): apply the accum, then Mask, and return the result
C = GB_spec_accum_mask (C, Mask, accum, T, C_replace, Mask_comp, 0) ;


