sage: h = SymmetricFunctions(QQ).h()
sage: S = LazySymmetricFunctions(h)
sage: E = S(lambda n: h[n])
sage: T = LazySymmetricFunctions(tensor([h, h]))
sage: X = tensor([h[1],h[[]]])
sage: Y = tensor([h[[]],h[1]])
sage: A = T.undefined()
sage: B = T.undefined()
sage: T.define_implicitly([A, B], [A -
I just prepared a very long answer. Doing so I had to check something in
my code. This in turn lead me to discover a bug, which might slightly
change things. I am too tired right now to fix the bug (it might not be
easy), so please give me a night.
This might reduce the problem to nothing, b
On Friday 23 February 2024 at 06:44:39 UTC-8 Martin R wrote:
Dear all!
I badly need help to make the following work. Let M be a module over a ring
Q, and let R be a ring with a coercion from Q to R. Then I want to be able
to multiply elements in R with elements in tensor products of M.
It lo
