dot_product as inner_product_space

Stream: Is there code for X?

[Alexander Bentkamp]

Is there an instance to make m → α an inner_product_space via matrix.dot_product? I could imagine that such an instance might trigger some type class issues?

[Yaël Dillies]

docs#pi_Lp.inner_product_space ?

[Alexander Bentkamp]

Oh, great, thanks!

[Eric Wieser]

Or docs#lp.inner_product_space if you have an infinite m

[Alexander Bentkamp]

Also good to know, but I think the finite version will be enough for me.