&quot;Algebras/alg_basepairMax.gap&quot;: the first <a href="http://ultrastudio.org/en/Nussinov_algorithm">RNA folding algorithm</a> by Ruth Nussinov used the maximal number of base pairs as optimization function. This algebra computes exactly these values and maximizes over all of them.