Thank you! To get a working prototype for the functional equations solver,
the coercion issue with tensors is the most interesting issue.
I am already quite happy that it works with symmetric functions in one
variable!
Apart from technicalities, it might then be interesting to explore whether
Hi Martin,
I plan to look closely at this this week. Unfortunately I cannot offer
anything quick now.
Best,
Travis
On Monday, February 12, 2024 at 2:42:52 AM UTC+9 Martin R wrote:
> Apart from that, I think the last bit I need to do is to make the
> TensorProductFunctor inherit from
Apart from that, I think the last bit I need to do is to make the
TensorProductFunctor inherit from MultivariateConstructionFunctor, to make
coercion work for things like
sage: h = SymmetricFunctions(ZZ).h()
sage: T = tensor([h, h])
sage: T.base_ring()
Integer Ring
sage: 1/2*T.an_element()