hi, thanks for your time. There's a few levels to what I am having trouble with.
I am learning homotopy and want to visualize a deformation retraction from the punctured torus (ie. torus but has one point missing) to the graph of two circles meeting in a point. they represent the meridian and longitudinal circles on the torus.
since torus is homeomorphic to the quotient space I^2/(opposite edges identified) for some interval I, I just would like to do a visualization of my explicit deformation retraction on the interval square. The main issue is my functions depend on the L-infinity or sup norm and I can't see how to define a multivariable function using it.
I want to be able to be like F(x,1) = x/x.norm('infinity') where x is in R2
or even F((x,y),1) = ...
I will just write my own norm function if it is not in sage but it seems odd to be missing to I am hoping someone enlightens me.. also, does sage already have a torus that can be represented as a specified square? Thanks for your time..