"Algebras/alg_basepairMax.gap": the first RNA folding algorithm 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.