Étant donné quele calcul du covariant pourles polynômes de degré supérieur est coûteux en calcul, les chercheurs s'appuient souvent sur des logiciels spécialisés pourles trouver efficacement.
Letypede retour covariant d'un langage de programmation permet à une fonction dans une sous-classe de renvoyer untypeplus spécifique quela fonction dans sa superclasse, garantissant quelesactions composées del'héritage etdel'appel de fonction produisent toujours les résultats attendus.