библиотека для аффинных вычислений к-альгебры? [закрыто]

Закрыто. Этот вопрос стоит вне темы. В настоящее время он не принимает ответы.

Хотите улучшить этот вопрос? Обновите вопрос , чтобы он был по теме для переполнения стека.

Закрыто 2 года назад .

Я ищу библиотечную или компьютерную алгебральную систему, которая поможет вычислить операции над многочленами в кольце

F_2[x_1, ..., x_n] /

, где F_2 - 2-элементное конечное поле, а - идеальное поле, генерируемое из элементов f^2 - f для всех f в F_2[. ..]. (Я думаю / надеюсь / я уверен, что это кольцо булевой алгебры, которое использует xor как + и как * [ wikipedia ])).

Например,

x_1 = poly_xn 1
x_2 = poly_xn 2
x_1 * x_2 * x_1 -- returns "x_1 * x_2"
x_1 + x_1 + x_2 -- returns "x_2"

Я написал код для этого в Haskell, но, к сожалению, производительность не очень хорошая.

Примечание: название "affine k-algebra" происходит от Commutative Algebra Айзенбуда с видом на книгу по алгебраической геометрии на стр. 35; если есть лучшее название, пожалуйста, отредактируйте вопрос, спасибо!

задан gatoatigrado 31 August 2011 в 04:14

0 ответов

Другие вопросы по тегам:

haskell polynomial-math computer-algebra-systems

библиотека для аффинных вычислений к-альгебры? [закрыто]

0 ответов

Похожие вопросы: