Галуа Ч.1: Классы вычетов и группы

b - это просто вспомогательная переменная для хранения результата вычисления (). Она используется только для того, чтобы в алгоритме явно разделить этап вычисления и этап проверки условия. В реализации на Python (Sage) отдельная переменная b не обязательна - результат можно сразу использовать в условии.