ЛичныйПипка strikes back

http://math.stackexchange.com/questions/4298/factoring-prime-ideals-in-a-galois-extension-of-q


http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/totram.pdf

!!! вторая ссылка понятная


http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/Qw2.pdf
..........
/\./\....
..O_O..
..........
а это разбор моей задачи

ВЕТКИ ВЕТКИ

вот вы все-таки *нецензурная брань* тупые и я туда же.
Зачем раскрывать скобки в выражении (x^q + a)^n, если a = o(x^q)?!

Вовч, я и не раскрывал.
Надо раскрывать, чтобы найти следующую степень в разложении по степеням. Это нужно сделать, потому что у двух веток могут совпадать начала, а различие будет потом (как то ли в предпоследней, то ли в третьей с конца задаче, когда первый член нормальный, а дальше внезапно одно из продолжений ветки оказывается точным решением, а другое "продолжение" вообще не продолжается до решения)

Так добавляешь по одному слагаемому(берешь два старших из скобки или накрайняк 3) и все окэ? нет?

Вообще как поздно могут разойтись ветки и как понять, что дальше уже все однозначно?

ВОВЧ, смотри, берешь y = a*x^k +o. Потом говоришь o = f(x) и находишь уравнение на f. Рисуешь диаграмму Ньютона, зациклились. Теперь, когда прекращать с этим делом: надо остановиться, когда у диаграммы Ньютона есть всего одно подходящее ребро (то есть ровно две точки, соединенные ребром, и больше ничего). Откуда берутся неподходящие ребра? Оттуда, что есть ограничение f = o(x^k)

Спасибо!
Еще вопрос: у меня ведущее слагаемое f вычисляется однозначно.
Ты не знаешь, это значит, что в диаграмме Ньютона будет одно ребро?

мне кажется ты чрезмерно углубляешься в вопрос

Мне просто не хочется рисовать на каждом шаге по диаграмме ньютона.
В первом примере у меня пока 3 кривых. Как я понял для обоснования я должен нарисовать Ньютона для каждой + еще вначале рисовал. А если там не одно звено, то потом еще. Впрочем возможно я зря ссу

если тебе интересно, я делал так:
1) херачим алгоритм Марианны, вбивая его в мэпл, там нужно только один раз рисовать многоугольник вначале
2) узнаем что пипушка не принимает такое гавно
3) берем ручку другого цвета, зачеркиваем второй член(который c_1*x^{(a+1)/b}) и пишем там f(x)

все, это, казалось бы, незначительное и бессмысленное на первый взгляд действие снимает все его вопросы

и это несмотря на то что один пример(или два?) я даже тупо не досчитал и бросил в середине

ВОВЧ, вообще говоря, из единственности решения на f(x) не следует, что ребро было всего одно. Вроде, я сталкивался с ситуацией, когда это не так.
В математике это все очень просто: скобки оно само раскрывает, а дальше надо только нарисовать диаграмму (когда сразу рисуешь выпуклую оболочку, надо всего вершин 5 отметить). На пример меньше 10 минут уходит. В Maple так тоже должно быть можно, только я не знаю, как

Паша, да ты блатнячок

итак: кто уже научился вычислять кольцо целых?

Кольцо целых считает Maple.

В моем примере (номер 13) команда
with(numtheory);
integral_basis({2^(1/2), 17^(1/2)});
выдала нужный базис

вопрос в том, как доказать что полученный базис это то что нужно
я посчитал дискриминант для найденного набора, получилось 136. Вспомнил что D(A)=(ind)^2 * d(L), откуда d(k) либо 136 либо 34. Но d(k) либо 0 либо 1 по модулю 4, значит ind = 1 и найденный набор --- integral basis для L.

А как ты это вспомнил? У тебя есть конспект или ты гений?

Я курил книжки, лол=)
прочитал 2/3 книжки Alaca, Willaims. Ещё это есть в Суиннертоне-Дайере

Как искать группу классов идеалов: нужно перебрать простые числа от 1 до константы минковского, разложить соответствующие главные идеалы на простые (там в каждом случае не более чем n идеалов где n --- степень расширения), все полученные простые идеалы --- генераторы группы, посмотреть какие между ними соотношения. Например если все эти идеалы главные, то группа классов идеалов тривиальная

Клево!мэпл!
я кстати еще почитал мануалы, и выяснилось, что там есть пара полезных команд

например, factorEQ(a,b) раскладывает на множители число а в Z[sqrt(b)]

And_Sid пишет:разложить соответствующие главные идеалы на простые

как это делается?

2Asid
Ты кривые сдал, писечка?

PasGal пишет:
.(')
.| |
.| |
.| |
O O

а это моя пипка!!

ну что я за человек

Паша, что-то с тобой не то творится

ПАРАША --- СОСУД ДЛЯ ИСПРАЖНЕНИЙ

http://reslib.com/book/Mnogougoljnik_Njyutona_i_ego_rolj_v_sovremennom_razvitii_matematiki

Все что нужно для решения задачек с ветвями

Пашок-Порошок, ты еще жив?
Надо заботать задачу