If TensorPower(n,R,B,M) meant the n-fold tensor product of the module M then I would expect only terms of the form b_i(1) # ... b_i(n) for a B=[b[i] for i in 1..m]. Actually we can form base terms of arbitrary length (see example below).
While tensor(xx : List M) checks the length of the list, tensor(bb : List B) does not, neither the 'coercion' from 'vector'. This might be a source of confusion. Kurt -- http://fricas.github.io/api/TensorPower.html R ==> Expression Integer B:=OrderedVariableList [b[i] for i in 1..4] M:=FreeModule(R,B) T:=TensorPower(3,R,B,M) b:=enumerate()$B -- should not be allowed ?! length=2 instead of 3 b13 := vector [b.1,b.3]::T tensor(b)$T tensor([b.2,b.4])$T bb:=b::List(M) -- tensor([x*bb.1+y*bb.3])$T -- >> Error detected within library code: -- wrong size -- ok tensor([bb.1,bb.2,bb.4])$T tensor([x*bb.1+y*bb.3,bb.2,bb.4])$T -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
