function E = cartProd_(E,S,type)
% cartProd_ - returns an over-approximation for the Cartesian product 
%    between two ellipsoids
%
% Syntax:
%    E = cartProd_(E,S)
%    E = cartProd_(E,S,type)
%
% Inputs:
%    E - ellipsoid object
%    S - contSet object
%    type - outer approximation ('outer') or inner approximation ('inner')
%
% Outputs:
%    E - ellipsoid object
%
% Example: 
%    E1 = ellipsoid([3 -1; -1 1],[1;0]);
%    E2 = ellipsoid([5 1; 1 2],[1;-1]);
%    E = cartProd(E1,E2); 
%
% Other m-files required: none
% Subfunctions: none
% MAT-files required: none
%
% See also: contSet/cartProd

% Authors:       Victor Gassmann
% Written:       19-March-2021
% Last update:   02-June-2022 (VG, handle empty case)
%                17-April-2024 (TL, simplified ellipsoid-ellipsoid case)
% Last revision: 27-March-2023 (MW, rename cartProd_)

% ------------------------------ BEGIN CODE -------------------------------

% currently only 'outer' supported
if any(strcmp(type,{'inner','exact'}))
    throw(CORAerror('CORA:notSupported',...
        'The function ''cartProd'' supports only type = ''outer'' for ellipsoid objects.'));
end


if strcmp(type,'outer')
    
    if isa(E,'ellipsoid')
        
        if isa(S,'ellipsoid')
            % ellipsoid-ellipsoid case

            % Cartesian product of interval over-approximations
            IntE = cartProd_(interval(E),interval(S),'exact');
            
            % construct final ellipsoid
            E = ellipsoid(IntE);
            return

        elseif isnumeric(S)
            % ellipsoid-numeric case
    
            E = ellipsoid(blkdiag(E.Q,zeros(length(S))), [E.q;S]);
            return
    
        end

    elseif isnumeric(E) && isa(S,'ellipsoid')
        % numeric-ellipsoid case

        E = ellipsoid(blkdiag(zeros(length(E)),S.Q), [E;S.q]);
        return

    end
end

% all other cases: throw error
throw(CORAerror('CORA:noops',E,S,type));

% ------------------------------ END OF CODE ------------------------------
