lawref.unit_declarations

Нормализация объявлений атомов ДО §209 (E-0150, DECISION-0157).

Поверхностный сахар хранится только во входе authoring; выход — UnitDecl вида simple. Алгебра значений §49.1 остаётся в units.py.

Functions

Name	Description
`expression`	Точный множитель и вектор RHS; никаких ambient constants (§49.2).
`fail`	No description.
`lower_units`	Оракульный читатель только деклараций §49.2, не всего языка.
`normalize`	Нормализует тела UnitDecl, RHS задаётся полем expression (§49.2).
`positive`	No description.
`powers`	No description.

`expression`function#

def expression(text, resolve)

Точный множитель и вектор RHS; никаких ambient constants (§49.2).

def fail(message: str, code: str = 'UNIT_UNKNOWN')

def lower_units(source: str, imported: list[dict] = ()) -> list[dict]

Оракульный читатель только деклараций §49.2, не всего языка.

Заголовки и feature-аннотации не несут вычислений. Неизвестный текст декларации отвергается; полный синтаксис пакета проверяет компилятор.

def normalize(declarations: list[dict], imported: list[dict] = ()) -> list[dict]

Нормализует тела UnitDecl, RHS задаётся полем expression (§49.2).

imported — узлы закреплённого мира, без догадок о неявном SI. Никакого expression в возвращённых узлах нет.

def positive(num, den)

def powers(pairs)

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.