Опубликованный пакет / CLIR
arxo.elliptic_curves
v0.1.0Словарь эллиптических кривых: модель Вейерштрасса, дискриминант (вычисляемый), принадлежность точки кривой, групповой закон (явная формула, верифицируемая), четыре раздельных отношения ранга
Arxo's own dictionary contract for elliptic curves over Q, in Weierstrass form
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| ELLIPTIC_CURVES_CONTRACT_EN | en | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.