Опубликованный пакет / CLIR

`mathlib.divisibility`

v0.1.0

Правила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации

Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.

План кодогенерации

План строится: пакет печатается модулем.

формат плана: law-backend-plan/0.8
возможности: status:supported

Сверка сценариями пакета

совпало 4 из 4 сценариев на ts, py, go

статусы ответов: NEITHER 1 · TRUE_ONLY 3

Исходы закреплены в манифесте ворот потребителя; ворота обязаны их повторить.

Целевые языки

печатают этот планgopyts

отвергают этот план · 13

bsl версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
cs версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
dart версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
erl версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
ex версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
java версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
kt версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
lua версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
php версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
rb версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
rs версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
scala версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
swift версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)

Напечатать модуль из рабочей копии репозитория

./law dev backend corpus/clir/mathlib-divisibility.lawir.json --target ts --target py --target go --out DIR

Зависимости в составе планаarxo.divisibilitymathlib.divisibility.permissions

Интерфейс модуля

Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.

Вопросы · 3

Имя	Параметры	Смысл	Читает	Источники
supported_1150e293da3b4d9ac72b4eff22b380fc3a4dbe25931dba02fe9268e6304b8cd5	text, text, text, text	Imported support: dvd_trans	`in_carriermonoid_structuresemigroup_structurepermit_7f79c599a21637d346a5ad389f04ef51101a85846c448226a06e04fa2f118714permit_98e2198e43864a561c34d1d98ac735e78f38b97589b0ce470117aebe3f844717permit_e131c4b22d2016143340391e657aefc0553dab90907a0e88f422438cd3f85392`	`dvd_trans`
supported_42112ffce927955a7fd6a1a248e9c9ea209b4adae21d6e2a096c86c1c902943c	text	Imported support: Monoid.toSemigroup	`monoid_structurepermit_98e2198e43864a561c34d1d98ac735e78f38b97589b0ce470117aebe3f844717`	`Monoid.toSemigroup`
supported_4de44635ffc1c793d4b53db3328172f4dc8bd353c0fa1c8bba3b5861aff6a1b2	text, text	Imported support: dvd_refl	`in_carriermonoid_structurepermit_e131c4b22d2016143340391e657aefc0553dab90907a0e88f422438cd3f85392`	`dvd_refl`

Входы · 6

Имя	Параметры	Смысл
in_carrier	text, text	Элемент принадлежит этому носителю
monoid_structure	text	На носителе задан выбранный моноид
semigroup_structure	text	На носителе задана выбранная полугруппа
permit_7f79c599a21637d346a5ad389f04ef51101a85846c448226a06e04fa2f118714		Conditional permission: dvd_trans
permit_98e2198e43864a561c34d1d98ac735e78f38b97589b0ce470117aebe3f844717		Conditional permission: Monoid.toSemigroup
permit_e131c4b22d2016143340391e657aefc0553dab90907a0e88f422438cd3f85392		Conditional permission: dvd_refl