computation with respect to a field

вычисление относительно поля (состоит из множества формальных переменных, называемых входами, и множества имён переменных опредёленной последовательности шагов, реализуется в неветвящихся программах)