back to table · edit · history · where entries came from · files · download
3066 bytes, as of the version from 2026-10-25 10:19 (current). Recorded here, not run.
{
"sage_version": "10.9",
"precision_bits": 640,
"exact_Catalan_coefficient_checks": 40,
"transfer_factor_identity": true,
"closed_form_entries": {
"plane": {
"contained_in_stored_last_place_interval": true,
"midpoint_discrepancy_ulps": "[0.39242913023409573162077517126293459283408627619995557751676790590735100390059911883912445507 +/- 3.00e-93]",
"computed_ball": "[0.141047395886939071737019862890193146461012657332249714211021430427660617110373353621685915050526840860757086976590426837922482873706540716591372380004442248323209409264899609940088116087554493 +/- 2.11e-193]"
},
"plane-binary": {
"contained_in_stored_last_place_interval": true,
"midpoint_discrepancy_ulps": "[0.15764213403228210408570358661994107374761573951148213000548440338484160444229397342405970818 +/- 7.15e-93]",
"computed_ball": "[0.488602511902919921586384622838347004575885608194227702138243157445841000361636530405614818703970042415764213403228210408570358661994107374761573951148213000548440338484160444229397342405970818 +/- 5.75e-193]"
},
"labelled-rooted": {
"contained_in_stored_last_place_interval": true,
"midpoint_discrepancy_ulps": "[0.30302558862635182685510991954555837242996212730625507706345270582720499317564516345807530597 +/- 7.16e-93]",
"computed_ball": "[0.398942280401432677939946059934381868475858631164934657665925829670657925899301838501252333907306936430302558862635182685510991954555837242996212730625507706345270582720499317564516345807530597 +/- 5.77e-193]"
},
"labelled-free": {
"contained_in_stored_last_place_interval": true,
"midpoint_discrepancy_ulps": "[0.30302558862635182685510991954555837242996212730625507706345270582720499317564516345807530597 +/- 7.16e-93]",
"computed_ball": "[0.398942280401432677939946059934381868475858631164934657665925829670657925899301838501252333907306936430302558862635182685510991954555837242996212730625507706345270582720499317564516345807530597 +/- 5.77e-193]"
}
},
"Catalan_convergence": [
{
"nodes": 200,
"normalized_count_over_amplitude": "[1.00187989566160026683231089254442666491882450757029676897106912718895327925874764463081250108783662672527501678467965844765857963400429928125251273976103307217228001499661408100691416885869027 +/- 2.01e-192]"
},
{
"nodes": 400,
"normalized_count_over_amplitude": "[1.00093872230727786009903274912569879028664376558320002838198239454517969420694194185030094095492838173534489623487445427197350389302159511823931116686928800969181731646635022746337511521150923 +/- 6.32e-192]"
},
{
"nodes": 800,
"normalized_count_over_amplitude": "[1.00046905537617653423185665388371711662082601769635147523502858109250261610932194956032630867967070090581399724824161873984717241457047684952136591547856722679325745952809330116587769604144148 +/- 4.33e-192]"
}
],
"tree_classes": 14,
"one_labelling_per_class": true,
"scope": "Normalization check; not a re-certification of implicit-function entries."
}