Hello, Suppose there's a function like this:
f(a, b, c, g) == vector([matrix([[g(i, j, k) for k in 1..c] for j in 1..b]) for i in 1..a]) And then if I try to do something like this: f(2, 3, 5, (i, j, k) +-> i * j * k) + f(2, 3, 5, (i, j, k) +-> i + j + k) or this f(2, 3, 5, (i, j, k) +-> i * j * k) - f(2, 3, 5, (i, j, k) +-> i + j + k) ... I get an error about the missing library operation. At first I thought: why not make Vector(R) be an AbelianGroup if R is an AbelianGroup. And make Matrix(R) be an AbelianGroup if R is an AbelianGroup. After thinking about it some more, I'm actually not sure why couldn't every HomogeneousAggregate(S) have AbelianGroup if S is an AbelianGroup. And other algebraic structures apart from AbelianGroup, too. Thanks, Neven -- 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/CAL%2BbK4PDs6aCKakZdf_jAM3cw37KQ8JwTErVuj0MhozOV9S9XA%40mail.gmail.com.
