Описание тега macaulay2

Macaulay2 - это математический язык программирования, особенно для алгебраической геометрии и коммутативной алгебры.
1 ответ

Как вычислить S-пары в Macaulay2?

Алгоритм Бухбергера требует вычисления S-пар (подробнее на странице 83 "Идеалов, вариаций и алгоритмов" от Cox et al. 2008, 3-е издание) S (f, g) = LCM (LT (f), LT (г))/LT(f) *f - LCM(LT(f),LT(г)) / LT (г) * г где LCM - это наименьшее общее кратное …
1 ответ

Построение вектора из последовательности в MacAulay2

Я нахожусь в следующей ситуации: S = QQ [x_0..x_n]; для i от 0 до n сделать для j от i до n сделать d_{i,j} = x_i*x_j; Теперь я хотел бы построить вектор, элементы которого D_{0,0}=x_0^2, D_ {0,1} = x_0 * x_1,..., D_ {0, п} = x_0 * x_n, D_{1,1}=x_1^…
10 сен '18 в 21:51
2 ответа

Константы в терминах идеала: "stdio:4:11:(3): ошибка: невозможно повысить номер для звонка" в Macaulay2

Я пытаюсь продемонстрировать теорему Гендельмана и пример 1 здесь с Маколей2. Я не могу понять ошибку в определении идеала для многогранника, ограниченного интервалами. R=QQ[x1,x2,x3,MonomialOrder=>Lex]; I=ideal(x1-0.2,-x1+0.5,x2,-x2+1,x3-1,-x3+1…
02 авг '16 в 14:22
1 ответ

Используйте Macaulay2, чтобы показать, что фактор-кольцо является полем

Я новичок в Macaulay2. Я попытался использовать следующую команду, чтобы показать, что фактор-кольцо S=ZZ_977[x]/<7x^11+4x^5-23x^4+x-27> является полем: i2 : S = ZZ[x]/&lt;7*x^11+4*x^5-23*x^4+x-27&gt; o2 = S IsField S Но это не работает. Я посмотрел…
27 апр '16 в 05:06
2 ответа

Как разложить многочлен с другими многочленами?

Это вопрос по алгоритму деления. Рассмотрим полином f=-4x^4y^2z^2+y^6+3z^5 и полиномы G={y^6-z^5, x*z-y^2, x*y^4-z^4, x^2*y^2-z^3 *x^3-z^2}, Как можно вычислить f относительно G так, чтобы линейная комбинация f=\sum_i C_i*G_i доволен? Я знаю, что ос…
21 фев '16 в 08:37
0 ответов

Проблемы с загрузкой Macaulay 2

Я новичок в Macaulay 2 и сталкиваюсь с проблемами при попытке загрузить его. Очевидно, так как я использую Windows 7, мне нужно скачать программу под названием "Cygwin", чтобы установить M2 на мой компьютер. Я скачал Cywgin и сейчас пытаюсь выяснить…
21 окт '18 в 06:12
0 ответов

Полиномиальная редукция: многочлен в терминах других многочленов?

Рассмотрим каждую функцию ниже, такую ​​как f, f2, f3 и f4, с базисом I. Как мы можем выразить каждое f так, что f_i=\sum a_i I_i и каждый a_i\geq 0? пример Мы продемонстрируем полиномы ниже с помощью M2 и Mathematica. Macaulay2: i1 : R=RR[x1,x2,x3,…
1 ответ

Разделить все элементы идеала с полиномом в Маколе 2?

На основе вычисления идеального фактора (Идеал, Различия и Алгоритмы, стр.197, 3-е издание) нужно делить идеал на полином. Как вы можете сделать это в Macaulay 2?
18 фев '16 в 17:03
1 ответ

Как указать произвольный порядок мономов в Macaulay2?

Предположим, вам дан произвольный порядок, такой как $w>x>y>z>a$ order. Вы можете сделать переименование так, чтобы оно стало lex или подобными ошибочными переименованиями, чтобы удовлетворить некоторые из более типичных мономических порядков, таких…
17 фев '16 в 16:03
1 ответ

Как перечислить весь грассманиан и его индекс, а также k и n в табличном формате?

Хотел бы перечислить весь грассманиан и его индекс, а также k и n. Для функции Шуберта используйте И как найти индекс, который я использую в блоге H^(0,0) H^(1,1) Пока число от возрастания к убыванию Но кажется, что вернет только два числа
19 ноя '19 в 07:14
0 ответов

Найти ассоциированные простые идеалы мономиальных модульных идеалов?

Позволять $R=K[x,y,z,u,v,w]$ - кольцо многочленов над полем $K$. Если $I=(xyz,xyu,xyv,xyw,yzu,uvw,zuv)$ а также $J=(xyz,xyu,uvw,zuv)$, Как найти связанный простой I/J с помощью Macaulay2?
07 мар '20 в 15:49
0 ответов

Установка максимального времени работы для функции в Macaulay2

У меня есть функция, которую мне нужно запускать много раз в Macaulay2. Он включает в себя создание случайных объектов и обычно выполняется очень быстро, однако в редких случаях для выполнения одного запуска может потребоваться много времени. Я пыта…
06 июл '21 в 09:07
0 ответов

Обнаружено обратное исправление: ошибка пропуска исправления в процессе сборки

При попытке собрать Macaulay2 в процессе выдал следующую ошибку: patching file M2/Macaulay2/e/monoid.cpp Reversed (or previously applied) patch detected! Skipping patch. Что это значит? И как мне это решить?
10 ноя '22 в 15:49
1 ответ

Маколей 2 для алгебраических и геометрических методов в статистике

. Рассмотрим вектор h = (1, 1, 1, 2, 2, 2) и матрицу A = 2 0 0 1 1 0 0 2 0 1 0 1 0 0 2 0 1 1 1. Напишите код в программе Маколея 2 версии 1.21 для вычисления генераторов торических идеалов IA и IA,h. 2. Какой известной статистической моделью являетс…
15 фев '23 в 10:25
1 ответ

Ошибка сборки при установке Macaulay2 в Arch Linux

При запуске makepkg для Macaulay2 я получаю следующую ошибку: + rm -f '/home/user-name/macaulay2/src/M2/M2/usr-host/lib/*.la' /usr/bin/install -c -d /home/user-name/macaulay2/src/M2/M2/usr-host/bin /usr/bin/install: cannot create directory ‘/home/us…
10 янв '23 в 12:49
1 ответ

Вычислить первую когомолическую группу пучка частных в Маколее2

Я хочу вычислить когомологии пучка Q в точной последовательности на $\mathbb P^3$: 0\rightarrow\mathcal O(-1)\rightarrow \mathcal O^{\oplus 4}\rightarrow Q\rightarrow 0 Для этого я хочу вычислить когомологии Q, используя Macaulay2. Я пишу следующее …
10 июн '23 в 03:43