Computing Joins in the Weak Order of Type B Coxeter Groups: an Algorithmic Approach | Synapse