Re: Лямбда-базисы (Priroda 06)
(нерелятевистские basis.in и релятевистские в basis4.in)?
На досуге поразбирался.
При кажущемся богатстве выбор базисных наборов, на самом деле, не так велик. Во-первых, много синонимов, в которых легко запутаться. Во-вторых, немало базисных наборов, имеющихся в основном базисе, но отсутствующих в дополнительном. В итоге, для всех элементов есть следующие базисные наборы:
basis.in: b1 L2m L22m L1 L11 L2 L22 L3 L33 (элементы 1..36)
basis4.in: L1 L11 L2 L22 L3 L33 (элементы 1..102)
Более подробно см.
http://limor1.nioch.nsc.ru/file/Priroda/basis.in_sets
http://limor1.nioch.nsc.ru/file/Priroda/basis4.in_sets
(выбрать шрифт типа courier)
В этих файлах следующая информация (отсечены базисные наборы, отсутствующие для вспомогательного базиса):
— Базисные наборы и их синонимы, доступные для каждого из элементов.
— Какие из элементов есть в каждом базисном наборе.
— Количество базисных функций и контрактации для перечисленных выше наборов.