translation and dilation

Stream: Is there code for X?

[Jireh Loreaux]

What's the right incantation for a continuous linear equiv for which its trivial to show that it sends one ball to another (even if one of them is centered at zero is enough)? I see we have docs#ContinuousLinearEquiv.smulLeft, but I can't find an addLeft version. Unfortunately, I couldn't find a way to ask loogle this question in a way that would return anything sensible.

[Aaron Liu]

If it's a translation it won't be linear right

[Jireh Loreaux]

sure, sorry, I meant affine. I just need it to move one ball to another and preserve convexity.

[Jireh Loreaux]

oh, I guess it's probably +ᵥ so it's vadd.

[Jireh Loreaux]

docs#ContinuousAffineEquiv.constVAdd

[Jireh Loreaux]

with docs#Convex.vadd.

[Eric Wieser]

I think there's an affine isometry version somewhere too