back to table · edit · history · where entries came from · files · download
3722 bytes, as of the version from 2026-10-26 08:03 (current). Recorded here, not run.
{
"table": "T507",
"sage": "10.9",
"working_bits": 512,
"checked_entries": 12,
"unchanged_generator_digits": 100,
"finite_containment_and_shifted_controls_passed": true,
"square_point_theta2_theta4_gamma_passed": true,
"entries": [
{
"r": 1,
"error_ulps_upper": "0.0145322701065947388603906205472180478518591029633388557110427477565631205350673866921007674766688054714421678370559043824754421183603465895368400519238302",
"radius": "1.2296570e-153",
"generator_accuracy_bits": 423
},
{
"r": 2,
"error_ulps_upper": "0.249138600272182188948593729969368352962578720856044092057155713075367320994932168611499306649008543141654355797222966089630404373648839327124343922912781",
"radius": "1.4044438e-153",
"generator_accuracy_bits": 424
},
{
"r": 3,
"error_ulps_upper": "0.362479182870338379261727123803019710160678965526240590617649963186464950056342533210254299803862035657438109635458523626413375575556046722387590103962898",
"radius": "1.3637526e-153",
"generator_accuracy_bits": 424
},
{
"r": 4,
"error_ulps_upper": "0.343997213427942461296460003902722734085125609826353574550945158448516418122586544233114093886396329331733655912319989575619394377557486255611939079184185",
"radius": "6.2797019e-154",
"generator_accuracy_bits": 424
},
{
"r": 5,
"error_ulps_upper": "0.425084947024118583744929913243638120099422428124092939722526884780796382988296938363545956339451605120267789204785583465901414374736600831406900247061950",
"radius": "7.5821434e-154",
"generator_accuracy_bits": 424
},
{
"r": 6,
"error_ulps_upper": "0.426464717132595775479699106776736876387223836698765303250116903317324196341011821181175430117627550408119529266465383800297228389764763873649486544230432",
"radius": "7.3565230e-154",
"generator_accuracy_bits": 424
},
{
"r": 7,
"error_ulps_upper": "0.272838216376999427164755260052098245924814096872758354352996931823069855051257701714059312520077970475963830080808236201211029087335032488354053560330057",
"radius": "7.5501866e-154",
"generator_accuracy_bits": 424
},
{
"r": 8,
"error_ulps_upper": "0.187651806895148738263193597284220710519020519542526533304635096340824549368774345418967645472671234627686683314295086844110734470273969275746195242308369",
"radius": "4.3689123e-154",
"generator_accuracy_bits": 423
},
{
"r": 9,
"error_ulps_upper": "0.143572367207999541116278830354142088420883396286737083968118184041904467660886778410342979203777241062018343844853552495625188717253183560731665411310182",
"radius": "3.7623867e-154",
"generator_accuracy_bits": 424
},
{
"r": 10,
"error_ulps_upper": "0.217430334732879332042167991888710682325779882150561713935872234526081735587896766925357147888876887366699457158956189308273631173296244041891273688581298",
"radius": "4.0704448e-154",
"generator_accuracy_bits": 424
},
{
"r": 11,
"error_ulps_upper": "0.249979297561665497188083359726727424368300917746060998026782645136979960221562554356520482937958129141074577487387224989610486014624047186117578273817459",
"radius": "3.9550106e-154",
"generator_accuracy_bits": 424
},
{
"r": 12,
"error_ulps_upper": "0.0141379247251576780699623243917048571671132677998213986010864352966581564828139231777571381947419919375074950637275660200098929953234125985927580796628129",
"radius": "3.8561370e-154",
"generator_accuracy_bits": 424
}
]
}
<VerifyReport T507: 12/12 matched, 0 differing, 0 missing, 0 extra>