On 11/4/19 11:24 PM, Prof. Dr. Johannes Grabmeier privat wrote: > Hi all, > I have enhanved TwoDimensionalArray to include arithmetic for block > matrices and have an operation array2 (similar to matrix for Matrix) for > easy creation of two-dimensional array and would suggest to include this > into the next version:
I guess the background of this is relatively clear. FriCAS currently forbids the creation of Matrix(Matrix Integer). (15) -> A := matrix([[A11, A12],[A21, A22]])$Matrix(Matrix Integer) Matrix(Matrix(Integer)) is not a valid type. You basically suggest to get around this problem, but extending TwoDimensionalArray. What application do you have in mind? Why I would be against this extension is that TwoDimensionaArray is a data structure domain, i.e., no algebraic operations. Your operations should live in an "algebraic" domain. But even then I see problems, because + and * will be partial functions (much as in Matrix(Matrix Integer) if it were possible). A good motivation for your extensions would help to consider them for FriCAS. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/22bdd7af-bed9-b76a-6edc-6384614903fe%40hemmecke.org.
