universal-physics-tensor 7.0.0 → 9.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +11 -9
- package/data/atlas/atlas.json +3044 -0
- package/data/atlas/atlas.jsonld +1819 -0
- package/data/atlas/diffusion.json +1084 -0
- package/data/atlas/oscillators.json +1041 -0
- package/data/atlas/qudt-resolution.json +60 -0
- package/data/atlas/waves.json +916 -0
- package/data/atlas/witness-results.json +249 -0
- package/data/bridge-catalog.json +15425 -0
- package/data/bridge-catalog.schema.json +642 -0
- package/data/confrontation-sources.md +137 -0
- package/data/quantities.json +9755 -0
- package/data/quantities.schema.json +52 -0
- package/data/schemas/atlas-record.v0.json +236 -0
- package/data/schemas/discovery-run.v0.json +203 -0
- package/data/units.json +1149 -0
- package/data/units.schema.json +124 -0
- package/dist/atlas/association.d.ts +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.js +2 -5
- package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -1
- package/dist/atlas/catalog-formal-ref.d.ts +6 -12
- package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
- package/dist/atlas/catalog-formal-ref.js +15 -25
- package/dist/atlas/catalog-formal-ref.js.map +1 -1
- package/dist/atlas/physjs-entries.generated.d.ts +1769 -196
- package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
- package/dist/atlas/physjs-entries.generated.js +2046 -321
- package/dist/atlas/physjs-entries.generated.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts +89 -89
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +128 -269
- package/dist/atlas/physjs-ref.js.map +1 -1
- package/dist/atlas/proof-target.d.ts +16 -8
- package/dist/atlas/proof-target.d.ts.map +1 -1
- package/dist/atlas/proof-target.js +34 -31
- package/dist/atlas/proof-target.js.map +1 -1
- package/dist/bridges/caller-table.d.ts +56 -0
- package/dist/bridges/caller-table.d.ts.map +1 -0
- package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
- package/dist/bridges/caller-table.js.map +1 -0
- package/dist/bridges/catalog-adapter.d.ts.map +1 -1
- package/dist/bridges/catalog-adapter.js +5 -5
- package/dist/bridges/catalog-adapter.js.map +1 -1
- package/dist/bridges/catalog-load.d.ts +41 -0
- package/dist/bridges/catalog-load.d.ts.map +1 -0
- package/dist/bridges/catalog-load.js +145 -0
- package/dist/bridges/catalog-load.js.map +1 -0
- package/dist/bridges/catalog-types.d.ts +164 -0
- package/dist/bridges/catalog-types.d.ts.map +1 -0
- package/dist/bridges/catalog-types.js +8 -0
- package/dist/bridges/catalog-types.js.map +1 -0
- package/dist/bridges/coefficient-statement.d.ts +27 -0
- package/dist/bridges/coefficient-statement.d.ts.map +1 -0
- package/dist/bridges/coefficient-statement.js +33 -0
- package/dist/bridges/coefficient-statement.js.map +1 -0
- package/dist/bridges/confrontations.d.ts +8 -25
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +26 -714
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/evaluation-errors.d.ts +76 -0
- package/dist/bridges/evaluation-errors.d.ts.map +1 -0
- package/dist/bridges/evaluation-errors.js +118 -0
- package/dist/bridges/evaluation-errors.js.map +1 -0
- package/dist/bridges/evaluator-inputs.d.ts +5 -3
- package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
- package/dist/bridges/evaluator-inputs.js +24 -14
- package/dist/bridges/evaluator-inputs.js.map +1 -1
- package/dist/bridges/evaluators.d.ts +40 -28
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +183 -413
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/expr-parse.d.ts +27 -0
- package/dist/bridges/expr-parse.d.ts.map +1 -0
- package/dist/bridges/expr-parse.js +162 -0
- package/dist/bridges/expr-parse.js.map +1 -0
- package/dist/bridges/holds.d.ts +26 -0
- package/dist/bridges/holds.d.ts.map +1 -0
- package/dist/bridges/holds.js +145 -0
- package/dist/bridges/holds.js.map +1 -0
- package/dist/bridges/index.d.ts +18 -354
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +17 -3312
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/input-contract.d.ts +65 -0
- package/dist/bridges/input-contract.d.ts.map +1 -0
- package/dist/bridges/input-contract.js +97 -0
- package/dist/bridges/input-contract.js.map +1 -0
- package/dist/bridges/notices.d.ts +11 -0
- package/dist/bridges/notices.d.ts.map +1 -0
- package/dist/bridges/notices.js +22 -0
- package/dist/bridges/notices.js.map +1 -0
- package/dist/bridges/relation-eval.d.ts +23 -0
- package/dist/bridges/relation-eval.d.ts.map +1 -0
- package/dist/bridges/relation-eval.js +136 -0
- package/dist/bridges/relation-eval.js.map +1 -0
- package/dist/bridges/rhs-registry.d.ts +7 -21
- package/dist/bridges/rhs-registry.d.ts.map +1 -1
- package/dist/bridges/rhs-registry.js +13 -123
- package/dist/bridges/rhs-registry.js.map +1 -1
- package/dist/bridges/sensitivity.d.ts +11 -3
- package/dist/bridges/sensitivity.d.ts.map +1 -1
- package/dist/bridges/sensitivity.js +20 -36
- package/dist/bridges/sensitivity.js.map +1 -1
- package/dist/bridges/types.d.ts +52 -0
- package/dist/bridges/types.d.ts.map +1 -0
- package/dist/bridges/types.js +10 -0
- package/dist/bridges/types.js.map +1 -0
- package/dist/canonical/canonical-equation.d.ts +31 -0
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +12 -2
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.d.ts.map +1 -1
- package/dist/canonical/entries/condensed-matter.js +4 -1
- package/dist/canonical/entries/condensed-matter.js.map +1 -1
- package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
- package/dist/canonical/entries/dimensional-classics.js +48 -0
- package/dist/canonical/entries/dimensional-classics.js.map +1 -1
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +31 -1
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +35 -1
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/mechanics.js +25 -1
- package/dist/canonical/entries/mechanics.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
- package/dist/canonical/entries/nonmonomial.js +16 -5
- package/dist/canonical/entries/nonmonomial.js.map +1 -1
- package/dist/canonical/entries/relativity.d.ts.map +1 -1
- package/dist/canonical/entries/relativity.js +7 -1
- package/dist/canonical/entries/relativity.js.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.js +20 -1
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +17 -2
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/canonical/normal-form.d.ts.map +1 -1
- package/dist/canonical/normal-form.js +9 -4
- package/dist/canonical/normal-form.js.map +1 -1
- package/dist/cases/index.d.ts +9 -2
- package/dist/cases/index.d.ts.map +1 -1
- package/dist/cases/index.js +26 -7
- package/dist/cases/index.js.map +1 -1
- package/dist/cases/kepler-rv.d.ts.map +1 -1
- package/dist/cases/kepler-rv.js +13 -9
- package/dist/cases/kepler-rv.js.map +1 -1
- package/dist/cases/resistor-noise.d.ts.map +1 -1
- package/dist/cases/resistor-noise.js +10 -5
- package/dist/cases/resistor-noise.js.map +1 -1
- package/dist/cli/commands/_discovery-opts.d.ts +2 -1
- package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
- package/dist/cli/commands/_discovery-opts.js +7 -12
- package/dist/cli/commands/_discovery-opts.js.map +1 -1
- package/dist/cli/commands/atlas.d.ts.map +1 -1
- package/dist/cli/commands/atlas.js +6 -9
- package/dist/cli/commands/atlas.js.map +1 -1
- package/dist/cli/commands/audit.d.ts.map +1 -1
- package/dist/cli/commands/audit.js +1 -2
- package/dist/cli/commands/audit.js.map +1 -1
- package/dist/cli/commands/chain.js +2 -2
- package/dist/cli/commands/chain.js.map +1 -1
- package/dist/cli/commands/confront.d.ts.map +1 -1
- package/dist/cli/commands/confront.js +17 -17
- package/dist/cli/commands/confront.js.map +1 -1
- package/dist/cli/commands/connectors.d.ts.map +1 -1
- package/dist/cli/commands/connectors.js +8 -9
- package/dist/cli/commands/connectors.js.map +1 -1
- package/dist/cli/commands/derive.js +9 -10
- package/dist/cli/commands/derive.js.map +1 -1
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +3 -4
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/eval.d.ts.map +1 -1
- package/dist/cli/commands/eval.js +18 -16
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts +1 -35
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +67 -193
- package/dist/cli/commands/evaluate.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +44 -37
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/ground.js +1 -1
- package/dist/cli/commands/ground.js.map +1 -1
- package/dist/cli/commands/map.js +3 -4
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/metric.d.ts.map +1 -1
- package/dist/cli/commands/metric.js +3 -0
- package/dist/cli/commands/metric.js.map +1 -1
- package/dist/cli/commands/regime.js +1 -1
- package/dist/cli/commands/regime.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +10 -6
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli/commands/testplan.js +3 -3
- package/dist/cli/commands/testplan.js.map +1 -1
- package/dist/cli/conventions.d.ts +6 -7
- package/dist/cli/conventions.d.ts.map +1 -1
- package/dist/cli/conventions.js +19 -28
- package/dist/cli/conventions.js.map +1 -1
- package/dist/cli/euler-guard.d.ts +13 -2
- package/dist/cli/euler-guard.d.ts.map +1 -1
- package/dist/cli/euler-guard.js +17 -3
- package/dist/cli/euler-guard.js.map +1 -1
- package/dist/cli/eval-numbers.d.ts +4 -9
- package/dist/cli/eval-numbers.d.ts.map +1 -1
- package/dist/cli/eval-numbers.js +11 -41
- package/dist/cli/eval-numbers.js.map +1 -1
- package/dist/cli/published-url.d.ts +2 -0
- package/dist/cli/published-url.d.ts.map +1 -1
- package/dist/cli/published-url.js +5 -0
- package/dist/cli/published-url.js.map +1 -1
- package/dist/cli/record-tables.d.ts +2 -1
- package/dist/cli/record-tables.d.ts.map +1 -1
- package/dist/cli/record-tables.js +8 -3
- package/dist/cli/record-tables.js.map +1 -1
- package/dist/cli-api.d.ts +50 -12
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +43 -11
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/adjudication.d.ts +8 -30
- package/dist/composition/adjudication.d.ts.map +1 -1
- package/dist/composition/adjudication.js +15 -67
- package/dist/composition/adjudication.js.map +1 -1
- package/dist/composition/aliases.d.ts +1 -1
- package/dist/composition/aliases.d.ts.map +1 -1
- package/dist/composition/aliases.js +10 -20
- package/dist/composition/aliases.js.map +1 -1
- package/dist/composition/bridge-analysis.d.ts +4 -0
- package/dist/composition/bridge-analysis.d.ts.map +1 -1
- package/dist/composition/bridge-analysis.js +13 -14
- package/dist/composition/bridge-analysis.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +12 -12
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +96 -25
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/canonical-prefactors.d.ts +10 -29
- package/dist/composition/canonical-prefactors.d.ts.map +1 -1
- package/dist/composition/canonical-prefactors.js +15 -202
- package/dist/composition/canonical-prefactors.js.map +1 -1
- package/dist/composition/catalog-graph.d.ts +11 -4
- package/dist/composition/catalog-graph.d.ts.map +1 -1
- package/dist/composition/catalog-graph.js +78 -47
- package/dist/composition/catalog-graph.js.map +1 -1
- package/dist/composition/compose.js +2 -1
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/discovery.d.ts +50 -0
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +28 -24
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/edge.d.ts +0 -14
- package/dist/composition/edge.d.ts.map +1 -1
- package/dist/composition/edge.js +1 -17
- package/dist/composition/edge.js.map +1 -1
- package/dist/composition/evaluate-relation.d.ts +31 -5
- package/dist/composition/evaluate-relation.d.ts.map +1 -1
- package/dist/composition/evaluate-relation.js +111 -60
- package/dist/composition/evaluate-relation.js.map +1 -1
- package/dist/composition/explain.d.ts +5 -0
- package/dist/composition/explain.d.ts.map +1 -1
- package/dist/composition/explain.js +9 -8
- package/dist/composition/explain.js.map +1 -1
- package/dist/composition/expr-eval.d.ts.map +1 -1
- package/dist/composition/expr-eval.js +8 -1
- package/dist/composition/expr-eval.js.map +1 -1
- package/dist/composition/frontier-account.d.ts.map +1 -1
- package/dist/composition/frontier-account.js +1 -1
- package/dist/composition/frontier-account.js.map +1 -1
- package/dist/composition/index.d.ts +6 -15
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +6 -15
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/proposed-bridges.d.ts.map +1 -1
- package/dist/composition/proposed-bridges.js +3 -2
- package/dist/composition/proposed-bridges.js.map +1 -1
- package/dist/composition/quantities.d.ts +11 -27
- package/dist/composition/quantities.d.ts.map +1 -1
- package/dist/composition/quantities.js +29 -29
- package/dist/composition/quantities.js.map +1 -1
- package/dist/composition/retrodiction.d.ts +8 -0
- package/dist/composition/retrodiction.d.ts.map +1 -1
- package/dist/composition/retrodiction.js +5 -0
- package/dist/composition/retrodiction.js.map +1 -1
- package/dist/composition/user-equation.d.ts +13 -16
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +26 -53
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/constants.d.ts +41 -4
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +54 -5
- package/dist/core/constants.js.map +1 -1
- package/dist/core/data-file.d.ts +27 -0
- package/dist/core/data-file.d.ts.map +1 -0
- package/dist/core/data-file.js +48 -0
- package/dist/core/data-file.js.map +1 -0
- package/dist/core/json-schema.d.ts +27 -0
- package/dist/core/json-schema.d.ts.map +1 -0
- package/dist/core/json-schema.js +153 -0
- package/dist/core/json-schema.js.map +1 -0
- package/dist/core/types.d.ts +3 -2
- package/dist/core/types.d.ts.map +1 -1
- package/dist/core/types.js +16 -14
- package/dist/core/types.js.map +1 -1
- package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-ast-gradient.js +6 -16
- package/dist/diff/bridge-ast-gradient.js.map +1 -1
- package/dist/diff/bridge-gradient.d.ts +1 -1
- package/dist/diff/bridge-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-specs.d.ts +33 -62
- package/dist/diff/bridge-specs.d.ts.map +1 -1
- package/dist/diff/bridge-specs.js +56 -77
- package/dist/diff/bridge-specs.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts +9 -26
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +20 -227
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/constant-rows.d.ts +54 -0
- package/dist/dimensional/constant-rows.d.ts.map +1 -0
- package/dist/dimensional/constant-rows.js +111 -0
- package/dist/dimensional/constant-rows.js.map +1 -0
- package/dist/dimensional/constants.d.ts +4 -13
- package/dist/dimensional/constants.d.ts.map +1 -1
- package/dist/dimensional/constants.js +11 -19
- package/dist/dimensional/constants.js.map +1 -1
- package/dist/dimensional/dimension-spec.d.ts +12 -3
- package/dist/dimensional/dimension-spec.d.ts.map +1 -1
- package/dist/dimensional/dimension-spec.js +114 -150
- package/dist/dimensional/dimension-spec.js.map +1 -1
- package/dist/dimensional/exact-scale.d.ts +79 -0
- package/dist/dimensional/exact-scale.d.ts.map +1 -0
- package/dist/dimensional/exact-scale.js +222 -0
- package/dist/dimensional/exact-scale.js.map +1 -0
- package/dist/dimensional/formula-names.d.ts +30 -13
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +56 -48
- package/dist/dimensional/formula-names.js.map +1 -1
- package/dist/dimensional/hyphen-names.d.ts +13 -0
- package/dist/dimensional/hyphen-names.d.ts.map +1 -0
- package/dist/dimensional/hyphen-names.js +27 -0
- package/dist/dimensional/hyphen-names.js.map +1 -0
- package/dist/dimensional/quantity-registry.d.ts +42 -0
- package/dist/dimensional/quantity-registry.d.ts.map +1 -0
- package/dist/dimensional/quantity-registry.js +78 -0
- package/dist/dimensional/quantity-registry.js.map +1 -0
- package/dist/dimensional/symbolic-constants.d.ts +63 -19
- package/dist/dimensional/symbolic-constants.d.ts.map +1 -1
- package/dist/dimensional/symbolic-constants.js +109 -92
- package/dist/dimensional/symbolic-constants.js.map +1 -1
- package/dist/dimensional/unit-data.d.ts +70 -0
- package/dist/dimensional/unit-data.d.ts.map +1 -0
- package/dist/dimensional/unit-data.js +135 -0
- package/dist/dimensional/unit-data.js.map +1 -0
- package/dist/dimensional/units.d.ts +88 -23
- package/dist/dimensional/units.d.ts.map +1 -1
- package/dist/dimensional/units.js +365 -230
- package/dist/dimensional/units.js.map +1 -1
- package/dist/index.d.ts +29 -69
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +16 -50
- package/dist/index.js.map +1 -1
- package/dist/numerical/binding-value.d.ts +21 -1
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +177 -121
- package/dist/numerical/binding-value.js.map +1 -1
- package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
- package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
- package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
- package/dist/numerical/covariant-eikonal.js.map +1 -0
- package/dist/numerical/derivative-lowering.d.ts +2 -1
- package/dist/numerical/derivative-lowering.d.ts.map +1 -1
- package/dist/numerical/derivative-lowering.js +2 -1
- package/dist/numerical/derivative-lowering.js.map +1 -1
- package/dist/numerical/evaluator-uncertainty.d.ts +34 -0
- package/dist/numerical/evaluator-uncertainty.d.ts.map +1 -0
- package/dist/numerical/evaluator-uncertainty.js +117 -0
- package/dist/numerical/evaluator-uncertainty.js.map +1 -0
- package/dist/numerical/formula-contract.d.ts +4 -0
- package/dist/numerical/formula-contract.d.ts.map +1 -1
- package/dist/numerical/formula-contract.js +7 -0
- package/dist/numerical/formula-contract.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +9 -0
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js +64 -10
- package/dist/numerical/formula-dimension.js.map +1 -1
- package/dist/numerical/formula-mathts.d.ts.map +1 -1
- package/dist/numerical/formula-mathts.js +6 -2
- package/dist/numerical/formula-mathts.js.map +1 -1
- package/dist/numerical/gl4-integrator.d.ts +6 -3
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +9 -6
- package/dist/numerical/gl4-integrator.js.map +1 -1
- package/dist/numerical/index.d.ts +4 -3
- package/dist/numerical/index.d.ts.map +1 -1
- package/dist/numerical/index.js +2 -2
- package/dist/numerical/index.js.map +1 -1
- package/dist/numerical/null-ic.d.ts +6 -5
- package/dist/numerical/null-ic.d.ts.map +1 -1
- package/dist/numerical/null-ic.js +6 -5
- package/dist/numerical/null-ic.js.map +1 -1
- package/dist/numerical/null-ray-integrator.js +1 -1
- package/dist/numerical/perihelion-finder.d.ts +5 -4
- package/dist/numerical/perihelion-finder.d.ts.map +1 -1
- package/dist/numerical/perihelion-finder.js +5 -4
- package/dist/numerical/perihelion-finder.js.map +1 -1
- package/dist/numerical/spacetime-metrics.d.ts +4 -0
- package/dist/numerical/spacetime-metrics.d.ts.map +1 -1
- package/dist/numerical/spacetime-metrics.js +34 -4
- package/dist/numerical/spacetime-metrics.js.map +1 -1
- package/dist/relations/types.d.ts +8 -1
- package/dist/relations/types.d.ts.map +1 -1
- package/dist/relations/types.js +10 -0
- package/dist/relations/types.js.map +1 -1
- package/package.json +2 -1
- package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
- package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
- package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
- package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
- package/dist/bridges/be101-bkt-jump.d.ts +0 -24
- package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
- package/dist/bridges/be101-bkt-jump.js +0 -29
- package/dist/bridges/be101-bkt-jump.js.map +0 -1
- package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
- package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
- package/dist/bridges/be102-landauer-conductance.js +0 -28
- package/dist/bridges/be102-landauer-conductance.js.map +0 -1
- package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
- package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
- package/dist/bridges/be11-decoherence-confrontation.js +0 -39
- package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
- package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
- package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
- package/dist/bridges/be21-kss-confrontation.js +0 -38
- package/dist/bridges/be21-kss-confrontation.js.map +0 -1
- package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
- package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
- package/dist/bridges/be23-planckian-confrontation.js +0 -196
- package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
- package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
- package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
- package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
- package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
- package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
- package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
- package/dist/bridges/be36-gw170817-confrontation.js +0 -100
- package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
- package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
- package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
- package/dist/bridges/be37-cassini-confrontation.js +0 -34
- package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
- package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
- package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
- package/dist/bridges/be48-collapse-confrontation.js +0 -37
- package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
- package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
- package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
- package/dist/bridges/be51-lensing-confrontation.js +0 -52
- package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
- package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
- package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
- package/dist/bridges/be52-mercury-confrontation.js +0 -70
- package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
- package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
- package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
- package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
- package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
- package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
- package/dist/bridges/be55-quantum-hall.d.ts +0 -24
- package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
- package/dist/bridges/be55-quantum-hall.js +0 -46
- package/dist/bridges/be55-quantum-hall.js.map +0 -1
- package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
- package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
- package/dist/bridges/be56-casimir-confrontation.js +0 -31
- package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
- package/dist/bridges/be56-casimir.d.ts +0 -18
- package/dist/bridges/be56-casimir.d.ts.map +0 -1
- package/dist/bridges/be56-casimir.js +0 -36
- package/dist/bridges/be56-casimir.js.map +0 -1
- package/dist/bridges/be57-unruh.d.ts +0 -18
- package/dist/bridges/be57-unruh.d.ts.map +0 -1
- package/dist/bridges/be57-unruh.js +0 -38
- package/dist/bridges/be57-unruh.js.map +0 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
- package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
- package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
- package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
- package/dist/bridges/be58-johnson-nyquist.js +0 -36
- package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
- package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
- package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
- package/dist/bridges/be59-ac-josephson.d.ts +0 -22
- package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
- package/dist/bridges/be59-ac-josephson.js +0 -35
- package/dist/bridges/be59-ac-josephson.js.map +0 -1
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
- package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
- package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
- package/dist/bridges/be60-fractional-qh.d.ts +0 -20
- package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
- package/dist/bridges/be60-fractional-qh.js +0 -33
- package/dist/bridges/be60-fractional-qh.js.map +0 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
- package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
- package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
- package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
- package/dist/bridges/be61-wiedemann-franz.js +0 -41
- package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
- package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
- package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
- package/dist/bridges/be62-bcs-gap.d.ts +0 -22
- package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
- package/dist/bridges/be62-bcs-gap.js +0 -38
- package/dist/bridges/be62-bcs-gap.js.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
- package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
- package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
- package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
- package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
- package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
- package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
- package/dist/bridges/be64-eddington-luminosity.js +0 -35
- package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
- package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
- package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
- package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
- package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
- package/dist/bridges/be65-jeans-mass.d.ts +0 -24
- package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
- package/dist/bridges/be65-jeans-mass.js +0 -38
- package/dist/bridges/be65-jeans-mass.js.map +0 -1
- package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
- package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
- package/dist/bridges/be66-radiation-pressure.js +0 -37
- package/dist/bridges/be66-radiation-pressure.js.map +0 -1
- package/dist/bridges/be67-alfven-speed.d.ts +0 -41
- package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
- package/dist/bridges/be67-alfven-speed.js +0 -50
- package/dist/bridges/be67-alfven-speed.js.map +0 -1
- package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
- package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
- package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
- package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
- package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
- package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
- package/dist/bridges/be69-fast-magnetosonic.js +0 -33
- package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
- package/dist/bridges/be70-einstein-relation.d.ts +0 -30
- package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
- package/dist/bridges/be70-einstein-relation.js +0 -41
- package/dist/bridges/be70-einstein-relation.js.map +0 -1
- package/dist/bridges/be71-clapeyron.d.ts +0 -43
- package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
- package/dist/bridges/be71-clapeyron.js +0 -32
- package/dist/bridges/be71-clapeyron.js.map +0 -1
- package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
- package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
- package/dist/bridges/be72-gravitational-redshift.js +0 -32
- package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
- package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
- package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
- package/dist/bridges/be73-kelvin-peltier.js +0 -31
- package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
- package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
- package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
- package/dist/bridges/be74-magnetic-pressure.js +0 -29
- package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
- package/dist/bridges/be75-london-penetration.d.ts +0 -27
- package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
- package/dist/bridges/be75-london-penetration.js +0 -31
- package/dist/bridges/be75-london-penetration.js.map +0 -1
- package/dist/bridges/be76-plasma-beta.d.ts +0 -32
- package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
- package/dist/bridges/be76-plasma-beta.js +0 -34
- package/dist/bridges/be76-plasma-beta.js.map +0 -1
- package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
- package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
- package/dist/bridges/be77-hagen-poiseuille.js +0 -39
- package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
- package/dist/bridges/be78-euler-buckling.d.ts +0 -44
- package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
- package/dist/bridges/be78-euler-buckling.js +0 -33
- package/dist/bridges/be78-euler-buckling.js.map +0 -1
- package/dist/bridges/be79-pull-in.d.ts +0 -33
- package/dist/bridges/be79-pull-in.d.ts.map +0 -1
- package/dist/bridges/be79-pull-in.js +0 -35
- package/dist/bridges/be79-pull-in.js.map +0 -1
- package/dist/bridges/be80-mott-gurney.d.ts +0 -52
- package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
- package/dist/bridges/be80-mott-gurney.js +0 -38
- package/dist/bridges/be80-mott-gurney.js.map +0 -1
- package/dist/bridges/be81-child-langmuir.d.ts +0 -33
- package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
- package/dist/bridges/be81-child-langmuir.js +0 -38
- package/dist/bridges/be81-child-langmuir.js.map +0 -1
- package/dist/bridges/be82-shockley-diode.d.ts +0 -32
- package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
- package/dist/bridges/be82-shockley-diode.js +0 -37
- package/dist/bridges/be82-shockley-diode.js.map +0 -1
- package/dist/bridges/be83-thomson.d.ts +0 -46
- package/dist/bridges/be83-thomson.d.ts.map +0 -1
- package/dist/bridges/be83-thomson.js +0 -32
- package/dist/bridges/be83-thomson.js.map +0 -1
- package/dist/bridges/be84-four-point.d.ts +0 -45
- package/dist/bridges/be84-four-point.d.ts.map +0 -1
- package/dist/bridges/be84-four-point.js +0 -34
- package/dist/bridges/be84-four-point.js.map +0 -1
- package/dist/bridges/be85-shot-noise.d.ts +0 -30
- package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
- package/dist/bridges/be85-shot-noise.js +0 -32
- package/dist/bridges/be85-shot-noise.js.map +0 -1
- package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
- package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
- package/dist/bridges/be86-reynolds-analogy.js +0 -30
- package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
- package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
- package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
- package/dist/bridges/be87-capacitor-noise.js +0 -32
- package/dist/bridges/be87-capacitor-noise.js.map +0 -1
- package/dist/bridges/be88-fermi-sea.d.ts +0 -31
- package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
- package/dist/bridges/be88-fermi-sea.js +0 -35
- package/dist/bridges/be88-fermi-sea.js.map +0 -1
- package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
- package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
- package/dist/bridges/be89-debye-cutoff.js +0 -28
- package/dist/bridges/be89-debye-cutoff.js.map +0 -1
- package/dist/bridges/be90-debye-heat.d.ts +0 -30
- package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
- package/dist/bridges/be90-debye-heat.js +0 -35
- package/dist/bridges/be90-debye-heat.js.map +0 -1
- package/dist/bridges/be91-einstein-solid.d.ts +0 -30
- package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
- package/dist/bridges/be91-einstein-solid.js +0 -37
- package/dist/bridges/be91-einstein-solid.js.map +0 -1
- package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
- package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
- package/dist/bridges/be92-sommerfeld-heat.js +0 -34
- package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
- package/dist/bridges/be93-curie-weiss.d.ts +0 -41
- package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
- package/dist/bridges/be93-curie-weiss.js +0 -45
- package/dist/bridges/be93-curie-weiss.js.map +0 -1
- package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
- package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
- package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
- package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
- package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
- package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
- package/dist/bridges/be95-ginzburg-landau.js +0 -32
- package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
- package/dist/bridges/be96-upper-critical.d.ts +0 -24
- package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
- package/dist/bridges/be96-upper-critical.js +0 -27
- package/dist/bridges/be96-upper-critical.js.map +0 -1
- package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
- package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
- package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
- package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
- package/dist/bridges/be98-bcs-jump.d.ts +0 -40
- package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
- package/dist/bridges/be98-bcs-jump.js +0 -29
- package/dist/bridges/be98-bcs-jump.js.map +0 -1
- package/dist/bridges/be99-mass-action.d.ts +0 -33
- package/dist/bridges/be99-mass-action.d.ts.map +0 -1
- package/dist/bridges/be99-mass-action.js +0 -37
- package/dist/bridges/be99-mass-action.js.map +0 -1
- package/dist/bridges/bridge-equations.d.ts +0 -225
- package/dist/bridges/bridge-equations.d.ts.map +0 -1
- package/dist/bridges/bridge-equations.js +0 -226
- package/dist/bridges/bridge-equations.js.map +0 -1
- package/dist/bridges/condensed-r8-catalog.d.ts +0 -28
- package/dist/bridges/condensed-r8-catalog.d.ts.map +0 -1
- package/dist/bridges/condensed-r8-catalog.js +0 -272
- package/dist/bridges/condensed-r8-catalog.js.map +0 -1
- package/dist/bridges/condensed-r8.d.ts +0 -260
- package/dist/bridges/condensed-r8.d.ts.map +0 -1
- package/dist/bridges/condensed-r8.js +0 -329
- package/dist/bridges/condensed-r8.js.map +0 -1
- package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
- package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
- package/dist/bridges/engineering-r7-catalog.js +0 -172
- package/dist/bridges/engineering-r7-catalog.js.map +0 -1
- package/dist/bridges/engineering-r7.d.ts +0 -152
- package/dist/bridges/engineering-r7.d.ts.map +0 -1
- package/dist/bridges/engineering-r7.js +0 -208
- package/dist/bridges/engineering-r7.js.map +0 -1
- package/dist/bridges/equations/_be-helpers.d.ts +0 -80
- package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
- package/dist/bridges/equations/_be-helpers.js +0 -103
- package/dist/bridges/equations/_be-helpers.js.map +0 -1
- package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
- package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
- package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
- package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
- package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
- package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
- package/dist/bridges/equations/be-12-coherence-length.js +0 -120
- package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
- package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
- package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
- package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
- package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
- package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
- package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
- package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
- package/dist/bridges/equations/be-15-emergence.js +0 -208
- package/dist/bridges/equations/be-15-emergence.js.map +0 -1
- package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
- package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
- package/dist/bridges/equations/be-16-landauer.js +0 -198
- package/dist/bridges/equations/be-16-landauer.js.map +0 -1
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
- package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
- package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
- package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
- package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
- package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
- package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
- package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
- package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
- package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
- package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
- package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
- package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
- package/dist/bridges/equations/be-21-kss-bound.js +0 -97
- package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
- package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
- package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
- package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
- package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
- package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
- package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
- package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
- package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
- package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
- package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
- package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
- package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
- package/dist/bridges/equations/be-25-iit-phi.js +0 -255
- package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
- package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
- package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
- package/dist/bridges/equations/be-25-orch-or.js +0 -124
- package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
- package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
- package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
- package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
- package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
- package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
- package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
- package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
- package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
- package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
- package/dist/bridges/equations/be-29-jarzynski.js +0 -127
- package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
- package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
- package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
- package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
- package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
- package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
- package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
- package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
- package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
- package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
- package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
- package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
- package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
- package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
- package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
- package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
- package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
- package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
- package/dist/bridges/equations/be-38-mond.d.ts +0 -94
- package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
- package/dist/bridges/equations/be-38-mond.js +0 -114
- package/dist/bridges/equations/be-38-mond.js.map +0 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
- package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
- package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
- package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
- package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
- package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
- package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
- package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
- package/dist/bridges/equations/be-41-swampland.js +0 -108
- package/dist/bridges/equations/be-41-swampland.js.map +0 -1
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
- package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
- package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
- package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
- package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
- package/dist/bridges/equations/be-43-er-epr.js +0 -106
- package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
- package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
- package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
- package/dist/bridges/equations/be-44-soft-hair.js +0 -177
- package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
- package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
- package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
- package/dist/bridges/equations/be-45-tcc.js +0 -149
- package/dist/bridges/equations/be-45-tcc.js.map +0 -1
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
- package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
- package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
- package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
- package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
- package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
- package/dist/bridges/equations/be-48-grw-localization.js +0 -103
- package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
- package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
- package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
- package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
- package/dist/bridges/gravitational-lensing.d.ts +0 -73
- package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
- package/dist/bridges/gravitational-lensing.js +0 -59
- package/dist/bridges/gravitational-lensing.js.map +0 -1
- package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
- package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
- package/dist/bridges/perihelion-precession-labeled.js +0 -54
- package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
- package/dist/bridges/perihelion-precession.d.ts +0 -87
- package/dist/bridges/perihelion-precession.d.ts.map +0 -1
- package/dist/bridges/perihelion-precession.js +0 -82
- package/dist/bridges/perihelion-precession.js.map +0 -1
- package/dist/bridges/plasma-catalog.d.ts +0 -29
- package/dist/bridges/plasma-catalog.d.ts.map +0 -1
- package/dist/bridges/plasma-catalog.js +0 -427
- package/dist/bridges/plasma-catalog.js.map +0 -1
- package/dist/bridges/plasma-space.d.ts +0 -310
- package/dist/bridges/plasma-space.d.ts.map +0 -1
- package/dist/bridges/plasma-space.js +0 -262
- package/dist/bridges/plasma-space.js.map +0 -1
- package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
- package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
- package/dist/composition/edges/_catalog-helpers.js +0 -90
- package/dist/composition/edges/_catalog-helpers.js.map +0 -1
- package/dist/composition/edges/applied-physicist.d.ts +0 -181
- package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
- package/dist/composition/edges/applied-physicist.js +0 -843
- package/dist/composition/edges/applied-physicist.js.map +0 -1
- package/dist/composition/edges/calibration.d.ts +0 -107
- package/dist/composition/edges/calibration.d.ts.map +0 -1
- package/dist/composition/edges/calibration.js +0 -559
- package/dist/composition/edges/calibration.js.map +0 -1
- package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
- package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
- package/dist/composition/edges/catalog-condensed-matter.js +0 -257
- package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
- package/dist/composition/edges/catalog-fields.d.ts +0 -68
- package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
- package/dist/composition/edges/catalog-fields.js +0 -207
- package/dist/composition/edges/catalog-fields.js.map +0 -1
- package/dist/composition/edges/catalog-full.d.ts +0 -43
- package/dist/composition/edges/catalog-full.d.ts.map +0 -1
- package/dist/composition/edges/catalog-full.js +0 -73
- package/dist/composition/edges/catalog-full.js.map +0 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
- package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
- package/dist/composition/edges/catalog-quantum.d.ts +0 -85
- package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
- package/dist/composition/edges/catalog-quantum.js +0 -297
- package/dist/composition/edges/catalog-quantum.js.map +0 -1
- package/dist/composition/edges/catalog-tranche.d.ts +0 -108
- package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
- package/dist/composition/edges/catalog-tranche.js +0 -304
- package/dist/composition/edges/catalog-tranche.js.map +0 -1
- package/dist/composition/edges/condensed-r5.d.ts +0 -105
- package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
- package/dist/composition/edges/condensed-r5.js +0 -505
- package/dist/composition/edges/condensed-r5.js.map +0 -1
- package/dist/composition/edges/condensed-r8.d.ts +0 -30
- package/dist/composition/edges/condensed-r8.d.ts.map +0 -1
- package/dist/composition/edges/condensed-r8.js +0 -325
- package/dist/composition/edges/condensed-r8.js.map +0 -1
- package/dist/composition/edges/engineering-r7.d.ts +0 -20
- package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
- package/dist/composition/edges/engineering-r7.js +0 -262
- package/dist/composition/edges/engineering-r7.js.map +0 -1
- package/dist/composition/edges/plasma-space.d.ts +0 -50
- package/dist/composition/edges/plasma-space.d.ts.map +0 -1
- package/dist/composition/edges/plasma-space.js +0 -481
- package/dist/composition/edges/plasma-space.js.map +0 -1
- package/dist/composition/edges/proved-seeds.d.ts +0 -39
- package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
- package/dist/composition/edges/proved-seeds.js +0 -197
- package/dist/composition/edges/proved-seeds.js.map +0 -1
- package/dist/composition/quantities/_dims.d.ts +0 -45
- package/dist/composition/quantities/_dims.d.ts.map +0 -1
- package/dist/composition/quantities/_dims.js +0 -55
- package/dist/composition/quantities/_dims.js.map +0 -1
- package/dist/composition/quantities/applied-physicist.d.ts +0 -166
- package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
- package/dist/composition/quantities/applied-physicist.js +0 -543
- package/dist/composition/quantities/applied-physicist.js.map +0 -1
- package/dist/composition/quantities/common.d.ts +0 -69
- package/dist/composition/quantities/common.d.ts.map +0 -1
- package/dist/composition/quantities/common.js +0 -210
- package/dist/composition/quantities/common.js.map +0 -1
- package/dist/composition/quantities/condensed-matter.d.ts +0 -79
- package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-matter.js +0 -238
- package/dist/composition/quantities/condensed-matter.js.map +0 -1
- package/dist/composition/quantities/condensed-r5.d.ts +0 -110
- package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-r5.js +0 -359
- package/dist/composition/quantities/condensed-r5.js.map +0 -1
- package/dist/composition/quantities/condensed-r8.d.ts +0 -96
- package/dist/composition/quantities/condensed-r8.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-r8.js +0 -107
- package/dist/composition/quantities/condensed-r8.js.map +0 -1
- package/dist/composition/quantities/engineering-r7.d.ts +0 -82
- package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
- package/dist/composition/quantities/engineering-r7.js +0 -92
- package/dist/composition/quantities/engineering-r7.js.map +0 -1
- package/dist/composition/quantities/fields.d.ts +0 -69
- package/dist/composition/quantities/fields.d.ts.map +0 -1
- package/dist/composition/quantities/fields.js +0 -210
- package/dist/composition/quantities/fields.js.map +0 -1
- package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
- package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
- package/dist/composition/quantities/gravitation-cosmology.js +0 -215
- package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
- package/dist/composition/quantities/plasma-space.d.ts +0 -178
- package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
- package/dist/composition/quantities/plasma-space.js +0 -185
- package/dist/composition/quantities/plasma-space.js.map +0 -1
- package/dist/composition/quantities/quantum.d.ts +0 -63
- package/dist/composition/quantities/quantum.d.ts.map +0 -1
- package/dist/composition/quantities/quantum.js +0 -190
- package/dist/composition/quantities/quantum.js.map +0 -1
- package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
- package/dist/numerical/be37-covariant-eikonal.js.map +0 -1
|
@@ -1,505 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Composition edges for BE-88 through BE-102.
|
|
3
|
-
*
|
|
4
|
-
* Each edge's endpoints share the classical electromagnetic attributes,
|
|
5
|
-
* so `kind` is `law`. The overlay `formalRef` is kind `bridge`.
|
|
6
|
-
* Confidence stays `established`. A proof does not promote it.
|
|
7
|
-
* Landau diamagnetism and the BCS coherence length are not edges.
|
|
8
|
-
*
|
|
9
|
-
* @module composition/edges/condensed-r5
|
|
10
|
-
*/
|
|
11
|
-
import { evaluateFermiSea } from '../../bridges/be88-fermi-sea.js';
|
|
12
|
-
import { evaluateDebyeCutoff } from '../../bridges/be89-debye-cutoff.js';
|
|
13
|
-
import { evaluateDebyeHeat } from '../../bridges/be90-debye-heat.js';
|
|
14
|
-
import { evaluateEinsteinSolid } from '../../bridges/be91-einstein-solid.js';
|
|
15
|
-
import { evaluateSommerfeldHeat } from '../../bridges/be92-sommerfeld-heat.js';
|
|
16
|
-
import { evaluateCurieWeiss } from '../../bridges/be93-curie-weiss.js';
|
|
17
|
-
import { evaluatePauliParamagnetism } from '../../bridges/be94-pauli-paramagnetism.js';
|
|
18
|
-
import { evaluateGinzburgLandau } from '../../bridges/be95-ginzburg-landau.js';
|
|
19
|
-
import { evaluateUpperCritical } from '../../bridges/be96-upper-critical.js';
|
|
20
|
-
import { evaluateAmbegaokarBaratoff } from '../../bridges/be97-ambegaokar-baratoff.js';
|
|
21
|
-
import { evaluateBcsJump } from '../../bridges/be98-bcs-jump.js';
|
|
22
|
-
import { evaluateMassAction } from '../../bridges/be99-mass-action.js';
|
|
23
|
-
import { evaluateLyddaneSachsTeller } from '../../bridges/be100-lyddane-sachs-teller.js';
|
|
24
|
-
import { evaluateBktJump } from '../../bridges/be101-bkt-jump.js';
|
|
25
|
-
import { evaluateLandauerConductance } from '../../bridges/be102-landauer-conductance.js';
|
|
26
|
-
import { DIMENSIONLESS } from '../../dimensional/types.js';
|
|
27
|
-
import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
|
|
28
|
-
import { withBoundAliases } from '../edge.js';
|
|
29
|
-
import { ambegaokarGapQ, ambegaokarProductQ, bcsHeatJumpQ, bcsQuarticQ, bktStiffnessQ, bktTemperatureQ, conductionDosQ, curieDensityQ, curieGFactorQ, curieMagnetonQ, curieSpinQ, curieTemperatureQ, curieWeissSusceptibilityQ, debyeAtomCountQ, debyeAtomDensityQ, debyeCutoffFrequencyQ, debyeHeatCapacityQ, debyeSoundSpeedQ, debyeTemperatureQ, debyeThetaQ, einsteinAtomCountQ, einsteinHeatCapacityQ, einsteinSolidTemperatureQ, einsteinThetaQ, fermiSeaDensityQ, fermiSeaMassQ, fermiWavevectorQ, glKappaQ, glTrialFactorQ, landauerChannelConductanceQ, landauerTransmissionQ, lstInfinityQ, lstRatioQ, lstStaticQ, massActionDensityQ, massActionGapQ, massActionTemperatureQ, pauliDensityQ, pauliFermiEnergyQ, pauliMagnetonQ, pauliSusceptibilityQ, sommerfeldDensityQ, sommerfeldFermiEnergyQ, sommerfeldHeatCapacityQ, sommerfeldTemperatureQ, upperCriticalFieldQ, upperCriticalLengthQ, valenceDosQ, weissTemperatureQ, } from '../quantities.js';
|
|
30
|
-
const finite = Number.isFinite;
|
|
31
|
-
const qsym = (q) => ({ kind: 'symbol', name: q.name, dim: q.dim });
|
|
32
|
-
const csym = (name) => ({ kind: 'symbol', name, dim: CONSTANTS[name].dim });
|
|
33
|
-
const lit = (n) => ({ kind: 'symbol', name: String(n), dim: DIMENSIONLESS });
|
|
34
|
-
const prod = (...args) => ({ kind: 'op', op: '*', args });
|
|
35
|
-
const plus = (a, b) => ({ kind: 'op', op: '+', args: [a, b] });
|
|
36
|
-
const ratio = (num, den) => ({ kind: 'op', op: '/', args: [num, den] });
|
|
37
|
-
const pow = (base, exp) => ({ kind: 'op', op: '^', args: [base, exp] });
|
|
38
|
-
const expOf = (arg) => ({ kind: 'transcendental', fn: 'exp', arg });
|
|
39
|
-
/** π as a dimensionless leaf. `piMultipleValue` resolves the name. */
|
|
40
|
-
const pi = { kind: 'symbol', name: 'pi', dim: DIMENSIONLESS };
|
|
41
|
-
/** μ0 = 1/(ε0 c²). */
|
|
42
|
-
const mu0 = ratio(lit(1), prod(csym('epsilon_0'), pow(csym('c'), lit(2))));
|
|
43
|
-
/** k_F = (3 π² n)^{1/3}. The parabola is not this leaf. */
|
|
44
|
-
const BE88_SYMBOLIC = pow(prod(lit(3), pow(pi, lit(2)), qsym(fermiSeaDensityQ)), lit(1 / 3));
|
|
45
|
-
/** ω_D = v_s (6 π² n)^{1/3}. */
|
|
46
|
-
const BE89_SYMBOLIC = prod(qsym(debyeSoundSpeedQ), pow(prod(lit(6), pow(pi, lit(2)), qsym(debyeAtomDensityQ)), lit(1 / 3)));
|
|
47
|
-
/** C_V = (12 π⁴/5) N k_B (T/θ_D)³. π⁴/15 is a hypothesis inside the 12/5. */
|
|
48
|
-
const BE90_SYMBOLIC = prod(ratio(prod(lit(12), pow(pi, lit(4))), lit(5)), qsym(debyeAtomCountQ), csym('k_B'), pow(ratio(qsym(debyeTemperatureQ), qsym(debyeThetaQ)), lit(3)));
|
|
49
|
-
/** C_V = 3 N k_B x² e^x / (e^x − 1)² with x = θ_E/T. */
|
|
50
|
-
const BE91_X = ratio(qsym(einsteinThetaQ), qsym(einsteinSolidTemperatureQ));
|
|
51
|
-
const BE91_SYMBOLIC = prod(lit(3), qsym(einsteinAtomCountQ), csym('k_B'), pow(BE91_X, lit(2)), ratio(expOf(BE91_X), pow(plus(expOf(BE91_X), lit(-1)), lit(2))));
|
|
52
|
-
/** c_V = (π²/2) n k_B² T / E_F. */
|
|
53
|
-
const BE92_SYMBOLIC = ratio(prod(ratio(pow(pi, lit(2)), lit(2)), qsym(sommerfeldDensityQ), pow(csym('k_B'), lit(2)), qsym(sommerfeldTemperatureQ)), qsym(sommerfeldFermiEnergyQ));
|
|
54
|
-
/** χ = C/(T−θ), C = μ₀ n g² μ_B² S(S+1)/(3 k_B). */
|
|
55
|
-
const BE93_C = ratio(prod(mu0, qsym(curieDensityQ), pow(qsym(curieGFactorQ), lit(2)), pow(qsym(curieMagnetonQ), lit(2)), qsym(curieSpinQ), plus(qsym(curieSpinQ), lit(1))), prod(lit(3), csym('k_B')));
|
|
56
|
-
const BE93_SYMBOLIC = ratio(BE93_C, plus(qsym(curieTemperatureQ), prod(lit(-1), qsym(weissTemperatureQ))));
|
|
57
|
-
/** χ_P = μ₀ μ_B² (3 n)/(2 E_F). */
|
|
58
|
-
const BE94_SYMBOLIC = ratio(prod(mu0, pow(qsym(pauliMagnetonQ), lit(2)), lit(3), qsym(pauliDensityQ)), prod(lit(2), qsym(pauliFermiEnergyQ)));
|
|
59
|
-
/** Trial factor 1/κ² − 2. */
|
|
60
|
-
const BE95_SYMBOLIC = plus(ratio(lit(1), pow(qsym(glKappaQ), lit(2))), lit(-2));
|
|
61
|
-
/** B_c2 = ℏ / (2 e ξ²). */
|
|
62
|
-
const BE96_SYMBOLIC = ratio(csym('hbar'), prod(lit(2), csym('e'), pow(qsym(upperCriticalLengthQ), lit(2))));
|
|
63
|
-
/** I_c R_n = π Δ / (2 e). */
|
|
64
|
-
const BE97_SYMBOLIC = ratio(prod(pi, qsym(ambegaokarGapQ)), prod(lit(2), csym('e')));
|
|
65
|
-
/** ΔC/C_n = 12/(7 ζ). */
|
|
66
|
-
const BE98_SYMBOLIC = ratio(lit(12), prod(lit(7), qsym(bcsQuarticQ)));
|
|
67
|
-
/** n_i = √(N_c N_v) exp(−E_g/(2 k_B T)). */
|
|
68
|
-
const BE99_SYMBOLIC = prod(pow(prod(qsym(conductionDosQ), qsym(valenceDosQ)), lit(0.5)), expOf(prod(lit(-1), ratio(qsym(massActionGapQ), prod(lit(2), csym('k_B'), qsym(massActionTemperatureQ))))));
|
|
69
|
-
/** ω_LO²/ω_TO² = ε(0)/ε(∞). */
|
|
70
|
-
const BE100_SYMBOLIC = ratio(qsym(lstStaticQ), qsym(lstInfinityQ));
|
|
71
|
-
/** T = π J / (2 k_B). */
|
|
72
|
-
const BE101_SYMBOLIC = ratio(prod(pi, qsym(bktStiffnessQ)), prod(lit(2), csym('k_B')));
|
|
73
|
-
/** G = (2 e²/h) Σ T_n. */
|
|
74
|
-
const BE102_SYMBOLIC = prod(ratio(prod(lit(2), pow(csym('e'), lit(2))), csym('h')), qsym(landauerTransmissionQ));
|
|
75
|
-
/**
|
|
76
|
-
* BE-88 two-spin Fermi wavevector. The edge value is k_F.
|
|
77
|
-
* E_F and v_F are the same evaluator and are not this target.
|
|
78
|
-
*
|
|
79
|
-
* @public
|
|
80
|
-
*/
|
|
81
|
-
export const be88Edge = withBoundAliases({
|
|
82
|
-
id: 'be-88',
|
|
83
|
-
beId: 88,
|
|
84
|
-
kind: 'law',
|
|
85
|
-
label: 'Fermi wavevector k_F = (3 π² n)^{1/3}',
|
|
86
|
-
sources: [fermiSeaDensityQ, fermiSeaMassQ],
|
|
87
|
-
aliases: {
|
|
88
|
-
'fermi-sea-density': ['n_per_m3'],
|
|
89
|
-
'fermi-sea-mass': ['m_kg'],
|
|
90
|
-
},
|
|
91
|
-
target: fermiWavevectorQ,
|
|
92
|
-
confidence: 'established',
|
|
93
|
-
domain: {
|
|
94
|
-
description: 'n > 0, m* > 0; two spins, T = 0, isotropic parabola',
|
|
95
|
-
predicate: (i) => finite(i['fermi-sea-density']) && i['fermi-sea-density'] > 0 && finite(i['fermi-sea-mass']) && i['fermi-sea-mass'] > 0,
|
|
96
|
-
},
|
|
97
|
-
evaluate: (i) => evaluateFermiSea({ n_per_m3: i['fermi-sea-density'], m_kg: i['fermi-sea-mass'] }).k_F_per_m,
|
|
98
|
-
symbolic: BE88_SYMBOLIC,
|
|
99
|
-
citation: 'PhysJS.FermiSea.fermi_sea. One spin is k_F³ = 6 π² n. Not a lattice band. The band, the two-spin count, and T = 0 are hypotheses.',
|
|
100
|
-
});
|
|
101
|
-
/**
|
|
102
|
-
* BE-89 Debye cutoff. Three branches fill 3n states.
|
|
103
|
-
*
|
|
104
|
-
* @public
|
|
105
|
-
*/
|
|
106
|
-
export const be89Edge = withBoundAliases({
|
|
107
|
-
id: 'be-89',
|
|
108
|
-
beId: 89,
|
|
109
|
-
kind: 'law',
|
|
110
|
-
label: 'Debye cutoff ω_D = v_s (6 π² n)^{1/3}',
|
|
111
|
-
sources: [debyeSoundSpeedQ, debyeAtomDensityQ],
|
|
112
|
-
aliases: {
|
|
113
|
-
'debye-sound-speed': ['v_m_per_s'],
|
|
114
|
-
'debye-atom-density': ['n_per_m3'],
|
|
115
|
-
},
|
|
116
|
-
target: debyeCutoffFrequencyQ,
|
|
117
|
-
confidence: 'established',
|
|
118
|
-
domain: {
|
|
119
|
-
description: 'v_s > 0, n > 0; three acoustic branches, one speed',
|
|
120
|
-
predicate: (i) => finite(i['debye-sound-speed']) && i['debye-sound-speed'] > 0 && finite(i['debye-atom-density']) && i['debye-atom-density'] > 0,
|
|
121
|
-
},
|
|
122
|
-
evaluate: (i) => evaluateDebyeCutoff({ v_m_per_s: i['debye-sound-speed'], n_per_m3: i['debye-atom-density'] }).omega_D_rad_per_s,
|
|
123
|
-
symbolic: BE89_SYMBOLIC,
|
|
124
|
-
citation: 'PhysJS.DebyeCutoff.debye_cutoff. Equating the three-branch sum to n gives k_D³ = 2 π² n. The branch count and the common speed are hypotheses.',
|
|
125
|
-
});
|
|
126
|
-
/**
|
|
127
|
-
* BE-90 Debye heat capacity. π⁴/15 is a hypothesis.
|
|
128
|
-
*
|
|
129
|
-
* @public
|
|
130
|
-
*/
|
|
131
|
-
export const be90Edge = withBoundAliases({
|
|
132
|
-
id: 'be-90',
|
|
133
|
-
beId: 90,
|
|
134
|
-
kind: 'law',
|
|
135
|
-
label: 'Debye heat capacity C_V = (12 π⁴/5) N k_B (T/θ_D)³',
|
|
136
|
-
sources: [debyeAtomCountQ, debyeTemperatureQ, debyeThetaQ],
|
|
137
|
-
aliases: {
|
|
138
|
-
'debye-atom-count': ['N'],
|
|
139
|
-
'debye-temperature': ['T_K'],
|
|
140
|
-
'debye-theta': ['thetaD_K'],
|
|
141
|
-
},
|
|
142
|
-
target: debyeHeatCapacityQ,
|
|
143
|
-
confidence: 'established',
|
|
144
|
-
domain: {
|
|
145
|
-
description: 'N > 0, T > 0, θ_D > 0; I = π⁴/15 is assumed',
|
|
146
|
-
predicate: (i) => finite(i['debye-atom-count']) && i['debye-atom-count'] > 0 &&
|
|
147
|
-
finite(i['debye-temperature']) && i['debye-temperature'] > 0 &&
|
|
148
|
-
finite(i['debye-theta']) && i['debye-theta'] > 0,
|
|
149
|
-
},
|
|
150
|
-
evaluate: (i) => evaluateDebyeHeat({
|
|
151
|
-
N: i['debye-atom-count'],
|
|
152
|
-
T_K: i['debye-temperature'],
|
|
153
|
-
thetaD_K: i['debye-theta'],
|
|
154
|
-
}).C_V_J_per_K,
|
|
155
|
-
symbolic: BE90_SYMBOLIC,
|
|
156
|
-
citation: 'PhysJS.DebyeHeat.debye_heat. I = π⁴/15 is a hypothesis, not an evaluation of the Bose integral. The energy prefactor 3 π⁴/5 is not the heat capacity.',
|
|
157
|
-
});
|
|
158
|
-
/**
|
|
159
|
-
* BE-91 Einstein solid. Three oscillators. The zero-point is constant.
|
|
160
|
-
*
|
|
161
|
-
* @public
|
|
162
|
-
*/
|
|
163
|
-
export const be91Edge = withBoundAliases({
|
|
164
|
-
id: 'be-91',
|
|
165
|
-
beId: 91,
|
|
166
|
-
kind: 'law',
|
|
167
|
-
label: 'Einstein heat capacity of three oscillators',
|
|
168
|
-
sources: [einsteinAtomCountQ, einsteinSolidTemperatureQ, einsteinThetaQ],
|
|
169
|
-
aliases: {
|
|
170
|
-
'einstein-atom-count': ['N'],
|
|
171
|
-
'einstein-solid-temperature': ['T_K'],
|
|
172
|
-
'einstein-theta': ['thetaE_K'],
|
|
173
|
-
},
|
|
174
|
-
target: einsteinHeatCapacityQ,
|
|
175
|
-
confidence: 'established',
|
|
176
|
-
domain: {
|
|
177
|
-
description: 'N > 0, T > 0, θ_E > 0; three Einstein oscillators',
|
|
178
|
-
predicate: (i) => finite(i['einstein-atom-count']) && i['einstein-atom-count'] > 0 &&
|
|
179
|
-
finite(i['einstein-solid-temperature']) && i['einstein-solid-temperature'] > 0 &&
|
|
180
|
-
finite(i['einstein-theta']) && i['einstein-theta'] > 0,
|
|
181
|
-
},
|
|
182
|
-
evaluate: (i) => evaluateEinsteinSolid({
|
|
183
|
-
N: i['einstein-atom-count'],
|
|
184
|
-
T_K: i['einstein-solid-temperature'],
|
|
185
|
-
thetaE_K: i['einstein-theta'],
|
|
186
|
-
}).C_V_J_per_K,
|
|
187
|
-
symbolic: BE91_SYMBOLIC,
|
|
188
|
-
citation: 'PhysJS.EinsteinSolid.einstein_heat. The high-temperature limit is 3 N k_B. One oscillator tends to N k_B. The zero-point is constant.',
|
|
189
|
-
});
|
|
190
|
-
/**
|
|
191
|
-
* BE-92 Sommerfeld electronic heat. √E density, not a flat density.
|
|
192
|
-
*
|
|
193
|
-
* @public
|
|
194
|
-
*/
|
|
195
|
-
export const be92Edge = withBoundAliases({
|
|
196
|
-
id: 'be-92',
|
|
197
|
-
beId: 92,
|
|
198
|
-
kind: 'law',
|
|
199
|
-
label: 'Sommerfeld heat c_V = (π²/2) n k_B² T / E_F',
|
|
200
|
-
sources: [sommerfeldDensityQ, sommerfeldTemperatureQ, sommerfeldFermiEnergyQ],
|
|
201
|
-
aliases: {
|
|
202
|
-
'sommerfeld-density': ['n_per_m3'],
|
|
203
|
-
'sommerfeld-temperature': ['T_K'],
|
|
204
|
-
'sommerfeld-fermi-energy': ['E_F_J'],
|
|
205
|
-
},
|
|
206
|
-
target: sommerfeldHeatCapacityQ,
|
|
207
|
-
confidence: 'established',
|
|
208
|
-
domain: {
|
|
209
|
-
description: 'n > 0, T > 0, E_F > 0; δU is a hypothesis; √E density',
|
|
210
|
-
predicate: (i) => finite(i['sommerfeld-density']) && i['sommerfeld-density'] > 0 &&
|
|
211
|
-
finite(i['sommerfeld-temperature']) && i['sommerfeld-temperature'] > 0 &&
|
|
212
|
-
finite(i['sommerfeld-fermi-energy']) && i['sommerfeld-fermi-energy'] > 0,
|
|
213
|
-
},
|
|
214
|
-
evaluate: (i) => evaluateSommerfeldHeat({
|
|
215
|
-
n_per_m3: i['sommerfeld-density'],
|
|
216
|
-
T_K: i['sommerfeld-temperature'],
|
|
217
|
-
E_F_J: i['sommerfeld-fermi-energy'],
|
|
218
|
-
}).c_V_J_per_K_m3,
|
|
219
|
-
symbolic: BE92_SYMBOLIC,
|
|
220
|
-
citation: 'PhysJS.SommerfeldHeat.electronic_heat. A flat density leaves π²/3. Not the Wiedemann–Franz law and not a second proof of be-61.',
|
|
221
|
-
});
|
|
222
|
-
/**
|
|
223
|
-
* BE-93 Curie–Weiss law. θ is the mean-field hypothesis.
|
|
224
|
-
*
|
|
225
|
-
* @public
|
|
226
|
-
*/
|
|
227
|
-
export const be93Edge = withBoundAliases({
|
|
228
|
-
id: 'be-93',
|
|
229
|
-
beId: 93,
|
|
230
|
-
kind: 'law',
|
|
231
|
-
label: 'Curie–Weiss susceptibility χ = C/(T−θ)',
|
|
232
|
-
sources: [curieDensityQ, curieGFactorQ, curieSpinQ, curieMagnetonQ, curieTemperatureQ, weissTemperatureQ],
|
|
233
|
-
aliases: {
|
|
234
|
-
'curie-density': ['n_per_m3'],
|
|
235
|
-
'curie-g-factor': ['g'],
|
|
236
|
-
'curie-spin': ['spin'],
|
|
237
|
-
'curie-magneton': ['muB_J_per_T'],
|
|
238
|
-
'curie-temperature': ['T_K'],
|
|
239
|
-
'weiss-temperature': ['theta_K'],
|
|
240
|
-
},
|
|
241
|
-
target: curieWeissSusceptibilityQ,
|
|
242
|
-
confidence: 'established',
|
|
243
|
-
domain: {
|
|
244
|
-
description: 'n > 0, μ_B > 0, spin ≥ 0, T ≠ θ; second moment and mean field are hypotheses',
|
|
245
|
-
predicate: (i) => finite(i['curie-density']) && i['curie-density'] > 0 &&
|
|
246
|
-
finite(i['curie-g-factor']) &&
|
|
247
|
-
finite(i['curie-spin']) && i['curie-spin'] >= 0 &&
|
|
248
|
-
finite(i['curie-magneton']) && i['curie-magneton'] > 0 &&
|
|
249
|
-
finite(i['curie-temperature']) && finite(i['weiss-temperature']) &&
|
|
250
|
-
i['curie-temperature'] !== i['weiss-temperature'],
|
|
251
|
-
},
|
|
252
|
-
evaluate: (i) => evaluateCurieWeiss({
|
|
253
|
-
n_per_m3: i['curie-density'],
|
|
254
|
-
g: i['curie-g-factor'],
|
|
255
|
-
spin: i['curie-spin'],
|
|
256
|
-
muB_J_per_T: i['curie-magneton'],
|
|
257
|
-
T_K: i['curie-temperature'],
|
|
258
|
-
theta_K: i['weiss-temperature'],
|
|
259
|
-
}).chi,
|
|
260
|
-
symbolic: BE93_SYMBOLIC,
|
|
261
|
-
citation: 'PhysJS.CurieWeiss.curie_weiss. θ = 0 is C/T. Not an su(2) derivation. The second moment and the mean-field shift are hypotheses.',
|
|
262
|
-
});
|
|
263
|
-
/**
|
|
264
|
-
* BE-94 Pauli paramagnetism. Not Landau diamagnetism.
|
|
265
|
-
*
|
|
266
|
-
* @public
|
|
267
|
-
*/
|
|
268
|
-
export const be94Edge = withBoundAliases({
|
|
269
|
-
id: 'be-94',
|
|
270
|
-
beId: 94,
|
|
271
|
-
kind: 'law',
|
|
272
|
-
label: 'Pauli susceptibility χ_P = μ₀ μ_B² (3 n)/(2 E_F)',
|
|
273
|
-
sources: [pauliDensityQ, pauliFermiEnergyQ, pauliMagnetonQ],
|
|
274
|
-
aliases: {
|
|
275
|
-
'pauli-density': ['n_per_m3'],
|
|
276
|
-
'pauli-fermi-energy': ['E_F_J'],
|
|
277
|
-
'pauli-magneton': ['muB_J_per_T'],
|
|
278
|
-
},
|
|
279
|
-
target: pauliSusceptibilityQ,
|
|
280
|
-
confidence: 'established',
|
|
281
|
-
domain: {
|
|
282
|
-
description: 'n > 0, E_F > 0, μ_B > 0; Zeeman imbalance is a hypothesis',
|
|
283
|
-
predicate: (i) => finite(i['pauli-density']) && i['pauli-density'] > 0 &&
|
|
284
|
-
finite(i['pauli-fermi-energy']) && i['pauli-fermi-energy'] > 0 &&
|
|
285
|
-
finite(i['pauli-magneton']) && i['pauli-magneton'] > 0,
|
|
286
|
-
},
|
|
287
|
-
evaluate: (i) => evaluatePauliParamagnetism({
|
|
288
|
-
n_per_m3: i['pauli-density'],
|
|
289
|
-
E_F_J: i['pauli-fermi-energy'],
|
|
290
|
-
muB_J_per_T: i['pauli-magneton'],
|
|
291
|
-
}).chi_P,
|
|
292
|
-
symbolic: BE94_SYMBOLIC,
|
|
293
|
-
citation: 'PhysJS.PauliParamagnetism.pauli. A flat density leaves the factor 1. Not Landau diamagnetism.',
|
|
294
|
-
});
|
|
295
|
-
/**
|
|
296
|
-
* BE-95 trial-wall sign. Not every minimizer.
|
|
297
|
-
*
|
|
298
|
-
* @public
|
|
299
|
-
*/
|
|
300
|
-
export const be95Edge = withBoundAliases({
|
|
301
|
-
id: 'be-95',
|
|
302
|
-
beId: 95,
|
|
303
|
-
kind: 'law',
|
|
304
|
-
label: 'GL trial-wall factor 1/κ² − 2',
|
|
305
|
-
sources: [glKappaQ],
|
|
306
|
-
aliases: { 'gl-kappa': ['kappa'] },
|
|
307
|
-
target: glTrialFactorQ,
|
|
308
|
-
confidence: 'established',
|
|
309
|
-
domain: {
|
|
310
|
-
description: 'κ > 0; the factor multiplies this trial, not every minimizer',
|
|
311
|
-
predicate: (i) => finite(i['gl-kappa']) && i['gl-kappa'] > 0,
|
|
312
|
-
},
|
|
313
|
-
evaluate: (i) => evaluateGinzburgLandau({ kappa: i['gl-kappa'] }).trial_factor,
|
|
314
|
-
symbolic: BE95_SYMBOLIC,
|
|
315
|
-
citation: 'PhysJS.GinzburgLandau.type_boundary. Negative when κ > 1/√2. The positive side is this trial, not every minimizer.',
|
|
316
|
-
});
|
|
317
|
-
/**
|
|
318
|
-
* BE-96 upper critical field. Charge 2e. The Landau level is a hypothesis.
|
|
319
|
-
*
|
|
320
|
-
* @public
|
|
321
|
-
*/
|
|
322
|
-
export const be96Edge = withBoundAliases({
|
|
323
|
-
id: 'be-96',
|
|
324
|
-
beId: 96,
|
|
325
|
-
kind: 'law',
|
|
326
|
-
label: 'Upper critical field B_c2 = ℏ/(2 e ξ²)',
|
|
327
|
-
sources: [upperCriticalLengthQ],
|
|
328
|
-
aliases: { 'upper-critical-length': ['xi_m'] },
|
|
329
|
-
target: upperCriticalFieldQ,
|
|
330
|
-
confidence: 'established',
|
|
331
|
-
domain: {
|
|
332
|
-
description: 'ξ > 0; charge q = 2e; the Landau level is a hypothesis',
|
|
333
|
-
predicate: (i) => finite(i['upper-critical-length']) && i['upper-critical-length'] > 0,
|
|
334
|
-
},
|
|
335
|
-
evaluate: (i) => evaluateUpperCritical({ xi_m: i['upper-critical-length'] }).B_c2_T,
|
|
336
|
-
symbolic: BE96_SYMBOLIC,
|
|
337
|
-
citation: 'PhysJS.UpperCritical.critical_field. Charge e instead of 2e is a different field. Not the spectrum of the covariant Laplacian.',
|
|
338
|
-
});
|
|
339
|
-
/**
|
|
340
|
-
* BE-97 Ambegaokar–Baratoff at T = 0. No temperature input.
|
|
341
|
-
*
|
|
342
|
-
* @public
|
|
343
|
-
*/
|
|
344
|
-
export const be97Edge = withBoundAliases({
|
|
345
|
-
id: 'be-97',
|
|
346
|
-
beId: 97,
|
|
347
|
-
kind: 'law',
|
|
348
|
-
label: 'Ambegaokar–Baratoff I_c R_n = π Δ/(2 e) at T = 0',
|
|
349
|
-
sources: [ambegaokarGapQ],
|
|
350
|
-
aliases: { 'ambegaokar-gap': ['Delta_J'] },
|
|
351
|
-
target: ambegaokarProductQ,
|
|
352
|
-
confidence: 'established',
|
|
353
|
-
domain: {
|
|
354
|
-
description: 'Δ > 0; T = 0 and identical gaps are hypotheses',
|
|
355
|
-
predicate: (i) => finite(i['ambegaokar-gap']) && i['ambegaokar-gap'] > 0,
|
|
356
|
-
},
|
|
357
|
-
evaluate: (i) => evaluateAmbegaokarBaratoff({ Delta_J: i['ambegaokar-gap'] }).IcRn_V,
|
|
358
|
-
symbolic: BE97_SYMBOLIC,
|
|
359
|
-
citation: 'PhysJS.AmbegaokarBaratoff.ambegaokar_baratoff. A coefficient other than π/2 fails. Not the finite-temperature tanh factor.',
|
|
360
|
-
});
|
|
361
|
-
/**
|
|
362
|
-
* BE-98 BCS jump. ζ is the quartic coefficient.
|
|
363
|
-
*
|
|
364
|
-
* @public
|
|
365
|
-
*/
|
|
366
|
-
export const be98Edge = withBoundAliases({
|
|
367
|
-
id: 'be-98',
|
|
368
|
-
beId: 98,
|
|
369
|
-
kind: 'law',
|
|
370
|
-
label: 'BCS heat jump ΔC/C_n = 12/(7 ζ)',
|
|
371
|
-
sources: [bcsQuarticQ],
|
|
372
|
-
aliases: { 'bcs-quartic': ['zeta'] },
|
|
373
|
-
target: bcsHeatJumpQ,
|
|
374
|
-
confidence: 'established',
|
|
375
|
-
domain: {
|
|
376
|
-
description: 'ζ finite and nonzero; ζ is the quartic coefficient',
|
|
377
|
-
predicate: (i) => finite(i['bcs-quartic']) && i['bcs-quartic'] !== 0,
|
|
378
|
-
},
|
|
379
|
-
evaluate: (i) => evaluateBcsJump({ zeta: i['bcs-quartic'] }).ratio,
|
|
380
|
-
symbolic: BE98_SYMBOLIC,
|
|
381
|
-
citation: 'PhysJS.BcsJump.heat_jump. ζ is the quartic coefficient, not a series evaluation. One spin in C_n misses the ratio.',
|
|
382
|
-
});
|
|
383
|
-
/**
|
|
384
|
-
* BE-99 mass action. The 2 in the exponent stays.
|
|
385
|
-
*
|
|
386
|
-
* @public
|
|
387
|
-
*/
|
|
388
|
-
export const be99Edge = withBoundAliases({
|
|
389
|
-
id: 'be-99',
|
|
390
|
-
beId: 99,
|
|
391
|
-
kind: 'law',
|
|
392
|
-
label: 'Mass action n_i = √(N_c N_v) exp(−E_g/(2 k_B T))',
|
|
393
|
-
sources: [conductionDosQ, valenceDosQ, massActionGapQ, massActionTemperatureQ],
|
|
394
|
-
aliases: {
|
|
395
|
-
'conduction-dos': ['N_c_per_m3'],
|
|
396
|
-
'valence-dos': ['N_v_per_m3'],
|
|
397
|
-
'mass-action-gap': ['E_g_J'],
|
|
398
|
-
'mass-action-temperature': ['T_K'],
|
|
399
|
-
},
|
|
400
|
-
target: massActionDensityQ,
|
|
401
|
-
confidence: 'established',
|
|
402
|
-
domain: {
|
|
403
|
-
description: 'N_c > 0, N_v > 0, T > 0; Boltzmann tails are hypotheses',
|
|
404
|
-
predicate: (i) => finite(i['conduction-dos']) && i['conduction-dos'] > 0 &&
|
|
405
|
-
finite(i['valence-dos']) && i['valence-dos'] > 0 &&
|
|
406
|
-
finite(i['mass-action-gap']) &&
|
|
407
|
-
finite(i['mass-action-temperature']) && i['mass-action-temperature'] > 0,
|
|
408
|
-
},
|
|
409
|
-
evaluate: (i) => evaluateMassAction({
|
|
410
|
-
N_c_per_m3: i['conduction-dos'],
|
|
411
|
-
N_v_per_m3: i['valence-dos'],
|
|
412
|
-
E_g_J: i['mass-action-gap'],
|
|
413
|
-
T_K: i['mass-action-temperature'],
|
|
414
|
-
}).n_i_per_m3,
|
|
415
|
-
symbolic: BE99_SYMBOLIC,
|
|
416
|
-
citation: 'PhysJS.MassAction.mass_action. Dropping the 2 in the exponent is a different density. Not a Fermi–Dirac integral.',
|
|
417
|
-
});
|
|
418
|
-
/**
|
|
419
|
-
* BE-100 Lyddane–Sachs–Teller. No damping.
|
|
420
|
-
*
|
|
421
|
-
* @public
|
|
422
|
-
*/
|
|
423
|
-
export const be100Edge = withBoundAliases({
|
|
424
|
-
id: 'be-100',
|
|
425
|
-
beId: 100,
|
|
426
|
-
kind: 'law',
|
|
427
|
-
label: 'Lyddane–Sachs–Teller ω_LO²/ω_TO² = ε(0)/ε(∞)',
|
|
428
|
-
sources: [lstStaticQ, lstInfinityQ],
|
|
429
|
-
aliases: {
|
|
430
|
-
'lst-static': ['eps_static'],
|
|
431
|
-
'lst-infinity': ['eps_inf'],
|
|
432
|
-
},
|
|
433
|
-
target: lstRatioQ,
|
|
434
|
-
confidence: 'established',
|
|
435
|
-
domain: {
|
|
436
|
-
description: 'ε(∞) ≠ 0; no damping is a hypothesis',
|
|
437
|
-
predicate: (i) => finite(i['lst-static']) && finite(i['lst-infinity']) && i['lst-infinity'] !== 0,
|
|
438
|
-
},
|
|
439
|
-
evaluate: (i) => evaluateLyddaneSachsTeller({ eps_static: i['lst-static'], eps_inf: i['lst-infinity'] }).frequency_ratio_sq,
|
|
440
|
-
symbolic: BE100_SYMBOLIC,
|
|
441
|
-
citation: 'PhysJS.LyddaneSachsTeller.lst. The unsquared frequency ratio fails when ω_LO ≠ ω_TO. No damping is a hypothesis.',
|
|
442
|
-
});
|
|
443
|
-
/**
|
|
444
|
-
* BE-101 BKT jump from energy and entropy. Not the RG flow.
|
|
445
|
-
*
|
|
446
|
-
* @public
|
|
447
|
-
*/
|
|
448
|
-
export const be101Edge = withBoundAliases({
|
|
449
|
-
id: 'be-101',
|
|
450
|
-
beId: 101,
|
|
451
|
-
kind: 'law',
|
|
452
|
-
label: 'BKT unbinding k_B T = π J/2',
|
|
453
|
-
sources: [bktStiffnessQ],
|
|
454
|
-
aliases: { 'bkt-stiffness': ['J_J'] },
|
|
455
|
-
target: bktTemperatureQ,
|
|
456
|
-
confidence: 'established',
|
|
457
|
-
domain: {
|
|
458
|
-
description: 'J > 0; area entropy of core positions is the hypothesis',
|
|
459
|
-
predicate: (i) => finite(i['bkt-stiffness']) && i['bkt-stiffness'] > 0,
|
|
460
|
-
},
|
|
461
|
-
evaluate: (i) => evaluateBktJump({ J_J: i['bkt-stiffness'] }).T_K,
|
|
462
|
-
symbolic: BE101_SYMBOLIC,
|
|
463
|
-
citation: 'PhysJS.BktJump.bkt_jump. Circumference entropy unbinds at π J. Not the renormalization-group flow.',
|
|
464
|
-
});
|
|
465
|
-
/**
|
|
466
|
-
* BE-102 two-spin Landauer conductance. Not the Hall conductance.
|
|
467
|
-
*
|
|
468
|
-
* @public
|
|
469
|
-
*/
|
|
470
|
-
export const be102Edge = withBoundAliases({
|
|
471
|
-
id: 'be-102',
|
|
472
|
-
beId: 102,
|
|
473
|
-
kind: 'law',
|
|
474
|
-
label: 'Landauer conductance G = (2 e²/h) Σ T_n',
|
|
475
|
-
sources: [landauerTransmissionQ],
|
|
476
|
-
aliases: { 'landauer-transmission': ['sum_Tn'] },
|
|
477
|
-
target: landauerChannelConductanceQ,
|
|
478
|
-
confidence: 'established',
|
|
479
|
-
domain: {
|
|
480
|
-
description: 'Σ T_n finite; spin = 2 and Δμ = e V are hypotheses',
|
|
481
|
-
predicate: (i) => finite(i['landauer-transmission']),
|
|
482
|
-
},
|
|
483
|
-
evaluate: (i) => evaluateLandauerConductance({ sum_Tn: i['landauer-transmission'] }).G_S,
|
|
484
|
-
symbolic: BE102_SYMBOLIC,
|
|
485
|
-
citation: 'PhysJS.LandauerConductance.conductance_eq. One spin is e²/h. Not the Hall conductance and not Landauer erasure.',
|
|
486
|
-
});
|
|
487
|
-
/** The condensed-matter edges of PhysJS #65, in catalog-id order. @public */
|
|
488
|
-
export const CONDENSED_R5_EDGES = [
|
|
489
|
-
be88Edge,
|
|
490
|
-
be89Edge,
|
|
491
|
-
be90Edge,
|
|
492
|
-
be91Edge,
|
|
493
|
-
be92Edge,
|
|
494
|
-
be93Edge,
|
|
495
|
-
be94Edge,
|
|
496
|
-
be95Edge,
|
|
497
|
-
be96Edge,
|
|
498
|
-
be97Edge,
|
|
499
|
-
be98Edge,
|
|
500
|
-
be99Edge,
|
|
501
|
-
be100Edge,
|
|
502
|
-
be101Edge,
|
|
503
|
-
be102Edge,
|
|
504
|
-
];
|
|
505
|
-
//# sourceMappingURL=condensed-r5.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"condensed-r5.js","sourceRoot":"","sources":["../../../src/composition/edges/condensed-r5.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAC;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,2BAA2B,EAAE,MAAM,6CAA6C,CAAC;AAE1F,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAE/D,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,aAAa,EACb,eAAe,EACf,cAAc,EACd,aAAa,EACb,aAAa,EACb,cAAc,EACd,UAAU,EACV,iBAAiB,EACjB,yBAAyB,EACzB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,qBAAqB,EACrB,yBAAyB,EACzB,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,QAAQ,EACR,cAAc,EACd,2BAA2B,EAC3B,qBAAqB,EACrB,YAAY,EACZ,SAAS,EACT,UAAU,EACV,kBAAkB,EAClB,cAAc,EACd,sBAAsB,EACtB,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,mBAAmB,EACnB,oBAAoB,EACpB,WAAW,EACX,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC;AAC/B,MAAM,IAAI,GAAG,CAAC,CAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,IAAI,GAAG,CAAC,IAA4B,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AAC9G,MAAM,GAAG,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;AAC/F,MAAM,IAAI,GAAG,CAAC,GAAG,IAAgB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AAChF,MAAM,IAAI,GAAG,CAAC,CAAW,EAAE,CAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC7F,MAAM,KAAK,GAAG,CAAC,GAAa,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AACtG,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AACtG,MAAM,KAAK,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACxF,sEAAsE;AACtE,MAAM,EAAE,GAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;AACxE,sBAAsB;AACtB,MAAM,GAAG,GAAa,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAErF,2DAA2D;AAC3D,MAAM,aAAa,GAAa,GAAG,CACjC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,EACrD,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CACX,CAAC;AAEF,gCAAgC;AAChC,MAAM,aAAa,GAAa,IAAI,CAClC,IAAI,CAAC,gBAAgB,CAAC,EACtB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CACxE,CAAC;AAEF,6EAA6E;AAC7E,MAAM,aAAa,GAAa,IAAI,CAClC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAC7C,IAAI,CAAC,eAAe,CAAC,EACrB,IAAI,CAAC,KAAK,CAAC,EACX,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC;AAEF,wDAAwD;AACxD,MAAM,MAAM,GAAa,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC;AACtF,MAAM,aAAa,GAAa,IAAI,CAClC,GAAG,CAAC,CAAC,CAAC,EACN,IAAI,CAAC,kBAAkB,CAAC,EACxB,IAAI,CAAC,KAAK,CAAC,EACX,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EACnB,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAChE,CAAC;AAEF,mCAAmC;AACnC,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,sBAAsB,CAAC,CAAC,EACtH,IAAI,CAAC,sBAAsB,CAAC,CAC7B,CAAC;AAEF,oDAAoD;AACpD,MAAM,MAAM,GAAa,KAAK,CAC5B,IAAI,CACF,GAAG,EACH,IAAI,CAAC,aAAa,CAAC,EACnB,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAChC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EACjC,IAAI,CAAC,UAAU,CAAC,EAChB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAC/B,EACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAC1B,CAAC;AACF,MAAM,aAAa,GAAa,KAAK,CACnC,MAAM,EACN,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CACtE,CAAC;AAEF,mCAAmC;AACnC,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EACzE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC,CACtC,CAAC;AAEF,6BAA6B;AAC7B,MAAM,aAAa,GAAa,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1F,2BAA2B;AAC3B,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,MAAM,CAAC,EACZ,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACjE,CAAC;AAEF,6BAA6B;AAC7B,MAAM,aAAa,GAAa,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAE/F,yBAAyB;AACzB,MAAM,aAAa,GAAa,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AAEhF,4CAA4C;AAC5C,MAAM,aAAa,GAAa,IAAI,CAClC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAC5D,KAAK,CACH,IAAI,CACF,GAAG,CAAC,CAAC,CAAC,CAAC,EACP,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,CACrF,CACF,CACF,CAAC;AAEF,+BAA+B;AAC/B,MAAM,cAAc,GAAa,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;AAE7E,yBAAyB;AACzB,MAAM,cAAc,GAAa,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEjG,0BAA0B;AAC1B,MAAM,cAAc,GAAa,IAAI,CACnC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EACtD,IAAI,CAAC,qBAAqB,CAAC,CAC5B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,uCAAuC;IAC9C,OAAO,EAAE,CAAC,gBAAgB,EAAE,aAAa,CAAC;IAC1C,OAAO,EAAE;QACP,mBAAmB,EAAE,CAAC,UAAU,CAAC;QACjC,gBAAgB,EAAE,CAAC,MAAM,CAAC;KAC3B;IACD,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qDAAqD;QAClE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;KACzI;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,SAAS;IAC5G,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,mIAAmI;CACtI,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,uCAAuC;IAC9C,OAAO,EAAE,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IAC9C,OAAO,EAAE;QACP,mBAAmB,EAAE,CAAC,WAAW,CAAC;QAClC,oBAAoB,EAAE,CAAC,UAAU,CAAC;KACnC;IACD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,oDAAoD;QACjE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;KACjJ;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,iBAAiB;IACjH,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,gJAAgJ;CACnJ,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,oDAAoD;IAC3D,OAAO,EAAE,CAAC,eAAe,EAAE,iBAAiB,EAAE,WAAW,CAAC;IAC1D,OAAO,EAAE;QACP,kBAAkB,EAAE,CAAC,GAAG,CAAC;QACzB,mBAAmB,EAAE,CAAC,KAAK,CAAC;QAC5B,aAAa,EAAE,CAAC,UAAU,CAAC;KAC5B;IACD,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,6CAA6C;QAC1D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YAC1D,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC;YAC5D,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;KACnD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,iBAAiB,CAAC;QAChB,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC;QACxB,GAAG,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC3B,QAAQ,EAAE,CAAC,CAAC,aAAa,CAAC;KAC3B,CAAC,CAAC,WAAW;IAChB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,uJAAuJ;CAC1J,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,6CAA6C;IACpD,OAAO,EAAE,CAAC,kBAAkB,EAAE,yBAAyB,EAAE,cAAc,CAAC;IACxE,OAAO,EAAE;QACP,qBAAqB,EAAE,CAAC,GAAG,CAAC;QAC5B,4BAA4B,EAAE,CAAC,KAAK,CAAC;QACrC,gBAAgB,EAAE,CAAC,UAAU,CAAC;KAC/B;IACD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mDAAmD;QAChE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC;YAChE,MAAM,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,CAAC,4BAA4B,CAAC,GAAG,CAAC;YAC9E,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;KACzD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,CAAC,EAAE,CAAC,CAAC,qBAAqB,CAAC;QAC3B,GAAG,EAAE,CAAC,CAAC,4BAA4B,CAAC;QACpC,QAAQ,EAAE,CAAC,CAAC,gBAAgB,CAAC;KAC9B,CAAC,CAAC,WAAW;IAChB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,uIAAuI;CAC1I,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,6CAA6C;IACpD,OAAO,EAAE,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,sBAAsB,CAAC;IAC7E,OAAO,EAAE;QACP,oBAAoB,EAAE,CAAC,UAAU,CAAC;QAClC,wBAAwB,EAAE,CAAC,KAAK,CAAC;QACjC,yBAAyB,EAAE,CAAC,OAAO,CAAC;KACrC;IACD,MAAM,EAAE,uBAAuB;IAC/B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,uDAAuD;QACpE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;YAC9D,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,IAAI,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC;YACtE,MAAM,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,IAAI,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;KAC3E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,QAAQ,EAAE,CAAC,CAAC,oBAAoB,CAAC;QACjC,GAAG,EAAE,CAAC,CAAC,wBAAwB,CAAC;QAChC,KAAK,EAAE,CAAC,CAAC,yBAAyB,CAAC;KACpC,CAAC,CAAC,cAAc;IACnB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,iIAAiI;CACpI,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,wCAAwC;IAC/C,OAAO,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,iBAAiB,EAAE,iBAAiB,CAAC;IACzG,OAAO,EAAE;QACP,eAAe,EAAE,CAAC,UAAU,CAAC;QAC7B,gBAAgB,EAAE,CAAC,GAAG,CAAC;QACvB,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,gBAAgB,EAAE,CAAC,aAAa,CAAC;QACjC,mBAAmB,EAAE,CAAC,KAAK,CAAC;QAC5B,mBAAmB,EAAE,CAAC,SAAS,CAAC;KACjC;IACD,MAAM,EAAE,yBAAyB;IACjC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,8EAA8E;QAC3F,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACpD,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC3B,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC;YAC/C,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACtD,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAChE,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,mBAAmB,CAAC;KACpD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,kBAAkB,CAAC;QACjB,QAAQ,EAAE,CAAC,CAAC,eAAe,CAAC;QAC5B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC;QACrB,WAAW,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAChC,GAAG,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC3B,OAAO,EAAE,CAAC,CAAC,mBAAmB,CAAC;KAChC,CAAC,CAAC,GAAG;IACR,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,kIAAkI;CACrI,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,aAAa,EAAE,iBAAiB,EAAE,cAAc,CAAC;IAC3D,OAAO,EAAE;QACP,eAAe,EAAE,CAAC,UAAU,CAAC;QAC7B,oBAAoB,EAAE,CAAC,OAAO,CAAC;QAC/B,gBAAgB,EAAE,CAAC,aAAa,CAAC;KAClC;IACD,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,2DAA2D;QACxE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACpD,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;YAC9D,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;KACzD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,0BAA0B,CAAC;QACzB,QAAQ,EAAE,CAAC,CAAC,eAAe,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC9B,WAAW,EAAE,CAAC,CAAC,gBAAgB,CAAC;KACjC,CAAC,CAAC,KAAK;IACV,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,+FAA+F;CAClG,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,+BAA+B;IACtC,OAAO,EAAE,CAAC,QAAQ,CAAC;IACnB,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,EAAE;IAClC,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,8DAA8D;QAC3E,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;KAC7D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,YAAY;IAC9E,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,oHAAoH;CACvH,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,wCAAwC;IAC/C,OAAO,EAAE,CAAC,oBAAoB,CAAC;IAC/B,OAAO,EAAE,EAAE,uBAAuB,EAAE,CAAC,MAAM,CAAC,EAAE;IAC9C,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wDAAwD;QACrE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC;KACvF;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,MAAM;IACnF,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,gIAAgI;CACnI,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,cAAc,CAAC;IACzB,OAAO,EAAE,EAAE,gBAAgB,EAAE,CAAC,SAAS,CAAC,EAAE;IAC1C,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,gDAAgD;QAC7D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;KACzE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,MAAM;IACpF,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,4HAA4H;CAC/H,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,iCAAiC;IACxC,OAAO,EAAE,CAAC,WAAW,CAAC;IACtB,OAAO,EAAE,EAAE,aAAa,EAAE,CAAC,MAAM,CAAC,EAAE;IACpC,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,oDAAoD;QACjE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC;KACrE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,KAAK;IAClE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,oHAAoH;CACvH,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe,gBAAgB,CAAC;IACnD,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,cAAc,EAAE,sBAAsB,CAAC;IAC9E,OAAO,EAAE;QACP,gBAAgB,EAAE,CAAC,YAAY,CAAC;QAChC,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,iBAAiB,EAAE,CAAC,OAAO,CAAC;QAC5B,yBAAyB,EAAE,CAAC,KAAK,CAAC;KACnC;IACD,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yDAAyD;QACtE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACtD,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YAChD,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC5B,MAAM,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,IAAI,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;KAC3E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,kBAAkB,CAAC;QACjB,UAAU,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC/B,UAAU,EAAE,CAAC,CAAC,aAAa,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAC3B,GAAG,EAAE,CAAC,CAAC,yBAAyB,CAAC;KAClC,CAAC,CAAC,UAAU;IACf,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,mHAAmH;CACtH,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,8CAA8C;IACrD,OAAO,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;IACnC,OAAO,EAAE;QACP,YAAY,EAAE,CAAC,YAAY,CAAC;QAC5B,cAAc,EAAE,CAAC,SAAS,CAAC;KAC5B;IACD,MAAM,EAAE,SAAS;IACjB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sCAAsC;QACnD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;KAClG;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,0BAA0B,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,kBAAkB;IAC5G,QAAQ,EAAE,cAAc;IACxB,QAAQ,EACN,kHAAkH;CACrH,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,6BAA6B;IACpC,OAAO,EAAE,CAAC,aAAa,CAAC;IACxB,OAAO,EAAE,EAAE,eAAe,EAAE,CAAC,KAAK,CAAC,EAAE;IACrC,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yDAAyD;QACtE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KACvE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,GAAG;IACjE,QAAQ,EAAE,cAAc;IACxB,QAAQ,EACN,oGAAoG;CACvG,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,yCAAyC;IAChD,OAAO,EAAE,CAAC,qBAAqB,CAAC;IAChC,OAAO,EAAE,EAAE,uBAAuB,EAAE,CAAC,QAAQ,CAAC,EAAE;IAChD,MAAM,EAAE,2BAA2B;IACnC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,oDAAoD;QACjE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;KACrD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,GAAG;IACxF,QAAQ,EAAE,cAAc;IACxB,QAAQ,EACN,iHAAiH;CACpH,CAAC,CAAC;AAEH,6EAA6E;AAC7E,MAAM,CAAC,MAAM,kBAAkB,GAA0B;IACvD,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,SAAS;CACV,CAAC"}
|
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
import { type BridgeEdge } from '../edge.js';
|
|
2
|
-
/** BE-134 Bloch deficit. g = 2 is not this edge. @public */
|
|
3
|
-
export declare const be134Edge: BridgeEdge;
|
|
4
|
-
/** BE-135 three-dimensional density of states. One spin is half. @public */
|
|
5
|
-
export declare const be135Edge: BridgeEdge;
|
|
6
|
-
/** BE-136 two-dimensional density of states. A valley factor is not 1. @public */
|
|
7
|
-
export declare const be136Edge: BridgeEdge;
|
|
8
|
-
/** BE-137 Thomas–Fermi wavevector squared. A flat density drops 3/2. @public */
|
|
9
|
-
export declare const be137Edge: BridgeEdge;
|
|
10
|
-
/** BE-138 built-in voltage. The logarithm is the catalog value. @public */
|
|
11
|
-
export declare const be138Edge: BridgeEdge;
|
|
12
|
-
/** BE-139 intrinsic Fermi offset. The extrinsic energy is not this edge. @public */
|
|
13
|
-
export declare const be139Edge: BridgeEdge;
|
|
14
|
-
/** BE-140 Onsager frequency. Dropping 2 π is not this field. @public */
|
|
15
|
-
export declare const be140Edge: BridgeEdge;
|
|
16
|
-
/** BE-141 Josephson inductance at φ = 0. @public */
|
|
17
|
-
export declare const be141Edge: BridgeEdge;
|
|
18
|
-
/** BE-142 lower critical field. The 4 π stays. @public */
|
|
19
|
-
export declare const be142Edge: BridgeEdge;
|
|
20
|
-
/** BE-143 real AC Drude conductivity. The DC 1 stays. @public */
|
|
21
|
-
export declare const be143Edge: BridgeEdge;
|
|
22
|
-
/** BE-144 Matthiessen lifetime. One lifetime is not the parallel sum. @public */
|
|
23
|
-
export declare const be144Edge: BridgeEdge;
|
|
24
|
-
/** BE-145 Stoner susceptibility. Two bubbles are not the closed form. @public */
|
|
25
|
-
export declare const be145Edge: BridgeEdge;
|
|
26
|
-
/** BE-146 Gorter–Casimir fraction. The edge value is n_s/n. @public */
|
|
27
|
-
export declare const be146Edge: BridgeEdge;
|
|
28
|
-
/** Condensed-matter edges, in catalog-id order. @public */
|
|
29
|
-
export declare const CONDENSED_R8_EDGES: readonly BridgeEdge[];
|
|
30
|
-
//# sourceMappingURL=condensed-r8.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"condensed-r8.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/condensed-r8.ts"],"names":[],"mappings":"AA2BA,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAiE/D,4DAA4D;AAC5D,eAAO,MAAM,SAAS,EAAE,UAgCtB,CAAC;AAEH,4EAA4E;AAC5E,eAAO,MAAM,SAAS,EAAE,UAwBtB,CAAC;AAEH,kFAAkF;AAClF,eAAO,MAAM,SAAS,EAAE,UAatB,CAAC;AAEH,gFAAgF;AAChF,eAAO,MAAM,SAAS,EAAE,UAsBtB,CAAC;AAEH,2EAA2E;AAC3E,eAAO,MAAM,SAAS,EAAE,UAqCtB,CAAC;AAEH,oFAAoF;AACpF,eAAO,MAAM,SAAS,EAAE,UAuCtB,CAAC;AAEH,wEAAwE;AACxE,eAAO,MAAM,SAAS,EAAE,UAatB,CAAC;AAEH,oDAAoD;AACpD,eAAO,MAAM,SAAS,EAAE,UAatB,CAAC;AAEH,0DAA0D;AAC1D,eAAO,MAAM,SAAS,EAAE,UA2BtB,CAAC;AAEH,iEAAiE;AACjE,eAAO,MAAM,SAAS,EAAE,UAoCtB,CAAC;AAEH,iFAAiF;AACjF,eAAO,MAAM,SAAS,EAAE,UAgCtB,CAAC;AAEH,iFAAiF;AACjF,eAAO,MAAM,SAAS,EAAE,UAmBtB,CAAC;AAEH,uEAAuE;AACvE,eAAO,MAAM,SAAS,EAAE,UA8BtB,CAAC;AAEH,2DAA2D;AAC3D,eAAO,MAAM,kBAAkB,EAAE,SAAS,UAAU,EAcnD,CAAC"}
|