Size: a a a

2020 August 09

SA

Sokolov Andrew in Lisp Forever
Если ты не знаешь какую конкретно последовательность ты предлагаешь то толку от этого предложения 0
источник

SA

Sokolov Andrew in Lisp Forever
Я же предлагаю конкретное решение.
источник

a

akater in Lisp Forever
Sokolov Andrew
x^10000 + 1
В таком случае естественно использовать то или иное sparse решение.  Мой пример просто визуально показывает, как может выглядеть полином в виде последовательности коэффициентов в случае если это было непонятно.  (А мне было непонятно, что именно непонятно.)
источник

a

akater in Lisp Forever
Sokolov Andrew
Я же предлагаю конкретное решение.
Мое конкретное предложение — начать с sexp'ов.  Дальше я обсуждал классификацию (о ней идет речь в исходном сообщении).
источник

a

akater in Lisp Forever
Sokolov Andrew
На всякий случай отмечу что у меня вышка по математике (рофлан) чтоб избежать лишних ремарок
Тогда Вы скорее всего знаете, что утверждения вида «Полином 1+2x не имеет корней в ℤ» — осмысленные и используемые.  Речь шла о том, можно ли представлять полином в общем случае не последовательностью коэффициентов, а корнями.  По-моему это малоосмысленно, потому что, насколько я знаю, корни не описываются конструктивно в общем случае (в том смысле, что мне неизвестно, строится ли алгебраическое замыкание конструктивно в общем случае).
источник

SA

Sokolov Andrew in Lisp Forever
Не строится, базис найти нельзя очевидно)
источник

SA

Sokolov Andrew in Lisp Forever
Но я ничего про корни и не предлагал так что это все неважно
источник

a

akater in Lisp Forever
Очевидно?  Существование замыкания можно доказать не используя аксиому выбора.  Для некоторого класса полей замыкание строится конструктивно.  Беглый поиск говорит, что неизвестно, есть обобщения у этого механизма или нет.

Чтоб держаться темы — задача классифицировать такие выражения, видимо, эквивалентна задаче классифицировать последовательности коэффициентов (полиномов).  Это все, что я хотел сказать.

(Если @hawthorne_a захочет еще и деление, то это тривиальная надстройка: рац. функция это просто пара полиномов.)
источник

AE

Alexey Egorov in Lisp Forever
источник

AE

Alexey Egorov in Lisp Forever
Сложно.
источник

a

akater in Lisp Forever
Alexey Egorov
Сложно.
Так с алгебраическими выражениями вообще сложно.  А я люблю эту тему.

Есть шутка, типа «нет в системе компьютерной алгебры функции сложнее чем simplify» :-] (она упрощает алгебраические выражения)

Кстати, @hawthorne_a в формулировке, которую я предложил, преимущество, например, в том, что у одного выражения только одно представление (если только нет связей между x, y, в предположении, что есть что-то кроме x), так что не надо бояться, что разные на вид выражения равны.
источник

V(

Vλadimir (Hawthorne ... in Lisp Forever
Спасибо всем,  мне надо это переварить.
источник
2020 August 11

YK

Yaroslav Khnygin in Lisp Forever
лол
источник

YK

Yaroslav Khnygin in Lisp Forever
никто не хочет прикупить раритет? https://www.ebay.com/itm/164330731064
источник

AE

Alexey Egorov in Lisp Forever
Лол.
источник

AZ

Aydar Zarifullin in Lisp Forever
Никогда не понимал нафиг такой перевод нужен. (Не к тому сообщению реплайнул)
источник

PG

Pig Greenest in Lisp Forever
почему-то у меня не грузится css, а проц сильно загружается
источник

MK

Mikhail Kirillov in Lisp Forever
Pig Greenest
почему-то у меня не грузится css, а проц сильно загружается
web3.0
источник

AZ

Aydar Zarifullin in Lisp Forever
Web3.0 codename "Electron"
источник

MK

Mikhail Kirillov in Lisp Forever
На синкпаде у меня больше сайтов, которые лагают
источник