Problem defining the tensor product of two algebras A2 and A3 as defined below:
FN := PrimeField 11 S2 ==> SQMATRIX(2, FN) M : S2 := [[10, 7], [3, 8]] N : S2 := [[9, 2], [5, 1]] A2 := ALGSC(FN, 2, ['E1, 'E2], [M, N]) V2 := basis()$A2 (E1, E2) := (V2(1), V2(2)) )clear p M N S3 ==> SQMATRIX(3, FN) M : S3 := [[5, 3, 10], [9, 4, 7], [2, 10, 1]] N : S3 := [[4, 2, 5], [6, 1, 7], [10, 5, 8]] P : S3 := [[7, 3, 9], [8, 1, 5], [4, 2, 7]] A3 := ALGSC(FN, 3, ['F1, 'F2, 'F3], [M, N, P]) V3 := basis()$A3 (F1, F2, F3) := (V3(1), V3(2), V3(3)) )clear p M N P using TensorProduct(R, B1, B2, M1, M2) with FN for R and A2 and A3 for M1 and M2, resp., but having trouble defining B1 and B2 in terms of V2 and V3. SWA -- 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/b8c30c5b-183c-4cfb-b5e8-641c7c7b771bn%40googlegroups.com.
