{"id":177237,"date":"2013-04-18T22:11:03","date_gmt":"2013-04-18T18:11:03","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=177237"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=177237","title":{"rendered":"\u041c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u044b \u043e\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0411\u0443\u0445\u0431\u0435\u0440\u0433\u0435\u0440\u0430 \u043d\u0430 Haskell<\/span>"},"content":{"rendered":"
\t\u0412 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u044f \u0445\u043e\u0447\u0443 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u0442\u044c \u043e \u0442\u043e\u043c, \u043a\u0430\u043a \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u044b\u0432\u0430\u043b \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0441 \u0431\u0430\u0437\u0438\u0441\u0430\u043c\u0438 \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430, \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Haskell. \u041d\u0430\u0434\u0435\u044e\u0441\u044c \u043a\u043e\u043c\u0443-\u043d\u0438\u0431\u0443\u0434\u044c \u043c\u043e\u0438 \u0438\u0434\u0435\u0438 \u0438 \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u0438\u044f \u043e\u043a\u0430\u0436\u0443\u0442\u0441\u044f \u043f\u043e\u043b\u0435\u0437\u043d\u044b\u043c\u0438. \u042f \u043d\u0435 \u0441\u043e\u0431\u0438\u0440\u0430\u044e\u0441\u044c \u0432\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0432 \u0442\u0435\u043e\u0440\u0438\u044e, \u0442\u0430\u043a \u0447\u0442\u043e \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044e \u0441\u0442\u043e\u0438\u0442 \u0431\u044b\u0442\u044c \u0437\u043d\u0430\u043a\u043e\u043c\u044b\u043c \u0441 \u043f\u043e\u043d\u044f\u0442\u0438\u044f\u043c\u0438 \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0438\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043a\u043e\u043b\u044c\u0446\u0430, \u0438\u0434\u0435\u0430\u043b\u0430 \u043a\u043e\u043b\u044c\u0446\u0430 \u0438 \u0431\u0430\u0437\u0438\u0441\u0430 \u0438\u0434\u0435\u0430\u043b\u0430. \u0421\u043e\u0432\u0435\u0442\u0443\u044e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0432\u043e\u0442 \u044d\u0442\u0443<\/a> \u043a\u043d\u0438\u0433\u0443 \u041c\u0426\u041d\u041c\u041e, \u0432 \u043d\u0435\u0439 \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0430 \u0432\u0441\u044f \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u0430\u044f \u0442\u0435\u043e\u0440\u0438\u044f.<\/p>\n

\u041e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u043f\u0440\u0435\u0434\u043c\u0435\u0442 \u0441\u0442\u0430\u0442\u044c\u0438 \u2014 \u0431\u0430\u0437\u0438\u0441\u044b \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430 \u0438\u0434\u0435\u0430\u043b\u043e\u0432 \u043a\u043e\u043b\u0435\u0446 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u043e\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445. \u042d\u0442\u043e \u043f\u043e\u043d\u044f\u0442\u0438\u0435 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u043f\u0440\u0438 \u0438\u0437\u0443\u0447\u0435\u043d\u0438\u0438 \u0441\u0438\u0441\u0442\u0435\u043c \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0438\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0438 \u0434\u0430\u0451\u0442 \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u0440\u043e\u0448\u0438\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0434\u043b\u044f \u0438\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0432 \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0435 \u0441\u043b\u0443\u0447\u0430\u0435\u0432. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u044f \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043f\u043e\u043a\u0430\u0436\u0443, \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0442\u044c \u044d\u0442\u0438 \u0438\u0434\u0435\u0438.<\/p>\n

\u0421\u0430\u043c\u044b\u0439 \u0433\u043b\u0430\u0432\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0434\u0430\u0451\u0442 \u044d\u0442\u0430 \u0442\u0435\u043e\u0440\u0438\u044f \u2014 \u0445\u043e\u0440\u043e\u0448\u0438\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0440\u0435\u0448\u0430\u0442\u044c \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0438\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u043e\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445. \u0414\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u0432\u044b \u043d\u0435 \u0437\u043d\u0430\u043a\u043e\u043c\u044b \u0441 \u0432\u044b\u0441\u0448\u0435\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u043e\u0439 \u0438\u043b\u0438 \u0441 Haskell, \u044f \u0441\u043e\u0432\u0435\u0442\u0443\u044e \u0432\u0430\u043c \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u044d\u0442\u0443 \u0441\u0442\u0430\u0442\u044c\u044e, \u0442\u0430\u043a \u043a\u0430\u043a \u044d\u0442\u0438 \u0441\u0430\u043c\u044b\u0435 \u043c\u0435\u0442\u043e\u0434\u044b \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u044b \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435, \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e\u043c \u0448\u043a\u043e\u043b\u044c\u043d\u0438\u043a\u0443, \u0430 \u0432\u0441\u044f \u0442\u0435\u043e\u0440\u0438\u044f \u043d\u0443\u0436\u043d\u0430 \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u043e\u0431\u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u044f. \u041c\u043e\u0436\u043d\u043e \u0441\u043f\u043e\u043a\u043e\u0439\u043d\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u0432\u0441\u0451, \u0447\u0442\u043e \u0441\u0432\u044f\u0437\u0430\u043d\u043e \u0441 \u0432\u044b\u0441\u0448\u0435\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u043e\u0439, \u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0430\u0443\u0447\u0438\u0442\u044c\u0441\u044f \u0440\u0435\u0448\u0430\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439. <\/p>\n

\u0415\u0441\u043b\u0438 \u0432\u0430\u0441 \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u043b\u043e, \u043f\u0440\u043e\u0448\u0443 \u043f\u043e\u0434 \u043a\u0430\u0442. <\/a><\/p>\n

\u042f \u043f\u0440\u043e\u0448\u0443 \u043f\u0440\u043e\u0449\u0435\u043d\u0438\u044f \u0437\u0430 \u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0438 \u2014 \u044d\u0442\u043e \u043e\u0442\u0440\u0435\u043d\u0434\u0435\u0440\u0435\u043d\u043e latex’\u043e\u043c, \u0430 \u043a\u0430\u043a \u0437\u0430\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0445\u0430\u0431\u0440 \u043f\u043e\u043d\u0438\u043c\u0430\u0442\u044c style="width:...;height=...;"<\/code> \u044f \u043d\u0435 \u0437\u043d\u0430\u044e. \u0415\u0441\u043b\u0438 \u043f\u043e\u0434\u0441\u043a\u0430\u0436\u0435\u0442\u0435 \u0441\u043f\u043e\u0441\u043e\u0431 \u043b\u0443\u0447\u0448\u0435, \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0435\u043b\u0430\u044e.<\/i><\/p>\n

1 \u0421\u0430\u043c\u044b\u0435 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u044b\u0435 \u043f\u043e\u043d\u044f\u0442\u0438\u044f \u0438\u0437 \u0430\u043b\u0433\u0435\u0431\u0440\u044b<\/h4>\n

<\/a>\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430, \u043d\u0430 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0445 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u0434\u0430\u0442\u044c \u0434\u0432\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u2014 \u00ab\u0441\u043b\u043e\u0436\u0435\u043d\u0438\u0435\u00bb \u0438 \u00ab\u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u0435\u00bb, \u043e\u0442\u0432\u0435\u0447\u0430\u044e\u0449\u0438\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u043e\u043c\u0443 \u043d\u0430\u0431\u043e\u0440\u0443 \u043f\u0440\u0430\u0432\u0438\u043b (\u0430\u043a\u0441\u0438\u043e\u043c), \u0432 \u0430\u043b\u0433\u0435\u0431\u0440\u0435 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u043a\u043e\u043b\u044c\u0446\u0430\u043c\u0438<\/i>. \u041c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u044b \u043e\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445, \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442\u0430\u043c\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432\u0435\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0435 \u0447\u0438\u0441\u043b\u0430, \u043e\u0431\u0440\u0430\u0437\u0443\u044e\u0442 \u043a\u043e\u043b\u044c\u0446\u043e, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u043c\u043e\u0435 , \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u0448\u043a\u043e\u043b\u044c\u043d\u044b\u0445 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439 \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u0438 \u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u044f \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432. \u0418\u0434\u0435\u0430\u043b\u043e\u043c<\/i> \u043a\u043e\u043b\u044c\u0446\u0430 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u043e\u0435 \u0435\u0433\u043e \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e, \u0440\u0430\u0437\u043d\u043e\u0441\u0442\u044c \u0434\u0432\u0443\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043b\u0435\u0436\u0438\u0442 \u0432 \u043d\u0451\u043c \u0436\u0435 \u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u043b\u044e\u0431\u043e\u0433\u043e \u0435\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u043a\u043e\u043b\u044c\u0446\u0430 \u043b\u0435\u0436\u0438\u0442 \u0432 \u044d\u0442\u043e\u043c \u043f\u043e\u0434\u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0435. \u0421\u0430\u043c\u044b\u0439 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u0438\u0434\u0435\u0430\u043b\u0430 \u2014 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043a\u0440\u0430\u0442\u043d\u044b\u0445 \u043f\u044f\u0442\u0438 \u0447\u0438\u0441\u0435\u043b \u043a\u0430\u043a \u0438\u0434\u0435\u0430\u043b \u0432 \u043a\u043e\u043b\u044c\u0446\u0435 \u0446\u0435\u043b\u044b\u0445 \u0447\u0438\u0441\u0435\u043b. \u0421\u0430\u043c\u043e\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u043d\u043e \u0443\u0431\u0435\u0434\u0438\u0442\u0435\u0441\u044c \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u044d\u0442\u043e \u0438\u0434\u0435\u0430\u043b. \u0415\u0441\u043b\u0438 \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c \u2014 \u0434\u0430\u043b\u044c\u0448\u0435 \u0442\u043e\u0436\u0435 \u043e\u0441\u043e\u0431\u044b\u0445 \u043f\u0440\u043e\u0431\u043b\u0435\u043c \u043d\u0435 \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u0435\u0442. <\/p>\n

\u0414\u0430\u043b\u0435\u0435 \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0438\u0434\u0435\u0430\u043b\u044b \u0432 \u043a\u043e\u043b\u044c\u0446\u0435 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432. \u041d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u043d\u0430\u0431\u043e\u0440 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0431\u0430\u0437\u0438\u0441\u043e\u043c<\/i> \u0438\u0434\u0435\u0430\u043b\u0430, \u0435\u0441\u043b\u0438 \u043b\u044e\u0431\u043e\u0439 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u0438\u0437 \u0438\u0434\u0435\u0430\u043b\u0430 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043c \u0432 \u0432\u0438\u0434\u0435 , \u0433\u0434\u0435 \u2014 \u043a\u0430\u043a\u0438\u0435-\u0442\u043e \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u044b. \u042d\u0442\u043e\u0442 \u0444\u0430\u043a\u0442 \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a: . \u0422\u0435\u043e\u0440\u0435\u043c\u0430 \u0413\u0438\u043b\u044c\u0431\u0435\u0440\u0442\u0430 \u043e \u0431\u0430\u0437\u0438\u0441\u0435 \u0434\u0430\u0451\u0442 \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u2014 \u043b\u044e\u0431\u043e\u0439<\/i> \u0438\u0434\u0435\u0430\u043b (\u0432 \u043a\u043e\u043b\u044c\u0446\u0435 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432) \u0438\u043c\u0435\u0435\u0442 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0431\u0430\u0437\u0438\u0441. \u042d\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0432 \u043b\u044e\u0431\u043e\u0439 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u043c\u0438 \u0431\u0430\u0437\u0438\u0441\u0430\u043c\u0438 \u0438\u0434\u0435\u0430\u043b\u043e\u0432. <\/p>\n

\u0422\u0435\u043f\u0435\u0440\u044c \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0432\u0438\u0434\u0430:<\/p>\n

<\/p>\n

\u041d\u0430\u0437\u043e\u0432\u0451\u043c \u0438\u0434\u0435\u0430\u043b\u043e\u043c \u044d\u0442\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0438\u0434\u0435\u0430\u043b . \u0418\u0437 \u0430\u043b\u0433\u0435\u0431\u0440\u044b \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u0447\u0442\u043e \u043b\u044e\u0431\u043e\u0439 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d, \u043b\u0435\u0436\u0430\u0449\u0438\u0439 \u0432 \u0438\u0434\u0435\u0430\u043b\u0435 , \u043e\u0431\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0432 \u043d\u0443\u043b\u044c \u043d\u0430 \u043b\u044e\u0431\u043e\u043c \u0440\u0435\u0448\u0435\u043d\u0438\u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b. \u0418 \u0434\u0430\u043b\u0435\u0435, \u0435\u0441\u043b\u0438 \u2014 \u0434\u0440\u0443\u0433\u043e\u0439 \u0431\u0430\u0437\u0438\u0441 \u0438\u0434\u0435\u0430\u043b\u0430 , \u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430<\/p>\n

<\/p>\n

\u0438\u043c\u0435\u0435\u0442 \u0442\u043e \u0436\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0440\u0435\u0448\u0435\u043d\u0438\u0439, \u0447\u0442\u043e \u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u0430\u044f. \u0418\u0437 \u044d\u0442\u043e\u0433\u043e \u0432\u0441\u0435\u0433\u043e \u0441\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u043d\u0430\u043c \u0443\u0434\u0430\u0441\u0442\u0441\u044f \u043d\u0430\u0439\u0442\u0438 \u0432 \u0438\u0434\u0435\u0430\u043b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0431\u0430\u0437\u0438\u0441, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u043e\u0449\u0435, \u0447\u0435\u043c \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439, \u0442\u043e \u0438 \u0437\u0430\u0434\u0430\u0447\u0430 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0441\u0430\u043c\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0443\u043f\u0440\u043e\u0449\u0430\u0435\u0442\u0441\u044f. <\/p>\n

\u0412\u043e\u043b\u0448\u0435\u0431\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u0442\u0430\u043a\u043e\u0439 \u0431\u0430\u0437\u0438\u0441 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u2014 \u043e\u043d \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0431\u0430\u0437\u0438\u0441\u043e\u043c \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430 \u0438\u0434\u0435\u0430\u043b\u0430. \u041f\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044e \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0439 \u0431\u0430\u0437\u0438\u0441, \u0447\u0442\u043e \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430 \u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0441 \u043e\u0441\u0442\u0430\u0442\u043a\u043e\u043c (\u043e \u043d\u0435\u0439 \u043f\u043e\u0437\u0436\u0435) \u0434\u043b\u044f \u043b\u044e\u0431\u043e\u0433\u043e \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430 \u0438\u0437 \u0438\u0434\u0435\u0430\u043b\u0430 \u0432\u044b\u0434\u0430\u0441\u0442 \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u043e\u0441\u0442\u0430\u0442\u043e\u043a. \u0415\u0441\u043b\u0438 \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0441\u0442\u0438 \u0435\u0433\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435, \u0442\u043e \u043e\u0434\u0438\u043d \u0438\u0437 \u0435\u0433\u043e \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432, \u043f\u043e \u043a\u0440\u0430\u0439\u043d\u0435\u0439 \u043c\u0435\u0440\u0435 \u0432 \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0435 \u0441\u043b\u0443\u0447\u0430\u0435\u0432, \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u0432\u0438\u0441\u0435\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0442 \u043e\u0434\u043d\u043e\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439, \u0447\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u0438\u0442 \u0440\u0435\u0448\u0438\u0442\u044c \u0438 \u0432\u0441\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u043f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u043e\u0439. <\/p>\n

\u041f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0435, \u0447\u0442\u043e \u043d\u0430\u043c \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u0438\u0442\u0441\u044f \u2014 -\u043f\u043e\u043b\u0438\u043d\u043e\u043c \u0438 \u043a\u0440\u0438\u0442\u0435\u0440\u0438\u0439 -\u043f\u0430\u0440 \u0411\u0443\u0445\u0431\u0435\u0440\u0433\u0435\u0440\u0430. \u0412\u044b\u0431\u0435\u0440\u0435\u043c \u043a\u0430\u043a\u043e\u0439-\u043d\u0438\u0431\u0443\u0434\u044c \u00ab\u0445\u043e\u0440\u043e\u0448\u0438\u0439\u00bb \u0441\u043f\u043e\u0441\u043e\u0431 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0438\u0432\u0430\u043d\u0438\u044f \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432 (\u0437\u0430 \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e\u0441\u0442\u044f\u043c\u0438 \u2014 \u0432 \u043a\u043d\u0438\u0436\u043a\u0443) \u0438 \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0438\u043c \u0447\u0435\u0440\u0435\u0437 \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0447\u043b\u0435\u043d (\u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u044d\u0442\u043e\u0433\u043e \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0438\u0432\u0430\u043d\u0438\u044f) \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430 , \u0430 \u0447\u0435\u0440\u0435\u0437 \u2014 \u043d\u0430\u0438\u043c\u0435\u043d\u044c\u0448\u0435\u0435 \u043e\u0431\u0449\u0435\u0435 \u043a\u0440\u0430\u0442\u043d\u043e\u0435 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u0438 . \u0422\u043e\u0433\u0434\u0430 -\u043f\u043e\u043b\u0438\u043d\u043e\u043c\u043e\u043c \u043e\u0442 \u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0430\u044f \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f: <\/p>\n

<\/p>\n

\u0414\u043e\u043a\u0430\u0437\u0430\u043d\u043e (\u043a\u0440\u0438\u0442\u0435\u0440\u0438\u0439 -\u043f\u0430\u0440), \u0447\u0442\u043e \u0431\u0430\u0437\u0438\u0441 \u0438\u0434\u0435\u0430\u043b\u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0435\u0433\u043e \u0431\u0430\u0437\u0438\u0441\u043e\u043c \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430 \u0442\u043e\u0433\u0434\u0430 \u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u043e\u0433\u0434\u0430, \u043a\u043e\u0433\u0434\u0430 -\u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u043e\u0442 \u043b\u044e\u0431\u043e\u0439 \u043f\u0430\u0440\u044b \u0435\u0433\u043e \u0447\u043b\u0435\u043d\u043e\u0432 \u0434\u0430\u0451\u0442 \u043e\u0441\u0442\u0430\u0442\u043e\u043a 0 \u043f\u0440\u0438 \u0434\u0435\u043b\u0435\u043d\u0438\u0438 \u043d\u0430 \u0431\u0430\u0437\u0438\u0441 (\u043a\u0430\u043a \u044d\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442\u0441\u044f \u0431\u0443\u0434\u0435\u0442 \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u043e \u0434\u0430\u043b\u0435\u0435). \u042d\u0442\u043e \u0442\u0443\u0442 \u0436\u0435 \u043f\u043e\u0434\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u0442\u0430\u043a\u043e\u0433\u043e \u0431\u0430\u0437\u0438\u0441\u0430: <\/p>\n

    \n
  1. \u0414\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u043f\u0430\u0440\u044b \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u0431\u0430\u0437\u0438\u0441\u0430 \u0441\u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0438\u0445 -\u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u0438 \u0440\u0430\u0437\u0434\u0435\u043b\u0438\u0442\u044c \u0435\u0433\u043e \u0441 \u043e\u0441\u0442\u0430\u0442\u043a\u043e\u043c \u043d\u0430 \u0431\u0430\u0437\u0438\u0441.<\/li>\n
  2. \u0415\u0441\u043b\u0438 \u0432\u0441\u0435 \u043e\u0441\u0442\u0430\u0442\u043a\u0438 \u0440\u0430\u0432\u043d\u044b \u043d\u0443\u043b\u044e, \u043f\u043e\u043b\u0443\u0447\u0435\u043d \u0431\u0430\u0437\u0438\u0441 \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430. \u0418\u043d\u0430\u0447\u0435, \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u0432\u0441\u0435 \u043d\u0435\u043d\u0443\u043b\u0435\u0432\u044b\u0435 \u043e\u0441\u0442\u0430\u0442\u043a\u0438 \u043a \u0431\u0430\u0437\u0438\u0441\u0443 \u0438 \u0432\u0435\u0440\u043d\u0443\u0442\u044c\u0441\u044f \u043d\u0430 \u0448\u0430\u0433 1.<\/li>\n<\/ol>\n

    \u042d\u0442\u043e \u0438 \u0435\u0441\u0442\u044c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0411\u0443\u0445\u0431\u0435\u0440\u0433\u0435\u0440\u0430 \u2014 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u043f\u0440\u0435\u0434\u043c\u0435\u0442 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438. \u041d\u0430 \u044d\u0442\u043e\u043c \u0441 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u043e\u0439 \u0432\u0441\u0451, \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442\u044c. \u0415\u0441\u043b\u0438 \u0432\u044b \u0447\u0442\u043e-\u0442\u043e \u043d\u0435 \u043f\u043e\u043d\u044f\u043b\u0438, \u0441\u0442\u043e\u0438\u0442 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u0442\u0435 \u0432\u0438\u043a\u0438\u043f\u0435\u0434\u0438\u044e \u0438\u043b\u0438 \u043a\u043d\u0438\u0433\u0443, \u0445\u043e\u0442\u044f \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0435\u0435 \u043f\u043e\u0432\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u043d\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u0437\u043d\u0430\u043d\u0438\u0439 \u0432\u044b\u0441\u0448\u0435\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u044b.<\/p>\n

    2 \u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u043e\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u043d\u0430 Haskell<\/h4>\n

    <\/a>\u041d\u0430\u0447\u043d\u0451\u043c \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u0441 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432. \u041e\u0434\u043d\u043e\u0447\u043b\u0435\u043d \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0432\u0441\u0435\u0433\u043e \u0434\u0432\u0443\u043c\u044f \u0432\u0435\u0449\u0430\u043c\u0438 \u2014 \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442\u043e\u043c \u0438 \u043d\u0430\u0431\u043e\u0440\u043e\u043c \u0441\u0442\u0435\u043f\u0435\u043d\u0435\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445. \u0411\u0443\u0434\u0435\u043c \u0441\u0447\u0438\u0442\u0430\u0442\u044c, \u0447\u0442\u043e \u0438\u043c\u0435\u044e\u0442\u0441\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 , \u0438 \u0442\u0430\u043a \u0434\u0430\u043b\u0435\u0435. \u0422\u043e\u0433\u0434\u0430 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d \u0438\u043c\u0435\u0435\u0442 \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442 1 \u0438 \u0441\u0442\u0435\u043f\u0435\u043d\u0438 [2,3,1]<\/code>, \u0430 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d \u2014 \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442 2 \u0438 \u0441\u0442\u0435\u043f\u0435\u043d\u0438 [0,0,3]<\/code>. \u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u043d\u0430 \u043d\u0443\u043b\u0435\u0432\u044b\u0435 \u0441\u0442\u0435\u043f\u0435\u043d\u0438! \u041e\u043d\u0438 \u043a\u0440\u0438\u0442\u0438\u0447\u043d\u044b \u0434\u043b\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0432\u0441\u0435\u0445 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u043c\u0435\u0442\u043e\u0434\u043e\u0432. \u0412\u043e\u043e\u0431\u0449\u0435, \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u0435\u043c, \u0447\u0442\u043e\u0431\u044b \u0441\u043f\u0438\u0441\u043a\u0438 \u0441\u0442\u0435\u043f\u0435\u043d\u0435\u0439 \u0432\u0441\u0435\u0445 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432 (\u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u043e\u0434\u043d\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0438) \u0438\u043c\u0435\u043b\u0438 \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u0443\u044e \u0434\u043b\u0438\u043d\u0443. \u042d\u0442\u043e \u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0443\u043f\u0440\u043e\u0441\u0442\u0438\u0442 \u043d\u0430\u043c \u0440\u0430\u0431\u043e\u0442\u0443.<\/p>\n

    \u041e\u043f\u0438\u0448\u0435\u043c \u0442\u0438\u043f \u00ab\u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u00bb \u043a\u0430\u043a \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445, \u0441\u043e\u0441\u0442\u043e\u044f\u0449\u0438\u0439 \u0438\u0437 \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442\u0430 (\u0442\u0438\u043f\u0430 \u00abc<\/code>\u00bb) \u0438 \u0441\u043f\u0438\u0441\u043a\u0430 \u0441\u0442\u0435\u043f\u0435\u043d\u0435\u0439 (\u043a\u0430\u0436\u0434\u0430\u044f \u0442\u0438\u043f\u0430 \u00aba<\/code>\u00bb): <\/p>\n

    data Monom c a = M c [a] deriving (Eq) <\/code><\/pre>\n
      \u041d\u0430\u043c \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0442\u044c \u043c\u0435\u0436\u0434\u0443 \u0441\u043e\u0431\u043e\u0439 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u044b, \u0442\u0430\u043a \u0447\u0442\u043e \u0441\u0430\u043c\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0432\u043e\u043f\u043b\u043e\u0449\u0435\u043d\u0438\u0435 \u043a\u043b\u0430\u0441\u0441\u0430 Ord<\/code>. \u042f \u0431\u0443\u0434\u0443 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043e\u0431\u044b\u0447\u043d\u043e\u0435 \u043b\u0435\u043a\u0441\u0438\u043a\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u0438\u0435 \u043f\u043e \u0441\u0442\u0435\u043f\u0435\u043d\u044f\u043c, \u0442\u0430\u043a \u043a\u0430\u043a \u043e\u043d\u043e \u043e\u0447\u0435\u043d\u044c \u043f\u0440\u043e\u0441\u0442\u043e \u0438 \u0432\u043c\u0435\u0441\u0442\u0435 \u0441 \u0442\u0435\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c \u00ab\u0445\u043e\u0440\u043e\u0448\u0435\u0433\u043e\u00bb \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u0438\u044f \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432. \u0422\u0430\u043a\u0436\u0435 \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u0432\u043e\u043f\u043b\u043e\u0449\u0435\u043d\u0438\u0435 \u043a\u043b\u0430\u0441\u0441\u0430 Show<\/code> \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u043b\u044f \u0443\u0434\u043e\u0431\u0441\u0442\u0432\u0430 \u0440\u0430\u0431\u043e\u0442\u044b \u0441 \u043d\u0430\u0448\u0435\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439.  <\/p>\n
    instance (Eq c, Ord a) => Ord (Monom c a) where     compare (M _ asl) (M _ asr) = compare asl asr  instance (Show a, Show c, Num a, Num c, Eq a, Eq c) => Show (Monom c a) where     show (M c as) = (if c == 1 then "" else show c) ++                      (intercalate "*" $ map showOne $ (filter (\\(p,_) -> p \/= 0) $ zip as [1..]))         where showOne (p,i) = "x" ++ (show i) ++ (if p == 1 then "" else "^" ++ (show p)) <\/code><\/pre>\n
      \u0424\u0443\u043d\u043a\u0446\u0438\u044f show<\/code> \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u0431\u044b\u0442\u044c \u00ab\u0443\u043c\u043d\u043e\u0439\u00bb: \u043e\u043d\u0430 \u043d\u0435 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442, \u0435\u0441\u043b\u0438 \u043e\u043d \u0440\u0430\u0432\u0435\u043d 1, \u0438 \u043e\u043d\u0430 \u043d\u0435 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u043d\u0443\u043b\u0435\u0432\u043e\u0439 \u0441\u0442\u0435\u043f\u0435\u043d\u0438, \u0430 \u0442\u0430\u043a \u0436\u0435 \u043d\u0435 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u0435\u0440\u0432\u0443\u044e \u0441\u0442\u0435\u043f\u0435\u043d\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445. \u0412\u043e\u0442 \u0442\u0430\u043a:<\/p>\n
     *Main> M 2 [0,1] 2x2 *Main> M 1 [2,2] x1^2*x2^2 <\/pre>\n
      \u042f \u0431\u0443\u0434\u0443 \u043f\u0438\u0441\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u043f\u043e\u0445\u043e\u0436\u0438\u0435 \u043d\u0430 show<\/code>, \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u043e, \u0442\u0430\u043a \u0447\u0442\u043e \u0441\u0442\u043e\u0438\u0442 \u043f\u043e\u044f\u0441\u043d\u0438\u0442\u044c, \u043a\u0430\u043a \u0438\u043c\u0435\u043d\u043d\u043e \u043e\u043d\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u2014 \u0443\u0432\u0435\u0440\u0435\u043d, \u043a\u043e\u0433\u043e-\u043d\u0438\u0431\u0443\u0434\u044c \u043e\u043d\u0430 \u0442\u043e\u0447\u043d\u043e \u0438\u0441\u043f\u0443\u0433\u0430\u043b\u0430. \u0421 \u043f\u043e\u043c\u043e\u0449\u044c\u044e zip as [1..]<\/code> \u0441\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u043c \u043a\u0430\u0436\u0434\u0443\u044e \u0441\u0442\u0435\u043f\u0435\u043d\u044c \u0441 \u043d\u043e\u043c\u0435\u0440\u043e\u043c \u0441\u0432\u043e\u0435\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439, \u0437\u0430\u0442\u0435\u043c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e filter (<br \/>(p\u2009_) -> p \/= 0)<\/code> \u0438\u0437\u0431\u0430\u0432\u043b\u044f\u0435\u043c\u0441\u044f \u043e\u0442 \u043d\u0443\u043b\u0435\u0432\u044b\u0445 \u0441\u0442\u0435\u043f\u0435\u043d\u0435\u0439, \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043a\u0430\u0436\u0434\u043e\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0432 \u0441\u0442\u0440\u043e\u043a\u0443 \u0447\u0435\u0440\u0435\u0437 showOne<\/code> \u0438, \u043d\u0430\u043a\u043e\u043d\u0435\u0446, \u0441\u043a\u043b\u0435\u0438\u0432\u0430\u0435\u043c \u0432\u0441\u0451 \u0432\u043c\u0435\u0441\u0442\u0435, \u043f\u0435\u0440\u0435\u043c\u0435\u0436\u0430\u044f \u0437\u043d\u0430\u0447\u043a\u0430\u043c\u0438 \u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u044f, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f intercalate<\/code> \u0438\u0437 Data.List<\/code> <\/p>\n
      \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u0433\u043e\u0442\u043e\u0432\u044b \u043e\u043f\u0438\u0441\u0430\u0442\u044c \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0442\u0438\u043f \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043f\u043e\u0434\u043e\u0439\u0434\u0451\u0442 newtype<\/code> \u043e\u0431\u0451\u0440\u0442\u043a\u0430 \u043d\u0430\u0434 \u043e\u0431\u044b\u0447\u043d\u044b\u043c \u0441\u043f\u0438\u0441\u043a\u043e\u043c:  <\/p>\n
    newtype Polynom c a = P [Monom c a] deriving (Eq)  instance (Show a, Show c, Num a, Num c, Eq a, Eq c) => Show (Polynom c a) where     show (P ms) = intercalate " + " $ map show ms <\/code><\/pre>\n
      \u041d\u0430 \u044d\u0442\u043e\u0442 \u0440\u0430\u0437 \u0444\u0443\u043d\u043a\u0446\u0438\u044f show<\/code> \u043f\u0440\u043e\u0441\u0442\u0430\u044f, \u0442\u0430\u043a \u043a\u0430\u043a \u0432\u0441\u044f \u0433\u0440\u044f\u0437\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u0443\u0436\u0435 \u0441\u043f\u0440\u044f\u0442\u0430\u043d\u0430 \u0432 \u0442\u0438\u043f\u0435 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432. \u0420\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u044d\u0442\u043e \u0442\u0430\u043a:  <\/p>\n
     *Main> P [M 1 [3,1], M 1 [2,2], M 1 [1,1]] x1^3*x2 + x1^2*x2^2 + x1*x2 <\/pre>\n
      \u0414\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c\u0441\u044f \u043d\u0430 \u0431\u0443\u0434\u0443\u0449\u0435\u0435, \u0447\u0442\u043e \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u044b \u0432 \u044d\u0442\u043e\u043c \u0441\u043f\u0438\u0441\u043a\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0443\u0442 \u0445\u0440\u0430\u043d\u0438\u0442\u044c\u0441\u044f \u0432 \u043f\u043e\u0440\u044f\u0434\u043a\u0435 \u0443\u0431\u044b\u0432\u0430\u043d\u0438\u044f (\u0432 \u0441\u043c\u044b\u0441\u043b\u0435 \u043d\u0430\u0448\u0435\u0433\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0432\u043e\u043f\u043b\u043e\u0449\u0435\u043d\u0438\u044f Ord<\/code>). \u042d\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u0438\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432\u0435\u0449\u0438 \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u043f\u0440\u043e\u0449\u0435.<\/p>\n
    3 \u041e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u0434 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430\u043c\u0438<\/h4>\n
      <\/a>\u0421\u0430\u043c\u044b\u0435 \u043f\u0440\u043e\u0441\u0442\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u044d\u0442\u043e LT, \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043d\u0430 \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u043d\u0443\u043b\u044e \u0438 \u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u0435 \u043d\u0430 \u0447\u0438\u0441\u043b\u043e. \u0418\u0437 \u043d\u0430\u0448\u0435\u0433\u043e \u0441\u043e\u0433\u043b\u0430\u0448\u0435\u043d\u0438\u044f \u043e\u0431 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u043e\u0441\u0442\u0438 \u043c\u043e\u043d\u043e\u043c\u043e\u0432 \u0441\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u043c\u043e\u043d\u043e\u043c \u0432\u0441\u0435\u0433\u0434\u0430 \u0441\u0442\u043e\u0438\u0442 \u043d\u0430 \u043f\u0435\u0440\u0432\u043e\u043c \u043c\u0435\u0441\u0442\u0435 \u0432 \u0441\u043f\u0438\u0441\u043a\u0435 \u0438 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u043b\u0443\u0447\u0435\u043d \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e head<\/code>. \u041e\u0434\u043d\u043e\u0447\u043b\u0435\u043d \u0441\u0447\u0438\u0442\u0430\u0435\u0442\u0441\u044f \u043d\u0443\u043b\u0435\u0432\u044b\u043c \u0432 \u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435, \u0435\u0441\u043b\u0438 \u0435\u0433\u043e \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442 \u0440\u0430\u0432\u0435\u043d \u043d\u0443\u043b\u044e, \u0430 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u2014 \u0435\u0441\u043b\u0438 \u043e\u043d \u043d\u0435 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432. \u041d\u0443 \u0430 \u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u0435 \u043d\u0430 \u043a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0443 \u043f\u0440\u043e\u0441\u0442\u043e \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u0442 \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442:  <\/p>\n
    lt :: Polynom c a -> Monom c a lt (P as) = head as  zero :: (Num c, Eq c) => Monom c a -> Bool zero (M c _) = c == 0  zeroP :: Polynom c a -> Bool zeroP (P as) = null as  scale :: (Num c) => c -> Monom c a -> Monom c a scale c' (M c as) = M (c*c') as <\/code><\/pre>\n
      \u0414\u0432\u0430 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u0430 \u0431\u0443\u0434\u0443\u0442 \u043d\u0430\u0437\u044b\u0432\u0430\u0442\u044c\u0441\u044f \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u043c\u0438, \u0435\u0441\u043b\u0438 \u043e\u043d\u0438 \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442\u0430\u043c\u0438. \u0414\u043b\u044f \u043d\u0438\u0445 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0430 \u0441\u0443\u043c\u043c\u0430 \u2014 \u043d\u0443\u0436\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043b\u043e\u0436\u0438\u0442\u044c \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442\u044b, \u0430 \u0441\u0442\u0435\u043f\u0435\u043d\u0438 \u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0431\u0435\u0437 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044f.  <\/p>\n
    similar :: (Eq a) => Monom c a -> Monom c a -> Bool similar (M _ asl) (M _ asr) = asl == asr  addSimilar :: (Num c) => Monom c a -> Monom c a -> Monom c a addSimilar (M cl as) (M cr _) = M (cl+cr) as <\/code><\/pre>\n
      \u0427\u0442\u043e\u0431\u044b \u043f\u0435\u0440\u0435\u043c\u043d\u043e\u0436\u0438\u0442\u044c \u0434\u0432\u0430 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u0430, \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043b\u043e\u0436\u0438\u043c \u0441\u0442\u0435\u043f\u0435\u043d\u0438 \u043a\u0430\u0436\u0434\u043e\u0439 \u0438\u0437 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445. \u042d\u0442\u0443 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u043e\u0447\u0435\u043d\u044c \u043b\u0435\u0433\u043a\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 zipWith<\/code>. \u042f \u0434\u0443\u043c\u0430\u044e, \u043a\u043e\u0434 \u0433\u043e\u0432\u043e\u0440\u0438\u0442 \u0441\u0430\u043c \u0437\u0430 \u0441\u0435\u0431\u044f:  <\/p>\n
    mulMono :: (Num a, Num c) => Monom c a -> Monom c a -> Monom c a mulMono (M cl asl) (M cr asr) = M (cl*cr) (zipWith (+) asl asr) <\/code><\/pre>\n
      \u0413\u043e\u0440\u0430\u0437\u0434\u043e \u0431\u043e\u043b\u0435\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432. \u0411\u0443\u0434\u0435\u043c \u0440\u0435\u0448\u0430\u0442\u044c \u044d\u0442\u0443 \u0437\u0430\u0434\u0430\u0447\u0443 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e. \u0422\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u043b\u0443\u0447\u0430\u0438 \u2014 \u0441\u0443\u043c\u043c\u0430 \u0434\u0432\u0443\u0445 \u043d\u0443\u043b\u0435\u0432\u044b\u0445 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430 (\u043f\u0443\u0441\u0442\u044b\u0445 \u0441\u043f\u0438\u0441\u043a\u043e\u0432) \u0440\u0430\u0432\u043d\u0430 \u043d\u0443\u043b\u0435\u0432\u043e\u043c\u0443 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0443. \u0421\u0443\u043c\u043c\u0430 \u043b\u044e\u0431\u043e\u0433\u043e \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430 \u0438 \u043d\u0443\u043b\u0435\u0432\u043e\u0433\u043e \u0440\u0430\u0432\u043d\u0430 \u0435\u043c\u0443 \u0436\u0435. \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u043e\u0431\u0430 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430 \u043d\u0435\u043d\u0443\u043b\u0435\u0432\u044b\u043c\u0438, \u0430 \u0437\u043d\u0430\u0447\u0438\u0442 \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043d\u0438\u0445 \u043c\u043e\u0436\u043d\u043e \u0440\u0430\u0437\u0434\u0435\u043b\u0438\u0442\u044c \u043d\u0430 \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0447\u043b\u0435\u043d \u0438 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u2014 \u00ab\u0445\u0432\u043e\u0441\u0442\u00bb. \u0412\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u0434\u0432\u0430 \u0441\u043b\u0443\u0447\u0430\u044f:  <\/p>\n
      \n
    1. \u0421\u0442\u0430\u0440\u0448\u0438\u0435 \u0447\u043b\u0435\u043d\u044b \u043f\u043e\u0434\u043e\u0431\u043d\u044b. \u0412 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0441\u043b\u043e\u0436\u0438\u043c \u0438\u0445 \u0438 \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 (\u0435\u0441\u043b\u0438 \u043e\u043d \u043d\u0435\u043d\u0443\u043b\u0435\u0432\u043e\u0439) \u043a \u0441\u0443\u043c\u043c\u0435 \u0445\u0432\u043e\u0441\u0442\u043e\u0432.<\/li>\n
    2. \u0421\u0442\u0430\u0440\u0448\u0438\u0435 \u0447\u043b\u0435\u043d\u044b \u043d\u0435 \u043f\u043e\u0434\u043e\u0431\u043d\u044b. \u0422\u043e\u0433\u0434\u0430 \u0432\u044b\u0431\u0435\u0440\u0435\u043c \u0431\u043e\u043b\u044c\u0448\u0438\u0439 \u0438\u0437 \u043d\u0438\u0445. \u041d\u0430\u0448\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u043e\u0441\u0442\u0438 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u0443\u0435\u0442, \u0447\u0442\u043e \u0432 \u0445\u0432\u043e\u0441\u0442\u0430\u0445 \u043e\u0431\u043e\u0438\u0445 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u043d\u0435 \u043d\u0430\u0439\u0434\u0451\u0442\u0441\u044f \u043f\u043e\u0434\u043e\u0431\u043d\u043e\u0433\u043e \u0435\u043c\u0443 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u0430. \u0421\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u043b\u043e\u0436\u0438\u0442\u044c \u0445\u0432\u043e\u0441\u0442 \u0432\u044b\u0431\u0440\u0430\u043d\u043d\u043e\u0433\u043e \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430 \u0441 \u0434\u0440\u0443\u0433\u0438\u043c, \u0430 \u0437\u0430\u0442\u0435\u043c \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u0432 \u0435\u0433\u043e \u043d\u0430\u0447\u0430\u043b\u043e \u044d\u0442\u043e\u0442 \u0441\u0430\u043c\u044b\u0439 \u0431\u043e\u043b\u044c\u0448\u0438\u0439 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d.<\/li>\n<\/ol>\n
        \u041e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0437\u0430\u043c\u0435\u0442\u0438\u0442\u044c, \u0447\u0442\u043e \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u044d\u0442\u043e\u0439 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e\u0439 \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u044b \u0441\u043d\u043e\u0432\u0430 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f \u0443\u043f\u043e\u0440\u044f\u0434\u043e\u0447\u0435\u043d\u043d\u044b\u0439 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d, \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c, \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043a\u043e\u0434.  <\/p>\n
      addPoly :: (Eq a, Eq c, Num c, Ord a) => Polynom c a -> Polynom c a -> Polynom c a addPoly (P l) (P r) = P $ go l r     where            go [] [] = []           go as [] = as           go [] bs = bs           go (a:as) (b:bs) =                if similar a b then                   if (zero $ addSimilar a b) then                       go as bs                   else                       (addSimilar a b):(go as bs)               else                   if a > b then                       a:(go as (b:bs))                   else                       b:(go (a:as) bs) <\/code><\/pre>\n
        \u0423\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u0435 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f \u0430\u0431\u0441\u043e\u043b\u044e\u0442\u043d\u043e \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u043f\u0443\u0442\u0451\u043c. \u041e\u0447\u0435\u043d\u044c \u043f\u0440\u043e\u0441\u0442\u043e \u0443\u043c\u043d\u043e\u0436\u0438\u0442\u044c \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d \u043d\u0430 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u2014 \u043f\u0440\u043e\u0441\u0442\u043e \u0443\u043c\u043d\u043e\u0436\u0438\u043c \u0435\u0433\u043e \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e map<\/code> \u0438 mulMono<\/code>. \u0410 \u0437\u0430\u0442\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c \u0434\u0438\u0441\u0442\u0440\u0438\u0431\u0443\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c (\u00ab\u0440\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0437\u0430\u043a\u043e\u043d\u00bb, \u0440\u0430\u0441\u043a\u0440\u044b\u0442\u0438\u0435 \u0441\u043a\u043e\u0431\u043e\u043a) \u043a \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u044e \u0434\u0432\u0443\u0445 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u0438 \u043f\u043e\u043b\u0443\u0447\u0438\u043c, \u0447\u0442\u043e \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u043b\u0438\u0448\u044c \u0443\u043c\u043d\u043e\u0436\u0438\u0442\u044c \u0432\u0441\u0435 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u044b \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0430 \u043d\u0430 \u0432\u0442\u043e\u0440\u043e\u0439 \u0438 \u0441\u043b\u043e\u0436\u0438\u0442\u044c \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b. \u0423\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u043c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0432\u0441\u0451 \u0442\u043e\u0433\u043e \u0436\u0435 map<\/code>, \u0430 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0441\u043b\u043e\u0436\u0438\u043c, \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0432\u0448\u0438\u0441\u044c foldl\u2019<\/code> \u0438 addPoly<\/code>. \u041a\u043e\u0434 \u044d\u0442\u0438\u0445 \u0434\u0432\u0443\u0445 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439 \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0441\u044f \u043d\u0430 \u0443\u0434\u0438\u0432\u043b\u0435\u043d\u0438\u0435 \u043a\u043e\u0440\u043e\u0442\u043a\u0438\u043c \u2014 \u043a\u043e\u0440\u043e\u0447\u0435, \u0447\u0435\u043c \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0442\u0438\u043f\u043e\u0432!  <\/p>\n
      mulPM :: (Ord a, Eq c, Num a, Num c) => Polynom c a -> Monom c a -> Polynom c a mulPM (P as) m = P $ map (mulMono m) as  mulM :: (Eq c, Num c, Num a, Ord a) => Polynom c a -> Polynom c a -> Polynom c a mulM l@(P ml) r@(P mr) = foldl' addPoly (P []) $ map (mulPM r) ml <\/code><\/pre>\n
        \u0412\u043e\u0442 \u0438 \u0432\u0441\u0451, \u043c\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043b\u0438 \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f \u043d\u0430\u0434 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430\u043c\u0438, \u0430 \u0437\u043d\u0430\u0447\u0438\u0442 \u043c\u043e\u0436\u043d\u043e \u0434\u0432\u0438\u0433\u0430\u0442\u044c\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435!<\/p>\n
      4 \u0414\u0435\u043b\u0435\u043d\u0438\u0435 \u0441 \u043e\u0441\u0442\u0430\u0442\u043a\u043e\u043c \u043d\u0430 \u0431\u0430\u0437\u0438\u0441 (\u0440\u0435\u0434\u0443\u043a\u0446\u0438\u044f)<\/h4>\n
        <\/a>\u0411\u0443\u0434\u0435\u043c \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c, \u0447\u0442\u043e \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d  \u0434\u0435\u043b\u0438\u0442\u0441\u044f<\/i> \u043d\u0430 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d , \u0435\u0441\u043b\u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0442\u0430\u043a\u043e\u0439 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d , \u0447\u0442\u043e . \u041e\u0447\u0435\u0432\u0438\u0434\u043d\u043e, \u0447\u0442\u043e \u044d\u0442\u043e \u0432\u0435\u0440\u043d\u043e, \u0442\u043e\u043b\u044c\u043a\u043e \u0435\u0441\u043b\u0438 \u043a\u0430\u0436\u0434\u0430\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u0432\u0445\u043e\u0434\u0438\u0442 \u0432  \u0432 \u043d\u0435 \u043c\u0435\u043d\u044c\u0448\u0435\u0439 \u0441\u0442\u0435\u043f\u0435\u043d\u0438, \u0447\u0435\u043c \u0432 . \u0421\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u043d\u0430 \u0434\u0435\u043b\u0438\u043c\u043e\u0441\u0442\u044c \u043c\u043e\u0436\u043d\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0443\u0436\u0435 \u0437\u043d\u0430\u043a\u043e\u043c\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 zipWith<\/code> \u0438 \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 and<\/code>. \u0410 \u0432\u043c\u0435\u0441\u0442\u0435 \u0441 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u043e\u0439 \u043b\u0435\u0433\u043a\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0438 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0443 \u0434\u0435\u043b\u0435\u043d\u0438\u044f:  <\/p>\n
      dividable :: (Ord a) => Monom c a -> Monom c a -> Bool dividable (M _ al) (M _ ar) = and $ zipWith (>=) al ar  divideM :: (Fractional c, Num a) => Monom c a -> Monom c a -> Monom c a divideM (M cl al) (M cr ar) = M (cl\/cr) (zipWith (-) al ar) <\/code><\/pre>\n
        \u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0442\u0435\u043f\u0435\u0440\u044c \u0442\u0438\u043f \u043a\u043e\u044d\u0444\u0444\u0438\u0446\u0438\u0435\u043d\u0442\u0430 \u0434\u043e\u043b\u0436\u0435\u043d \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0442\u044c \u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u2014 \u043a\u043b\u0430\u0441\u0441 Fractional<\/code>. \u042d\u0442\u043e \u0443\u0434\u0440\u0443\u0447\u0430\u0435\u0442, \u043d\u043e \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043f\u043e\u0434\u0435\u043b\u0430\u0435\u0448\u044c. 
        \u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430 \u043d\u0430 \u0431\u0430\u0437\u0438\u0441 \u0441 \u043e\u0441\u0442\u0430\u0442\u043a\u043e\u043c \u044d\u0442\u043e, \u043f\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443, \u043f\u0440\u043e\u0441\u0442\u043e\u0435 \u0448\u043a\u043e\u043b\u044c\u043d\u043e\u0435 \u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0441\u0442\u043e\u043b\u0431\u0438\u043a\u043e\u043c. \u0421\u0440\u0435\u0434\u0438 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u0431\u0430\u0437\u0438\u0441\u0430 \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u0442\u0441\u044f \u043f\u0435\u0440\u0432\u044b\u0439 \u0442\u0430\u043a\u043e\u0439 \u043f\u043e\u043b\u0438\u043d\u043e\u043c, \u0447\u0442\u043e \u043d\u0430 \u0435\u0433\u043e \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0447\u043b\u0435\u043d \u0434\u0435\u043b\u0438\u0442\u0441\u044f \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0447\u043b\u0435\u043d \u0434\u0435\u043b\u0438\u043c\u043e\u0433\u043e, \u0437\u0430\u0442\u0435\u043c \u0438\u0437 \u0434\u0435\u043b\u0438\u043c\u043e\u0433\u043e \u0432\u044b\u0447\u0438\u0442\u0430\u0435\u0442\u0441\u044f \u044d\u0442\u043e\u0442 \u043f\u043e\u043b\u0438\u043d\u043e\u043c, \u0443\u043c\u043d\u043e\u0436\u0435\u043d\u043d\u044b\u0439 \u043d\u0430 \u0447\u0430\u0441\u0442\u043d\u043e\u0435 \u0438\u0445 \u0441\u0442\u0430\u0440\u0448\u0438\u0445 \u0447\u043b\u0435\u043d\u043e\u0432. \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432\u044b\u0447\u0438\u0442\u0430\u043d\u0438\u044f \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442\u0441\u044f \u0437\u0430 \u043d\u043e\u0432\u043e\u0435 \u0434\u0435\u043b\u0438\u043c\u043e\u0435 \u0438 \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0435\u0442\u0441\u044f. \u0415\u0441\u043b\u0438 \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0447\u043b\u0435\u043d \u043d\u0435 \u0434\u0435\u043b\u0438\u0442\u0441\u044f \u043d\u0438 \u043d\u0430 \u043e\u0434\u0438\u043d \u0438\u0437 \u0441\u0442\u0430\u0440\u0448\u0438\u0445 \u0447\u043b\u0435\u043d\u043e\u0432 \u0431\u0430\u0437\u0438\u0441\u0430, \u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u0442\u0441\u044f \u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0435 \u0434\u0435\u043b\u0438\u043c\u043e\u0435 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043e\u0441\u0442\u0430\u0442\u043a\u043e\u043c.<\/p>\n
        \u041d\u0430\u0448\u0435\u0439 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0435 \u0434\u0435\u043b\u0435\u043d\u0438\u044f, \u043d\u0430\u0437\u043e\u0432\u0451\u043c \u0435\u0451 reduceMany<\/code>, \u043f\u043e\u0442\u0440\u0435\u0431\u0443\u044e\u0442\u0441\u044f \u0434\u0432\u0435 \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u2014 reducable<\/code> \u0438 reduce<\/code>. \u041f\u0435\u0440\u0432\u0430\u044f \u0438\u0437 \u043d\u0438\u0445 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u0434\u0435\u043b\u0438\u0442\u0441\u044f \u043b\u0438 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u043d\u0430 \u0434\u0440\u0443\u0433\u043e\u0439, \u0430 \u0432\u0442\u043e\u0440\u0430\u044f \u043e\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043b\u044f\u0435\u0442 \u0434\u0435\u043b\u0435\u043d\u0438\u0435.  <\/p>\n
      reducable :: (Ord a) => Polynom c a -> Polynom c a -> Bool reducable l r = dividable (lt l) (lt r)  reduce :: (Eq c, Fractional c, Num a, Ord a) =>           Polynom c a -> Polynom c a -> Polynom c a reduce l r = addPoly l r'     where r' = mulPM r (scale (-1) q)           q = divideM (lt l) (lt r) <\/code><\/pre>\n
        \u0422\u0430\u043a \u043a\u0430\u043a \u0443 \u043d\u0430\u0441 \u043d\u0435\u0442 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u043b\u044f \u0432\u044b\u0447\u0438\u0442\u0430\u043d\u0438\u044f, \u043f\u0440\u043e\u0441\u0442\u043e \u0443\u043c\u043d\u043e\u0436\u0438\u043c \u0432\u0442\u043e\u0440\u043e\u0439 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u043d\u0430 -1 \u0438 \u0441\u043b\u043e\u0436\u0438\u043c \u0438\u0445 \u2014 \u0432\u0441\u0451 \u043f\u0440\u043e\u0441\u0442\u043e! \u0410 \u0432\u043e\u0442 \u0438 \u0432\u0435\u0441\u044c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0434\u0435\u043b\u0435\u043d\u0438\u044f:  <\/p>\n
      reduceMany :: (Eq c, Fractional c, Num a, Ord a) =>               Polynom c a -> [Polynom c a] -> Polynom c a reduceMany h fs = if reduced then reduceMany h' fs else h'     where (h', reduced) = reduceStep h fs False           reduceStep h (f:fs) r                | zeroP h = (h, r)               | otherwise = if reducable h f then                                 (reduce h f, True)                             else                                 reduceStep h fs r           reduceStep h [] r = (h, r) <\/code><\/pre>\n
        \u0424\u0443\u043d\u043a\u0446\u0438\u044f reduceMany<\/code> \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u043f\u043e\u0434\u0435\u043b\u0438\u0442\u044c \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u043d\u0430 \u0431\u0430\u0437\u0438\u0441. \u0415\u0441\u043b\u0438 \u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0438\u0437\u043e\u0448\u043b\u043e, \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u0442\u0441\u044f, \u0438\u043d\u0430\u0447\u0435 \u2014 \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u0442\u0441\u044f. \u0412\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u044f\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f reduceStep<\/code> \u0432\u0441\u0435\u0433\u043e \u043b\u0438\u0448\u044c \u0438\u0449\u0435\u0442 \u0442\u043e\u0442 \u0441\u0430\u043c\u044b\u0439 \u043f\u0435\u0440\u0432\u044b\u0439 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0434\u0435\u043b\u0438\u0442\u044c, \u0438 \u0434\u0435\u043b\u0438\u0442, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044f \u043e\u0441\u0442\u0430\u0442\u043e\u043a \u0438 \u0444\u043b\u0430\u0433, \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0449\u0438\u0439, \u0431\u044b\u043b\u043e \u043b\u0438 \u0441\u0434\u0435\u043b\u0430\u043d\u043e \u0434\u0435\u043b\u0435\u043d\u0438\u0435.<\/p>\n
      5 \u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0411\u0443\u0445\u0431\u0435\u0440\u0433\u0435\u0440\u0430<\/h4>\n
        <\/a>\u0412\u043e\u0442 \u043c\u044b \u0438 \u043f\u043e\u0434\u043e\u0448\u043b\u0438 \u043a \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u2014 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0411\u0443\u0445\u0431\u0435\u0440\u0433\u0435\u0440\u0430. \u0415\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0435, \u0447\u0435\u0433\u043e \u0443 \u043d\u0430\u0441 \u0435\u0449\u0451 \u043d\u0435\u0442, \u044d\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u043b\u044f \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u044f -\u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0430. \u0415\u0451 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043e\u0447\u0435\u043d\u044c \u043f\u0440\u043e\u0441\u0442\u0430, \u043a\u0430\u043a \u0438 \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0434\u043b\u044f \u043f\u043e\u0438\u0441\u043a\u0430 \u043d\u0430\u0438\u043c\u0435\u043d\u044c\u0448\u0435\u0433\u043e \u043e\u0431\u0449\u0435\u0433\u043e \u043a\u0440\u0430\u0442\u043d\u043e\u0433\u043e \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u043e\u0432:  <\/p>\n
      lcmM :: (Num c, Ord a) => Monom c a -> Monom c a -> Monom c a lcmM (M cl al) (M cr ar) = M (cl*cr) (zipWith max al ar)  makeSPoly :: (Eq c, Fractional c, Num a, Ord a) =>              Polynom c a -> Polynom c a -> Polynom c a makeSPoly l r = addPoly l' r'     where l' = mulPM l ra           r' = mulPM r la           lcm = lcmM (lt l) (lt r)           ra = divideM lcm (lt l)           la = scale (-1) $ divideM lcm (lt r) <\/code><\/pre>\n
        \u0417\u0434\u0435\u0441\u044c \u043e\u0431\u0430 \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0430 \u043f\u0440\u043e\u0441\u0442\u043e \u0443\u043c\u043d\u043e\u0436\u0430\u044e\u0442\u0441\u044f \u043d\u0430 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u043e\u0434\u043d\u043e\u0447\u043b\u0435\u043d\u044b, \u043f\u0440\u0438\u0447\u0451\u043c \u0432\u0442\u043e\u0440\u043e\u0439 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0435\u0449\u0451 \u0438 \u043d\u0430 \u043c\u0438\u043d\u0443\u0441 \u0435\u0434\u0438\u043d\u0438\u0446\u0443, \u043a\u0430\u043a \u0438 \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0434\u0435\u043b\u0435\u043d\u0438\u044f \u0441 \u043e\u0441\u0442\u0430\u0442\u043a\u043e\u043c. 
        \u042f \u0443\u0432\u0435\u0440\u0435\u043d, \u0447\u0442\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u0432 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u043e\u0442 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c. \u042f \u0442\u0430\u043a\u0436\u0435 \u043d\u0435 \u043f\u0440\u0435\u0442\u0435\u043d\u0434\u0443\u044e \u043d\u0430 \u0442\u043e, \u0447\u0442\u043e \u043c\u043e\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u0430 \u0438\u043b\u0438 \u043f\u0440\u043e\u0441\u0442\u0430. \u041d\u043e \u043e\u043d\u0430 \u043c\u043d\u0435 \u043d\u0440\u0430\u0432\u0438\u0442\u0441\u044f \u0438 \u043e\u043d\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442, \u0438 \u044d\u0442\u043e \u0432\u0441\u0451, \u0447\u0442\u043e \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f.<\/p>\n
        \u041f\u043e\u0434\u0445\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b, \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u0437\u0432\u0430\u0442\u044c \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u043c. \u0420\u0430\u0437\u0434\u0435\u043b\u0438\u043c \u043d\u0430\u0448 \u0431\u0430\u0437\u0438\u0441 \u043d\u0430 \u0434\u0432\u0435 \u0447\u0430\u0441\u0442\u0438 \u2014 \u0442\u0443, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043c\u044b \u0443\u0436\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u043b\u0438 (\u0438 \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438) -\u043f\u043e\u043b\u0438\u043d\u043e\u043c\u044b \u043e\u0442 \u0432\u0441\u0435\u0445 \u043f\u0430\u0440 \u2014 \u00abchecked<\/code>\u00bb \u2014 \u0438 \u0442\u0443, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u043e\u0438\u0442 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u044d\u0442\u043e \u2014 \u00abadd<\/code>\u00bb. \u041e\u0434\u0438\u043d \u0448\u0430\u0433 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u0442\u0430\u043a:  <\/p>\n
        \n
      1. \u0412\u043e\u0437\u044c\u043c\u0451\u043c \u043f\u0435\u0440\u0432\u044b\u0439 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u0438\u0437 \u0432\u0442\u043e\u0440\u043e\u0439 \u0447\u0430\u0441\u0442\u0438<\/li>\n
      2. \u041f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u043c -\u043f\u043e\u043b\u0438\u043d\u043e\u043c\u044b \u043c\u0435\u0436\u0434\u0443 \u043d\u0438\u043c \u0438 \u0432\u0441\u0435\u043c\u0438 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430\u043c\u0438 \u043f\u0435\u0440\u0432\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u0438 \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0432\u0441\u0435 \u043d\u0435\u043d\u0443\u043b\u0435\u0432\u044b\u0435 \u043e\u0441\u0442\u0430\u0442\u043a\u0438 \u0432 \u043a\u043e\u043d\u0435\u0446 \u0432\u0442\u043e\u0440\u043e\u0439 \u0447\u0430\u0441\u0442\u0438<\/li>\n
      3. \u041f\u0435\u0440\u0435\u043c\u0435\u0441\u0442\u0438\u043c \u044d\u0442\u043e\u0442 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u0432 \u043f\u0435\u0440\u0432\u0443\u044e \u0447\u0430\u0441\u0442\u044c<\/li>\n<\/ol>\n
          \u041a\u0430\u043a \u0442\u043e\u043b\u044c\u043a\u043e \u0432\u0442\u043e\u0440\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u043f\u0443\u0441\u0442\u043e\u0439, \u043f\u0435\u0440\u0432\u0430\u044f \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0431\u0430\u0437\u0438\u0441 \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430. \u041f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u043e \u0442\u0430\u043a\u043e\u0433\u043e \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u043d\u0435 \u0431\u0443\u0434\u0443\u0442 \u0441\u0447\u0438\u0442\u0430\u0442\u044c\u0441\u044f -\u043f\u043e\u043b\u0438\u043d\u043e\u043c\u044b \u043e\u0442 \u0442\u0435\u0445 \u043f\u0430\u0440, \u043e\u0442 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043e\u043d\u0438 \u0443\u0436\u0435 \u043f\u043e\u0441\u0447\u0438\u0442\u0430\u043d\u044b \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u0435\u043d\u044b. \u041a\u043b\u044e\u0447\u0435\u0432\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0432 \u044d\u0442\u043e\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u2014 checkOne<\/code>. \u041e\u043d\u0430 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d (\u0438\u0437 \u0432\u0442\u043e\u0440\u043e\u0439 \u0447\u0430\u0441\u0442\u0438), \u0430 \u0442\u0430\u043a \u0436\u0435 \u043e\u0431\u0435 \u0447\u0430\u0441\u0442\u0438, \u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0441\u043f\u0438\u0441\u043e\u043a \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043a \u0431\u0430\u0437\u0438\u0441\u0443. \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u0443\u044e \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044e \u043f\u043e \u043f\u0435\u0440\u0432\u043e\u0439 \u0447\u0430\u0441\u0442\u0438, \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043d\u0435 \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u044f \u043d\u0443\u043b\u0435\u0432\u044b\u0435 \u043e\u0441\u0442\u0430\u0442\u043a\u0438:  <\/p>\n
        checkOne :: (Eq c, Fractional c, Num a, Ord a) =>             Polynom c a -> [Polynom c a] -> [Polynom c a] -> [Polynom c a] checkOne f checked@(c:cs) add = if zeroP s then                                    checkOne f cs add                                else                                    s:(checkOne f cs (add ++ [s]))     where s = reduceMany (makeSPoly f c) (checked++add) checkOne _ [] _ = [] <\/code><\/pre>\n
          \u041d\u0430\u0432\u0435\u0440\u043d\u044f\u043a\u0430 \u044d\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c \u043d\u0430 \u0445\u0438\u0442\u0440\u044b\u0439 foldl<\/code>, \u043d\u043e \u044f \u043e\u0441\u0442\u0430\u0432\u043b\u044e \u044d\u0442\u043e \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0443\u043f\u0440\u0430\u0436\u043d\u0435\u043d\u0438\u044f. \u041e\u0441\u0442\u0430\u043b\u043e\u0441\u044c \u043b\u0438\u0448\u044c \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0441\u0430\u043c \u0431\u0430\u0437\u0438\u0441 \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430 \u043f\u043e \u0434\u0430\u043d\u043d\u043e\u043c\u0443. \u0420\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0448\u0430\u0433\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0434\u043e\u0441\u043b\u043e\u0432\u043d\u043e \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0435\u0442 \u0435\u0433\u043e \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435, \u0441\u043c\u043e\u0442\u0440\u0438\u0442\u0435 \u0441\u0430\u043c\u0438:  <\/p>\n
        build checked add@(a:as) = build (checked ++ [a]) (as ++ (checkOne a checked add)) build checked [] = checked <\/code><\/pre>\n
          \u041c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d a<\/code> \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u0432 \u043f\u0435\u0440\u0432\u0443\u044e \u0447\u0430\u0441\u0442\u044c, \u0430 \u0432\u043e \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043f\u0430\u0434\u0430\u044e\u0442 \u0432\u0441\u0435 \u0435\u0433\u043e \u043d\u0435\u043d\u0443\u043b\u0435\u0432\u044b\u0435 \u043e\u0441\u0442\u0430\u0442\u043a\u0438. \u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0438 \u043f\u0440\u0430\u0432\u0434\u0430 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c -\u043f\u043e\u043b\u0438\u043d\u043e\u043c\u044b \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u0430 \u0432\u0442\u043e\u0440\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u0441 \u043f\u0435\u0440\u0432\u043e\u0439, \u0432 \u0441\u0438\u043b\u0443 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d\u0438\u0439 \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u043e\u0432 \u043c\u0435\u0436\u0434\u0443 \u0447\u0430\u0441\u0442\u044f\u043c\u0438. \u041e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u0437\u0430\u043c\u0435\u0442\u0438\u0442\u044c, \u0447\u0442\u043e \u0434\u043b\u044f \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u044f \u0431\u0430\u0437\u0438\u0441\u0430 \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430 \u0438\u0437 \u0434\u0430\u043d\u043d\u043e\u0433\u043e \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043f\u043e\u043c\u0435\u0441\u0442\u0438\u0442\u044c \u043e\u0434\u0438\u043d \u0435\u0433\u043e \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d \u0432 \u043f\u0435\u0440\u0432\u0443\u044e \u0447\u0430\u0441\u0442\u044c, \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u2014 \u0432\u043e \u0432\u0442\u043e\u0440\u0443\u044e \u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0443 build<\/code>, \u0447\u0442\u043e \u0438 \u0441\u0434\u0435\u043b\u0430\u043d\u043e \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 makeGroebner<\/code>.  <\/p>\n
        makeGroebner :: (Eq c, Fractional c, Num a, Ord a) =>                 [Polynom c a] -> [Polynom c a] makeGroebner (b:bs) = build [b] bs     where build checked add@(a:as) = build (checked ++ [a]) (as ++ (checkOne a checked add))           build checked [] = checked <\/code><\/pre>\n
          <\/p>\n
        6 \u041f\u0440\u0438\u043c\u0435\u0440\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f<\/h4>\n
          <\/a>\u0412\u0441\u0435 \u044d\u0442\u0438 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u043a\u0430\u0436\u0443\u0442\u0441\u044f \u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u0431\u0435\u0441\u043f\u043e\u043b\u0435\u0437\u043d\u044b\u043c\u0438 \u0431\u0435\u0437 \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0430\u0446\u0438\u0438 \u043f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u044d\u0442\u0438\u0445 \u043c\u0435\u0442\u043e\u0434\u043e\u0432. \u0412 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u0430 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0437\u0430\u0434\u0430\u0447\u0443 \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0442\u043e\u0447\u043a\u0438 \u043f\u0435\u0440\u0435\u0441\u0435\u0447\u0435\u043d\u0438\u044f \u0442\u0440\u0451\u0445 \u043e\u043a\u0440\u0443\u0436\u043d\u043e\u0441\u0442\u0435\u0439 \u2014 \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0438\u0439 \u0441\u043b\u0443\u0447\u0430\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0430 \u043a\u0430\u0440\u0442\u0435. \u0417\u0430\u043f\u0438\u0448\u0435\u043c \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f \u043e\u043a\u0440\u0443\u0436\u043d\u043e\u0441\u0442\u0435\u0439 \u043a\u0430\u043a \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439:<\/p>\n
          . <\/p>\n
          \u041f\u043e\u0441\u043b\u0435 \u0440\u0430\u0441\u043a\u0440\u044b\u0442\u0438\u044f \u0441\u043a\u043e\u0431\u043e\u043a \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0435:<\/p>\n
           <\/p>\n
          \u041f\u043e\u0441\u0442\u0440\u043e\u0438\u043c \u0431\u0430\u0437\u0438\u0441 \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430 (\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b \u0442\u0438\u043f Rational<\/code> \u0434\u043b\u044f \u043f\u0443\u0449\u0435\u0439 \u0442\u043e\u0447\u043d\u043e\u0441\u0442\u0438):  <\/p>\n
         *Main> let f1 = P [M 1 [2,0], M (-2) [1,0], M 1 [0,2], M (-26) [0,1], M 70 [0,0]] :: Polynom Rational Int *Main> let f2 = P [M 1 [2,0], M (-22) [1,0], M 1 [0,2], M (-16) [0,1], M 160 [0,0]] :: Polynom Rational Int *Main> let f3 = P [M 1 [2,0], M (-20) [1,0], M 1 [0,2], M (-2) [0,1], M 76 [0,0]] :: Polynom Rational Int *Main> putStr $ unlines $ map show $ makeGroebner [f1,f2,f3] x1^2 + (-2) % 1x1 + x2^2 + (-26) % 1x2 + 70 % 1 x1^2 + (-22) % 1x1 + x2^2 + (-16) % 1x2 + 160 % 1 x1^2 + (-20) % 1x1 + x2^2 + (-2) % 1x2 + 76 % 1 (-20) % 1x1 + 10 % 1x2 + 90 % 1 15 % 1x2 + (-75) % 1 <\/pre>\n
          \u0427\u0443\u0434\u0435\u0441\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0434\u0432\u0430 \u043b\u0438\u043d\u0435\u0439\u043d\u044b\u0445 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0431\u044b\u0441\u0442\u0440\u043e \u0434\u0430\u044e\u0442 \u043e\u0442\u0432\u0435\u0442 \u2014 \u0442\u043e\u0447\u043a\u0430 (7,5). \u041c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0447\u0442\u043e \u043e\u043d\u0430 \u043b\u0435\u0436\u0438\u0442 \u043d\u0430 \u0432\u0441\u0435\u0445 \u0442\u0440\u0451\u0445 \u043e\u043a\u0440\u0443\u0436\u043d\u043e\u0441\u0442\u044f\u0445. \u0418\u0442\u0430\u043a, \u043c\u044b \u0441\u0432\u0435\u043b\u0438 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0442\u0440\u0451\u0445 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0445 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u043a \u0434\u0432\u0443\u043c \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u043b\u0438\u043d\u0435\u0439\u043d\u044b\u043c. \u0411\u0430\u0437\u0438\u0441\u044b \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430 \u2014 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u044b\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0434\u043b\u044f \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0445 \u0437\u0430\u0434\u0430\u0447.<\/p>\n
        7 \u0412\u043e\u043f\u0440\u043e\u0441\u044b \u0434\u043b\u044f \u0440\u0430\u0437\u043c\u044b\u0448\u043b\u0435\u043d\u0438\u044f \u0438 \u0437\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h4>\n
          <\/a>\u041d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435, \u044d\u0442\u043e\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043c\u043e\u0436\u043d\u043e \u0435\u0449\u0451 \u0443\u043b\u0443\u0447\u0448\u0438\u0442\u044c. -\u043f\u043e\u043b\u0438\u043d\u043e\u043c\u044b \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u0442\u0435\u0445 \u043f\u0430\u0440 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432, \u0441\u0442\u0430\u0440\u0448\u0438\u0435 \u0447\u043b\u0435\u043d\u044b \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0435 \u0432\u0437\u0430\u0438\u043c\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u044b \u2014 \u0442\u043e \u0435\u0441\u0442\u044c \u0438\u0445 \u043d\u0430\u0438\u043c\u0435\u043d\u044c\u0448\u0435\u0435 \u043e\u0431\u0449\u0435\u0435 \u043a\u0440\u0430\u0442\u043d\u043e\u0435 \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0441\u0442\u043e \u0438\u0445 \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u0435\u043c. \u0412 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u0430\u0445 \u043f\u0440\u043e \u044d\u0442\u043e\u0442 \u0441\u043b\u0443\u0447\u0430\u0439 \u0433\u043e\u0432\u043e\u0440\u044f\u0442 \u00ab\u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u044b \u0438\u043c\u0435\u044e\u0442 \u0437\u0430\u0446\u0435\u043f\u043b\u0435\u043d\u0438\u0435<\/i>\u00bb. \u0414\u043e\u0431\u0430\u0432\u044c\u0442\u0435 \u0442\u0430\u043a\u0443\u044e \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044e \u0432 \u043d\u0430\u0448\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u044e makeGroebner<\/code>.<\/p>\n
          \u0415\u0441\u043b\u0438 \u0432 \u0438\u0442\u043e\u0433\u043e\u0432\u044b\u0439 \u0431\u0430\u0437\u0438\u0441 \u043f\u043e\u043f\u0430\u043b \u043f\u043e\u043b\u0438\u043d\u043e\u043c, \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0447\u043b\u0435\u043d \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0434\u0435\u043b\u0438\u0442\u0441\u044f \u043d\u0430 \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0447\u043b\u0435\u043d \u043a\u0430\u043a\u043e\u0433\u043e-\u0442\u043e \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0430 \u0438\u0437 \u0431\u0430\u0437\u0438\u0441\u0430, \u0442\u043e \u0435\u0433\u043e \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043a\u043b\u044e\u0447\u0438\u0442\u044c. \u0411\u0430\u0437\u0438\u0441, \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0439 \u043f\u043e\u0441\u043b\u0435 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u0432\u0441\u0435\u0445 \u0442\u0430\u043a\u0438\u0445 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432, \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u043c<\/i> \u0431\u0430\u0437\u0438\u0441\u043e\u043c \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430. \u0422\u0430\u043a\u0436\u0435 \u043c\u043e\u0436\u043d\u043e \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043f\u043e\u043b\u0438\u043d\u043e\u043c, \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0439<\/i> \u0447\u043b\u0435\u043d \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0434\u0435\u043b\u0438\u0442\u0441\u044f \u043d\u0430 \u0441\u0442\u0430\u0440\u0448\u0438\u0439 \u0447\u043b\u0435\u043d \u043a\u0430\u043a\u043e\u0433\u043e-\u0442\u043e \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0430. \u0412 \u044d\u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0437\u0430\u043c\u0435\u043d\u0438\u043c \u044d\u0442\u043e\u0442 \u043f\u043e\u043b\u0438\u043d\u043e\u043c \u043e\u0441\u0442\u0430\u0442\u043a\u043e\u043c \u043e\u0442 \u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043d\u0430 \u0434\u0440\u0443\u0433\u043e\u0439. \u0411\u0430\u0437\u0438\u0441, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043f\u0440\u043e\u0432\u0435\u0434\u0435\u043d\u044b \u0432\u0441\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u0442\u0430\u043a\u043e\u0433\u043e \u0442\u0438\u043f\u0430, \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0440\u0435\u0434\u0443\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u043c<\/i>. \u0412 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0443\u043f\u0440\u0430\u0436\u043d\u0435\u043d\u0438\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0439\u0442\u0435 \u043c\u0438\u043d\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044e \u0438 \u0440\u0435\u0434\u0443\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0431\u0430\u0437\u0438\u0441\u0430.<\/p>\n
          \u0412 \u0437\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 \u0445\u043e\u0447\u0443 \u0441\u043a\u0430\u0437\u0430\u0442\u044c \u0441\u043f\u0430\u0441\u0438\u0431\u043e \u0432\u0441\u0435\u043c, \u043a\u0442\u043e \u0434\u043e\u0447\u0438\u0442\u0430\u043b \u044d\u0442\u0443 \u0441\u0442\u0430\u0442\u044c\u044e \u0434\u043e \u043a\u043e\u043d\u0446\u0430. \u042f \u0437\u043d\u0430\u044e, \u0447\u0442\u043e \u043c\u043e\u0451 \u043f\u043e\u0432\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u0431\u044b\u043b\u043e \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u0443\u043c\u0431\u0443\u0440\u043d\u044b\u043c, \u0430 \u043a\u043e\u0434 \u043d\u0435\u0438\u0434\u0435\u0430\u043b\u044c\u043d\u044b\u043c (\u0438, \u043c\u043e\u0436\u0435\u0442, \u043d\u0435\u043f\u043e\u043d\u044f\u0442\u043d\u044b\u043c), \u043d\u043e \u044f \u0432\u0441\u0451-\u0442\u0430\u043a\u0438 \u043d\u0430\u0434\u0435\u044e\u0441\u044c, \u0447\u0442\u043e \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u043b \u043a\u043e\u0433\u043e-\u043d\u0438\u0431\u0443\u0434\u044c \u0431\u0430\u0437\u0438\u0441\u0430\u043c\u0438 \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430. \u041c\u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u043e\u0447\u0435\u043d\u044c \u043f\u0440\u0438\u044f\u0442\u043d\u043e, \u0435\u0441\u043b\u0438 \u043a\u0442\u043e-\u043d\u0438\u0431\u0443\u0434\u044c \u0441\u043c\u043e\u0436\u0435\u0442 \u043d\u0430\u0439\u0442\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u043c\u043e\u0438\u043c \u043d\u0430\u0440\u0430\u0431\u043e\u0442\u043a\u0430\u043c \u0432 \u0445\u043e\u0442\u044c \u0441\u043a\u043e\u043b\u044c\u043a\u043e-\u043d\u0438\u0431\u0443\u0434\u044c \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u0437\u0430\u0434\u0430\u0447\u0430\u0445.<\/p>\n
          \u0412\u0435\u0441\u044c \u043a\u043e\u0434 \u0438\u0437 \u0441\u0442\u0430\u0442\u044c\u0438 \u0434\u043e\u0441\u0442\u0443\u043f\u0435\u043d \u0432 \u0432\u0438\u0434\u0435 gist<\/a>.    \t \t\t   \t<\/p>\n
        <\/div>\n<\/p><\/div>\n
         \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438  http:\/\/habrahabr.ru\/post\/177237\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"
           \t\u0412 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u044f \u0445\u043e\u0447\u0443 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u0442\u044c \u043e \u0442\u043e\u043c, \u043a\u0430\u043a \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u044b\u0432\u0430\u043b \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0435 \u0441 \u0431\u0430\u0437\u0438\u0441\u0430\u043c\u0438 \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430, \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Haskell. \u041d\u0430\u0434\u0435\u044e\u0441\u044c \u043a\u043e\u043c\u0443-\u043d\u0438\u0431\u0443\u0434\u044c \u043c\u043e\u0438 \u0438\u0434\u0435\u0438 \u0438 \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u0438\u044f \u043e\u043a\u0430\u0436\u0443\u0442\u0441\u044f \u043f\u043e\u043b\u0435\u0437\u043d\u044b\u043c\u0438. \u042f \u043d\u0435 \u0441\u043e\u0431\u0438\u0440\u0430\u044e\u0441\u044c \u0432\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0432 \u0442\u0435\u043e\u0440\u0438\u044e, \u0442\u0430\u043a \u0447\u0442\u043e \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044e \u0441\u0442\u043e\u0438\u0442 \u0431\u044b\u0442\u044c \u0437\u043d\u0430\u043a\u043e\u043c\u044b\u043c \u0441 \u043f\u043e\u043d\u044f\u0442\u0438\u044f\u043c\u0438 \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0438\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043a\u043e\u043b\u044c\u0446\u0430, \u0438\u0434\u0435\u0430\u043b\u0430 \u043a\u043e\u043b\u044c\u0446\u0430 \u0438 \u0431\u0430\u0437\u0438\u0441\u0430 \u0438\u0434\u0435\u0430\u043b\u0430. \u0421\u043e\u0432\u0435\u0442\u0443\u044e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0432\u043e\u0442 \u044d\u0442\u0443<\/a> \u043a\u043d\u0438\u0433\u0443 \u041c\u0426\u041d\u041c\u041e, \u0432 \u043d\u0435\u0439 \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0430 \u0432\u0441\u044f \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u0430\u044f \u0442\u0435\u043e\u0440\u0438\u044f.<\/p>\n
          \u041e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u043f\u0440\u0435\u0434\u043c\u0435\u0442 \u0441\u0442\u0430\u0442\u044c\u0438 \u2014 \u0431\u0430\u0437\u0438\u0441\u044b \u0413\u0440\u0451\u0431\u043d\u0435\u0440\u0430 \u0438\u0434\u0435\u0430\u043b\u043e\u0432 \u043a\u043e\u043b\u0435\u0446 \u043c\u043d\u043e\u0433\u043e\u0447\u043b\u0435\u043d\u043e\u0432 \u043e\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445. \u042d\u0442\u043e \u043f\u043e\u043d\u044f\u0442\u0438\u0435 \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u043f\u0440\u0438 \u0438\u0437\u0443\u0447\u0435\u043d\u0438\u0438 \u0441\u0438\u0441\u0442\u0435\u043c \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0438\u0430\u043b\u044c\u043d\u044b\u0445 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0438 \u0434\u0430\u0451\u0442 \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u0440\u043e\u0448\u0438\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0434\u043b\u044f \u0438\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0432 \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0435 \u0441\u043b\u0443\u0447\u0430\u0435\u0432. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u044f \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043f\u043e\u043a\u0430\u0436\u0443, \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0442\u044c \u044d\u0442\u0438 \u0438\u0434\u0435\u0438.<\/p>\n
          \u0421\u0430\u043c\u044b\u0439 \u0433\u043b\u0430\u0432\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0434\u0430\u0451\u0442 \u044d\u0442\u0430 \u0442\u0435\u043e\u0440\u0438\u044f \u2014 \u0445\u043e\u0440\u043e\u0448\u0438\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0440\u0435\u0448\u0430\u0442\u044c \u043f\u043e\u043b\u0438\u043d\u043e\u043c\u0438\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u043e\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445. \u0414\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u0432\u044b \u043d\u0435 \u0437\u043d\u0430\u043a\u043e\u043c\u044b \u0441 \u0432\u044b\u0441\u0448\u0435\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u043e\u0439 \u0438\u043b\u0438 \u0441 Haskell, \u044f \u0441\u043e\u0432\u0435\u0442\u0443\u044e \u0432\u0430\u043c \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u044d\u0442\u0443 \u0441\u0442\u0430\u0442\u044c\u044e, \u0442\u0430\u043a \u043a\u0430\u043a \u044d\u0442\u0438 \u0441\u0430\u043c\u044b\u0435 \u043c\u0435\u0442\u043e\u0434\u044b \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u044b \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435, \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e\u043c \u0448\u043a\u043e\u043b\u044c\u043d\u0438\u043a\u0443, \u0430 \u0432\u0441\u044f \u0442\u0435\u043e\u0440\u0438\u044f \u043d\u0443\u0436\u043d\u0430 \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u043e\u0431\u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u044f. \u041c\u043e\u0436\u043d\u043e \u0441\u043f\u043e\u043a\u043e\u0439\u043d\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u0432\u0441\u0451, \u0447\u0442\u043e \u0441\u0432\u044f\u0437\u0430\u043d\u043e \u0441 \u0432\u044b\u0441\u0448\u0435\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u043e\u0439, \u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0430\u0443\u0447\u0438\u0442\u044c\u0441\u044f \u0440\u0435\u0448\u0430\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439. <\/p>\n
          \u0415\u0441\u043b\u0438 \u0432\u0430\u0441 \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u043b\u043e, \u043f\u0440\u043e\u0448\u0443 \u043f\u043e\u0434 \u043a\u0430\u0442. <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-177237","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/177237","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=177237"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/177237\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=177237"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=177237"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=177237"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}