On Wed, May 10, 2023 at 11:27:25AM -0700, Sid Andal wrote:
> 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.
Yes. The patch uses OrderedVariableList. So you need:
o2 := OVAR(['E1, 'E2])
o3 := OVAR(['F1, 'F2, 'F3])
Then
tP := TensorProduct(FN, o2, o3, A2, A3)
works and you can do
tensor((basis()$A2)(1), (basis()$A3)(1))$tP
--
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/20230510194000.ett5qpt2aobjsokd%40fricas.math.uni.wroc.pl.
