Published package / CLIR

`mathlib.divisibility`

v0.1.0

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

A package can be printed as a standalone module in a general-purpose language that answers without the rules engine: an answer and its status, with no proof, hashes or canonical document. Everything on this page comes from the generation plan built with the index; the gallery computes nothing of its own.

Generation plan

The plan builds: the package can be printed as a module.

plan format: law-backend-plan/0.8
capabilities: status:supported

Checked against package scenarios

4 of 4 scenarios matched on ts, py, go

answer statuses: NEITHER 1 · TRUE_ONLY 3

Outcomes are pinned in the consumer gate manifest; the gate must reproduce them.

Target languages

print this plangopyts

refuse this plan · 13

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

Print the module from a repository checkout

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

Dependencies included in the planarxo.divisibilitymathlib.divisibility.permissions

Module interface

Questions are public relations with a producing rule; inputs are the facts a question reads. Function names follow the language: ask_… in Python, ask.… in TypeScript, Ask… in Go.

Questions · 3

Name	Parameters	Meaning	Reads	Sources
supported_1150e293da3b4d9ac72b4eff22b380fc3a4dbe25931dba02fe9268e6304b8cd5	text, text, text, text	Imported support: dvd_transRU	`in_carriermonoid_structuresemigroup_structurepermit_7f79c599a21637d346a5ad389f04ef51101a85846c448226a06e04fa2f118714permit_98e2198e43864a561c34d1d98ac735e78f38b97589b0ce470117aebe3f844717permit_e131c4b22d2016143340391e657aefc0553dab90907a0e88f422438cd3f85392`	`dvd_trans`
supported_42112ffce927955a7fd6a1a248e9c9ea209b4adae21d6e2a096c86c1c902943c	text	Imported support: Monoid.toSemigroupRU	`monoid_structurepermit_98e2198e43864a561c34d1d98ac735e78f38b97589b0ce470117aebe3f844717`	`Monoid.toSemigroup`
supported_4de44635ffc1c793d4b53db3328172f4dc8bd353c0fa1c8bba3b5861aff6a1b2	text, text	Imported support: dvd_reflRU	`in_carriermonoid_structurepermit_e131c4b22d2016143340391e657aefc0553dab90907a0e88f422438cd3f85392`	`dvd_refl`

Inputs · 6

Name	Parameters	Meaning
in_carrier	text, text	Элемент принадлежит этому носителюRU
monoid_structure	text	На носителе задан выбранный моноидRU
semigroup_structure	text	На носителе задана выбранная полугруппаRU
permit_7f79c599a21637d346a5ad389f04ef51101a85846c448226a06e04fa2f118714		Conditional permission: dvd_transRU
permit_98e2198e43864a561c34d1d98ac735e78f38b97589b0ce470117aebe3f844717		Conditional permission: Monoid.toSemigroupRU
permit_e131c4b22d2016143340391e657aefc0553dab90907a0e88f422438cd3f85392		Conditional permission: dvd_reflRU