The patch file ALGSC.diff was applied to the file naalg.spad (no ALGSC.spad file in the installation src dir) containing the AlgebraGivenByStructuralConstants entry and compiled.
The Algs A2 and A3 with bases V2 and V3 are as before. The call to TensorProduct gives an invalid type error: (22) -> TA := TensorProduct(FN, V2, V3, A2, A3) V2 is not a valid type. (22) -> SWA On Tuesday, May 9, 2023 at 3:29:42 PM UTC-5 Waldek Hebisch wrote: > On Tue, May 09, 2023 at 09:32:10AM -0700, Sid Andal wrote: > > > > 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]) > > > <snip> > > 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. > > Currently TensorProduct requires that M1 has FreeModuleCategory(R, B1) > and similarly for M2. But AlgebraGivenByStructuralConstants does > not have FreeModuleCategory. So one needs to modify > AlgebraGivenByStructuralConstants to add FreeModuleCategory > and implement needed functions. See attached (only lightly tested) > patch for how one can do this. > > -- > Waldek Hebisch > -- 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/1dfb9ddf-d2bb-48bc-b2bc-086497d62c11n%40googlegroups.com.
