A bihomogeneous polynomial in x, y, ... and the coefficients of some homogeneous form in x, y, ... that is invariant under some group of linear transformations.
Étant donné que le calcul du covariant pour les polynômes de degré supérieur est coûteux en calcul, les chercheurs s'appuient souvent sur des logiciels spécialisés pour les trouver efficacement.
L'équation représente une ligne ; la variété définie par le covariant détermine si cette ligne coupe un cercle spécifique.
Le type de retour covariant d'un langage de programmation permet à une fonction dans une sous-classe de renvoyer un type plus spécifique que la fonction dans sa superclasse, garantissant que les actions composées de l'héritage et de l'appel de fonction produisent toujours les résultats attendus.
