TA
Появился один вопрос:
Каким образом можно строить факторкольца в Haskell?
Например есть какое-то кольцо,а я хочу построить факторкольцо.
Т.е. проблема в том,что подмножество же никак не взять,а следовательно и идеал нельзя выделить.
Только если вкладывать какое-то другое кольцо в исходное.
Но есть ли какие-то другие способы?
Каким образом можно строить факторкольца в Haskell?
Например есть какое-то кольцо,а я хочу построить факторкольцо.
Т.е. проблема в том,что подмножество же никак не взять,а следовательно и идеал нельзя выделить.
Только если вкладывать какое-то другое кольцо в исходное.
Но есть ли какие-то другие способы?