On Wed, Feb 13, 2019 at 6:13 AM Andrei Klimov andrei_AT_klimov.net <
refal@botik.ru> wrote:
> Александр, еще раз добрый день!
>
> Я понял, о чем вы писали и зачем требуется отношение порядка. Объясню
> своими словами на подвешенных скобках.
>
> Пусть (eX) и (eY) входят в два выражения e1(eX)e2 и
Переношу реплику Аркадия под этот сабж.
А то мысли про джунгли окажутся потерянными в нескольких тредах.
Андрей
On Wed, Feb 13, 2019 at 6:26 PM Arkady Klimov arkady.klimov_AT_gmail.com <
refal@botik.ru> wrote:
> То, о чем написал Сергей действительно полезно на практике. У меня
> написана некая
On Wed, Feb 13, 2019 at 9:55 PM Александр Коновалов
a.v.konovalov87_AT_mail.ru wrote:
> Прокси может ссылаться на прокси.
>
> Допустим, у нас есть три равных терма: A, B и C.
>
> Сравнивая A и B, мы превращаем A в прокси, который ссылается на B: A → B.
>
> Сравнивая затем B и C, делаем прокси B:
Прокси может ссылаться на прокси.
Допустим, у нас есть три равных терма: A, B и C.
Сравнивая A и B, мы превращаем A в прокси, который ссылается на B: A → B.
Сравнивая затем B и C, делаем прокси B: B → C.
Получается цепочка прокси: A → B → C.
Конечно, при следующем обращении к A цепочка
On Wed, Feb 13, 2019 at 2:42 PM Александр Коновалов
a.v.konovalov87_AT_mail.ru wrote:
> Андрей!
>
>
> *«Головная ячейка представления скобочного терма может быть прокси,
> то есть ссылкой на окончательное представление или снова
> на прокси.»«Одновременно спрямлять ссылки.»*
>
> Получаем лес
Здравствуйте, Александр!
Прошу прощения за некоторую задержку, пришлось немного повозиться, приводя
в порядок версию дистрибуции. В принципе, есть все на сайте refal.net, но
сильно старое, с тех пор довольно много было правок. Вот та страничка:
http://refal.net/~arklimov/refal6/index.html
То, о чем написал Сергей действительно полезно на практике. У меня написана
некая система работы с полиномами, и там обрабатываются неравенства вида
P(x,y,...) < K, где K - целое число, а P не содержит свободного члена. В
списке таких неравенств часто надо находить неравенства с общей левой
частью
Добрый день, Сергей!
Индексация этого представления, как сказано, имеет сложность log(P, N), где
P=32 — местность дерева. Операции очереди (вставка/удаление в начале/конце) —
P×log(P, N), выбор префикса или суффикса — тоже P×log(P, N). Операция
обновления i-го элемента (построения вектора с
Андрей!
«Головная ячейка представления скобочного терма может быть прокси, то есть
ссылкой на окончательное представление или снова на прокси.»
«Одновременно спрямлять ссылки.»
Получаем лес непересекающихся множеств:
https://ru.wikipedia.org/wiki/Лес_непересекающихся_множеств
У этого метода
Александр, да, теперь я понял.
Получилось так, что мы писали навстречу друг другу.
Я только что послал письмо, где обрисовал картину более подробно с
возможными решениями, но, к сожалению, неидеальными.
Андрей
On Wed, Feb 13, 2019 at 2:10 PM Александр Коновалов
a.v.konovalov87_AT_mail.ru wrote:
Александр, еще раз добрый день!
Я понял, о чем вы писали и зачем требуется отношение порядка. Объясню
своими словами на подвешенных скобках.
Пусть (eX) и (eY) входят в два выражения e1(eX)e2 и e3(eY)e4, и при их
сравнении выяснилось, что (eX) = (eY).
И пусть на представления (eX) и (eY) есть еще
Андрей!
Описываю, что я имел ввиду, на Рефале. Будем предполагать, что в этой
реализации используются подвешенные скобки.
F {
= ;
}
G {
t.1 t.2 = ;
}
H {
t.X t.X t.Y t.Y = t.X t.Y;
}
В памяти всё равно могут остаться два экземпляра ('abc'). Потому что первый раз
мы сравниваем t.1 с
Имеет смысл ознакомиться с тем, как реализованы/представлены
"немутабельные" векторы в библиотеке Скалы:
*Scala High Performance Programming*
Vincent Theron, Michael Diamant
May 2016
https://www.packtpub.com/application-development/scala-high-performance-programming
Not only does Vector yield
On Wed, Feb 13, 2019 at 11:04 AM Andrei Klimov wrote:
> Я сменил сабж, так как тема шире, чем лишь для Рефала Плюс.
>
> ср, 13 февр. 2019 г., 0:18 Александр Коновалов a.v.konovalov87_AT_mail.ru
> :
>
>> Добрый вечер, Сергей!
>>
>> > 2. Наконец, если нам пришлось делать длинное сравнение и в
14 matches
Mail list logo
