{"version":9,"randomSeed":"cc2de69be96379fb1690cb913ae8fdac","graph":{"viewport":{"xmin":-4.999999999999999,"ymin":-6.446980870825306,"xmax":5.000000000000003,"ymax":6.44698087082531}},"expressions":{"list":[{"type":"text","id":"20","text":"angle by which to tilt the lens"},{"type":"expression","id":"2","color":"#2d70b3","latex":"\\alpha=0.49","slider":{"hardMin":true,"hardMax":true,"min":"0","max":"\\frac{\\pi}{2}"}},{"type":"expression","id":"3","color":"#388c46","latex":"C\\left(\\theta\\right)=\\left(\\cos\\theta,\\sin\\theta\\right)"},{"type":"text","id":"16","text":"lens (yes, in real life lenses are curved)"},{"type":"expression","id":"4","color":"#000000","latex":"\\operatorname{polygon}\\left(\\left[C\\left(\\alpha\\right)+5C\\left(\\alpha-\\frac{\\pi}{2}\\right),C\\left(\\alpha\\right)-5C\\left(\\alpha-\\frac{\\pi}{2}\\right),-C\\left(\\alpha\\right)-5C\\left(\\alpha-\\frac{\\pi}{2}\\right),-C\\left(\\alpha\\right)+5C\\left(\\alpha-\\frac{\\pi}{2}\\right)\\right]\\right)"},{"type":"text","id":"18","text":"effective lens thickness (as a coefficient from the original thickness)"},{"type":"expression","id":"13","color":"#2d70b3","latex":"\\operatorname{polygon}\\left(\\left(-\\frac{1}{\\cos\\alpha},0\\right),\\left(\\frac{1}{\\cos\\alpha},0\\right)\\right)"},{"type":"expression","id":"14","color":"#6042a6","latex":"\\frac{1}{\\cos\\alpha}"}]}}