Re: problem with operation

[mfb@mbunix.mitre.org (Michael F Brenner)]

Since the elements of the matrix are private, they do not carry
with them any + operators. One way to repair this is to give
the generic matrix package that + operator in addition to the element
type, like this:

     generic
        ...
        type elements is private;
        with function "+" (left, right: elements) return elements;
        ...
     package fixed_matrix_essence is
        type fixed_matrices is private;
        ...
        function "+" (left, right: fixed_matrices) return fixed_matrices;
        ...

The body will then be able to add elements, because you gave it
the function + for elements. 

Other possibilities include: derived or other global operations,
or a non-private element type for the matrices.