Поскольку вычисление коварианта для многочленов более высокой степени требует больших вычислительных затрат, исследователи часто полагаются на специализированное программное обеспечение для эффективного их поиска.
Ковариантный тип возвращаемого значения языка программирования позволяет функции в подклассе возвращать более конкретный тип, чем функция в его суперклассе, обеспечивая, чтобы составные действия наследования и вызова функции по-прежнему давали ожидаемые результаты.