【计】 最简一致置换

simplest

simplest formula

simplest orthogonal polynomial【数】

simplest unifier【计】