Interestingly, the symbolic evaluation mentioned in the previous post now “just works”. Not sure what I did wrong. Here’s the updated snippet. Also, instead of the additional bp detectors, one can get to all the interesting bits directly from the trace output, e.g.
Investigating here whether the “simple” external solution with just one focussing element can work at all. Idea is that after BS, one would have a 45deg plane mirror to direct the beam some distance away to a focussing mirror, which produces a waist slightly before (or after) the PR/SR mirror, potentially with another folding mirror […]