back to table · edit · history · where entries came from · files · download
5838 bytes, as of the version from 2026-11-02 11:02 (current). Recorded here, not run.
{
"versions": {
"numberdb": "0.1.10",
"sage": "10.9"
},
"source_coefficient_transcription": true,
"symbolic_j_formula": true,
"hilbert_polynomials_match_T129": true,
"checks": [
{
"t": "108+54*sqrt(2)",
"D": -24,
"interior": false,
"positive": true,
"H": "x^2 - 4834944*x + 14670139392",
"exact_CM_check": true
},
{
"t": "108-54*sqrt(2)",
"D": -24,
"interior": false,
"positive": true,
"H": "x^2 - 4834944*x + 14670139392",
"exact_CM_check": true
},
{
"t": "18+6*sqrt(3)",
"D": -36,
"interior": false,
"positive": true,
"H": "x^2 - 153542016*x - 1790957481984",
"exact_CM_check": true
},
{
"t": "18-6*sqrt(3)",
"D": -36,
"interior": true,
"positive": true,
"H": "x^2 - 153542016*x - 1790957481984",
"exact_CM_check": true
},
{
"t": "270+162*sqrt(3)",
"D": -4,
"interior": false,
"positive": true,
"H": "x - 1728",
"exact_CM_check": true
},
{
"t": "270-162*sqrt(3)",
"D": -4,
"interior": false,
"positive": false,
"H": "x - 1728",
"exact_CM_check": true
},
{
"t": "729+405*sqrt(3)",
"D": -48,
"interior": false,
"positive": true,
"H": "x^2 - 2835810000*x + 6549518250000",
"exact_CM_check": true
},
{
"t": "729-405*sqrt(3)",
"D": -48,
"interior": false,
"positive": true,
"H": "x^2 - 2835810000*x + 6549518250000",
"exact_CM_check": true
},
{
"t": "-27/2-27/2*sqrt(5)",
"D": -15,
"interior": false,
"positive": false,
"H": "x^2 + 191025*x - 121287375",
"exact_CM_check": true
},
{
"t": "-27/2+27/2*sqrt(5)",
"D": -15,
"interior": true,
"positive": true,
"H": "x^2 + 191025*x - 121287375",
"exact_CM_check": true
},
{
"t": "3375/2+1485/2*sqrt(5)",
"D": -60,
"interior": false,
"positive": true,
"H": "x^2 - 37018076625*x + 153173312762625",
"exact_CM_check": true
},
{
"t": "3375/2-1485/2*sqrt(5)",
"D": -60,
"interior": false,
"positive": true,
"H": "x^2 - 37018076625*x + 153173312762625",
"exact_CM_check": true
},
{
"t": "-4320-1944*sqrt(5)",
"D": -75,
"interior": false,
"positive": false,
"H": "x^2 + 654403829760*x + 5209253090426880",
"exact_CM_check": true
},
{
"t": "-4320+1944*sqrt(5)",
"D": -75,
"interior": true,
"positive": true,
"H": "x^2 + 654403829760*x + 5209253090426880",
"exact_CM_check": true
},
{
"t": "32+2*sqrt(6)",
"D": -72,
"interior": false,
"positive": true,
"H": "x^2 - 377674768000*x + 232381513792000000",
"exact_CM_check": true
},
{
"t": "32-2*sqrt(6)",
"D": -72,
"interior": false,
"positive": true,
"H": "x^2 - 377674768000*x + 232381513792000000",
"exact_CM_check": true
},
{
"t": "3672+1458*sqrt(6)",
"D": -8,
"interior": false,
"positive": true,
"H": "x - 8000",
"exact_CM_check": true
},
{
"t": "3672-1458*sqrt(6)",
"D": -8,
"interior": false,
"positive": true,
"H": "x - 8000",
"exact_CM_check": true
},
{
"t": "-864-216*sqrt(17)",
"D": -51,
"interior": false,
"positive": false,
"H": "x^2 + 5541101568*x + 6262062317568",
"exact_CM_check": true
},
{
"t": "-864+216*sqrt(17)",
"D": -51,
"interior": true,
"positive": true,
"H": "x^2 + 5541101568*x + 6262062317568",
"exact_CM_check": true
},
{
"t": "-163296-35640*sqrt(21)",
"D": -147,
"interior": false,
"positive": false,
"H": "x^2 + 34848505552896000*x + 11356800389480448000000",
"exact_CM_check": true
},
{
"t": "-163296+35640*sqrt(21)",
"D": -147,
"interior": true,
"positive": true,
"H": "x^2 + 34848505552896000*x + 11356800389480448000000",
"exact_CM_check": true
},
{
"t": "4-4*sqrt(33)",
"D": -99,
"interior": false,
"positive": false,
"H": "x^2 + 37616060956672*x - 56171326053810176",
"exact_CM_check": true
},
{
"t": "4+4*sqrt(33)",
"D": -99,
"interior": true,
"positive": true,
"H": "x^2 + 37616060956672*x - 56171326053810176",
"exact_CM_check": true
},
{
"t": "-16740-2916*sqrt(33)",
"D": -11,
"interior": false,
"positive": false,
"H": "x + 32768",
"exact_CM_check": true
},
{
"t": "-16740+2916*sqrt(33)",
"D": -11,
"interior": true,
"positive": true,
"H": "x + 32768",
"exact_CM_check": true
},
{
"t": "-55296-8640*sqrt(41)",
"D": -123,
"interior": false,
"positive": false,
"H": "x^2 + 1354146840576000*x + 148809594175488000000",
"exact_CM_check": true
},
{
"t": "-55296+8640*sqrt(41)",
"D": -123,
"interior": true,
"positive": true,
"H": "x^2 + 1354146840576000*x + 148809594175488000000",
"exact_CM_check": true
},
{
"t": "-13500000-1431000*sqrt(89)",
"D": -267,
"interior": false,
"positive": false,
"H": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000",
"exact_CM_check": true
},
{
"t": "-13500000+1431000*sqrt(89)",
"D": -267,
"interior": true,
"positive": true,
"H": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000",
"exact_CM_check": true
}
]
}