back to table · edit · history · where entries came from · files · download
7899 bytes, as of the version from 2026-11-02 11:01 (current). Recorded here, not run.
{
"symbolic_j_invariant": true,
"hilbert_polynomials_match_T129": true,
"cm_checks": [
{
"t": "-216",
"D": -3,
"row": null,
"interior": false,
"positive": false,
"label": "$-216$",
"hilbert_polynomial": "x"
},
{
"t": "24",
"D": -27,
"row": null,
"interior": true,
"positive": true,
"label": "$24$",
"hilbert_polynomial": "x + 12288000"
},
{
"t": "54",
"D": -12,
"row": null,
"interior": false,
"positive": true,
"label": "$54$",
"hilbert_polynomial": "x - 54000"
},
{
"t": "108+54*sqrt(2)",
"D": -24,
"row": 13,
"interior": false,
"positive": true,
"label": "$108+54\\sqrt{2}$",
"hilbert_polynomial": "x^2 - 4834944*x + 14670139392"
},
{
"t": "108-54*sqrt(2)",
"D": -24,
"row": 13,
"interior": false,
"positive": true,
"label": "$108-54\\sqrt{2}$",
"hilbert_polynomial": "x^2 - 4834944*x + 14670139392"
},
{
"t": "18+6*sqrt(3)",
"D": -36,
"row": 14,
"interior": false,
"positive": true,
"label": "$18+6\\sqrt{3}$",
"hilbert_polynomial": "x^2 - 153542016*x - 1790957481984"
},
{
"t": "18-6*sqrt(3)",
"D": -36,
"row": 14,
"interior": true,
"positive": true,
"label": "$18-6\\sqrt{3}$",
"hilbert_polynomial": "x^2 - 153542016*x - 1790957481984"
},
{
"t": "270+162*sqrt(3)",
"D": -4,
"row": 15,
"interior": false,
"positive": true,
"label": "$270+162\\sqrt{3}$",
"hilbert_polynomial": "x - 1728"
},
{
"t": "270-162*sqrt(3)",
"D": -4,
"row": 15,
"interior": false,
"positive": false,
"label": "$270-162\\sqrt{3}$",
"hilbert_polynomial": "x - 1728"
},
{
"t": "729+405*sqrt(3)",
"D": -48,
"row": 16,
"interior": false,
"positive": true,
"label": "$729+405\\sqrt{3}$",
"hilbert_polynomial": "x^2 - 2835810000*x + 6549518250000"
},
{
"t": "729-405*sqrt(3)",
"D": -48,
"row": 16,
"interior": false,
"positive": true,
"label": "$729-405\\sqrt{3}$",
"hilbert_polynomial": "x^2 - 2835810000*x + 6549518250000"
},
{
"t": "-27/2-27/2*sqrt(5)",
"D": -15,
"row": 17,
"interior": false,
"positive": false,
"label": "$\\frac{-27}{2}-\\frac{27}{2}\\sqrt{5}$",
"hilbert_polynomial": "x^2 + 191025*x - 121287375"
},
{
"t": "-27/2+27/2*sqrt(5)",
"D": -15,
"row": 17,
"interior": true,
"positive": true,
"label": "$\\frac{-27}{2}+\\frac{27}{2}\\sqrt{5}$",
"hilbert_polynomial": "x^2 + 191025*x - 121287375"
},
{
"t": "3375/2+1485/2*sqrt(5)",
"D": -60,
"row": 18,
"interior": false,
"positive": true,
"label": "$\\frac{3375}{2}+\\frac{1485}{2}\\sqrt{5}$",
"hilbert_polynomial": "x^2 - 37018076625*x + 153173312762625"
},
{
"t": "3375/2-1485/2*sqrt(5)",
"D": -60,
"row": 18,
"interior": false,
"positive": true,
"label": "$\\frac{3375}{2}-\\frac{1485}{2}\\sqrt{5}$",
"hilbert_polynomial": "x^2 - 37018076625*x + 153173312762625"
},
{
"t": "-4320-1944*sqrt(5)",
"D": -75,
"row": 19,
"interior": false,
"positive": false,
"label": "$-4320-1944\\sqrt{5}$",
"hilbert_polynomial": "x^2 + 654403829760*x + 5209253090426880"
},
{
"t": "-4320+1944*sqrt(5)",
"D": -75,
"row": 19,
"interior": true,
"positive": true,
"label": "$-4320+1944\\sqrt{5}$",
"hilbert_polynomial": "x^2 + 654403829760*x + 5209253090426880"
},
{
"t": "32+2*sqrt(6)",
"D": -72,
"row": 20,
"interior": false,
"positive": true,
"label": "$32+2\\sqrt{6}$",
"hilbert_polynomial": "x^2 - 377674768000*x + 232381513792000000"
},
{
"t": "32-2*sqrt(6)",
"D": -72,
"row": 20,
"interior": false,
"positive": true,
"label": "$32-2\\sqrt{6}$",
"hilbert_polynomial": "x^2 - 377674768000*x + 232381513792000000"
},
{
"t": "3672+1458*sqrt(6)",
"D": -8,
"row": 21,
"interior": false,
"positive": true,
"label": "$3672+1458\\sqrt{6}$",
"hilbert_polynomial": "x - 8000"
},
{
"t": "3672-1458*sqrt(6)",
"D": -8,
"row": 21,
"interior": false,
"positive": true,
"label": "$3672-1458\\sqrt{6}$",
"hilbert_polynomial": "x - 8000"
},
{
"t": "-864-216*sqrt(17)",
"D": -51,
"row": 22,
"interior": false,
"positive": false,
"label": "$-864-216\\sqrt{17}$",
"hilbert_polynomial": "x^2 + 5541101568*x + 6262062317568"
},
{
"t": "-864+216*sqrt(17)",
"D": -51,
"row": 22,
"interior": true,
"positive": true,
"label": "$-864+216\\sqrt{17}$",
"hilbert_polynomial": "x^2 + 5541101568*x + 6262062317568"
},
{
"t": "-163296-35640*sqrt(21)",
"D": -147,
"row": 23,
"interior": false,
"positive": false,
"label": "$-163296-35640\\sqrt{21}$",
"hilbert_polynomial": "x^2 + 34848505552896000*x + 11356800389480448000000"
},
{
"t": "-163296+35640*sqrt(21)",
"D": -147,
"row": 23,
"interior": true,
"positive": true,
"label": "$-163296+35640\\sqrt{21}$",
"hilbert_polynomial": "x^2 + 34848505552896000*x + 11356800389480448000000"
},
{
"t": "4-4*sqrt(33)",
"D": -99,
"row": 24,
"interior": false,
"positive": false,
"label": "$4-4\\sqrt{33}$",
"hilbert_polynomial": "x^2 + 37616060956672*x - 56171326053810176"
},
{
"t": "4+4*sqrt(33)",
"D": -99,
"row": 24,
"interior": true,
"positive": true,
"label": "$4+4\\sqrt{33}$",
"hilbert_polynomial": "x^2 + 37616060956672*x - 56171326053810176"
},
{
"t": "-16740-2916*sqrt(33)",
"D": -11,
"row": 25,
"interior": false,
"positive": false,
"label": "$-16740-2916\\sqrt{33}$",
"hilbert_polynomial": "x + 32768"
},
{
"t": "-16740+2916*sqrt(33)",
"D": -11,
"row": 25,
"interior": true,
"positive": true,
"label": "$-16740+2916\\sqrt{33}$",
"hilbert_polynomial": "x + 32768"
},
{
"t": "-55296-8640*sqrt(41)",
"D": -123,
"row": 26,
"interior": false,
"positive": false,
"label": "$-55296-8640\\sqrt{41}$",
"hilbert_polynomial": "x^2 + 1354146840576000*x + 148809594175488000000"
},
{
"t": "-55296+8640*sqrt(41)",
"D": -123,
"row": 26,
"interior": true,
"positive": true,
"label": "$-55296+8640\\sqrt{41}$",
"hilbert_polynomial": "x^2 + 1354146840576000*x + 148809594175488000000"
},
{
"t": "-13500000-1431000*sqrt(89)",
"D": -267,
"row": 27,
"interior": false,
"positive": false,
"label": "$-13500000-1431000\\sqrt{89}$",
"hilbert_polynomial": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000"
},
{
"t": "-13500000+1431000*sqrt(89)",
"D": -267,
"row": 27,
"interior": true,
"positive": true,
"label": "$-13500000+1431000\\sqrt{89}$",
"hilbert_polynomial": "x^2 + 19683091854079488000000*x + 531429662672621376897024000000"
}
],
"selected": [
"24",
"18-6*sqrt(3)",
"-27/2+27/2*sqrt(5)",
"-4320+1944*sqrt(5)",
"-864+216*sqrt(17)",
"-163296+35640*sqrt(21)",
"4+4*sqrt(33)",
"-16740+2916*sqrt(33)",
"-55296+8640*sqrt(41)",
"-13500000+1431000*sqrt(89)"
]
}