{ "arithmetic": "Python standard library fractions.Fraction; no floating-point decisions", "author": "OpenAI", "exact_values": { "engine.normalizations": { "passed": true, "passed_examples": 3 }, "eq19.printed_minima.C0": { "exact_minima": [ "3971/3200", "1063/1600" ], "passed": true, "printed_minima": [ "3971/3200", "1063/1600" ] }, "eq19.printed_minima.determinant": { "exact_minima": [ "101027/20000", "283729/400000" ], "passed": true, "printed_minima": [ "101027/20000", "283729/400000" ] }, "eq22.printed_CBE.8.0": { "index": [ 8, 0 ], "passed": true, "triple_11_22_12": [ "11041/810", "4063/810", "60557/16200" ] }, "eq22.printed_CBE.8.1": { "index": [ 8, 1 ], "passed": true, "triple_11_22_12": [ "4328/405", "839/405", "3977/2700" ] }, "eq22.printed_CBE.8.2": { "index": [ 8, 2 ], "passed": true, "triple_11_22_12": [ "191/81", "191/81", "-1189/1350" ] }, "eq9.endpoint_range_and_radical": { "comparison_square": "289/9", "endpoint_upper_square": "1369/10000", "passed": true, "required_square": "5/37" }, "eq9.moment_lower_bound": { "passed": true, "q_at_2": "17/225", "q_prime_at_2": "-2494/225", "q_second": "62/45" }, "eq9.printed_minimum.D_star": { "exact_minimum": "2459668689/5793382400", "passed": true, "printed_minimum": "2459668689/5793382400" }, "eq9.printed_minimum.L": { "exact_minimum": "1/64", "passed": true, "printed_minimum": "1/64" }, "eq9.printed_minimum.endpoint_lower": { "exact_minimum": "58454914732902747377800095783827783501884053/50000000000000000000000000000000000000000000", "passed": true, "printed_minimum": "58454914732902747377800095783827783501884053/50000000000000000000000000000000000000000000" }, "eq9.printed_minimum.endpoint_upper": { "exact_minimum": "132428032291164570287168821949356607977047/770000000000000000000000000000000000000", "passed": true, "printed_minimum": "132428032291164570287168821949356607977047/770000000000000000000000000000000000000" }, "eq9.printed_strictly_feasible_measure": { "first_constraint": "-5/2", "mass_at_2": "9/32", "passed": true, "second_constraint": "-1/8" }, "volume.cutoff_comparisons": { "beta_squared_3_minus_beta": "57500/59319", "f_at_cutoff": "7511875/8388608", "passed": true }, "volume.lower": { "asserted_bound": "1343/1000", "exact_value": "325513803292178267556854357335457/242308366210310400000000000000000", "passed": true, "required_bound": "4/3", "sine_power": 1 }, "volume.printed_lower_constant": { "exact_constant": "4883/3750", "passed": true }, "volume.printed_piece.lower_1": { "degree": 15, "exact_integral_with_prefactor": "131507100516520529090488603/188273788819200000000000000000", "integrand": { "degree": 15, "terms": [ { "coefficient": "157/100", "powers": [ 7 ] }, { "coefficient": "-79249/51450", "powers": [ 9 ] }, { "coefficient": "-34944726658847/77175000000000", "powers": [ 11 ] }, { "coefficient": "355026849681586157/648540112500000000", "powers": [ 13 ] }, { "coefficient": "-155897368/778248135", "powers": [ 15 ] } ], "variables": [ "u" ] }, "left": "0", "passed": true, "prefactor": "3869893/3375000", "right": "1/2", "strict_lower_bound": "349/500000" }, "volume.printed_piece.lower_2": { "degree": 15, "exact_integral_with_prefactor": "2456688266456997528978724625849/60577091552577600000000000000000", "integrand": { "degree": 15, "terms": [ { "coefficient": "-59149337705241529/1297080225000000000", "powers": [ 6 ] }, { "coefficient": "71710349757891647/37059435000000000", "powers": [ 7 ] }, { "coefficient": "-168153803564616529/121601271093750000", "powers": [ 8 ] }, { "coefficient": "23280235220391647/13897288125000000", "powers": [ 9 ] }, { "coefficient": "-26783726902630549/5294205000000000", "powers": [ 10 ] }, { "coefficient": "2943415620281507881/555891525000000000", "powers": [ 11 ] }, { "coefficient": "-270995634707891647/55589152500000000", "powers": [ 12 ] }, { "coefficient": "2373177090318413843/648540112500000000", "powers": [ 13 ] }, { "coefficient": "-155897368/111178305", "powers": [ 14 ] }, { "coefficient": "155897368/778248135", "powers": [ 15 ] } ], "variables": [ "u" ] }, "left": "1/2", "passed": true, "prefactor": "3869893/3375000", "right": "1", "strict_lower_bound": "20277/500000" }, "volume.printed_piece.upper_1": { "degree": 31, "exact_integral_with_prefactor": "497155035629057030676876309359284275824174319578471045584261133221/41883834521181029929186328838144000000000000000000000000000000000000", "integrand": { "degree": 31, "terms": [ { "coefficient": "11609679/125000", "powers": [ 7 ] }, { "coefficient": "-30077769707/85750000", "powers": [ 9 ] }, { "coefficient": "2040303606964400541871/3676531250000000000", "powers": [ 11 ] }, { "coefficient": "-15782102684935491362366387/22698903937500000000000", "powers": [ 13 ] }, { "coefficient": "484527701671515476332657625683476673/417092359851562500000000000000000", "powers": [ 15 ] }, { "coefficient": "-513936091165049874934206043338202843909/286125358858171875000000000000000000", "powers": [ 17 ] }, { "coefficient": "3376699106381084908653626688783848047500912296479/1752517823006302734375000000000000000000000000", "powers": [ 19 ] }, { "coefficient": "-1693800408251592828533402707242792106541823817051307/1202227226582323675781250000000000000000000000000", "powers": [ 21 ] }, { "coefficient": "368866640422114477953051388544968528200638292692297/515240239963853003906250000000000000000000000000", "powers": [ 23 ] }, { "coefficient": "-23040875728266104274621595069643068916621383797514921111/90926248487261013084849609375000000000000000000000000", "powers": [ 25 ] }, { "coefficient": "118267613192453270547188117765994755519845757/1948419610441307423246777343750000000000000", "powers": [ 27 ] }, { "coefficient": "-879466061760031469278390552208657/97420980522065371162338867187500", "powers": [ 29 ] }, { "coefficient": "3788927971460177971820032/5819279903184704837430375", "powers": [ 31 ] } ], "variables": [ "u" ] }, "left": "0", "passed": true, "prefactor": "471/800", "right": "1/2", "strict_lower_bound": "11869/1000000" }, "volume.printed_piece.upper_2": { "degree": 31, "exact_integral_with_prefactor": "171065066729780702217484999765950442263535157197643129483475089291540822719848230606094947/5669030237682863845618166728913309009123028552036384768000000000000000000000000000000000000", "integrand": { "degree": 31, "terms": [ { "coefficient": "-206942484396116090727447063688647107554482735078889/90926248487261013084849609375000000000000000000000000", "powers": [ 4 ] }, { "coefficient": "250888995744367861228818737719620579544956762154127/865964271307247743665234375000000000000000000000000", "powers": [ 5 ] }, { "coefficient": "-974117995947960452278519741004950008564124983892178899/77936784417652296929871093750000000000000000000000000", "powers": [ 6 ] }, { "coefficient": "331603202248453142700736223748947349416488293815710001/1731928542614495487330468750000000000000000000000000", "powers": [ 7 ] }, { "coefficient": "-155356713382896549077701124733439072996946191632452359/397636655192103555764648437500000000000000000000000", "powers": [ 8 ] }, { "coefficient": "12450021516243881900356611642996885156838928424395034529/19484196104413074232467773437500000000000000000000000", "powers": [ 9 ] }, { "coefficient": "-170980282158192151026554852898492632691674864983120055191/90926248487261013084849609375000000000000000000000000", "powers": [ 10 ] }, { "coefficient": "1032734017111847711690561867079209111845037130022404195707/272778745461783039254548828125000000000000000000000000", "powers": [ 11 ] }, { "coefficient": "-14696144917220269631170108617941757384577497001685542213/2597892813921743230995703125000000000000000000000000", "powers": [ 12 ] }, { "coefficient": "16385023119424242177251309144791395952571301867118624321/1855637724229816593568359375000000000000000000000000", "powers": [ 13 ] }, { "coefficient": "-91887969626277367605986020912529678082089698106633604193/6494732034804358077489257812500000000000000000000000", "powers": [ 14 ] }, { "coefficient": "386512129397343841793682700942059869308995458685500432501/19484196104413074232467773437500000000000000000000000", "powers": [ 15 ] }, { "coefficient": "-33647715391517995428960497172520765578013359269580868283/1443273785512079572775390625000000000000000000000000", "powers": [ 16 ] }, { "coefficient": "1429903380583643658092303191777567015046081397781937145629/54555749092356607850909765625000000000000000000000000", "powers": [ 17 ] }, { "coefficient": "-8327382432374310224540406108492526395470533047845165391427/272778745461783039254548828125000000000000000000000000", "powers": [ 18 ] }, { "coefficient": "396261972405670172182185164033259451124495936117350076297/12989464069608716154978515625000000000000000000000000", "powers": [ 19 ] }, { "coefficient": "-227246561973531806527569243950140661501433286985236752193/9742098052206537116233886718750000000000000000000000", "powers": [ 20 ] }, { "coefficient": "52195819621101719352058952635300237823105932398807335921/3247366017402179038744628906250000000000000000000000", "powers": [ 21 ] }, { "coefficient": "-2317926774728315002619789163438054533332785617594921111/207831425113739458479656250000000000000000000000000", "powers": [ 22 ] }, { "coefficient": "106313199052170022125080692783415721859146284589609326293/25978928139217432309957031250000000000000000000000000", "powers": [ 23 ] }, { "coefficient": "207082105117337186704560252442469409274307502978365710001/54555749092356607850909765625000000000000000000000000", "powers": [ 24 ] }, { "coefficient": "-212821535633455216195499903760891262860888784654161692963/30308749495753671028283203125000000000000000000000000", "powers": [ 25 ] }, { "coefficient": "10278899106556430061548798259321208843837377869/1948419610441307423246777343750000000000000", "powers": [ 26 ] }, { "coefficient": "-4645428175216804260668132629212387815519845757/1948419610441307423246777343750000000000000", "powers": [ 27 ] }, { "coefficient": "22501663064072421345163919836011839/32473660174021790387446289062500", "powers": [ 28 ] }, { "coefficient": "-12440983837904656712901409447791343/97420980522065371162338867187500", "powers": [ 29 ] }, { "coefficient": "3788927971460177971820032/277108566818319277972875", "powers": [ 30 ] }, { "coefficient": "-3788927971460177971820032/5819279903184704837430375", "powers": [ 31 ] } ], "variables": [ "u" ] }, "left": "1/2", "passed": true, "prefactor": "471/800", "right": "5/8", "strict_lower_bound": "1207/40000" }, "volume.printed_piece.upper_3": { "degree": 23, "exact_integral_with_prefactor": "52687927545764529543179925999847839056393963964109356291919507356159061881/1333234146484244558143559507090876108111872000000000000000000000000000000000", "integrand": { "degree": 23, "terms": [ { "coefficient": "-206942484396116090727447063688647107554482735078889/290963995159235241871518750000000000000000000000000000", "powers": [ 0 ] }, { "coefficient": "250888995744367861228818737719620579544956762154127/2771085668183192779728750000000000000000000000000000", "powers": [ 1 ] }, { "coefficient": "-2272252182263920668347454572132587862957776686631487801/581927990318470483743037500000000000000000000000000000", "powers": [ 2 ] }, { "coefficient": "992300716787915749489920483869645842454015313825588733/16626514009099156678372500000000000000000000000000000", "powers": [ 3 ] }, { "coefficient": "-3660510957645382468930248361158298504702596602154127/31669550493522203196900000000000000000000000000000", "powers": [ 4 ] }, { "coefficient": "8315802708681215883052415700818954287229079544917558977/83132570045495783391862500000000000000000000000000000", "powers": [ 5 ] }, { "coefficient": "-2145837255942539262908818481830925694770639577638161861/5542171336366385559457500000000000000000000000000000", "powers": [ 6 ] }, { "coefficient": "58001177366458909632644662333967748026730120743308155307/64658665590941164860337500000000000000000000000000000", "powers": [ 7 ] }, { "coefficient": "-4939855683066730451806454682504224288454689894306147257/5542171336366385559457500000000000000000000000000000", "powers": [ 8 ] }, { "coefficient": "24771734691406202660728981654743008917193146327966281127/23277119612738819349721500000000000000000000000000000", "powers": [ 9 ] }, { "coefficient": "-59893456250055010413839387377528444757957452579911959839/27710856681831927797287500000000000000000000000000000", "powers": [ 10 ] }, { "coefficient": "1250016111268318671420185347891303900016136879471996349/475043257402833047953500000000000000000000000000000", "powers": [ 11 ] }, { "coefficient": "-157995925305046952097898371742604827960812507123711412189/83132570045495783391862500000000000000000000000000000", "powers": [ 12 ] }, { "coefficient": "9291825144784299426555712424539626746930170291614132221/5542171336366385559457500000000000000000000000000000", "powers": [ 13 ] }, { "coefficient": "-47711093220867277513474751952337330304133190950553658887/23277119612738819349721500000000000000000000000000000", "powers": [ 14 ] }, { "coefficient": "5843937011801015414448221223384374693813795577578482139/3958693811690275399612500000000000000000000000000000", "powers": [ 15 ] }, { "coefficient": "-934014482202959172205941140565244308959184467838307037/12931733118188232972067500000000000000000000000000000", "powers": [ 16 ] }, { "coefficient": "-21908664262583589161962498157413338035513498257737384709/27710856681831927797287500000000000000000000000000000", "powers": [ 17 ] }, { "coefficient": "436142672776847128874354760358124613992256089/593804071753541309941875000000000000000000", "powers": [ 18 ] }, { "coefficient": "-493147235509244657865535130194355418391093973/1385542834091596389864375000000000000000000", "powers": [ 19 ] }, { "coefficient": "22131650566859513340103369836011839/207831425113739458479656250000000", "powers": [ 20 ] }, { "coefficient": "-28905624789373229661749772044846467/1454819975796176209357593750000000", "powers": [ 21 ] }, { "coefficient": "118403999108130561619376/55421713363663855594575", "powers": [ 22 ] }, { "coefficient": "-118403999108130561619376/1163855980636940967486075", "powers": [ 23 ] } ], "variables": [ "u" ] }, "left": "5/8", "passed": true, "prefactor": "471/800", "right": "1", "strict_lower_bound": "19759/500000" }, "volume.printed_piece_floor_sums": { "lower_floor_sum_with_constant": "1007539/750000", "lower_printed_bound": "1343/1000", "passed": true, "upper_floor_sum": "40781/500000", "upper_printed_bound": "163/2000" }, "volume.printed_sine_positive_floor": { "exact_floor": "19063149197/10376641800", "passed": true, "strict_lower_bound": "9/5" }, "volume.upper_saved": { "asserted_bound": "163/2000", "exact_value": "35568414570146708970215164653657279684840568049287583618357776852209994707811168145719343/436079249052527988124474363762562231471002196310491136000000000000000000000000000000000000", "passed": true, "required_bound": "3/40", "sine_power": 3 } }, "format_version": 1, "identities": [ { "key": "engine.binomial_product", "passed": true }, { "key": "engine.derivative", "passed": true }, { "key": "engine.exact_division", "passed": true }, { "key": "eq9.H_third_derivative", "passed": true }, { "key": "eq9.Phi_third_derivative", "passed": true }, { "key": "eq9.H_derivative_ratio", "passed": true }, { "key": "eq9.R_lower_remainder", "passed": true }, { "key": "eq9.printed_moment_quadratic", "passed": true }, { "key": "eq9.weight_interval_nonempty", "passed": true }, { "key": "eq9.moment_ratio_clearing", "passed": true }, { "key": "eq9.printed_L_input", "passed": true }, { "key": "eq9.printed_V_input", "passed": true }, { "key": "eq9.endpoint_clearing.lower", "passed": true }, { "key": "eq9.endpoint_clearing.upper", "passed": true }, { "key": "eq20.one_minus_sigma", "passed": true }, { "key": "eq20.one_plus_sigma", "passed": true }, { "key": "eq20.enlarged_difference_cleared", "passed": true }, { "key": "eq20.quartic_coefficient", "passed": true }, { "key": "eq12.inverse_metric_square_scaled.00", "passed": true }, { "key": "eq12.full_matrix_scaled.00", "passed": true }, { "key": "eq12.inverse_metric_square_scaled.01", "passed": true }, { "key": "eq12.full_matrix_scaled.01", "passed": true }, { "key": "eq12.inverse_metric_square_scaled.02", "passed": true }, { "key": "eq12.full_matrix_scaled.02", "passed": true }, { "key": "eq12.inverse_metric_square_scaled.11", "passed": true }, { "key": "eq12.full_matrix_scaled.11", "passed": true }, { "key": "eq12.inverse_metric_square_scaled.12", "passed": true }, { "key": "eq12.full_matrix_scaled.12", "passed": true }, { "key": "eq12.inverse_metric_square_scaled.22", "passed": true }, { "key": "eq12.full_matrix_scaled.22", "passed": true }, { "key": "eq21.axial_Xv", "passed": true }, { "key": "eq21.pp_loss", "passed": true }, { "key": "eq21.pk_cross_scaled", "passed": true }, { "key": "eq21.pl_cross_scaled", "passed": true }, { "key": "eq21.P0_relation", "passed": true }, { "key": "eq21.sigma_monotonicity.0", "passed": true }, { "key": "eq21.sigma_monotonicity.1", "passed": true }, { "key": "eq21.sigma_monotonicity.2", "passed": true }, { "key": "eq22.diagonal_clearing.v", "passed": true }, { "key": "eq22.diagonal_clearing.b", "passed": true }, { "key": "eq22.Sstar_AMGM_pair", "passed": true }, { "key": "eq22.Sstar_square_majorant", "passed": true }, { "key": "eq23.potential_decomposition", "passed": true }, { "key": "final.R_strictness", "passed": true }, { "key": "eq23.F_full_even_expansion", "passed": true }, { "key": "eq23.F_factor_divisibility.0", "passed": true }, { "key": "eq23.F_factor_divisibility.1", "passed": true }, { "key": "eq23.F_factor_divisibility.2", "passed": true }, { "key": "eq23.F_factor_divisibility.3", "passed": true }, { "key": "eq23.F_factor_divisibility.4", "passed": true }, { "key": "volume.printed_sine_polynomial", "passed": true }, { "key": "volume.f_comparison_numerator", "passed": true }, { "key": "eq9.H_ratio_square_bound", "passed": true } ], "interval_certificates": [ { "bernstein_degree": 8, "coefficient_floor": "1/100", "intervals": [ { "coefficients": [ "3/8", "3/8", "3/8", "3/8", "423/1120", "87/224", "93/224", "15/32", "1/64" ], "left": "0", "minimizing_indices": [ 8 ], "minimum": "1/64", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq9.L", "passed": true, "polynomial": { "degree": 8, "terms": [ { "coefficient": "3/8", "powers": [ 0 ] }, { "coefficient": "3/16", "powers": [ 4 ] }, { "coefficient": "-35/64", "powers": [ 8 ] } ], "variables": [ "x" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 17, "coefficient_floor": "2/5", "intervals": [ { "coefficients": [ "33/5", "33/5", "33/5", "33/5", "40212513/6092800", "104552809/15841280", "104553327/15841280", "14936289/2263040", "7647425529/1158676480", "3785477233327/573544857600", "757085571887/114708971520", "96352665767/14599323648", "481725060937/72996618240", "1053881379199/159719096320", "3386692625363/513382809600", "270839522405/41070624768", "84593592371/12834570240", "30550856495021/4638564679680" ], "left": "0", "minimizing_indices": [ 17 ], "minimum": "30550856495021/4638564679680", "passed": true, "right": "1/4", "zero_indices": [] }, { "coefficients": [ "30550856495021/4638564679680", "51898608930329/7885559955456", "129624499642333/19713899888640", "323672134902257/49284749721600", "1131133378600991/172496624025600", "1467680338225687/224245611233280", "43065365390807/6595459153920", "33739024660699/5182146478080", "1428839053336399/220241225318400", "711360767772751/110120612659200", "14153963288743/2202412253184", "22379157667327/3503837675520", "11107850993959/1751918837760", "423541156963/67381493760", "29946634357/4812963840", "2959243505/481296384", "1459277369/240648192", "42237097/7077888" ], "left": "1/4", "minimizing_indices": [ 17 ], "minimum": "42237097/7077888", "passed": true, "right": "1/2", "zero_indices": [] }, { "coefficients": [ "42237097/7077888", "52327601/8912896", "924504979/160432128", "9050405021/1604321280", "41222852731/7486832640", "183985539431/34351349760", "865986424331/166849413120", "18382762915787/3670687088640", "176511260635877/36706870886400", "37456394716151/8157082419200", "14217962636217/3262832967680", "17050889292327/4152696504320", "31876127602021/8305393008640", "3244686681489/912680550400", "5950060033803/1825361100800", "2157603737613/730144440320", "3863873951751/1460288880640", "401803790277/171798691840" ], "left": "1/2", "minimizing_indices": [ 17 ], "minimum": "401803790277/171798691840", "passed": true, "right": "3/4", "zero_indices": [] }, { "coefficients": [ "401803790277/171798691840", "1483395241479/730144440320", "63026013441/36507222016", "326151115959/228170137600", "131050226649/114085068800", "464165687561/519087063040", "88003848957/129771765760", "26282743107/50981765120", "2459668689/5793382400", "245027960647/573544857600", "1576859795/2867724288", "41311267/50135040", "366984367/285143040", "72495329/36556800", "5804849/1958400", "49427/11520", "923/153", "8933/1080" ], "left": "3/4", "minimizing_indices": [ 8 ], "minimum": "2459668689/5793382400", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq9.third_derivative_sign", "passed": true, "polynomial": { "degree": 17, "terms": [ { "coefficient": "33/5", "powers": [ 0 ] }, { "coefficient": "33/10", "powers": [ 4 ] }, { "coefficient": "-136/5", "powers": [ 5 ] }, { "coefficient": "-77/8", "powers": [ 8 ] }, { "coefficient": "1088/45", "powers": [ 9 ] }, { "coefficient": "119/9", "powers": [ 13 ] }, { "coefficient": "-119/54", "powers": [ 17 ] } ], "variables": [ "x" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 22, "coefficient_floor": "1", "intervals": [ { "coefficients": [ "55681/1350", "2802049/74250", "44719012/1299375", "3694766/118125", "2330942279759953/82293750000000", "11469634032180563/448875000000000", "9634977904168375727/419698125000000000", "307809413945174503/14989218750000000", "405987162781031093921/22206250000000000000", "1812334179594406170230356981/111919500000000000000000000", "5763906281346436687175310849/404153750000000000000000000", "8254949493607149308083576457/661342500000000000000000000", "2192224736934914931657378667/202076875000000000000000000", "1744933187212023195310237460732197/186532500000000000000000000000000", "1613831422619572427974330226652351/201875000000000000000000000000000", "27024981187840740011965884968304997/3997125000000000000000000000000000", "6585762210819400592708401344700243/1165828125000000000000000000000000", "239250910771580908660645304131967/51433593750000000000000000000000", "2069551614969864661753395927289243652667/550000000000000000000000000000000000000", "11458833537512503460924199204118365804711/3850000000000000000000000000000000000000", "125728168709567170042900309003789400673/55000000000000000000000000000000000000", "92708234709337026234811754100285804711/55000000000000000000000000000000000000", "58454914732902747377800095783827783501884053/50000000000000000000000000000000000000000000" ], "left": "0", "minimizing_indices": [ 22 ], "minimum": "58454914732902747377800095783827783501884053/50000000000000000000000000000000000000000000", "passed": true, "right": "37/100", "zero_indices": [] } ], "key": "eq9.endpoint.lower", "passed": true, "polynomial": { "degree": 22, "terms": [ { "coefficient": "55681/1350", "powers": [ 0 ] }, { "coefficient": "-3128/15", "powers": [ 1 ] }, { "coefficient": "312", "powers": [ 2 ] }, { "coefficient": "-354362/675", "powers": [ 4 ] }, { "coefficient": "20332/25", "powers": [ 5 ] }, { "coefficient": "-2904/5", "powers": [ 6 ] }, { "coefficient": "144", "powers": [ 8 ] }, { "coefficient": "58259/675", "powers": [ 9 ] }, { "coefficient": "-5888/75", "powers": [ 10 ] }, { "coefficient": "-1564/135", "powers": [ 13 ] }, { "coefficient": "164/25", "powers": [ 14 ] }, { "coefficient": "293/270", "powers": [ 18 ] }, { "coefficient": "-2/27", "powers": [ 22 ] } ], "variables": [ "x" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 4, "coefficient_floor": "0", "intervals": [ { "coefficients": [ "4", "4", "4", "4", "98125839/25000000" ], "left": "0", "minimizing_indices": [ 4 ], "minimum": "98125839/25000000", "passed": true, "right": "37/100", "zero_indices": [] } ], "key": "eq9.endpoint_denominator.lower", "passed": true, "polynomial": { "degree": 4, "terms": [ { "coefficient": "4", "powers": [ 0 ] }, { "coefficient": "-4", "powers": [ 4 ] } ], "variables": [ "x" ] }, "strict": true, "supplementary": true }, { "bernstein_degree": 22, "coefficient_floor": "1", "intervals": [ { "coefficients": [ "2576455/162", "2316049/162", "426209493871/33412500", "261946037396/23203125", "733421485451170487/74064375000000", "2184051623460442399/253935000000000", "465142373477964317879/62954718750000000", "50115261164639211279077/7994250000000000000", "2829983596855017943631083/539611875000000000000", "96628057757438336409351752117/22383900000000000000000000", "1521962263776099119241552798719/436486050000000000000000000", "21859902571688788856834916278501/7936110000000000000000000000", "175173310598240962196063813790569/82667812500000000000000000000", "88355173513279372869339263509119701/55959750000000000000000000000000", "40722200923286751016612719825898609297/35974125000000000000000000000000000", "619835655770582300264939103652751599/799425000000000000000000000000000", "1060714152366086923658681330816118195557/2098490625000000000000000000000000000", "13091980965199987496378969198628686519/41146875000000000000000000000000000", "9162738342895263445210263923593472185531141/43890000000000000000000000000000000000000", "132428032291164570287168821949356607977047/770000000000000000000000000000000000000", "23342901550900042153132141608246516993452183/115500000000000000000000000000000000000000", "1611295073932357776900666898693170456405183/5500000000000000000000000000000000000000", "2190151870645127407390057999811801380850054583/5000000000000000000000000000000000000000000" ], "left": "0", "minimizing_indices": [ 19 ], "minimum": "132428032291164570287168821949356607977047/770000000000000000000000000000000000000", "passed": true, "right": "37/100", "zero_indices": [] } ], "key": "eq9.endpoint.upper", "passed": true, "polynomial": { "degree": 22, "terms": [ { "coefficient": "2576455/162", "powers": [ 0 ] }, { "coefficient": "-860200/9", "powers": [ 1 ] }, { "coefficient": "45673852/405", "powers": [ 2 ] }, { "coefficient": "1926848/9", "powers": [ 3 ] }, { "coefficient": "-50397644/135", "powers": [ 4 ] }, { "coefficient": "739772/9", "powers": [ 5 ] }, { "coefficient": "5296", "powers": [ 6 ] }, { "coefficient": "963424/45", "powers": [ 7 ] }, { "coefficient": "17440", "powers": [ 8 ] }, { "coefficient": "4253689/405", "powers": [ 9 ] }, { "coefficient": "-83072/9", "powers": [ 10 ] }, { "coefficient": "-240856/81", "powers": [ 11 ] }, { "coefficient": "78848/45", "powers": [ 12 ] }, { "coefficient": "-34408/27", "powers": [ 13 ] }, { "coefficient": "28292/45", "powers": [ 14 ] }, { "coefficient": "2464/9", "powers": [ 16 ] }, { "coefficient": "20383/162", "powers": [ 18 ] }, { "coefficient": "-1540/81", "powers": [ 20 ] }, { "coefficient": "-220/27", "powers": [ 22 ] } ], "variables": [ "x" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 4, "coefficient_floor": "0", "intervals": [ { "coefficients": [ "80", "80", "590417/7500", "190417/2500", "898547517/12500000" ], "left": "0", "minimizing_indices": [ 4 ], "minimum": "898547517/12500000", "passed": true, "right": "37/100", "zero_indices": [] } ], "key": "eq9.endpoint_denominator.upper", "passed": true, "polynomial": { "degree": 4, "terms": [ { "coefficient": "80", "powers": [ 0 ] }, { "coefficient": "-56", "powers": [ 2 ] }, { "coefficient": "-24", "powers": [ 4 ] } ], "variables": [ "x" ] }, "strict": true, "supplementary": true }, { "bernstein_degree": 2, "coefficient_floor": "1/2", "intervals": [ { "coefficients": [ "119/50", "10687/6400", "3971/3200" ], "left": "0", "minimizing_indices": [ 2 ], "minimum": "3971/3200", "passed": true, "right": "1", "zero_indices": [] }, { "coefficients": [ "3971/3200", "5197/6400", "1063/1600" ], "left": "1", "minimizing_indices": [ 2 ], "minimum": "1063/1600", "passed": true, "right": "2", "zero_indices": [] } ], "key": "eq19.defect_C0", "passed": true, "polynomial": { "degree": 2, "terms": [ { "coefficient": "119/50", "powers": [ 0 ] }, { "coefficient": "-909/640", "powers": [ 1 ] }, { "coefficient": "9/32", "powers": [ 2 ] } ], "variables": [ "v" ] }, "strict": true, "supplementary": false }, { "bernstein_degree": 5, "coefficient_floor": "1/2", "intervals": [ { "coefficients": [ "4046/125", "603823/25000", "13816907/800000", "18927631/1600000", "97301/12500", "101027/20000" ], "left": "0", "minimizing_indices": [ 5 ], "minimum": "101027/20000", "passed": true, "right": "1", "zero_indices": [] }, { "coefficients": [ "101027/20000", "115931/50000", "1438159/1600000", "283729/400000", "325871/200000", "18071/5000" ], "left": "1", "minimizing_indices": [ 3 ], "minimum": "283729/400000", "passed": true, "right": "2", "zero_indices": [] } ], "key": "eq19.defect_determinant", "passed": true, "polynomial": { "degree": 5, "terms": [ { "coefficient": "4046/125", "powers": [ 0 ] }, { "coefficient": "-205377/5000", "powers": [ 1 ] }, { "coefficient": "213327/16000", "powers": [ 2 ] }, { "coefficient": "34281/32000", "powers": [ 3 ] }, { "coefficient": "-243/320", "powers": [ 4 ] }, { "coefficient": "729/6400", "powers": [ 5 ] } ], "variables": [ "v" ] }, "strict": true, "supplementary": false }, { "bernstein_degree": 4, "coefficient_floor": "4", "intervals": [ { "coefficients": [ "16", "18", "18", "57/4", "4" ], "left": "1", "minimizing_indices": [ 4 ], "minimum": "4", "passed": true, "right": "2", "zero_indices": [] } ], "key": "eq20.g_majorant_auxiliary", "passed": true, "polynomial": { "degree": 4, "terms": [ { "coefficient": "2", "powers": [ 0 ] }, { "coefficient": "15", "powers": [ 1 ] }, { "coefficient": "3", "powers": [ 2 ] }, { "coefficient": "-3", "powers": [ 3 ] }, { "coefficient": "-1", "powers": [ 4 ] } ], "variables": [ "r" ] }, "strict": false, "supplementary": true }, { "bernstein_degree": 4, "coefficient_floor": "9/10", "intervals": [ { "coefficients": [ "117/128", "333/256", "11763/6400", "7857/3200", "2457/800" ], "left": "0", "minimizing_indices": [ 0 ], "minimum": "117/128", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq20.G", "passed": true, "polynomial": { "degree": 4, "terms": [ { "coefficient": "117/128", "powers": [ 0 ] }, { "coefficient": "99/64", "powers": [ 1 ] }, { "coefficient": "2889/3200", "powers": [ 2 ] }, { "coefficient": "-9/32", "powers": [ 3 ] }, { "coefficient": "-9/800", "powers": [ 4 ] } ], "variables": [ "u" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 4, "coefficient_floor": "1/4", "intervals": [ { "coefficients": [ "3681/12800", "9387/25600", "477/800", "7767/6400", "2457/800" ], "left": "0", "minimizing_indices": [ 0 ], "minimum": "3681/12800", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq20.H", "passed": true, "polynomial": { "degree": 4, "terms": [ { "coefficient": "3681/12800", "powers": [ 0 ] }, { "coefficient": "81/256", "powers": [ 1 ] }, { "coefficient": "2889/3200", "powers": [ 2 ] }, { "coefficient": "243/256", "powers": [ 3 ] }, { "coefficient": "315/512", "powers": [ 4 ] } ], "variables": [ "u" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 8, "coefficient_floor": "13/100", "intervals": [ { "coefficients": [ "224559/409600", "6573087/13107200", "33284594331/73400320000", "29662092693/73400320000", "66398073202683/187904819200000", "181070006039163/601295421440000", "2379757908803031/9620726743040000", "4221094602705111/21990232555520000", "23720719937369031/175921860444160000" ], "left": "0", "minimizing_indices": [ 8 ], "minimum": "23720719937369031/175921860444160000", "passed": true, "right": "1/16", "zero_indices": [] } ], "key": "eq20.minus_Z", "passed": true, "polynomial": { "degree": 8, "terms": [ { "coefficient": "224559/409600", "powers": [ 0 ] }, { "coefficient": "-612801/102400", "powers": [ 1 ] }, { "coefficient": "-93007269/10240000", "powers": [ 2 ] }, { "coefficient": "-9603/640", "powers": [ 3 ] }, { "coefficient": "-597609477/40960000", "powers": [ 4 ] }, { "coefficient": "-5794173/409600", "powers": [ 5 ] }, { "coefficient": "-62570313/20480000", "powers": [ 6 ] }, { "coefficient": "-630657/409600", "powers": [ 7 ] }, { "coefficient": "354771/327680", "powers": [ 8 ] } ], "variables": [ "u" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 16, "coefficient_floor": "3/25", "intervals": [ { "coefficients": [ "6168574436959761676638843427263/49517601571415210995964968960000", "3313709198845798163186987956701/6189700196426901374495621120000", "374030133873939432611960026401/386856262276681335905976320000", "238188438294828055198397432307/169249614746048084458864640000", "36294975618457953545624808063/19645044568737724088975360000", "19674305563482647326670291991/8594706998822754288926720000", "2331917142594931267247423493/844123008812949081948160000", "16138403219109124372802463/4796153459164483420160000", "14300327012480159344410843/3297355503175582351360000", "640487278690744540201659/103042359474236948480000", "228312297733038464329569/22540516134989332480000", "167867186184361320561/9147936743096320000", "70707902840840738601/2001111162552320000", "334897462583101701/4810363371520000", "2948847381446859/21474836480000", "180258244883217/671088640000", "5454199863423/10485760000" ], "left": "1/16", "minimizing_indices": [ 0 ], "minimum": "6168574436959761676638843427263/49517601571415210995964968960000", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq20.radical", "passed": true, "polynomial": { "degree": 16, "terms": [ { "coefficient": "-50426744481/167772160000", "powers": [ 0 ] }, { "coefficient": "137609979759/20971520000", "powers": [ 1 ] }, { "coefficient": "73050217983/16777216000", "powers": [ 2 ] }, { "coefficient": "-165666933261/20971520000", "powers": [ 3 ] }, { "coefficient": "-1595346606639/335544320000", "powers": [ 4 ] }, { "coefficient": "870792685299/41943040000", "powers": [ 5 ] }, { "coefficient": "17560696368357/335544320000", "powers": [ 6 ] }, { "coefficient": "2105301066957/20971520000", "powers": [ 7 ] }, { "coefficient": "71547230104371/536870912000", "powers": [ 8 ] }, { "coefficient": "33440199915951/335544320000", "powers": [ 9 ] }, { "coefficient": "42820412603013/671088640000", "powers": [ 10 ] }, { "coefficient": "12468893895513/335544320000", "powers": [ 11 ] }, { "coefficient": "488052109161/53687091200", "powers": [ 12 ] }, { "coefficient": "37162632897/335544320000", "powers": [ 13 ] }, { "coefficient": "2314933156971/671088640000", "powers": [ 14 ] }, { "coefficient": "223738814547/67108864000", "powers": [ 15 ] }, { "coefficient": "-125862462441/107374182400", "powers": [ 16 ] } ], "variables": [ "u" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 4, "coefficient_floor": "3", "intervals": [ { "coefficients": [ "641/15", "80489/3840", "67943/7680", "241103/61440", "282419/61440" ], "left": "0", "minimizing_indices": [ 3 ], "minimum": "241103/61440", "passed": true, "right": "1/4", "zero_indices": [] }, { "coefficients": [ "282419/61440", "64747/12288", "88601/7680", "334889/15360", "135713/3840" ], "left": "1/4", "minimizing_indices": [ 0 ], "minimum": "282419/61440", "passed": true, "right": "1/2", "zero_indices": [] }, { "coefficients": [ "135713/3840", "150163/3072", "504527/7680", "1045141/12288", "6580667/61440" ], "left": "1/2", "minimizing_indices": [ 0 ], "minimum": "135713/3840", "passed": true, "right": "3/4", "zero_indices": [] }, { "coefficients": [ "6580667/61440", "7935629/61440", "147751/960", "174233/960", "3194/15" ], "left": "3/4", "minimizing_indices": [ 0 ], "minimum": "6580667/61440", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq23.F_quarters.0", "passed": true, "polynomial": { "degree": 4, "terms": [ { "coefficient": "641/15", "powers": [ 0 ] }, { "coefficient": "-27869/80", "powers": [ 1 ] }, { "coefficient": "74179/80", "powers": [ 2 ] }, { "coefficient": "-50531/80", "powers": [ 3 ] }, { "coefficient": "17837/80", "powers": [ 4 ] } ], "variables": [ "n" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 6, "coefficient_floor": "31", "intervals": [ { "coefficients": [ "2641/60", "155377/2880", "555403/9600", "11621/200", "12970709/230400", "13132571/245760", "24662089/491520" ], "left": "0", "minimizing_indices": [ 0 ], "minimum": "2641/60", "passed": true, "right": "1/4", "zero_indices": [] }, { "coefficients": [ "24662089/491520", "5764759/122880", "79719877/1843200", "31869/800", "5677393/153600", "801611/23040", "258239/7680" ], "left": "1/4", "minimizing_indices": [ 6 ], "minimum": "258239/7680", "passed": true, "right": "1/2", "zero_indices": [] }, { "coefficients": [ "258239/7680", "747823/23040", "14880659/460800", "513487/15360", "66913253/1843200", "15388549/368640", "5041525/98304" ], "left": "1/2", "minimizing_indices": [ 2 ], "minimum": "14880659/460800", "passed": true, "right": "3/4", "zero_indices": [] }, { "coefficients": [ "5041525/98304", "44845777/737280", "5719027/76800", "2399679/25600", "1740491/14400", "25453/160", "3194/15" ], "left": "3/4", "minimizing_indices": [ 0 ], "minimum": "5041525/98304", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq23.F_quarters.1", "passed": true, "polynomial": { "degree": 6, "terms": [ { "coefficient": "2641/60", "powers": [ 0 ] }, { "coefficient": "28609/120", "powers": [ 1 ] }, { "coefficient": "-173651/120", "powers": [ 2 ] }, { "coefficient": "15206/5", "powers": [ 3 ] }, { "coefficient": "-60009/20", "powers": [ 4 ] }, { "coefficient": "47787/40", "powers": [ 5 ] }, { "coefficient": "5687/40", "powers": [ 6 ] } ], "variables": [ "n" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 7, "coefficient_floor": "1/5", "intervals": [ { "coefficients": [ "37/180", "7123/1260", "165523/20160", "2022353/201600", "76742419/6451200", "72067489/5160960", "22211891/1376256", "14355523/786432" ], "left": "0", "minimizing_indices": [ 0 ], "minimum": "37/180", "passed": true, "right": "1/4", "zero_indices": [] }, { "coefficients": [ "14355523/786432", "18688293/917504", "462886411/20643840", "178772659/7372800", "660717431/25804800", "68041361/2580480", "34237307/1290240", "2421991/92160" ], "left": "1/4", "minimizing_indices": [ 0 ], "minimum": "14355523/786432", "passed": true, "right": "1/2", "zero_indices": [] }, { "coefficients": [ "2421991/92160", "33578441/1290240", "65405897/2580480", "70007821/2867200", "135229933/5734400", "483339817/20643840", "1023788393/41287680", "345453127/11796480" ], "left": "1/2", "minimizing_indices": [ 5 ], "minimum": "483339817/20643840", "passed": true, "right": "3/4", "zero_indices": [] }, { "coefficients": [ "345453127/11796480", "174297937/5160960", "21348373/516096", "86470669/1612800", "16759633/230400", "2055889/20160", "245593/1680", "3194/15" ], "left": "3/4", "minimizing_indices": [ 0 ], "minimum": "345453127/11796480", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq23.F_quarters.2", "passed": true, "polynomial": { "degree": 7, "terms": [ { "coefficient": "37/180", "powers": [ 0 ] }, { "coefficient": "2288/15", "powers": [ 1 ] }, { "coefficient": "-19423/20", "powers": [ 2 ] }, { "coefficient": "434263/90", "powers": [ 3 ] }, { "coefficient": "-197057/16", "powers": [ 4 ] }, { "coefficient": "3899477/240", "powers": [ 5 ] }, { "coefficient": "-2708953/240", "powers": [ 6 ] }, { "coefficient": "854819/240", "powers": [ 7 ] } ], "variables": [ "n" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 7, "coefficient_floor": "12/5", "intervals": [ { "coefficients": [ "299/120", "13529/840", "16417/960", "1331371/89600", "943979/71680", "1410001/107520", "1566437/107520", "33386881/1966080" ], "left": "0", "minimizing_indices": [ 0 ], "minimum": "299/120", "passed": true, "right": "1/4", "zero_indices": [] }, { "coefficients": [ "33386881/1966080", "133456199/6881280", "78324263/3440640", "6522409/245760", "18271189/614400", "13644679/430080", "2312957/71680", "161347/5120" ], "left": "1/4", "minimizing_indices": [ 0 ], "minimum": "33386881/1966080", "passed": true, "right": "1/2", "zero_indices": [] }, { "coefficients": [ "161347/5120", "2204759/71680", "12346303/430080", "109705217/4300800", "186609547/8601600", "62512229/3440640", "15845401/983040", "34464779/1966080" ], "left": "1/2", "minimizing_indices": [ 6 ], "minimum": "15845401/983040", "passed": true, "right": "3/4", "zero_indices": [] }, { "coefficients": [ "34464779/1966080", "9309689/491520", "20482517/860160", "3058063/89600", "589961/11200", "70169/840", "223781/1680", "3194/15" ], "left": "3/4", "minimizing_indices": [ 0 ], "minimum": "34464779/1966080", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq23.F_quarters.3", "passed": true, "polynomial": { "degree": 7, "terms": [ { "coefficient": "299/120", "powers": [ 0 ] }, { "coefficient": "1906/5", "powers": [ 1 ] }, { "coefficient": "-84801/20", "powers": [ 2 ] }, { "coefficient": "2521913/120", "powers": [ 3 ] }, { "coefficient": "-2004441/40", "powers": [ 4 ] }, { "coefficient": "620453/10", "powers": [ 5 ] }, { "coefficient": "-198338/5", "powers": [ 6 ] }, { "coefficient": "431467/40", "powers": [ 7 ] } ], "variables": [ "n" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 7, "coefficient_floor": "9/5", "intervals": [ { "coefficients": [ "62/15", "1167/35", "2014/63", "370981/16800", "3997391/307200", "40009061/5160960", "14652677/2293760", "31029203/3932160" ], "left": "0", "minimizing_indices": [ 0 ], "minimum": "62/15", "passed": true, "right": "1/4", "zero_indices": [] }, { "coefficients": [ "31029203/3932160", "129288359/13762560", "8118661/589824", "343608499/17203200", "222589993/8601600", "11063539/368640", "650177/20480", "319147/10240" ], "left": "1/4", "minimizing_indices": [ 0 ], "minimum": "31029203/3932160", "passed": true, "right": "1/2", "zero_indices": [] }, { "coefficients": [ "319147/10240", "626411/20480", "10207963/368640", "194081227/8601600", "275245891/17203200", "27671747/2949120", "58853567/13762560", "2423173/786432" ], "left": "1/2", "minimizing_indices": [ 7 ], "minimum": "2423173/786432", "passed": true, "right": "3/4", "zero_indices": [] }, { "coefficients": [ "2423173/786432", "540781/286720", "11876749/2580480", "1046951/76800", "17318993/537600", "1312223/20160", "67323/560", "3194/15" ], "left": "3/4", "minimizing_indices": [ 1 ], "minimum": "540781/286720", "passed": true, "right": "1", "zero_indices": [] } ], "key": "eq23.F_quarters.4", "passed": true, "polynomial": { "degree": 7, "terms": [ { "coefficient": "62/15", "powers": [ 0 ] }, { "coefficient": "12268/15", "powers": [ 1 ] }, { "coefficient": "-154144/15", "powers": [ 2 ] }, { "coefficient": "247214/5", "powers": [ 3 ] }, { "coefficient": "-1827129/16", "powers": [ 4 ] }, { "coefficient": "11028947/80", "powers": [ 5 ] }, { "coefficient": "-1369095/16", "powers": [ 6 ] }, { "coefficient": "354025/16", "powers": [ 7 ] } ], "variables": [ "n" ] }, "strict": false, "supplementary": false }, { "bernstein_degree": 6, "coefficient_floor": "0", "intervals": [ { "coefficients": [ "157/50", "157/50", "471349/154350", "148243/51450", "8128698424447051/3087000000000000", "1438954424447051/617400000000000", "20712844876044758471/10376641800000000000" ], "left": "0", "minimizing_indices": [ 6 ], "minimum": "20712844876044758471/10376641800000000000", "passed": true, "right": "1/2", "zero_indices": [] } ], "key": "volume.S_over_z_positive", "passed": true, "polynomial": { "degree": 6, "terms": [ { "coefficient": "157/50", "powers": [ 0 ] }, { "coefficient": "-5324/1029", "powers": [ 2 ] }, { "coefficient": "95388992557/37500000000", "powers": [ 4 ] }, { "coefficient": "-155897368/259416045", "powers": [ 6 ] } ], "variables": [ "z" ] }, "strict": true, "supplementary": true }, { "bernstein_degree": 4, "coefficient_floor": "0", "intervals": [ { "coefficients": [ "6", "6", "1979/384", "443/128", "3763/2048" ], "left": "0", "minimizing_indices": [ 4 ], "minimum": "3763/2048", "passed": true, "right": "5/8", "zero_indices": [] } ], "key": "volume.f_comparison_factor", "passed": true, "polynomial": { "degree": 4, "terms": [ { "coefficient": "6", "powers": [ 0 ] }, { "coefficient": "-13", "powers": [ 2 ] }, { "coefficient": "6", "powers": [ 4 ] } ], "variables": [ "u" ] }, "strict": true, "supplementary": true }, { "bernstein_degree": 4, "coefficient_floor": "0", "intervals": [ { "coefficients": [ "1", "1", "13/12", "5/4", "11/8" ], "left": "0", "minimizing_indices": [ 0, 1 ], "minimum": "1", "passed": true, "right": "2", "zero_indices": [] } ], "key": "eq9.H_ratio_positive", "passed": true, "polynomial": { "degree": 4, "terms": [ { "coefficient": "1", "powers": [ 0 ] }, { "coefficient": "1/8", "powers": [ 2 ] }, { "coefficient": "-1/128", "powers": [ 4 ] } ], "variables": [ "b" ] }, "strict": true, "supplementary": true } ], "scope": "Finite polynomial identities, Bernstein coefficient certificates, and rational volume margins", "summary": { "all_passed": true, "exact_value_assertions": 24, "identities": 53, "interval_certificate_rows": 21, "reported_interval_rows": 15, "triangle_certificate_rows": 12 }, "triangle_certificates": [ { "bernstein_degree": 8, "coefficient_floor": "16000", "coefficients": [ { "determinant": "886002975", "entries": [ "70965", "16855", "17610" ], "index": [ 0, 0, 8 ], "zero": false }, { "determinant": "5250057977393/5120", "entries": [ "2333321/32", "3057053/160", "306841/16" ], "index": [ 0, 1, 7 ], "zero": false }, { "determinant": "173926328339476561/144506880", "entries": [ "408355699/5376", "581348359/26880", "18778029/896" ], "index": [ 0, 2, 6 ], "zero": false }, { "determinant": "45245654817423609/32112640", "entries": [ "142578217/1792", "436314297/17920", "20593239/896" ], "index": [ 0, 3, 5 ], "zero": false }, { "determinant": "3300397845014227901/2055208960", "entries": [ "1187041341/14336", "3887889921/143360", "45323287/1792" ], "index": [ 0, 4, 4 ], "zero": false }, { "determinant": "1591254407991063925/924844032", "entries": [ "7243441375/86016", "319235083/10752", "50038395/1792" ], "index": [ 0, 5, 3 ], "zero": false }, { "determinant": "3340574075722871599/2055208960", "entries": [ "2338238381/28672", "2269028939/71680", "55409787/1792" ], "index": [ 0, 6, 2 ], "zero": false }, { "determinant": "5950962609540251/5242880", "entries": [ "18291329/256", "663176939/20480", "8788789/256" ], "index": [ 0, 7, 1 ], "zero": false }, { "determinant": "1260265760821661/23592960", "entries": [ "37579693/768", "949913297/30720", "4890267/128" ], "index": [ 0, 8, 0 ], "zero": false }, { "determinant": "303181323587/320", "entries": [ "63641", "226891/10", "178261/8" ], "index": [ 1, 0, 7 ], "zero": false }, { "determinant": "648919036672729/564480", "entries": [ "45951749/672", "12049547/480", "5333767/224" ], "index": [ 1, 1, 6 ], "zero": false }, { "determinant": "65538814459098785311/46820229120", "entries": [ "3573923333/48384", "6720580463/241920", "274588549/10752" ], "index": [ 1, 2, 5 ], "zero": false }, { "determinant": "215344845729712619449/130056192000", "entries": [ "6370881091/80640", "3515531951/115200", "98489159/3584" ], "index": [ 1, 3, 4 ], "zero": false }, { "determinant": "3803505252463649145559/2080899072000", "entries": [ "211791296593/2580480", "425600612533/12902400", "1700614893/57344" ], "index": [ 1, 4, 3 ], "zero": false }, { "determinant": "4128313509929507729/2341011456", "entries": [ "124650196585/1548288", "38368644643/1105920", "5520254179/172032" ], "index": [ 1, 5, 2 ], "zero": false }, { "determinant": "333504014271805261991/266355081216", "entries": [ "9103467935/129024", "2252189369/64512", "1995623187/57344" ], "index": [ 1, 6, 1 ], "zero": false }, { "determinant": "2608996745725868779/27179089920", "entries": [ "863375977/18432", "1501552031/46080", "309822449/8192" ], "index": [ 1, 7, 0 ], "zero": false }, { "determinant": "15880814661769/15680", "entries": [ "482759/8", "7725273/280", "178757/7" ], "index": [ 2, 0, 6 ], "zero": false }, { "determinant": "774369872595007/564480", "entries": [ "15417761/224", "101861731/3360", "17966413/672" ], "index": [ 2, 1, 5 ], "zero": false }, { "determinant": "513529595222788723381/292626432000", "entries": [ "18607397513/241920", "40010890397/1209600", "188794481/6720" ], "index": [ 2, 2, 4 ], "zero": false }, { "determinant": "666883559658335461/325140480", "entries": [ "1331459659/16128", "2043164297/57600", "265391969/8960" ], "index": [ 2, 3, 3 ], "zero": false }, { "determinant": "2466345164136213253609/1189085184000", "entries": [ "53398984517/645120", "119052070331/3225600", "13469820169/430080" ], "index": [ 2, 4, 2 ], "zero": false }, { "determinant": "946297598357314870955/599298932736", "entries": [ "28394282555/387072", "70743485789/1935360", "2855946409/86016" ], "index": [ 2, 5, 1 ], "zero": false }, { "determinant": "121607679012214731607/332943851520", "entries": [ "6248998759/129024", "21443302057/645120", "1011524937/28672" ], "index": [ 2, 6, 0 ], "zero": false }, { "determinant": "4518135654468823/2903040", "entries": [ "140445329/2016", "319500689/10080", "714851/28" ], "index": [ 3, 0, 5 ], "zero": false }, { "determinant": "215732334813609743/101606400", "entries": [ "14627447/180", "10911736/315", "29458129/1120" ], "index": [ 3, 1, 4 ], "zero": false }, { "determinant": "74846162150373617/28901376", "entries": [ "1931413681/21504", "2845957583/76800", "974028577/35840" ], "index": [ 3, 2, 3 ], "zero": false }, { "determinant": "283195669730681794823/104044953600", "entries": [ "740859989/8064", "15425035889/403200", "1009178077/35840" ], "index": [ 3, 3, 2 ], "zero": false }, { "determinant": "2648785004102637193903/1189085184000", "entries": [ "106669646579/1290240", "240563676179/6451200", "524086039/17920" ], "index": [ 3, 4, 1 ], "zero": false }, { "determinant": "6702481188686357645/7398752256", "entries": [ "4796420305/86016", "14134947889/430080", "109107403/3584" ], "index": [ 3, 5, 0 ], "zero": false }, { "determinant": "23403884957978509/7938000", "entries": [ "121429043/1260", "223455023/6300", "758699/35" ], "index": [ 4, 0, 4 ], "zero": false }, { "determinant": "14310672979828931/3969000", "entries": [ "1084867177/10080", "1916381749/50400", "24708349/1120" ], "index": [ 4, 1, 3 ], "zero": false }, { "determinant": "159776624339241748567/41803776000", "entries": [ "26832164353/241920", "47198166433/1209600", "75561833/3360" ], "index": [ 4, 2, 2 ], "zero": false }, { "determinant": "325548811729163457/100352000", "entries": [ "64559511/640", "837434081/22400", "12857577/560" ], "index": [ 4, 3, 1 ], "zero": false }, { "determinant": "2730822257853178661/1625702400", "entries": [ "567570175/8064", "6389880731/201600", "13145989/560" ], "index": [ 4, 4, 0 ], "zero": false }, { "determinant": "6624886330752931/1270080", "entries": [ "17477399/126", "12332557/315", "820157/56" ], "index": [ 5, 0, 3 ], "zero": false }, { "determinant": "110844548007159793/20321280", "entries": [ "286457081/2016", "402412553/10080", "2480305/168" ], "index": [ 5, 1, 2 ], "zero": false }, { "determinant": "43385925048352382933/9364045824", "entries": [ "12529511885/96768", "18141072077/483840", "2500139/168" ], "index": [ 5, 2, 1 ], "zero": false }, { "determinant": "843473655024420457/325140480", "entries": [ "750278989/8064", "174531019/5760", "839991/56" ], "index": [ 5, 3, 0 ], "zero": false }, { "determinant": "123838418004953/15876", "entries": [ "23396683/126", "5320439/126", "44521/7" ], "index": [ 6, 0, 2 ], "zero": false }, { "determinant": "131794783539467473/20321280", "entries": [ "339423607/2016", "390711799/10080", "44521/7" ], "index": [ 6, 1, 1 ], "zero": false }, { "determinant": "521934129168448993/144506880", "entries": [ "661311601/5376", "798080113/26880", "44521/7" ], "index": [ 6, 2, 0 ], "zero": false }, { "determinant": "3811944042529249/414720", "entries": [ "61740943/288", "61740943/1440", "0" ], "index": [ 7, 0, 1 ], "zero": false }, { "determinant": "510911386015801/103680", "entries": [ "22603349/144", "22603349/720", "0" ], "index": [ 7, 1, 0 ], "zero": false }, { "determinant": "567733795445/81", "entries": [ "1684835/9", "336967/9", "0" ], "index": [ 8, 0, 0 ], "zero": false } ], "coordinates": [ [ "0", "0" ], [ "1", "0" ], [ "1", "1" ] ], "determinant_floor": "53000000", "entry_order": [ "11", "22", "12" ], "key": "eq21.A.OSC", "minimum_determinant": "1260265760821661/23592960", "minimum_diagonal_or_scalar": "16855", "passed": true, "polynomials": [ { "degree": 7, "terms": [ { "coefficient": "1684835/9", "powers": [ 0, 0 ] }, { "coefficient": "5511415/12", "powers": [ 0, 1 ] }, { "coefficient": "-452067485/576", "powers": [ 0, 2 ] }, { "coefficient": "28074465/64", "powers": [ 0, 3 ] }, { "coefficient": "-987875/8", "powers": [ 0, 4 ] }, { "coefficient": "1420735/64", "powers": [ 0, 5 ] }, { "coefficient": "-205875/64", "powers": [ 0, 6 ] }, { "coefficient": "-483779/2", "powers": [ 1, 0 ] }, { "coefficient": "-194463667/288", "powers": [ 1, 1 ] }, { "coefficient": "12708403/18", "powers": [ 1, 2 ] }, { "coefficient": "-12690887/64", "powers": [ 1, 3 ] }, { "coefficient": "8847595/512", "powers": [ 1, 4 ] }, { "coefficient": "140265/32", "powers": [ 1, 5 ] }, { "coefficient": "91125/1024", "powers": [ 1, 6 ] }, { "coefficient": "-59991053/576", "powers": [ 2, 0 ] }, { "coefficient": "304221701/576", "powers": [ 2, 1 ] }, { "coefficient": "-11114051/32", "powers": [ 2, 2 ] }, { "coefficient": "3074535/128", "powers": [ 2, 3 ] }, { "coefficient": "-1955205/256", "powers": [ 2, 4 ] }, { "coefficient": "-91125/256", "powers": [ 2, 5 ] }, { "coefficient": "13806057/32", "powers": [ 3, 0 ] }, { "coefficient": "-3198047/64", "powers": [ 3, 1 ] }, { "coefficient": "27122145/256", "powers": [ 3, 2 ] }, { "coefficient": "153135/8", "powers": [ 3, 3 ] }, { "coefficient": "212625/128", "powers": [ 3, 4 ] }, { "coefficient": "-4899915/16", "powers": [ 4, 0 ] }, { "coefficient": "-14955575/128", "powers": [ 4, 1 ] }, { "coefficient": "-4398885/128", "powers": [ 4, 2 ] }, { "coefficient": "-1245375/256", "powers": [ 4, 3 ] }, { "coefficient": "50684315/512", "powers": [ 5, 0 ] }, { "coefficient": "1255725/32", "powers": [ 5, 1 ] }, { "coefficient": "7016625/1024", "powers": [ 5, 2 ] }, { "coefficient": "-4491765/256", "powers": [ 6, 0 ] }, { "coefficient": "-577125/128", "powers": [ 6, 1 ] }, { "coefficient": "577125/512", "powers": [ 7, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "336967/9", "powers": [ 0, 0 ] }, { "coefficient": "1102283/12", "powers": [ 0, 1 ] }, { "coefficient": "-90413497/576", "powers": [ 0, 2 ] }, { "coefficient": "5614893/64", "powers": [ 0, 3 ] }, { "coefficient": "-197575/8", "powers": [ 0, 4 ] }, { "coefficient": "284147/64", "powers": [ 0, 5 ] }, { "coefficient": "-41175/64", "powers": [ 0, 6 ] }, { "coefficient": "-483779/10", "powers": [ 1, 0 ] }, { "coefficient": "-194463667/1440", "powers": [ 1, 1 ] }, { "coefficient": "12708403/90", "powers": [ 1, 2 ] }, { "coefficient": "-12690887/320", "powers": [ 1, 3 ] }, { "coefficient": "1769519/512", "powers": [ 1, 4 ] }, { "coefficient": "28053/32", "powers": [ 1, 5 ] }, { "coefficient": "18225/1024", "powers": [ 1, 6 ] }, { "coefficient": "350314483/2880", "powers": [ 2, 0 ] }, { "coefficient": "51704833/576", "powers": [ 2, 1 ] }, { "coefficient": "-8764563/160", "powers": [ 2, 2 ] }, { "coefficient": "513387/128", "powers": [ 2, 3 ] }, { "coefficient": "-74979/64", "powers": [ 2, 4 ] }, { "coefficient": "-18225/256", "powers": [ 2, 5 ] }, { "coefficient": "-18198423/160", "powers": [ 3, 0 ] }, { "coefficient": "-14420447/320", "powers": [ 3, 1 ] }, { "coefficient": "2672829/256", "powers": [ 3, 2 ] }, { "coefficient": "109035/64", "powers": [ 3, 3 ] }, { "coefficient": "42525/256", "powers": [ 3, 4 ] }, { "coefficient": "2818141/80", "powers": [ 4, 0 ] }, { "coefficient": "919829/128", "powers": [ 4, 1 ] }, { "coefficient": "-176697/64", "powers": [ 4, 2 ] }, { "coefficient": "-211275/256", "powers": [ 4, 3 ] }, { "coefficient": "-99225/2048", "powers": [ 4, 4 ] }, { "coefficient": "402367/512", "powers": [ 5, 0 ] }, { "coefficient": "292725/64", "powers": [ 5, 1 ] }, { "coefficient": "1970325/1024", "powers": [ 5, 2 ] }, { "coefficient": "99225/512", "powers": [ 5, 3 ] }, { "coefficient": "-165015/64", "powers": [ 6, 0 ] }, { "coefficient": "-228825/128", "powers": [ 6, 1 ] }, { "coefficient": "-297675/1024", "powers": [ 6, 2 ] }, { "coefficient": "294975/512", "powers": [ 7, 0 ] }, { "coefficient": "99225/512", "powers": [ 7, 1 ] }, { "coefficient": "-99225/2048", "powers": [ 8, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 7, "terms": [ { "coefficient": "178084", "powers": [ 2, 0 ] }, { "coefficient": "-19834", "powers": [ 2, 1 ] }, { "coefficient": "146843/8", "powers": [ 2, 2 ] }, { "coefficient": "-31725/32", "powers": [ 2, 3 ] }, { "coefficient": "455625/1024", "powers": [ 2, 4 ] }, { "coefficient": "-228513", "powers": [ 3, 0 ] }, { "coefficient": "-45036", "powers": [ 3, 1 ] }, { "coefficient": "-791025/64", "powers": [ 3, 2 ] }, { "coefficient": "-679905/256", "powers": [ 3, 3 ] }, { "coefficient": "-212625/1024", "powers": [ 3, 4 ] }, { "coefficient": "916429/8", "powers": [ 4, 0 ] }, { "coefficient": "86625/2", "powers": [ 4, 1 ] }, { "coefficient": "4211955/512", "powers": [ 4, 2 ] }, { "coefficient": "212625/256", "powers": [ 4, 3 ] }, { "coefficient": "-1917525/64", "powers": [ 5, 0 ] }, { "coefficient": "-2627865/256", "powers": [ 5, 1 ] }, { "coefficient": "-637875/512", "powers": [ 5, 2 ] }, { "coefficient": "4351545/1024", "powers": [ 6, 0 ] }, { "coefficient": "212625/256", "powers": [ 6, 1 ] }, { "coefficient": "-212625/1024", "powers": [ 7, 0 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "O", "S", "C" ], "zero_indices": [] }, { "bernstein_degree": 8, "coefficient_floor": "890", "coefficients": [ { "determinant": "9191328125/2304", "entries": [ "214375/48", "42875/48", "0" ], "index": [ 0, 0, 8 ], "zero": false }, { "determinant": "180450581625125/589824", "entries": [ "30037525/768", "6007505/768", "0" ], "index": [ 0, 1, 7 ], "zero": false }, { "determinant": "981819401626879/2949120", "entries": [ "12123749/384", "23699999/1920", "1929375/256" ], "index": [ 0, 2, 6 ], "zero": false }, { "determinant": "9918284835590777/72253440", "entries": [ "238695979/10752", "848643079/53760", "7475475/512" ], "index": [ 0, 3, 5 ], "zero": false }, { "determinant": "94636008978665177/1806336000", "entries": [ "303795311/13440", "2424462007/134400", "301617/16" ], "index": [ 0, 4, 4 ], "zero": false }, { "determinant": "6887283453963811/36126720", "entries": [ "42930773/1344", "64028179/3360", "18319965/896" ], "index": [ 0, 5, 3 ], "zero": false }, { "determinant": "460499291022889/1003520", "entries": [ "20497073/448", "42585293/2240", "4540785/224" ], "index": [ 0, 6, 2 ], "zero": false }, { "determinant": "184261820025/256", "entries": [ "955815/16", "290975/16", "38295/2" ], "index": [ 0, 7, 1 ], "zero": false }, { "determinant": "886002975", "entries": [ "70965", "16855", "17610" ], "index": [ 0, 8, 0 ], "zero": false }, { "determinant": "53510780511125/82944", "entries": [ "16357075/288", "3271415/288", "0" ], "index": [ 1, 0, 7 ], "zero": false }, { "determinant": "18324452918472649/26542080", "entries": [ "135367843/2304", "135367843/11520", "0" ], "index": [ 1, 1, 6 ], "zero": false }, { "determinant": "6303548314670116939/11705057280", "entries": [ "509160023/12096", "52599803/3780", "1758925/256" ], "index": [ 1, 2, 5 ], "zero": false }, { "determinant": "85250031176002913/254016000", "entries": [ "5011308037/161280", "13711794553/806400", "248779789/17920" ], "index": [ 1, 3, 4 ], "zero": false }, { "determinant": "52062913873034077/203212800", "entries": [ "123967661/4032", "1001133179/50400", "21088471/1120" ], "index": [ 1, 4, 3 ], "zero": false }, { "determinant": "1118497876052286127/2926264320", "entries": [ "468239651/12096", "1321179533/60480", "19287847/896" ], "index": [ 1, 5, 2 ], "zero": false }, { "determinant": "2630875021247/4032", "entries": [ "17090881/336", "7648037/336", "2517653/112" ], "index": [ 1, 6, 1 ], "zero": false }, { "determinant": "303181323587/320", "entries": [ "63641", "226891/10", "178261/8" ], "index": [ 1, 7, 0 ], "zero": false }, { "determinant": "574394233020125/331776", "entries": [ "53590775/576", "10718155/576", "0" ], "index": [ 2, 0, 6 ], "zero": false }, { "determinant": "15776224723524582409/11705057280", "entries": [ "3971929597/48384", "3971929597/241920", "0" ], "index": [ 2, 1, 5 ], "zero": false }, { "determinant": "86505516499785603/80281600", "entries": [ "121035449/1920", "238529549/13440", "172699801/26880" ], "index": [ 2, 2, 4 ], "zero": false }, { "determinant": "444236445275705557/508032000", "entries": [ "4114751261/80640", "8356488593/403200", "24249199/1792" ], "index": [ 2, 3, 3 ], "zero": false }, { "determinant": "14331961879076873029/18289152000", "entries": [ "2926410689/60480", "7208480981/302400", "1538379/80" ], "index": [ 2, 4, 2 ], "zero": false }, { "determinant": "17230738643915773/20321280", "entries": [ "106236167/2016", "264549959/10080", "1110353/48" ], "index": [ 2, 5, 1 ], "zero": false }, { "determinant": "15880814661769/15680", "entries": [ "482759/8", "7725273/280", "178757/7" ], "index": [ 2, 6, 0 ], "zero": false }, { "determinant": "27004670840405/7056", "entries": [ "11619955/84", "2323991/84", "0" ], "index": [ 3, 0, 5 ], "zero": false }, { "determinant": "93266255652163598449/32514048000", "entries": [ "9657445607/80640", "9657445607/403200", "0" ], "index": [ 3, 1, 4 ], "zero": false }, { "determinant": "19022841946780890613/8128512000", "entries": [ "3927840799/40320", "4921658167/201600", "13803019/2240" ], "index": [ 3, 2, 3 ], "zero": false }, { "determinant": "452379520918006117/225792000", "entries": [ "313014691/3840", "3604995241/134400", "121183329/8960" ], "index": [ 3, 3, 2 ], "zero": false }, { "determinant": "11171898461075741/6350400", "entries": [ "73761157/1008", "745445777/25200", "2255019/112" ], "index": [ 3, 4, 1 ], "zero": false }, { "determinant": "4518135654468823/2903040", "entries": [ "140445329/2016", "319500689/10080", "714851/28" ], "index": [ 3, 5, 0 ], "zero": false }, { "determinant": "31293079916511125/4064256", "entries": [ "395557075/2016", "79111415/2016", "0" ], "index": [ 4, 0, 4 ], "zero": false }, { "determinant": "5175857248255387849/903168000", "entries": [ "2275051043/13440", "2275051043/67200", "0" ], "index": [ 4, 1, 3 ], "zero": false }, { "determinant": "83769347216001679441/18289152000", "entries": [ "8485080313/60480", "9951773017/302400", "1697561/280" ], "index": [ 4, 2, 2 ], "zero": false }, { "determinant": "11948899556285059/3175200", "entries": [ "585661127/5040", "171572599/5040", "1110227/80" ], "index": [ 4, 3, 1 ], "zero": false }, { "determinant": "23403884957978509/7938000", "entries": [ "121429043/1260", "223455023/6300", "758699/35" ], "index": [ 4, 4, 0 ], "zero": false }, { "determinant": "54095641690857605/4064256", "entries": [ "520075195/2016", "104015039/2016", "0" ], "index": [ 5, 0, 3 ], "zero": false }, { "determinant": "28247451529265251921/2926264320", "entries": [ "5314833161/24192", "5314833161/120960", "0" ], "index": [ 5, 1, 2 ], "zero": false }, { "determinant": "36790642796412097/5080320", "entries": [ "180354767/1008", "205046831/5040", "257209/42" ], "index": [ 5, 2, 1 ], "zero": false }, { "determinant": "6624886330752931/1270080", "entries": [ "17477399/126", "12332557/315", "820157/56" ], "index": [ 5, 3, 0 ], "zero": false }, { "determinant": "33546585341986205/1806336", "entries": [ "409552105/1344", "81910421/1344", "0" ], "index": [ 6, 0, 2 ], "zero": false }, { "determinant": "252037377077097049/20321280", "entries": [ "502033243/2016", "502033243/10080", "0" ], "index": [ 6, 1, 1 ], "zero": false }, { "determinant": "123838418004953/15876", "entries": [ "23396683/126", "5320439/126", "44521/7" ], "index": [ 6, 2, 0 ], "zero": false }, { "determinant": "378303941095205/20736", "entries": [ "43491605/144", "8698321/144", "0" ], "index": [ 7, 0, 1 ], "zero": false }, { "determinant": "3811944042529249/414720", "entries": [ "61740943/288", "61740943/1440", "0" ], "index": [ 7, 1, 0 ], "zero": false }, { "determinant": "567733795445/81", "entries": [ "1684835/9", "336967/9", "0" ], "index": [ 8, 0, 0 ], "zero": false } ], "coordinates": [ [ "0", "0" ], [ "1", "1" ], [ "0", "2" ] ], "determinant_floor": "3900000", "entry_order": [ "11", "22", "12" ], "key": "eq21.A.OCW0", "minimum_determinant": "9191328125/2304", "minimum_diagonal_or_scalar": "42875/48", "passed": true, "polynomials": [ { "degree": 7, "terms": [ { "coefficient": "1684835/9", "powers": [ 0, 0 ] }, { "coefficient": "5511415/12", "powers": [ 0, 1 ] }, { "coefficient": "-452067485/576", "powers": [ 0, 2 ] }, { "coefficient": "28074465/64", "powers": [ 0, 3 ] }, { "coefficient": "-987875/8", "powers": [ 0, 4 ] }, { "coefficient": "1420735/64", "powers": [ 0, 5 ] }, { "coefficient": "-205875/64", "powers": [ 0, 6 ] }, { "coefficient": "-483779/2", "powers": [ 1, 0 ] }, { "coefficient": "-194463667/288", "powers": [ 1, 1 ] }, { "coefficient": "12708403/18", "powers": [ 1, 2 ] }, { "coefficient": "-12690887/64", "powers": [ 1, 3 ] }, { "coefficient": "8847595/512", "powers": [ 1, 4 ] }, { "coefficient": "140265/32", "powers": [ 1, 5 ] }, { "coefficient": "91125/1024", "powers": [ 1, 6 ] }, { "coefficient": "-59991053/576", "powers": [ 2, 0 ] }, { "coefficient": "304221701/576", "powers": [ 2, 1 ] }, { "coefficient": "-11114051/32", "powers": [ 2, 2 ] }, { "coefficient": "3074535/128", "powers": [ 2, 3 ] }, { "coefficient": "-1955205/256", "powers": [ 2, 4 ] }, { "coefficient": "-91125/256", "powers": [ 2, 5 ] }, { "coefficient": "13806057/32", "powers": [ 3, 0 ] }, { "coefficient": "-3198047/64", "powers": [ 3, 1 ] }, { "coefficient": "27122145/256", "powers": [ 3, 2 ] }, { "coefficient": "153135/8", "powers": [ 3, 3 ] }, { "coefficient": "212625/128", "powers": [ 3, 4 ] }, { "coefficient": "-4899915/16", "powers": [ 4, 0 ] }, { "coefficient": "-14955575/128", "powers": [ 4, 1 ] }, { "coefficient": "-4398885/128", "powers": [ 4, 2 ] }, { "coefficient": "-1245375/256", "powers": [ 4, 3 ] }, { "coefficient": "50684315/512", "powers": [ 5, 0 ] }, { "coefficient": "1255725/32", "powers": [ 5, 1 ] }, { "coefficient": "7016625/1024", "powers": [ 5, 2 ] }, { "coefficient": "-4491765/256", "powers": [ 6, 0 ] }, { "coefficient": "-577125/128", "powers": [ 6, 1 ] }, { "coefficient": "577125/512", "powers": [ 7, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "336967/9", "powers": [ 0, 0 ] }, { "coefficient": "1102283/12", "powers": [ 0, 1 ] }, { "coefficient": "-90413497/576", "powers": [ 0, 2 ] }, { "coefficient": "5614893/64", "powers": [ 0, 3 ] }, { "coefficient": "-197575/8", "powers": [ 0, 4 ] }, { "coefficient": "284147/64", "powers": [ 0, 5 ] }, { "coefficient": "-41175/64", "powers": [ 0, 6 ] }, { "coefficient": "-483779/10", "powers": [ 1, 0 ] }, { "coefficient": "-194463667/1440", "powers": [ 1, 1 ] }, { "coefficient": "12708403/90", "powers": [ 1, 2 ] }, { "coefficient": "-12690887/320", "powers": [ 1, 3 ] }, { "coefficient": "1769519/512", "powers": [ 1, 4 ] }, { "coefficient": "28053/32", "powers": [ 1, 5 ] }, { "coefficient": "18225/1024", "powers": [ 1, 6 ] }, { "coefficient": "350314483/2880", "powers": [ 2, 0 ] }, { "coefficient": "51704833/576", "powers": [ 2, 1 ] }, { "coefficient": "-8764563/160", "powers": [ 2, 2 ] }, { "coefficient": "513387/128", "powers": [ 2, 3 ] }, { "coefficient": "-74979/64", "powers": [ 2, 4 ] }, { "coefficient": "-18225/256", "powers": [ 2, 5 ] }, { "coefficient": "-18198423/160", "powers": [ 3, 0 ] }, { "coefficient": "-14420447/320", "powers": [ 3, 1 ] }, { "coefficient": "2672829/256", "powers": [ 3, 2 ] }, { "coefficient": "109035/64", "powers": [ 3, 3 ] }, { "coefficient": "42525/256", "powers": [ 3, 4 ] }, { "coefficient": "2818141/80", "powers": [ 4, 0 ] }, { "coefficient": "919829/128", "powers": [ 4, 1 ] }, { "coefficient": "-176697/64", "powers": [ 4, 2 ] }, { "coefficient": "-211275/256", "powers": [ 4, 3 ] }, { "coefficient": "-99225/2048", "powers": [ 4, 4 ] }, { "coefficient": "402367/512", "powers": [ 5, 0 ] }, { "coefficient": "292725/64", "powers": [ 5, 1 ] }, { "coefficient": "1970325/1024", "powers": [ 5, 2 ] }, { "coefficient": "99225/512", "powers": [ 5, 3 ] }, { "coefficient": "-165015/64", "powers": [ 6, 0 ] }, { "coefficient": "-228825/128", "powers": [ 6, 1 ] }, { "coefficient": "-297675/1024", "powers": [ 6, 2 ] }, { "coefficient": "294975/512", "powers": [ 7, 0 ] }, { "coefficient": "99225/512", "powers": [ 7, 1 ] }, { "coefficient": "-99225/2048", "powers": [ 8, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 7, "terms": [ { "coefficient": "178084", "powers": [ 2, 0 ] }, { "coefficient": "-19834", "powers": [ 2, 1 ] }, { "coefficient": "146843/8", "powers": [ 2, 2 ] }, { "coefficient": "-31725/32", "powers": [ 2, 3 ] }, { "coefficient": "455625/1024", "powers": [ 2, 4 ] }, { "coefficient": "-228513", "powers": [ 3, 0 ] }, { "coefficient": "-45036", "powers": [ 3, 1 ] }, { "coefficient": "-791025/64", "powers": [ 3, 2 ] }, { "coefficient": "-679905/256", "powers": [ 3, 3 ] }, { "coefficient": "-212625/1024", "powers": [ 3, 4 ] }, { "coefficient": "916429/8", "powers": [ 4, 0 ] }, { "coefficient": "86625/2", "powers": [ 4, 1 ] }, { "coefficient": "4211955/512", "powers": [ 4, 2 ] }, { "coefficient": "212625/256", "powers": [ 4, 3 ] }, { "coefficient": "-1917525/64", "powers": [ 5, 0 ] }, { "coefficient": "-2627865/256", "powers": [ 5, 1 ] }, { "coefficient": "-637875/512", "powers": [ 5, 2 ] }, { "coefficient": "4351545/1024", "powers": [ 6, 0 ] }, { "coefficient": "212625/256", "powers": [ 6, 1 ] }, { "coefficient": "-212625/1024", "powers": [ 7, 0 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "O", "C", "W0" ], "zero_indices": [] }, { "bernstein_degree": 8, "coefficient_floor": "2400", "coefficients": [ { "determinant": "605907195691/11520", "entries": [ "660703/24", "144809/60", "59535/16" ], "index": [ 0, 0, 8 ], "zero": false }, { "determinant": "96659508328685/589824", "entries": [ "35054885/768", "3312121/768", "367485/64" ], "index": [ 0, 1, 7 ], "zero": false }, { "determinant": "46216725965984491/144506880", "entries": [ "84871019/1344", "40539479/6720", "14010555/1792" ], "index": [ 0, 2, 6 ], "zero": false }, { "determinant": "74550499980302539/144506880", "entries": [ "840086669/10752", "59549507/7680", "33988635/3584" ], "index": [ 0, 3, 5 ], "zero": false }, { "determinant": "1328902249580796857/1806336000", "entries": [ "1195232431/13440", "1289178647/134400", "86661/8" ], "index": [ 0, 4, 4 ], "zero": false }, { "determinant": "4823544677654077/5160960", "entries": [ "125570701/1344", "19522429/1680", "11013435/896" ], "index": [ 0, 5, 3 ], "zero": false }, { "determinant": "1045147128497289/1003520", "entries": [ "40615073/448", "30660093/2240", "3163185/224" ], "index": [ 0, 6, 2 ], "zero": false }, { "determinant": "260511154425/256", "entries": [ "1315065/16", "248385/16", "32145/2" ], "index": [ 0, 7, 1 ], "zero": false }, { "determinant": "886002975", "entries": [ "70965", "16855", "17610" ], "index": [ 0, 8, 0 ], "zero": false }, { "determinant": "5934837102331369/26542080", "entries": [ "128362219/2304", "61124731/11520", "135773/16" ], "index": [ 1, 0, 7 ], "zero": false }, { "determinant": "589613595718731127/1300561920", "entries": [ "570643099/8064", "315978667/40320", "18028139/1792" ], "index": [ 1, 1, 6 ], "zero": false }, { "determinant": "8243925594933824653/11705057280", "entries": [ "8032499231/96768", "4907672807/483840", "6007179/512" ], "index": [ 1, 2, 5 ], "zero": false }, { "determinant": "31070965142897206957/32514048000", "entries": [ "3686005049/40320", "4992874669/403200", "119014029/8960" ], "index": [ 1, 3, 4 ], "zero": false }, { "determinant": "75387414005937646187/65028096000", "entries": [ "1089712289/11520", "11759879989/806400", "66473763/4480" ], "index": [ 1, 4, 3 ], "zero": false }, { "determinant": "729760714843306511/585252864", "entries": [ "277061905/3024", "2006347409/120960", "14798657/896" ], "index": [ 1, 5, 2 ], "zero": false }, { "determinant": "42940712542072729/36126720", "entries": [ "224548703/2688", "243961043/13440", "8110495/448" ], "index": [ 1, 6, 1 ], "zero": false }, { "determinant": "5250057977393/5120", "entries": [ "2333321/32", "3057053/160", "306841/16" ], "index": [ 1, 7, 0 ], "zero": false }, { "determinant": "7728004601366669/18063360", "entries": [ "374318981/5376", "248247737/26880", "26288909/1792" ], "index": [ 2, 0, 6 ], "zero": false }, { "determinant": "36394592847144669079/46820229120", "entries": [ "4002509797/48384", "2985760573/241920", "167829653/10752" ], "index": [ 2, 1, 5 ], "zero": false }, { "determinant": "1273878234522015877819/1170505728000", "entries": [ "786708077/8640", "18201189101/1209600", "902468881/53760" ], "index": [ 2, 2, 4 ], "zero": false }, { "determinant": "76375344182184083017/57802752000", "entries": [ "20280166817/215040", "2682635567/153600", "1293820363/71680" ], "index": [ 2, 3, 3 ], "zero": false }, { "determinant": "665323365515745294739/468202291200", "entries": [ "44564229877/483840", "18859866631/967680", "37135741/1920" ], "index": [ 2, 4, 2 ], "zero": false }, { "determinant": "12790997277253712759/9364045824", "entries": [ "4125300385/48384", "1264976389/60480", "219649187/10752" ], "index": [ 2, 5, 1 ], "zero": false }, { "determinant": "173926328339476561/144506880", "entries": [ "408355699/5376", "581348359/26880", "18778029/896" ], "index": [ 2, 6, 0 ], "zero": false }, { "determinant": "40370727887974541/72253440", "entries": [ "789944087/10752", "741621779/53760", "76430639/3584" ], "index": [ 3, 0, 5 ], "zero": false }, { "determinant": "65953712816058834983/65028096000", "entries": [ "13780054663/161280", "13944532597/806400", "385698007/17920" ], "index": [ 3, 1, 4 ], "zero": false }, { "determinant": "34546200535356972093/25690112000", "entries": [ "6528559293/71680", "7206665601/358400", "9883281/448" ], "index": [ 3, 2, 3 ], "zero": false }, { "determinant": "175248364287492673691/115605504000", "entries": [ "19590110339/215040", "23966229233/1075200", "1626204487/71680" ], "index": [ 3, 3, 2 ], "zero": false }, { "determinant": "1582086561882106826477/1040449536000", "entries": [ "27933335981/322560", "76520151817/3225600", "82803989/3584" ], "index": [ 3, 4, 1 ], "zero": false }, { "determinant": "45245654817423609/32112640", "entries": [ "142578217/1792", "436314297/17920", "20593239/896" ], "index": [ 3, 5, 0 ], "zero": false }, { "determinant": "3528261876360473477/6502809600", "entries": [ "2279511323/32256", "14928813679/806400", "495876233/17920" ], "index": [ 4, 0, 4 ], "zero": false }, { "determinant": "9118072658291926248361/8323596288000", "entries": [ "106306237601/1290240", "20412097583/921600", "483981861/17920" ], "index": [ 4, 1, 3 ], "zero": false }, { "determinant": "108027130595284908431827/74912366592000", "entries": [ "21033791687/241920", "59882318887/2419200", "3820224633/143360" ], "index": [ 4, 2, 2 ], "zero": false }, { "determinant": "13261373000760000397711/8323596288000", "entries": [ "222815185907/2580480", "340563586667/12902400", "1501842387/57344" ], "index": [ 4, 3, 1 ], "zero": false }, { "determinant": "3300397845014227901/2055208960", "entries": [ "1187041341/14336", "3887889921/143360", "45323287/1792" ], "index": [ 4, 4, 0 ], "zero": false }, { "determinant": "1561288417149304593/4110417920", "entries": [ "262948807/4096", "3284907377/143360", "236776501/7168" ], "index": [ 5, 0, 3 ], "zero": false }, { "determinant": "3154009817708092956463/2996494663680", "entries": [ "29778625127/387072", "51161644451/1935360", "2694339703/86016" ], "index": [ 5, 1, 2 ], "zero": false }, { "determinant": "4429705519078988037931/2996494663680", "entries": [ "127879548563/1548288", "221529738323/7741440", "5118424925/172032" ], "index": [ 5, 2, 1 ], "zero": false }, { "determinant": "1591254407991063925/924844032", "entries": [ "7243441375/86016", "319235083/10752", "50038395/1792" ], "index": [ 5, 3, 0 ], "zero": false }, { "determinant": "633474544120201759/4110417920", "entries": [ "814225011/14336", "1905456141/71680", "1055689883/28672" ], "index": [ 6, 0, 2 ], "zero": false }, { "determinant": "1349147743923362019859/1331775406080", "entries": [ "9334191697/129024", "19258253467/645120", "1941754285/57344" ], "index": [ 6, 1, 1 ], "zero": false }, { "determinant": "3340574075722871599/2055208960", "entries": [ "2338238381/28672", "2269028939/71680", "55409787/1792" ], "index": [ 6, 2, 0 ], "zero": false }, { "determinant": "19494020649752399/5435817984", "entries": [ "940449287/18432", "67409393/2304", "316131727/8192" ], "index": [ 7, 0, 1 ], "zero": false }, { "determinant": "5950962609540251/5242880", "entries": [ "18291329/256", "663176939/20480", "8788789/256" ], "index": [ 7, 1, 0 ], "zero": false }, { "determinant": "1260265760821661/23592960", "entries": [ "37579693/768", "949913297/30720", "4890267/128" ], "index": [ 8, 0, 0 ], "zero": false } ], "coordinates": [ [ "1", "0" ], [ "1", "1" ], [ "2", "0" ] ], "determinant_floor": "3500000", "entry_order": [ "11", "22", "12" ], "key": "eq21.A.SCU", "minimum_determinant": "19494020649752399/5435817984", "minimum_diagonal_or_scalar": "144809/60", "passed": true, "polynomials": [ { "degree": 7, "terms": [ { "coefficient": "1684835/9", "powers": [ 0, 0 ] }, { "coefficient": "5511415/12", "powers": [ 0, 1 ] }, { "coefficient": "-452067485/576", "powers": [ 0, 2 ] }, { "coefficient": "28074465/64", "powers": [ 0, 3 ] }, { "coefficient": "-987875/8", "powers": [ 0, 4 ] }, { "coefficient": "1420735/64", "powers": [ 0, 5 ] }, { "coefficient": "-205875/64", "powers": [ 0, 6 ] }, { "coefficient": "-483779/2", "powers": [ 1, 0 ] }, { "coefficient": "-194463667/288", "powers": [ 1, 1 ] }, { "coefficient": "12708403/18", "powers": [ 1, 2 ] }, { "coefficient": "-12690887/64", "powers": [ 1, 3 ] }, { "coefficient": "8847595/512", "powers": [ 1, 4 ] }, { "coefficient": "140265/32", "powers": [ 1, 5 ] }, { "coefficient": "91125/1024", "powers": [ 1, 6 ] }, { "coefficient": "-59991053/576", "powers": [ 2, 0 ] }, { "coefficient": "304221701/576", "powers": [ 2, 1 ] }, { "coefficient": "-11114051/32", "powers": [ 2, 2 ] }, { "coefficient": "3074535/128", "powers": [ 2, 3 ] }, { "coefficient": "-1955205/256", "powers": [ 2, 4 ] }, { "coefficient": "-91125/256", "powers": [ 2, 5 ] }, { "coefficient": "13806057/32", "powers": [ 3, 0 ] }, { "coefficient": "-3198047/64", "powers": [ 3, 1 ] }, { "coefficient": "27122145/256", "powers": [ 3, 2 ] }, { "coefficient": "153135/8", "powers": [ 3, 3 ] }, { "coefficient": "212625/128", "powers": [ 3, 4 ] }, { "coefficient": "-4899915/16", "powers": [ 4, 0 ] }, { "coefficient": "-14955575/128", "powers": [ 4, 1 ] }, { "coefficient": "-4398885/128", "powers": [ 4, 2 ] }, { "coefficient": "-1245375/256", "powers": [ 4, 3 ] }, { "coefficient": "50684315/512", "powers": [ 5, 0 ] }, { "coefficient": "1255725/32", "powers": [ 5, 1 ] }, { "coefficient": "7016625/1024", "powers": [ 5, 2 ] }, { "coefficient": "-4491765/256", "powers": [ 6, 0 ] }, { "coefficient": "-577125/128", "powers": [ 6, 1 ] }, { "coefficient": "577125/512", "powers": [ 7, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "336967/9", "powers": [ 0, 0 ] }, { "coefficient": "1102283/12", "powers": [ 0, 1 ] }, { "coefficient": "-90413497/576", "powers": [ 0, 2 ] }, { "coefficient": "5614893/64", "powers": [ 0, 3 ] }, { "coefficient": "-197575/8", "powers": [ 0, 4 ] }, { "coefficient": "284147/64", "powers": [ 0, 5 ] }, { "coefficient": "-41175/64", "powers": [ 0, 6 ] }, { "coefficient": "-483779/10", "powers": [ 1, 0 ] }, { "coefficient": "-194463667/1440", "powers": [ 1, 1 ] }, { "coefficient": "12708403/90", "powers": [ 1, 2 ] }, { "coefficient": "-12690887/320", "powers": [ 1, 3 ] }, { "coefficient": "1769519/512", "powers": [ 1, 4 ] }, { "coefficient": "28053/32", "powers": [ 1, 5 ] }, { "coefficient": "18225/1024", "powers": [ 1, 6 ] }, { "coefficient": "350314483/2880", "powers": [ 2, 0 ] }, { "coefficient": "51704833/576", "powers": [ 2, 1 ] }, { "coefficient": "-8764563/160", "powers": [ 2, 2 ] }, { "coefficient": "513387/128", "powers": [ 2, 3 ] }, { "coefficient": "-74979/64", "powers": [ 2, 4 ] }, { "coefficient": "-18225/256", "powers": [ 2, 5 ] }, { "coefficient": "-18198423/160", "powers": [ 3, 0 ] }, { "coefficient": "-14420447/320", "powers": [ 3, 1 ] }, { "coefficient": "2672829/256", "powers": [ 3, 2 ] }, { "coefficient": "109035/64", "powers": [ 3, 3 ] }, { "coefficient": "42525/256", "powers": [ 3, 4 ] }, { "coefficient": "2818141/80", "powers": [ 4, 0 ] }, { "coefficient": "919829/128", "powers": [ 4, 1 ] }, { "coefficient": "-176697/64", "powers": [ 4, 2 ] }, { "coefficient": "-211275/256", "powers": [ 4, 3 ] }, { "coefficient": "-99225/2048", "powers": [ 4, 4 ] }, { "coefficient": "402367/512", "powers": [ 5, 0 ] }, { "coefficient": "292725/64", "powers": [ 5, 1 ] }, { "coefficient": "1970325/1024", "powers": [ 5, 2 ] }, { "coefficient": "99225/512", "powers": [ 5, 3 ] }, { "coefficient": "-165015/64", "powers": [ 6, 0 ] }, { "coefficient": "-228825/128", "powers": [ 6, 1 ] }, { "coefficient": "-297675/1024", "powers": [ 6, 2 ] }, { "coefficient": "294975/512", "powers": [ 7, 0 ] }, { "coefficient": "99225/512", "powers": [ 7, 1 ] }, { "coefficient": "-99225/2048", "powers": [ 8, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 7, "terms": [ { "coefficient": "178084", "powers": [ 2, 0 ] }, { "coefficient": "-19834", "powers": [ 2, 1 ] }, { "coefficient": "146843/8", "powers": [ 2, 2 ] }, { "coefficient": "-31725/32", "powers": [ 2, 3 ] }, { "coefficient": "455625/1024", "powers": [ 2, 4 ] }, { "coefficient": "-228513", "powers": [ 3, 0 ] }, { "coefficient": "-45036", "powers": [ 3, 1 ] }, { "coefficient": "-791025/64", "powers": [ 3, 2 ] }, { "coefficient": "-679905/256", "powers": [ 3, 3 ] }, { "coefficient": "-212625/1024", "powers": [ 3, 4 ] }, { "coefficient": "916429/8", "powers": [ 4, 0 ] }, { "coefficient": "86625/2", "powers": [ 4, 1 ] }, { "coefficient": "4211955/512", "powers": [ 4, 2 ] }, { "coefficient": "212625/256", "powers": [ 4, 3 ] }, { "coefficient": "-1917525/64", "powers": [ 5, 0 ] }, { "coefficient": "-2627865/256", "powers": [ 5, 1 ] }, { "coefficient": "-637875/512", "powers": [ 5, 2 ] }, { "coefficient": "4351545/1024", "powers": [ 6, 0 ] }, { "coefficient": "212625/256", "powers": [ 6, 1 ] }, { "coefficient": "-212625/1024", "powers": [ 7, 0 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "S", "C", "U" ], "zero_indices": [] }, { "bernstein_degree": 9, "coefficient_floor": "43", "coefficients": [ { "determinant": "43735879/32400", "entries": [ "3137/72", "1400/9", "-13261/180" ], "index": [ 0, 0, 9 ], "zero": false }, { "determinant": "22923022297087/3023308800", "entries": [ "534667/3888", "5836861/31104", "-32399/240" ], "index": [ 0, 1, 8 ], "zero": false }, { "determinant": "7310936268836243/773967052800", "entries": [ "46009781/248832", "25036735/124416", "-4318829/25920" ], "index": [ 0, 2, 7 ], "zero": false }, { "determinant": "2751273900765427/312134860800", "entries": [ "33722303/165888", "1245017/6144", "-116083783/645120" ], "index": [ 0, 3, 6 ], "zero": false }, { "determinant": "4831605696014959/687970713600", "entries": [ "19850207/96768", "171740887/870912", "-1061549897/5806080" ], "index": [ 0, 4, 5 ], "zero": false }, { "determinant": "6057533671544071279/1213580338790400", "entries": [ "12377431/62208", "329371531/1741824", "-2097679363/11612160" ], "index": [ 0, 5, 4 ], "zero": false }, { "determinant": "145942805978153117/44947419955200", "entries": [ "442162027/2322432", "17558497/96768", "-684786419/3870720" ], "index": [ 0, 6, 3 ], "zero": false }, { "determinant": "797452008291904771/396271131033600", "entries": [ "363937285/1990656", "351057925/1990656", "-1153682741/6635520" ], "index": [ 0, 7, 2 ], "zero": false }, { "determinant": "4015581263879/3057647616", "entries": [ "2461225/13824", "2416505/13824", "-353593/2048" ], "index": [ 0, 8, 1 ], "zero": false }, { "determinant": "159697622959/150994944", "entries": [ "270985/1536", "270985/1536", "-710243/4096" ], "index": [ 0, 9, 0 ], "zero": false }, { "determinant": "3516247121/1476225", "entries": [ "42449/972", "40525/243", "-56707/810" ], "index": [ 1, 0, 8 ], "zero": false }, { "determinant": "121720410551293/14332723200", "entries": [ "15667573/124416", "2749891/13824", "-6670559/51840" ], "index": [ 1, 1, 7 ], "zero": false }, { "determinant": "13498604016501881/1354442342400", "entries": [ "147406633/870912", "185818471/870912", "-234708193/1451520" ], "index": [ 1, 2, 6 ], "zero": false }, { "determinant": "36558480440512937/4045267795968", "entries": [ "109988815/580608", "53940461/248832", "-69271673/387072" ], "index": [ 1, 3, 5 ], "zero": false }, { "determinant": "54522089791222287071/7584877117440000", "entries": [ "857836033/4354560", "933254183/4354560", "-86246557/460800" ], "index": [ 1, 4, 4 ], "zero": false }, { "determinant": "102996801254648814151/19417285420646400", "entries": [ "692377087/3483648", "730659613/3483648", "-8859585881/46448640" ], "index": [ 1, 5, 3 ], "zero": false }, { "determinant": "688728680205990973/179789679820800", "entries": [ "346389781/1741824", "39776581/193536", "-4469780291/23224320" ], "index": [ 1, 6, 2 ], "zero": false }, { "determinant": "1540075255716450997/528361508044800", "entries": [ "2068481/10368", "12618019/62208", "-2571714949/13271040" ], "index": [ 1, 7, 1 ], "zero": false }, { "determinant": "61838876623389439/24766945689600", "entries": [ "25028905/124416", "25028905/124416", "-323260277/1658880" ], "index": [ 1, 8, 0 ], "zero": false }, { "determinant": "72976842433/13436928", "entries": [ "130007/2304", "342581/1944", "-87061/1296" ], "index": [ 2, 0, 7 ], "zero": false }, { "determinant": "14847038585652139/1354442342400", "entries": [ "110206241/870912", "181949395/870912", "-60189047/483840" ], "index": [ 2, 1, 6 ], "zero": false }, { "determinant": "8212530090827691631/682638940569600", "entries": [ "435467089/2612736", "293879255/1306368", "-1389740929/8709120" ], "index": [ 2, 2, 5 ], "zero": false }, { "determinant": "3082418422984795457/280921374720000", "entries": [ "1648144217/8709120", "74464819/322560", "-250040237/1382400" ], "index": [ 2, 3, 4 ], "zero": false }, { "determinant": "5844064214770564493/632073093120000", "entries": [ "587178791/2903040", "2014095607/8709120", "-1405992869/7257600" ], "index": [ 2, 4, 3 ], "zero": false }, { "determinant": "20906227107017589439/2730555762278400", "entries": [ "550293943/2612736", "598881271/2612736", "-3510588227/17418240" ], "index": [ 2, 5, 2 ], "zero": false }, { "determinant": "7952513251058545831/1213580338790400", "entries": [ "47213515/217728", "49237987/217728", "-2393504329/11612160" ], "index": [ 2, 6, 1 ], "zero": false }, { "determinant": "588468243264386551/99067782758400", "entries": [ "6889393/31104", "6889393/31104", "-688945919/3317760" ], "index": [ 2, 7, 0 ], "zero": false }, { "determinant": "803713100935/82301184", "entries": [ "86515/1134", "59411/324", "-196535/3024" ], "index": [ 3, 0, 6 ], "zero": false }, { "determinant": "23555771181917017/1580182732800", "entries": [ "29814065/217728", "15731999/72576", "-88218881/725760" ], "index": [ 3, 1, 5 ], "zero": false }, { "determinant": "30075674666651325871/1896219279360000", "entries": [ "190467601/1088640", "36448387/155520", "-2301626909/14515200" ], "index": [ 3, 2, 4 ], "zero": false }, { "determinant": "4804356941533367/321052999680", "entries": [ "144792037/725760", "11714813/48384", "-70676279/387072" ], "index": [ 3, 3, 3 ], "zero": false }, { "determinant": "11458413941954445671/842764124160000", "entries": [ "78428321/362880", "88504141/362880", "-1913852009/9676800" ], "index": [ 3, 4, 2 ], "zero": false }, { "determinant": "5588839299467573/449474199552", "entries": [ "33046445/145152", "11687203/48384", "-79852517/387072" ], "index": [ 3, 5, 1 ], "zero": false }, { "determinant": "97790362945184311/8427641241600", "entries": [ "4864861/20736", "4864861/20736", "-201681911/967680" ], "index": [ 3, 6, 0 ], "zero": false }, { "determinant": "10869341696719/740710656", "entries": [ "10804471/108864", "1275625/6804", "-35558/567" ], "index": [ 4, 0, 5 ], "zero": false }, { "determinant": "587544288627782659/29628426240000", "entries": [ "166425397/1088640", "48120743/217728", "-15310837/129600" ], "index": [ 4, 1, 4 ], "zero": false }, { "determinant": "34669954909890247/1646023680000", "entries": [ "1269757/6720", "2142137/8960", "-281736991/1814400" ], "index": [ 4, 2, 3 ], "zero": false }, { "determinant": "174615549042547019/8465264640000", "entries": [ "132904547/622080", "1074429557/4354560", "-185719961/1036800" ], "index": [ 4, 3, 2 ], "zero": false }, { "determinant": "259711517603272439/13168189440000", "entries": [ "41732347/181440", "1656829/6720", "-697880219/3628800" ], "index": [ 4, 4, 1 ], "zero": false }, { "determinant": "4373968033629239/234101145600", "entries": [ "1235239/5184", "1235239/5184", "-283298807/1451520" ], "index": [ 4, 5, 0 ], "zero": false }, { "determinant": "89987546439629/4629441600", "entries": [ "237715/1944", "1277167/6804", "-149407/2520" ], "index": [ 5, 0, 4 ], "zero": false }, { "determinant": "629102264374409837/25282923724800", "entries": [ "9244223/54432", "71225/324", "-323938439/2903040" ], "index": [ 5, 1, 3 ], "zero": false }, { "determinant": "1133909203217468719/42664933785600", "entries": [ "66074201/326592", "77061689/326592", "-45245779/311040" ], "index": [ 5, 2, 2 ], "zero": false }, { "determinant": "11911341365855437/449474199552", "entries": [ "1155397/5184", "8698195/36288", "-190534597/1161216" ], "index": [ 5, 3, 1 ], "zero": false }, { "determinant": "17784624224306173/702303436800", "entries": [ "8392987/36288", "8392987/36288", "-243626141/1451520" ], "index": [ 5, 4, 0 ], "zero": false }, { "determinant": "955369396553/41150592", "entries": [ "2585585/18144", "414907/2268", "-26921/504" ], "index": [ 6, 0, 3 ], "zero": false }, { "determinant": "136107699338135431/4740548198400", "entries": [ "19862497/108864", "22949953/108864", "-71670271/725760" ], "index": [ 6, 1, 2 ], "zero": false }, { "determinant": "91185372723017/3009871872", "entries": [ "1873351/9072", "2001995/9072", "-5979733/48384" ], "index": [ 6, 2, 1 ], "zero": false }, { "determinant": "6818421059723111/234101145600", "entries": [ "215297/1008", "215297/1008", "-62139067/483840" ], "index": [ 6, 3, 0 ], "zero": false }, { "determinant": "260948953421/10497600", "entries": [ "33661/216", "333581/1944", "-7811/180" ], "index": [ 7, 0, 2 ], "zero": false }, { "determinant": "37521403853797/1289945088", "entries": [ "118273/648", "370135/1944", "-520193/6912" ], "index": [ 7, 1, 1 ], "zero": false }, { "determinant": "680785283267959/24186470400", "entries": [ "362477/1944", "362477/1944", "-1405931/17280" ], "index": [ 7, 2, 0 ], "zero": false }, { "determinant": "33443708524/1476225", "entries": [ "37546/243", "36760/243", "-10858/405" ], "index": [ 8, 0, 1 ], "zero": false }, { "determinant": "8388297851311/377913600", "entries": [ "37153/243", "37153/243", "-222589/6480" ], "index": [ 8, 1, 0 ], "zero": false }, { "determinant": "10201636/729", "entries": [ "3194/27", "3194/27", "0" ], "index": [ 9, 0, 0 ], "zero": false } ], "coordinates": [ [ "0", "0" ], [ "1/2", "1/2" ], [ "1", "0" ] ], "determinant_floor": "1050", "entry_order": [ "11", "22", "12" ], "key": "eq22.B.OAS", "minimum_determinant": "159697622959/150994944", "minimum_diagonal_or_scalar": "3137/72", "passed": true, "polynomials": [ { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8014/27", "powers": [ 0, 1 ] }, { "coefficient": "-24611/54", "powers": [ 0, 2 ] }, { "coefficient": "16715/54", "powers": [ 0, 3 ] }, { "coefficient": "-162", "powers": [ 0, 4 ] }, { "coefficient": "353/6", "powers": [ 0, 5 ] }, { "coefficient": "-61/6", "powers": [ 0, 6 ] }, { "coefficient": "8800/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-682987/216", "powers": [ 1, 2 ] }, { "coefficient": "288701/108", "powers": [ 1, 3 ] }, { "coefficient": "-130505/96", "powers": [ 1, 4 ] }, { "coefficient": "6847/12", "powers": [ 1, 5 ] }, { "coefficient": "-8619/64", "powers": [ 1, 6 ] }, { "coefficient": "-67819/54", "powers": [ 2, 0 ] }, { "coefficient": "-267835/108", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "90721/432", "powers": [ 2, 3 ] }, { "coefficient": "-719/8", "powers": [ 2, 4 ] }, { "coefficient": "18953/96", "powers": [ 2, 5 ] }, { "coefficient": "-7711/96", "powers": [ 2, 6 ] }, { "coefficient": "366949/216", "powers": [ 3, 0 ] }, { "coefficient": "341989/108", "powers": [ 3, 1 ] }, { "coefficient": "-770411/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "-92353/192", "powers": [ 3, 4 ] }, { "coefficient": "-1169/48", "powers": [ 3, 5 ] }, { "coefficient": "45/64", "powers": [ 3, 6 ] }, { "coefficient": "-42355/27", "powers": [ 4, 0 ] }, { "coefficient": "-460979/432", "powers": [ 4, 1 ] }, { "coefficient": "1141/6", "powers": [ 4, 2 ] }, { "coefficient": "254/3", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "-45/32", "powers": [ 4, 5 ] }, { "coefficient": "952763/864", "powers": [ 5, 0 ] }, { "coefficient": "22735/54", "powers": [ 5, 1 ] }, { "coefficient": "-10565/64", "powers": [ 5, 2 ] }, { "coefficient": "-1111/12", "powers": [ 5, 3 ] }, { "coefficient": "315/64", "powers": [ 5, 4 ] }, { "coefficient": "-4193/8", "powers": [ 6, 0 ] }, { "coefficient": "-12985/96", "powers": [ 6, 1 ] }, { "coefficient": "1333/32", "powers": [ 6, 2 ] }, { "coefficient": "-135/16", "powers": [ 6, 3 ] }, { "coefficient": "34801/192", "powers": [ 7, 0 ] }, { "coefficient": "-3275/48", "powers": [ 7, 1 ] }, { "coefficient": "495/64", "powers": [ 7, 2 ] }, { "coefficient": "-3673/96", "powers": [ 8, 0 ] }, { "coefficient": "-225/32", "powers": [ 8, 1 ] }, { "coefficient": "225/64", "powers": [ 9, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8800/27", "powers": [ 0, 1 ] }, { "coefficient": "-67819/54", "powers": [ 0, 2 ] }, { "coefficient": "366949/216", "powers": [ 0, 3 ] }, { "coefficient": "-42355/27", "powers": [ 0, 4 ] }, { "coefficient": "952763/864", "powers": [ 0, 5 ] }, { "coefficient": "-4193/8", "powers": [ 0, 6 ] }, { "coefficient": "34801/192", "powers": [ 0, 7 ] }, { "coefficient": "-3673/96", "powers": [ 0, 8 ] }, { "coefficient": "225/64", "powers": [ 0, 9 ] }, { "coefficient": "8014/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-267835/108", "powers": [ 1, 2 ] }, { "coefficient": "341989/108", "powers": [ 1, 3 ] }, { "coefficient": "-460979/432", "powers": [ 1, 4 ] }, { "coefficient": "22735/54", "powers": [ 1, 5 ] }, { "coefficient": "-12985/96", "powers": [ 1, 6 ] }, { "coefficient": "-3275/48", "powers": [ 1, 7 ] }, { "coefficient": "-225/32", "powers": [ 1, 8 ] }, { "coefficient": "-24611/54", "powers": [ 2, 0 ] }, { "coefficient": "-682987/216", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "-770411/432", "powers": [ 2, 3 ] }, { "coefficient": "1141/6", "powers": [ 2, 4 ] }, { "coefficient": "-10565/64", "powers": [ 2, 5 ] }, { "coefficient": "1333/32", "powers": [ 2, 6 ] }, { "coefficient": "495/64", "powers": [ 2, 7 ] }, { "coefficient": "16715/54", "powers": [ 3, 0 ] }, { "coefficient": "288701/108", "powers": [ 3, 1 ] }, { "coefficient": "90721/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "254/3", "powers": [ 3, 4 ] }, { "coefficient": "-1111/12", "powers": [ 3, 5 ] }, { "coefficient": "-135/16", "powers": [ 3, 6 ] }, { "coefficient": "-162", "powers": [ 4, 0 ] }, { "coefficient": "-130505/96", "powers": [ 4, 1 ] }, { "coefficient": "-719/8", "powers": [ 4, 2 ] }, { "coefficient": "-92353/192", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "315/64", "powers": [ 4, 5 ] }, { "coefficient": "353/6", "powers": [ 5, 0 ] }, { "coefficient": "6847/12", "powers": [ 5, 1 ] }, { "coefficient": "18953/96", "powers": [ 5, 2 ] }, { "coefficient": "-1169/48", "powers": [ 5, 3 ] }, { "coefficient": "-45/32", "powers": [ 5, 4 ] }, { "coefficient": "-61/6", "powers": [ 6, 0 ] }, { "coefficient": "-8619/64", "powers": [ 6, 1 ] }, { "coefficient": "-7711/96", "powers": [ 6, 2 ] }, { "coefficient": "45/64", "powers": [ 6, 3 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "-27145/72", "powers": [ 0, 1 ] }, { "coefficient": "82825/144", "powers": [ 0, 2 ] }, { "coefficient": "-138385/288", "powers": [ 0, 3 ] }, { "coefficient": "140965/576", "powers": [ 0, 4 ] }, { "coefficient": "-6575/64", "powers": [ 0, 5 ] }, { "coefficient": "1615/64", "powers": [ 0, 6 ] }, { "coefficient": "-10858/45", "powers": [ 1, 0 ] }, { "coefficient": "-1991903/720", "powers": [ 1, 1 ] }, { "coefficient": "1696373/360", "powers": [ 1, 2 ] }, { "coefficient": "-1265079/320", "powers": [ 1, 3 ] }, { "coefficient": "2786677/1440", "powers": [ 1, 4 ] }, { "coefficient": "-233731/288", "powers": [ 1, 5 ] }, { "coefficient": "29209/160", "powers": [ 1, 6 ] }, { "coefficient": "323/20", "powers": [ 1, 7 ] }, { "coefficient": "3313/9", "powers": [ 2, 0 ] }, { "coefficient": "6547667/1440", "powers": [ 2, 1 ] }, { "coefficient": "-7402591/2880", "powers": [ 2, 2 ] }, { "coefficient": "419171/288", "powers": [ 2, 3 ] }, { "coefficient": "-182653/360", "powers": [ 2, 4 ] }, { "coefficient": "30349/320", "powers": [ 2, 5 ] }, { "coefficient": "2703/64", "powers": [ 2, 6 ] }, { "coefficient": "-27677/90", "powers": [ 3, 0 ] }, { "coefficient": "-1199431/320", "powers": [ 3, 1 ] }, { "coefficient": "2193073/1440", "powers": [ 3, 2 ] }, { "coefficient": "-274823/180", "powers": [ 3, 3 ] }, { "coefficient": "44559/160", "powers": [ 3, 4 ] }, { "coefficient": "4777/80", "powers": [ 3, 5 ] }, { "coefficient": "28193/180", "powers": [ 4, 0 ] }, { "coefficient": "5072009/2880", "powers": [ 4, 1 ] }, { "coefficient": "-1481879/2880", "powers": [ 4, 2 ] }, { "coefficient": "19233/80", "powers": [ 4, 3 ] }, { "coefficient": "27183/320", "powers": [ 4, 4 ] }, { "coefficient": "-263/4", "powers": [ 5, 0 ] }, { "coefficient": "-208495/288", "powers": [ 5, 1 ] }, { "coefficient": "1535/16", "powers": [ 5, 2 ] }, { "coefficient": "4403/64", "powers": [ 5, 3 ] }, { "coefficient": "323/20", "powers": [ 6, 0 ] }, { "coefficient": "46583/320", "powers": [ 6, 1 ] }, { "coefficient": "3417/80", "powers": [ 6, 2 ] }, { "coefficient": "1615/64", "powers": [ 7, 1 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "O", "A", "S" ], "zero_indices": [] }, { "bernstein_degree": 9, "coefficient_floor": "43", "coefficients": [ { "determinant": "8766816888199/3774873600", "entries": [ "278189/1536", "5956859/98304", "-119063/1280" ], "index": [ 0, 0, 9 ], "zero": false }, { "determinant": "261626591997077/85996339200", "entries": [ "8556905/41472", "6610519/82944", "-8001781/69120" ], "index": [ 0, 1, 8 ], "zero": false }, { "determinant": "285969749893829/73383542784", "entries": [ "37959725/165888", "44925145/442368", "-3845149/27648" ], "index": [ 0, 2, 7 ], "zero": false }, { "determinant": "18239803144183139/3745618329600", "entries": [ "95301335/387072", "4030309/32256", "-311429519/1935360" ], "index": [ 0, 3, 6 ], "zero": false }, { "determinant": "4156036067648557/702303436800", "entries": [ "18552263/72576", "21491509/145152", "-259374473/1451520" ], "index": [ 0, 4, 5 ], "zero": false }, { "determinant": "101690911051621/14631321600", "entries": [ "36828643/145152", "3058421/18144", "-68677919/362880" ], "index": [ 0, 5, 4 ], "zero": false }, { "determinant": "302593921699021/39016857600", "entries": [ "5723779/24192", "5075267/27648", "-5711773/30240" ], "index": [ 0, 6, 3 ], "zero": false }, { "determinant": "2346875618381/298598400", "entries": [ "2070017/10368", "982519/5184", "-8976061/51840" ], "index": [ 0, 7, 2 ], "zero": false }, { "determinant": "529397968427/83980800", "entries": [ "44539/324", "1887487/10368", "-886643/6480" ], "index": [ 0, 8, 1 ], "zero": false }, { "determinant": "43735879/32400", "entries": [ "3137/72", "1400/9", "-13261/180" ], "index": [ 0, 9, 0 ], "zero": false }, { "determinant": "1359691938530683/611529523200", "entries": [ "513871/3072", "59298101/884736", "-6552917/69120" ], "index": [ 1, 0, 8 ], "zero": false }, { "determinant": "1102799591406822691/396271131033600", "entries": [ "189520607/995328", "1381750913/15925248", "-43207943/368640" ], "index": [ 1, 1, 7 ], "zero": false }, { "determinant": "57680561176831609/16511297126400", "entries": [ "490465441/2322432", "1519572871/13934592", "-1623068183/11612160" ], "index": [ 1, 2, 6 ], "zero": false }, { "determinant": "26618187743464139/6067901693952", "entries": [ "396186053/1741824", "3695160701/27869184", "-53261551/331776" ], "index": [ 1, 3, 5 ], "zero": false }, { "determinant": "414996464512411471/75848771174400", "entries": [ "1030718749/4354560", "2709777103/17418240", "-85671307/483840" ], "index": [ 1, 4, 4 ], "zero": false }, { "determinant": "253859051694437873/37924385587200", "entries": [ "7340581/31104", "174886685/995328", "-135336979/725760" ], "index": [ 1, 5, 3 ], "zero": false }, { "determinant": "2979279668841089/379243855872", "entries": [ "13809007/62208", "165643643/870912", "-26907599/145152" ], "index": [ 1, 6, 2 ], "zero": false }, { "determinant": "91101217548269/10749542400", "entries": [ "494287/2592", "16223965/82944", "-5867647/34560" ], "index": [ 1, 7, 1 ], "zero": false }, { "determinant": "22923022297087/3023308800", "entries": [ "534667/3888", "5836861/31104", "-32399/240" ], "index": [ 1, 8, 0 ], "zero": false }, { "determinant": "26407876909685933333/12680676193075200", "entries": [ "2473112687/15925248", "2422214017/31850496", "-872601929/8847360" ], "index": [ 2, 0, 7 ], "zero": false }, { "determinant": "85064247683912176291/34519618525593600", "entries": [ "6580315513/37158912", "127284299/1327104", "-22388285897/185794560" ], "index": [ 2, 1, 6 ], "zero": false }, { "determinant": "12160743953627339125/3994413000818688", "entries": [ "8224332625/41803776", "19744564789/167215104", "-7919162875/55738368" ], "index": [ 2, 2, 5 ], "zero": false }, { "determinant": "948081737453323456943/242716067758080000", "entries": [ "5917677319/27869184", "9839858149/69672960", "-3125600297/19353600" ], "index": [ 2, 3, 4 ], "zero": false }, { "determinant": "309682187577711750773/60679016939520000", "entries": [ "7722679481/34836480", "11397336679/69672960", "-10249030483/58060800" ], "index": [ 2, 4, 3 ], "zero": false }, { "determinant": "72199426578377451691/10922223049113600", "entries": [ "4645317533/20901888", "955892159/5225472", "-918248893/4976640" ], "index": [ 2, 5, 2 ], "zero": false }, { "determinant": "277363597091084219/33710564966400", "entries": [ "61285297/290304", "228267329/1161216", "-353015503/1935360" ], "index": [ 2, 6, 1 ], "zero": false }, { "determinant": "7310936268836243/773967052800", "entries": [ "46009781/248832", "25036735/124416", "-4318829/25920" ], "index": [ 2, 7, 0 ], "zero": false }, { "determinant": "12103294641690164069/6575165433446400", "entries": [ "10909624087/74317824", "2168100113/24772608", "-6497473021/61931520" ], "index": [ 3, 0, 6 ], "zero": false }, { "determinant": "1675285104780141139/809053559193600", "entries": [ "18672713533/111476736", "3974192111/37158912", "-23386515181/185794560" ], "index": [ 3, 1, 5 ], "zero": false }, { "determinant": "138834884184530219821/53936903946240000", "entries": [ "1153083527/6193152", "35798784943/278691840", "-7539635281/51609600" ], "index": [ 3, 2, 4 ], "zero": false }, { "determinant": "123425845399777721/35514010828800", "entries": [ "3114611099/15482880", "2333243327/15482880", "-1014614891/6193152" ], "index": [ 3, 3, 3 ], "zero": false }, { "determinant": "65529065878833199901/13484225986560000", "entries": [ "2095328083/9953280", "147915113/860160", "-5139380867/29030400" ], "index": [ 3, 4, 2 ], "zero": false }, { "determinant": "301615875951964103/44947419955200", "entries": [ "164161153/774144", "1324685281/6967296", "-1064389373/5806080" ], "index": [ 3, 5, 1 ], "zero": false }, { "determinant": "2751273900765427/312134860800", "entries": [ "33722303/165888", "1245017/6144", "-116083783/645120" ], "index": [ 3, 6, 0 ], "zero": false }, { "determinant": "690118353317996587/462316319539200", "entries": [ "3972584149/27869184", "938868857/9289728", "-586479107/5160960" ], "index": [ 4, 0, 5 ], "zero": false }, { "determinant": "9445268198776680491/5778953994240000", "entries": [ "3765668299/23224320", "260284009/2177280", "-5156792413/38707200" ], "index": [ 4, 1, 4 ], "zero": false }, { "determinant": "4159613221271178321191/1941728542064640000", "entries": [ "12525149467/69672960", "2436476141/17418240", "-70449313001/464486400" ], "index": [ 4, 2, 3 ], "zero": false }, { "determinant": "170745678193907570191/53936903946240000", "entries": [ "375373987/1935360", "1120076231/6967296", "-38872152553/232243200" ], "index": [ 4, 3, 2 ], "zero": false }, { "determinant": "145648177138352162471/30339508469760000", "entries": [ "884131811/4354560", "1572307907/8709120", "-3454204403/19353600" ], "index": [ 4, 4, 1 ], "zero": false }, { "determinant": "4831605696014959/687970713600", "entries": [ "19850207/96768", "171740887/870912", "-1061549897/5806080" ], "index": [ 4, 5, 0 ], "zero": false }, { "determinant": "84356335025460710911/77669141682585600", "entries": [ "568069187/3981312", "1618471543/13934592", "-11560512311/92897280" ], "index": [ 5, 0, 4 ], "zero": false }, { "determinant": "24247528075023253537/19725496300339200", "entries": [ "213669719/1327104", "309427753/2322432", "-7548799853/53084160" ], "index": [ 5, 1, 3 ], "zero": false }, { "determinant": "1283327856764594637271/699022275143270400", "entries": [ "7414566385/41803776", "6353542225/41803776", "-44171605241/278691840" ], "index": [ 5, 2, 2 ], "zero": false }, { "determinant": "237728845301783495839/77669141682585600", "entries": [ "663622565/3483648", "1192295233/6967296", "-15966005627/92897280" ], "index": [ 5, 3, 1 ], "zero": false }, { "determinant": "6057533671544071279/1213580338790400", "entries": [ "12377431/62208", "329371531/1741824", "-2097679363/11612160" ], "index": [ 5, 4, 0 ], "zero": false }, { "determinant": "328217383636428413/460261580341248", "entries": [ "1364846261/9289728", "116867291/884736", "-1693528091/12386304" ], "index": [ 6, 0, 3 ], "zero": false }, { "determinant": "2761296743433049133/2876634877132800", "entries": [ "4563074975/27869184", "228307003/1548288", "-14144698801/92897280" ], "index": [ 6, 1, 2 ], "zero": false }, { "determinant": "113758117757849269/64724284735488", "entries": [ "51843499/290304", "2289660343/13934592", "-257157247/1548288" ], "index": [ 6, 2, 1 ], "zero": false }, { "determinant": "145942805978153117/44947419955200", "entries": [ "442162027/2322432", "17558497/96768", "-684786419/3870720" ], "index": [ 6, 3, 0 ], "zero": false }, { "determinant": "32821379939188729/66045188505600", "entries": [ "1231163653/7962624", "393089687/2654208", "-24522439/163840" ], "index": [ 7, 0, 2 ], "zero": false }, { "determinant": "6010462231280293679/6340338096537600", "entries": [ "675621733/3981312", "643234757/3981312", "-159933919/983040" ], "index": [ 7, 1, 1 ], "zero": false }, { "determinant": "797452008291904771/396271131033600", "entries": [ "363937285/1990656", "351057925/1990656", "-1153682741/6635520" ], "index": [ 7, 2, 0 ], "zero": false }, { "determinant": "56704412752098799/99067782758400", "entries": [ "20510845/124416", "20309605/124416", "-538446883/3317760" ], "index": [ 8, 0, 1 ], "zero": false }, { "determinant": "4015581263879/3057647616", "entries": [ "2461225/13824", "2416505/13824", "-353593/2048" ], "index": [ 8, 1, 0 ], "zero": false }, { "determinant": "159697622959/150994944", "entries": [ "270985/1536", "270985/1536", "-710243/4096" ], "index": [ 9, 0, 0 ], "zero": false } ], "coordinates": [ [ "1/2", "1/2" ], [ "1", "0" ], [ "1", "1/2" ] ], "determinant_floor": "490", "entry_order": [ "11", "22", "12" ], "key": "eq22.B.ASE", "minimum_determinant": "32821379939188729/66045188505600", "minimum_diagonal_or_scalar": "3137/72", "passed": true, "polynomials": [ { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8014/27", "powers": [ 0, 1 ] }, { "coefficient": "-24611/54", "powers": [ 0, 2 ] }, { "coefficient": "16715/54", "powers": [ 0, 3 ] }, { "coefficient": "-162", "powers": [ 0, 4 ] }, { "coefficient": "353/6", "powers": [ 0, 5 ] }, { "coefficient": "-61/6", "powers": [ 0, 6 ] }, { "coefficient": "8800/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-682987/216", "powers": [ 1, 2 ] }, { "coefficient": "288701/108", "powers": [ 1, 3 ] }, { "coefficient": "-130505/96", "powers": [ 1, 4 ] }, { "coefficient": "6847/12", "powers": [ 1, 5 ] }, { "coefficient": "-8619/64", "powers": [ 1, 6 ] }, { "coefficient": "-67819/54", "powers": [ 2, 0 ] }, { "coefficient": "-267835/108", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "90721/432", "powers": [ 2, 3 ] }, { "coefficient": "-719/8", "powers": [ 2, 4 ] }, { "coefficient": "18953/96", "powers": [ 2, 5 ] }, { "coefficient": "-7711/96", "powers": [ 2, 6 ] }, { "coefficient": "366949/216", "powers": [ 3, 0 ] }, { "coefficient": "341989/108", "powers": [ 3, 1 ] }, { "coefficient": "-770411/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "-92353/192", "powers": [ 3, 4 ] }, { "coefficient": "-1169/48", "powers": [ 3, 5 ] }, { "coefficient": "45/64", "powers": [ 3, 6 ] }, { "coefficient": "-42355/27", "powers": [ 4, 0 ] }, { "coefficient": "-460979/432", "powers": [ 4, 1 ] }, { "coefficient": "1141/6", "powers": [ 4, 2 ] }, { "coefficient": "254/3", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "-45/32", "powers": [ 4, 5 ] }, { "coefficient": "952763/864", "powers": [ 5, 0 ] }, { "coefficient": "22735/54", "powers": [ 5, 1 ] }, { "coefficient": "-10565/64", "powers": [ 5, 2 ] }, { "coefficient": "-1111/12", "powers": [ 5, 3 ] }, { "coefficient": "315/64", "powers": [ 5, 4 ] }, { "coefficient": "-4193/8", "powers": [ 6, 0 ] }, { "coefficient": "-12985/96", "powers": [ 6, 1 ] }, { "coefficient": "1333/32", "powers": [ 6, 2 ] }, { "coefficient": "-135/16", "powers": [ 6, 3 ] }, { "coefficient": "34801/192", "powers": [ 7, 0 ] }, { "coefficient": "-3275/48", "powers": [ 7, 1 ] }, { "coefficient": "495/64", "powers": [ 7, 2 ] }, { "coefficient": "-3673/96", "powers": [ 8, 0 ] }, { "coefficient": "-225/32", "powers": [ 8, 1 ] }, { "coefficient": "225/64", "powers": [ 9, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8800/27", "powers": [ 0, 1 ] }, { "coefficient": "-67819/54", "powers": [ 0, 2 ] }, { "coefficient": "366949/216", "powers": [ 0, 3 ] }, { "coefficient": "-42355/27", "powers": [ 0, 4 ] }, { "coefficient": "952763/864", "powers": [ 0, 5 ] }, { "coefficient": "-4193/8", "powers": [ 0, 6 ] }, { "coefficient": "34801/192", "powers": [ 0, 7 ] }, { "coefficient": "-3673/96", "powers": [ 0, 8 ] }, { "coefficient": "225/64", "powers": [ 0, 9 ] }, { "coefficient": "8014/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-267835/108", "powers": [ 1, 2 ] }, { "coefficient": "341989/108", "powers": [ 1, 3 ] }, { "coefficient": "-460979/432", "powers": [ 1, 4 ] }, { "coefficient": "22735/54", "powers": [ 1, 5 ] }, { "coefficient": "-12985/96", "powers": [ 1, 6 ] }, { "coefficient": "-3275/48", "powers": [ 1, 7 ] }, { "coefficient": "-225/32", "powers": [ 1, 8 ] }, { "coefficient": "-24611/54", "powers": [ 2, 0 ] }, { "coefficient": "-682987/216", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "-770411/432", "powers": [ 2, 3 ] }, { "coefficient": "1141/6", "powers": [ 2, 4 ] }, { "coefficient": "-10565/64", "powers": [ 2, 5 ] }, { "coefficient": "1333/32", "powers": [ 2, 6 ] }, { "coefficient": "495/64", "powers": [ 2, 7 ] }, { "coefficient": "16715/54", "powers": [ 3, 0 ] }, { "coefficient": "288701/108", "powers": [ 3, 1 ] }, { "coefficient": "90721/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "254/3", "powers": [ 3, 4 ] }, { "coefficient": "-1111/12", "powers": [ 3, 5 ] }, { "coefficient": "-135/16", "powers": [ 3, 6 ] }, { "coefficient": "-162", "powers": [ 4, 0 ] }, { "coefficient": "-130505/96", "powers": [ 4, 1 ] }, { "coefficient": "-719/8", "powers": [ 4, 2 ] }, { "coefficient": "-92353/192", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "315/64", "powers": [ 4, 5 ] }, { "coefficient": "353/6", "powers": [ 5, 0 ] }, { "coefficient": "6847/12", "powers": [ 5, 1 ] }, { "coefficient": "18953/96", "powers": [ 5, 2 ] }, { "coefficient": "-1169/48", "powers": [ 5, 3 ] }, { "coefficient": "-45/32", "powers": [ 5, 4 ] }, { "coefficient": "-61/6", "powers": [ 6, 0 ] }, { "coefficient": "-8619/64", "powers": [ 6, 1 ] }, { "coefficient": "-7711/96", "powers": [ 6, 2 ] }, { "coefficient": "45/64", "powers": [ 6, 3 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "-27145/72", "powers": [ 0, 1 ] }, { "coefficient": "82825/144", "powers": [ 0, 2 ] }, { "coefficient": "-138385/288", "powers": [ 0, 3 ] }, { "coefficient": "140965/576", "powers": [ 0, 4 ] }, { "coefficient": "-6575/64", "powers": [ 0, 5 ] }, { "coefficient": "1615/64", "powers": [ 0, 6 ] }, { "coefficient": "-10858/45", "powers": [ 1, 0 ] }, { "coefficient": "-1991903/720", "powers": [ 1, 1 ] }, { "coefficient": "1696373/360", "powers": [ 1, 2 ] }, { "coefficient": "-1265079/320", "powers": [ 1, 3 ] }, { "coefficient": "2786677/1440", "powers": [ 1, 4 ] }, { "coefficient": "-233731/288", "powers": [ 1, 5 ] }, { "coefficient": "29209/160", "powers": [ 1, 6 ] }, { "coefficient": "323/20", "powers": [ 1, 7 ] }, { "coefficient": "3313/9", "powers": [ 2, 0 ] }, { "coefficient": "6547667/1440", "powers": [ 2, 1 ] }, { "coefficient": "-7402591/2880", "powers": [ 2, 2 ] }, { "coefficient": "419171/288", "powers": [ 2, 3 ] }, { "coefficient": "-182653/360", "powers": [ 2, 4 ] }, { "coefficient": "30349/320", "powers": [ 2, 5 ] }, { "coefficient": "2703/64", "powers": [ 2, 6 ] }, { "coefficient": "-27677/90", "powers": [ 3, 0 ] }, { "coefficient": "-1199431/320", "powers": [ 3, 1 ] }, { "coefficient": "2193073/1440", "powers": [ 3, 2 ] }, { "coefficient": "-274823/180", "powers": [ 3, 3 ] }, { "coefficient": "44559/160", "powers": [ 3, 4 ] }, { "coefficient": "4777/80", "powers": [ 3, 5 ] }, { "coefficient": "28193/180", "powers": [ 4, 0 ] }, { "coefficient": "5072009/2880", "powers": [ 4, 1 ] }, { "coefficient": "-1481879/2880", "powers": [ 4, 2 ] }, { "coefficient": "19233/80", "powers": [ 4, 3 ] }, { "coefficient": "27183/320", "powers": [ 4, 4 ] }, { "coefficient": "-263/4", "powers": [ 5, 0 ] }, { "coefficient": "-208495/288", "powers": [ 5, 1 ] }, { "coefficient": "1535/16", "powers": [ 5, 2 ] }, { "coefficient": "4403/64", "powers": [ 5, 3 ] }, { "coefficient": "323/20", "powers": [ 6, 0 ] }, { "coefficient": "46583/320", "powers": [ 6, 1 ] }, { "coefficient": "3417/80", "powers": [ 6, 2 ] }, { "coefficient": "1615/64", "powers": [ 7, 1 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "A", "S", "E" ], "zero_indices": [] }, { "bernstein_degree": 10, "coefficient_floor": "2", "coefficients": [ { "determinant": "8766816888199/3774873600", "entries": [ "278189/1536", "5956859/98304", "-119063/1280" ], "index": [ 0, 0, 10 ], "zero": false }, { "determinant": "1370259782478781/849346560000", "entries": [ "1824967/11520", "25600871/589824", "-5571401/76800" ], "index": [ 0, 1, 9 ], "zero": false }, { "determinant": "17830382719993781/17199267840000", "entries": [ "13846097/103680", "188557309/6635520", "-18150449/345600" ], "index": [ 0, 2, 8 ], "zero": false }, { "determinant": "9217001325577843/15288238080000", "entries": [ "4984781/46080", "72934987/4423680", "-95000971/2764800" ], "index": [ 0, 3, 7 ], "zero": false }, { "determinant": "29294540752169561/93640458240000", "entries": [ "16200619/193536", "10474433/1290240", "-92655371/4838400" ], "index": [ 0, 4, 6 ], "zero": false }, { "determinant": "182740152870833/1203948748800", "entries": [ "2223829/36288", "1324957/387072", "-22106687/2903040" ], "index": [ 0, 5, 5 ], "zero": false }, { "determinant": "157460316547/1828915200", "entries": [ "561511/13440", "49859/24192", "-12427/120960" ], "index": [ 0, 6, 4 ], "zero": false }, { "determinant": "2049635404771/29859840000", "entries": [ "89161/3456", "54079/17280", "601027/172800" ], "index": [ 0, 7, 3 ], "zero": false }, { "determinant": "4758894317/87480000", "entries": [ "11041/810", "4063/810", "60557/16200" ], "index": [ 0, 8, 2 ], "zero": false }, { "determinant": "526031/22500", "entries": [ "26/5", "26/5", "287/150" ], "index": [ 0, 9, 1 ], "zero": false }, { "entries": [ "0", "0", "0" ], "index": [ 0, 10, 0 ], "zero": true }, { "determinant": "4230912237947/1887436800", "entries": [ "5181217/30720", "815687/12288", "-1453459/15360" ], "index": [ 1, 0, 9 ], "zero": false }, { "determinant": "326274860205734993/198135565516800", "entries": [ "367350959/2488320", "775201427/15925248", "-2286431/30720" ], "index": [ 1, 1, 8 ], "zero": false }, { "determinant": "12248168175512639/10567230160896", "entries": [ "413651333/3317760", "2630116507/79626240", "-90239669/1658880" ], "index": [ 1, 2, 7 ], "zero": false }, { "determinant": "13858671179383466873/17978967982080000", "entries": [ "784452079/7741440", "1889269283/92897280", "-463404863/12902400" ], "index": [ 1, 3, 6 ], "zero": false }, { "determinant": "14520386316151861/30339508469760", "entries": [ "687059839/8709120", "77855153/6967296", "-7769897/387072" ], "index": [ 1, 4, 5 ], "zero": false }, { "determinant": "58745524784943181/210691031040000", "entries": [ "5654791/96768", "10063177/1741824", "-111292087/14515200" ], "index": [ 1, 5, 4 ], "zero": false }, { "determinant": "710919573359543/4389396480000", "entries": [ "9880931/241920", "2889961/725760", "55259/67200" ], "index": [ 1, 6, 3 ], "zero": false }, { "determinant": "2119376128211/19349176320", "entries": [ "2080711/77760", "399211/77760", "182351/34560" ], "index": [ 1, 7, 2 ], "zero": false }, { "determinant": "174794359/1822500", "entries": [ "6713/405", "3224/405", "24313/4050" ], "index": [ 1, 8, 1 ], "zero": false }, { "determinant": "526031/5625", "entries": [ "52/5", "52/5", "287/75" ], "index": [ 1, 9, 0 ], "zero": false }, { "determinant": "2638113119980923797/1238347284480000", "entries": [ "3139089503/19906560", "1477948463/19906560", "-360765091/3686400" ], "index": [ 2, 0, 8 ], "zero": false }, { "determinant": "1062750355469514042169/634033809653760000", "entries": [ "10973356699/79626240", "3592274183/63700992", "-5180534407/66355200" ], "index": [ 2, 1, 7 ], "zero": false }, { "determinant": "852700555355242961203/647242847354880000", "entries": [ "9250558849/79626240", "7512320737/185794560", "-54007720639/928972800" ], "index": [ 2, 2, 6 ], "zero": false }, { "determinant": "879160840775086127599/862990463139840000", "entries": [ "4373962211/46448640", "2534799929/92897280", "-36582276851/928972800" ], "index": [ 2, 3, 5 ], "zero": false }, { "determinant": "144113839875332953771/189621927936000000", "entries": [ "1816038217/24883200", "3062737579/174182400", "-2213603081/96768000" ], "index": [ 2, 4, 4 ], "zero": false }, { "determinant": "21675463021675089953/40452677959680000", "entries": [ "53384785/995328", "135360139/11612160", "-365965931/38707200" ], "index": [ 2, 5, 3 ], "zero": false }, { "determinant": "665009052610098991/1896219279360000", "entries": [ "10061699/272160", "1291249/136080", "4588349/14515200" ], "index": [ 2, 6, 2 ], "zero": false }, { "determinant": "14348578391491/67184640000", "entries": [ "612977/25920", "275773/25920", "1598647/259200" ], "index": [ 2, 7, 1 ], "zero": false }, { "determinant": "60558281/455625", "entries": [ "1145/81", "1145/81", "16564/2025" ], "index": [ 2, 8, 0 ], "zero": false }, { "determinant": "136814404273030905449/70448201072640000", "entries": [ "15855849461/106168320", "2231628589/26542080", "-1139409851/11059200" ], "index": [ 3, 0, 7 ], "zero": false }, { "determinant": "22477527386600786175061/13807847410237440000", "entries": [ "96899521157/743178240", "49392833081/743178240", "-360799403/4300800" ], "index": [ 3, 1, 6 ], "zero": false }, { "determinant": "11009232364696164195871/7766914168258560000", "entries": [ "30592263769/278691840", "3523452979/69672960", "-19909340447/309657600" ], "index": [ 3, 2, 5 ], "zero": false }, { "determinant": "8946836640401900850193/7191587192832000000", "entries": [ "13740953669/154828800", "17341844819/464486400", "-23477737271/516096000" ], "index": [ 3, 3, 4 ], "zero": false }, { "determinant": "57313489633395210391/53936903946240000", "entries": [ "794348561/11612160", "63693901/2322432", "-2207986201/77414400" ], "index": [ 3, 4, 3 ], "zero": false }, { "determinant": "4142848489840749559/4854321355161600", "entries": [ "432698303/8709120", "37009795/1741824", "-330261793/23224320" ], "index": [ 3, 5, 2 ], "zero": false }, { "determinant": "62294217419563/100329062400", "entries": [ "12112901/362880", "2287163/120960", "-516661/161280" ], "index": [ 3, 6, 1 ], "zero": false }, { "determinant": "65309972749/167961600", "entries": [ "52235/2592", "52235/2592", "2993/720" ], "index": [ 3, 7, 0 ], "zero": false }, { "determinant": "478683117907414712867/287663487713280000", "entries": [ "26799960683/185794560", "5923575541/61931520", "-17054096947/154828800" ], "index": [ 4, 0, 6 ], "zero": false }, { "determinant": "113569008735874567601/77669141682585600", "entries": [ "35160574573/278691840", "3130688627/39813120", "-2135950003/23224320" ], "index": [ 4, 1, 5 ], "zero": false }, { "determinant": "1409987199555733009597/1011316948992000000", "entries": [ "37094850931/348364800", "13103537/207360", "-42406938599/580608000" ], "index": [ 4, 2, 4 ], "zero": false }, { "determinant": "1401082898422293317099/1027369598976000000", "entries": [ "2863855033/33177600", "243098003/4838400", "-12060523391/221184000" ], "index": [ 4, 3, 3 ], "zero": false }, { "determinant": "140585797370512392173/108355387392000000", "entries": [ "1160959603/17418240", "705154547/17418240", "-10865538161/290304000" ], "index": [ 4, 4, 2 ], "zero": false }, { "determinant": "34980390787878143431/30339508469760000", "entries": [ "2631361/54432", "534647/15552", "-1309838279/58060800" ], "index": [ 4, 5, 1 ], "zero": false }, { "determinant": "13539016281089/14696640000", "entries": [ "1166149/36288", "1166149/36288", "-354773/33600" ], "index": [ 4, 6, 0 ], "zero": false }, { "determinant": "136499541935125069693/103558855576780800", "entries": [ "1324844743/9289728", "6053549657/55738368", "-3159590891/26542080" ], "index": [ 5, 0, 5 ], "zero": false }, { "determinant": "285997757987079657487/242716067758080000", "entries": [ "4995990583/39813120", "6446961191/69672960", "-23721935533/232243200" ], "index": [ 5, 1, 4 ], "zero": false }, { "determinant": "37952148010379557699751/31067656673034240000", "entries": [ "14879963533/139345920", "10852772783/139345920", "-156499923031/1857945600" ], "index": [ 5, 2, 3 ], "zero": false }, { "determinant": "8955703866266916527/6742112993280000", "entries": [ "2438507087/27869184", "145032949/2211840", "-5140365949/77414400" ], "index": [ 5, 3, 2 ], "zero": false }, { "determinant": "452652425106066049/323621423677440", "entries": [ "49718647/725760", "122584169/2177280", "-1151481677/23224320" ], "index": [ 5, 4, 1 ], "zero": false }, { "determinant": "16557854198332903/12135803387904", "entries": [ "1376701/27216", "1376701/27216", "-5733071/165888" ], "index": [ 5, 5, 0 ], "zero": false }, { "determinant": "2867331305947862693/2996494663680000", "entries": [ "745130759/5160960", "5691156197/46448640", "-3338025461/25804800" ], "index": [ 6, 0, 4 ], "zero": false }, { "determinant": "350729095615575503/431495231569920", "entries": [ "1192265789/9289728", "20003452213/185794560", "-706265851/6193152" ], "index": [ 6, 1, 3 ], "zero": false }, { "determinant": "2218783645127211653/2427160677580800", "entries": [ "15431009017/139345920", "2622482693/27869184", "-503196233/5160960" ], "index": [ 6, 2, 2 ], "zero": false }, { "determinant": "1945681054233539443/1725980926279680", "entries": [ "38336543/414720", "34304203/414720", "-2500184011/30965760" ], "index": [ 6, 3, 1 ], "zero": false }, { "determinant": "1122745041163549039/842764124160000", "entries": [ "769543/10368", "769543/10368", "-625395427/9676800" ], "index": [ 6, 4, 0 ], "zero": false }, { "determinant": "15441974260745635013/23482733690880000", "entries": [ "792171235/5308416", "302790181/2211840", "-12440275573/88473600" ], "index": [ 7, 0, 3 ], "zero": false }, { "determinant": "7653540024184359509/17612050268160000", "entries": [ "79298789/589824", "1965926567/15925248", "-8435797273/66355200" ], "index": [ 7, 1, 2 ], "zero": false }, { "determinant": "83051931851337304111/158508452413440000", "entries": [ "29385187/248832", "138321209/1244160", "-4966580287/44236800" ], "index": [ 7, 2, 1 ], "zero": false }, { "determinant": "868635042839934391/1100753141760000", "entries": [ "20929513/207360", "20929513/207360", "-39708787/409600" ], "index": [ 7, 3, 0 ], "zero": false }, { "determinant": "1269841524543137549/2476694568960000", "entries": [ "1559337173/9953280", "1504222741/9953280", "-1262382221/8294400" ], "index": [ 8, 0, 2 ], "zero": false }, { "determinant": "28090430756507173/206391214080000", "entries": [ "5942233/41472", "86594423/622080", "-389131201/2764800" ], "index": [ 8, 1, 1 ], "zero": false }, { "determinant": "82767348770597191/619173642240000", "entries": [ "79835033/622080", "79835033/622080", "-353379533/2764800" ], "index": [ 8, 2, 0 ], "zero": false }, { "determinant": "75620021122704919/122305904640000", "entries": [ "2294971/13824", "2274847/13824", "-602368753/3686400" ], "index": [ 9, 0, 1 ], "zero": false }, { "determinant": "161755713049/7464960000", "entries": [ "2130953/13824", "2130953/13824", "-17749843/115200" ], "index": [ 9, 1, 0 ], "zero": false }, { "determinant": "159697622959/150994944", "entries": [ "270985/1536", "270985/1536", "-710243/4096" ], "index": [ 10, 0, 0 ], "zero": false } ], "coordinates": [ [ "1/2", "1/2" ], [ "1", "1" ], [ "1", "1/2" ] ], "determinant_floor": "21", "entry_order": [ "11", "22", "12" ], "key": "eq22.B.ACE", "minimum_determinant": "161755713049/7464960000", "minimum_diagonal_or_scalar": "49859/24192", "passed": true, "polynomials": [ { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8014/27", "powers": [ 0, 1 ] }, { "coefficient": "-24611/54", "powers": [ 0, 2 ] }, { "coefficient": "16715/54", "powers": [ 0, 3 ] }, { "coefficient": "-162", "powers": [ 0, 4 ] }, { "coefficient": "353/6", "powers": [ 0, 5 ] }, { "coefficient": "-61/6", "powers": [ 0, 6 ] }, { "coefficient": "8800/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-682987/216", "powers": [ 1, 2 ] }, { "coefficient": "288701/108", "powers": [ 1, 3 ] }, { "coefficient": "-130505/96", "powers": [ 1, 4 ] }, { "coefficient": "6847/12", "powers": [ 1, 5 ] }, { "coefficient": "-8619/64", "powers": [ 1, 6 ] }, { "coefficient": "-67819/54", "powers": [ 2, 0 ] }, { "coefficient": "-267835/108", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "90721/432", "powers": [ 2, 3 ] }, { "coefficient": "-719/8", "powers": [ 2, 4 ] }, { "coefficient": "18953/96", "powers": [ 2, 5 ] }, { "coefficient": "-7711/96", "powers": [ 2, 6 ] }, { "coefficient": "366949/216", "powers": [ 3, 0 ] }, { "coefficient": "341989/108", "powers": [ 3, 1 ] }, { "coefficient": "-770411/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "-92353/192", "powers": [ 3, 4 ] }, { "coefficient": "-1169/48", "powers": [ 3, 5 ] }, { "coefficient": "45/64", "powers": [ 3, 6 ] }, { "coefficient": "-42355/27", "powers": [ 4, 0 ] }, { "coefficient": "-460979/432", "powers": [ 4, 1 ] }, { "coefficient": "1141/6", "powers": [ 4, 2 ] }, { "coefficient": "254/3", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "-45/32", "powers": [ 4, 5 ] }, { "coefficient": "952763/864", "powers": [ 5, 0 ] }, { "coefficient": "22735/54", "powers": [ 5, 1 ] }, { "coefficient": "-10565/64", "powers": [ 5, 2 ] }, { "coefficient": "-1111/12", "powers": [ 5, 3 ] }, { "coefficient": "315/64", "powers": [ 5, 4 ] }, { "coefficient": "-4193/8", "powers": [ 6, 0 ] }, { "coefficient": "-12985/96", "powers": [ 6, 1 ] }, { "coefficient": "1333/32", "powers": [ 6, 2 ] }, { "coefficient": "-135/16", "powers": [ 6, 3 ] }, { "coefficient": "34801/192", "powers": [ 7, 0 ] }, { "coefficient": "-3275/48", "powers": [ 7, 1 ] }, { "coefficient": "495/64", "powers": [ 7, 2 ] }, { "coefficient": "-3673/96", "powers": [ 8, 0 ] }, { "coefficient": "-225/32", "powers": [ 8, 1 ] }, { "coefficient": "225/64", "powers": [ 9, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8800/27", "powers": [ 0, 1 ] }, { "coefficient": "-67819/54", "powers": [ 0, 2 ] }, { "coefficient": "366949/216", "powers": [ 0, 3 ] }, { "coefficient": "-42355/27", "powers": [ 0, 4 ] }, { "coefficient": "952763/864", "powers": [ 0, 5 ] }, { "coefficient": "-4193/8", "powers": [ 0, 6 ] }, { "coefficient": "34801/192", "powers": [ 0, 7 ] }, { "coefficient": "-3673/96", "powers": [ 0, 8 ] }, { "coefficient": "225/64", "powers": [ 0, 9 ] }, { "coefficient": "8014/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-267835/108", "powers": [ 1, 2 ] }, { "coefficient": "341989/108", "powers": [ 1, 3 ] }, { "coefficient": "-460979/432", "powers": [ 1, 4 ] }, { "coefficient": "22735/54", "powers": [ 1, 5 ] }, { "coefficient": "-12985/96", "powers": [ 1, 6 ] }, { "coefficient": "-3275/48", "powers": [ 1, 7 ] }, { "coefficient": "-225/32", "powers": [ 1, 8 ] }, { "coefficient": "-24611/54", "powers": [ 2, 0 ] }, { "coefficient": "-682987/216", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "-770411/432", "powers": [ 2, 3 ] }, { "coefficient": "1141/6", "powers": [ 2, 4 ] }, { "coefficient": "-10565/64", "powers": [ 2, 5 ] }, { "coefficient": "1333/32", "powers": [ 2, 6 ] }, { "coefficient": "495/64", "powers": [ 2, 7 ] }, { "coefficient": "16715/54", "powers": [ 3, 0 ] }, { "coefficient": "288701/108", "powers": [ 3, 1 ] }, { "coefficient": "90721/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "254/3", "powers": [ 3, 4 ] }, { "coefficient": "-1111/12", "powers": [ 3, 5 ] }, { "coefficient": "-135/16", "powers": [ 3, 6 ] }, { "coefficient": "-162", "powers": [ 4, 0 ] }, { "coefficient": "-130505/96", "powers": [ 4, 1 ] }, { "coefficient": "-719/8", "powers": [ 4, 2 ] }, { "coefficient": "-92353/192", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "315/64", "powers": [ 4, 5 ] }, { "coefficient": "353/6", "powers": [ 5, 0 ] }, { "coefficient": "6847/12", "powers": [ 5, 1 ] }, { "coefficient": "18953/96", "powers": [ 5, 2 ] }, { "coefficient": "-1169/48", "powers": [ 5, 3 ] }, { "coefficient": "-45/32", "powers": [ 5, 4 ] }, { "coefficient": "-61/6", "powers": [ 6, 0 ] }, { "coefficient": "-8619/64", "powers": [ 6, 1 ] }, { "coefficient": "-7711/96", "powers": [ 6, 2 ] }, { "coefficient": "45/64", "powers": [ 6, 3 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "-27145/72", "powers": [ 0, 1 ] }, { "coefficient": "82825/144", "powers": [ 0, 2 ] }, { "coefficient": "-138385/288", "powers": [ 0, 3 ] }, { "coefficient": "140965/576", "powers": [ 0, 4 ] }, { "coefficient": "-6575/64", "powers": [ 0, 5 ] }, { "coefficient": "1615/64", "powers": [ 0, 6 ] }, { "coefficient": "-10858/45", "powers": [ 1, 0 ] }, { "coefficient": "-1991903/720", "powers": [ 1, 1 ] }, { "coefficient": "1696373/360", "powers": [ 1, 2 ] }, { "coefficient": "-1265079/320", "powers": [ 1, 3 ] }, { "coefficient": "2786677/1440", "powers": [ 1, 4 ] }, { "coefficient": "-233731/288", "powers": [ 1, 5 ] }, { "coefficient": "29209/160", "powers": [ 1, 6 ] }, { "coefficient": "323/20", "powers": [ 1, 7 ] }, { "coefficient": "3313/9", "powers": [ 2, 0 ] }, { "coefficient": "6547667/1440", "powers": [ 2, 1 ] }, { "coefficient": "-7402591/2880", "powers": [ 2, 2 ] }, { "coefficient": "419171/288", "powers": [ 2, 3 ] }, { "coefficient": "-182653/360", "powers": [ 2, 4 ] }, { "coefficient": "30349/320", "powers": [ 2, 5 ] }, { "coefficient": "2703/64", "powers": [ 2, 6 ] }, { "coefficient": "-27677/90", "powers": [ 3, 0 ] }, { "coefficient": "-1199431/320", "powers": [ 3, 1 ] }, { "coefficient": "2193073/1440", "powers": [ 3, 2 ] }, { "coefficient": "-274823/180", "powers": [ 3, 3 ] }, { "coefficient": "44559/160", "powers": [ 3, 4 ] }, { "coefficient": "4777/80", "powers": [ 3, 5 ] }, { "coefficient": "28193/180", "powers": [ 4, 0 ] }, { "coefficient": "5072009/2880", "powers": [ 4, 1 ] }, { "coefficient": "-1481879/2880", "powers": [ 4, 2 ] }, { "coefficient": "19233/80", "powers": [ 4, 3 ] }, { "coefficient": "27183/320", "powers": [ 4, 4 ] }, { "coefficient": "-263/4", "powers": [ 5, 0 ] }, { "coefficient": "-208495/288", "powers": [ 5, 1 ] }, { "coefficient": "1535/16", "powers": [ 5, 2 ] }, { "coefficient": "4403/64", "powers": [ 5, 3 ] }, { "coefficient": "323/20", "powers": [ 6, 0 ] }, { "coefficient": "46583/320", "powers": [ 6, 1 ] }, { "coefficient": "3417/80", "powers": [ 6, 2 ] }, { "coefficient": "1615/64", "powers": [ 7, 1 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "A", "C", "E" ], "zero_indices": [ [ 0, 10 ] ] }, { "bernstein_degree": 9, "coefficient_floor": "43", "coefficients": [ { "determinant": "8766816888199/3774873600", "entries": [ "278189/1536", "5956859/98304", "-119063/1280" ], "index": [ 0, 0, 9 ], "zero": false }, { "determinant": "1368081470392693/611529523200", "entries": [ "598885/3072", "47925361/884736", "-6305887/69120" ], "index": [ 0, 1, 8 ], "zero": false }, { "determinant": "28343803843744527413/12680676193075200", "entries": [ "3354537839/15925248", "1603376737/31850496", "-809362249/8847360" ], "index": [ 0, 2, 7 ], "zero": false }, { "determinant": "6901581564026866211/2817928042905600", "entries": [ "16837896973/74317824", "3661293323/74317824", "-5780797949/61931520" ], "index": [ 0, 3, 6 ], "zero": false }, { "determinant": "2170878283226000107/719158719283200", "entries": [ "3347508707/13934592", "52519501/1032192", "-1485440009/15482880" ], "index": [ 0, 4, 5 ], "zero": false }, { "determinant": "1393030889913272311/345196185255936", "entries": [ "96007139/387072", "1529009057/27869184", "-1817810285/18579456" ], "index": [ 0, 5, 4 ], "zero": false }, { "determinant": "187993381423960018511/34519618525593600", "entries": [ "2275445485/9289728", "160729045/2654208", "-6000267311/61931520" ], "index": [ 0, 6, 3 ], "zero": false }, { "determinant": "404119645166239813/58706834227200", "entries": [ "1784157787/7962624", "19726171/294912", "-199111651/2211840" ], "index": [ 0, 7, 2 ], "zero": false }, { "determinant": "29298107073124271/3962711310336", "entries": [ "87663197/497664", "4495865/62208", "-48476221/663552" ], "index": [ 0, 8, 1 ], "zero": false }, { "determinant": "381503561079371/76441190400", "entries": [ "4916827/55296", "4118393/55296", "-38779/960" ], "index": [ 0, 9, 0 ], "zero": false }, { "determinant": "261626591997077/85996339200", "entries": [ "8556905/41472", "6610519/82944", "-8001781/69120" ], "index": [ 1, 0, 8 ], "zero": false }, { "determinant": "1217548333317525619/396271131033600", "entries": [ "221210833/995328", "1156688383/15925248", "-126433163/1105920" ], "index": [ 1, 1, 7 ], "zero": false }, { "determinant": "970499406501227363431/310676566730342400", "entries": [ "26839557163/111476736", "8416301/124416", "-21316222121/185794560" ], "index": [ 1, 2, 6 ], "zero": false }, { "determinant": "170737446951279274531/51779427788390400", "entries": [ "29064955013/111476736", "2412644653/37158912", "-21691859561/185794560" ], "index": [ 1, 3, 5 ], "zero": false }, { "determinant": "75379288053770056751/20226338979840000", "entries": [ "6510360679/23224320", "4494670903/69672960", "-13913897629/116121600" ], "index": [ 1, 4, 4 ], "zero": false }, { "determinant": "5654979996376906018111/1242706266921369600", "entries": [ "8274276379/27869184", "923125787/13934592", "-6526981027/53084160" ], "index": [ 1, 5, 3 ], "zero": false }, { "determinant": "18959318185521146819/3236214236774400", "entries": [ "8547261343/27869184", "324025997/4644864", "-1447397863/11612160" ], "index": [ 1, 6, 2 ], "zero": false }, { "determinant": "48158533510637320319/6340338096537600", "entries": [ "1212604553/3981312", "296180131/3981312", "-3257490797/26542080" ], "index": [ 1, 7, 1 ], "zero": false }, { "determinant": "232767351242494039/24766945689600", "entries": [ "17645299/62208", "19692511/248832", "-189502577/1658880" ], "index": [ 1, 8, 0 ], "zero": false }, { "determinant": "285969749893829/73383542784", "entries": [ "37959725/165888", "44925145/442368", "-3845149/27648" ], "index": [ 2, 0, 7 ], "zero": false }, { "determinant": "33311906886250237/8255648563200", "entries": [ "572406859/2322432", "40959727/435456", "-1606856977/11612160" ], "index": [ 2, 1, 6 ], "zero": false }, { "determinant": "2900431105219537022779/699022275143270400", "entries": [ "11174223673/41803776", "14731886221/167215104", "-38817676487/278691840" ], "index": [ 2, 2, 5 ], "zero": false }, { "determinant": "463214467818023170007/107873807892480000", "entries": [ "16198603049/55738368", "370985789/4423680", "-65816723981/464486400" ], "index": [ 2, 3, 4 ], "zero": false }, { "determinant": "2955775887856459178477/647242847354880000", "entries": [ "21963465677/69672960", "8442989/103680", "-7497436081/51609600" ], "index": [ 2, 4, 3 ], "zero": false }, { "determinant": "3565727232206553786991/699022275143270400", "entries": [ "14187375487/41803776", "3376620721/41803776", "-41628552149/278691840" ], "index": [ 2, 5, 2 ], "zero": false }, { "determinant": "9785114854773888373/1618107118387200", "entries": [ "627981233/1741824", "379487845/4644864", "-3553267703/23224320" ], "index": [ 2, 6, 1 ], "zero": false }, { "determinant": "2984067654509073491/396271131033600", "entries": [ "746986211/1990656", "166928689/1990656", "-1026605801/6635520" ], "index": [ 2, 7, 0 ], "zero": false }, { "determinant": "18239803144183139/3745618329600", "entries": [ "95301335/387072", "4030309/32256", "-311429519/1935360" ], "index": [ 3, 0, 6 ], "zero": false }, { "determinant": "6147510687971032309/1213580338790400", "entries": [ "230762981/870912", "3269213251/27869184", "-1872999943/11612160" ], "index": [ 3, 1, 5 ], "zero": false }, { "determinant": "1267806210576521746073/242716067758080000", "entries": [ "1144079201/3981312", "7710120899/69672960", "-9465257471/58060800" ], "index": [ 3, 2, 4 ], "zero": false }, { "determinant": "128257629849046688819/23971957309440000", "entries": [ "1615853837/5160960", "325709885/3096576", "-3673378363/22118400" ], "index": [ 3, 3, 3 ], "zero": false }, { "determinant": "2666944029138656938751/485432135516160000", "entries": [ "849921431/2488320", "502515791/4976640", "-39546504869/232243200" ], "index": [ 3, 4, 2 ], "zero": false }, { "determinant": "148833813184558233533/25889713894195200", "entries": [ "107949875/290304", "683234171/6967296", "-201002257/1146880" ], "index": [ 3, 5, 1 ], "zero": false }, { "determinant": "375035702432766631/59929893273600", "entries": [ "311690549/774144", "4663867/48384", "-1396731013/7741440" ], "index": [ 3, 6, 0 ], "zero": false }, { "determinant": "4156036067648557/702303436800", "entries": [ "18552263/72576", "21491509/145152", "-259374473/1451520" ], "index": [ 4, 0, 5 ], "zero": false }, { "determinant": "65820926788788961/10835538739200", "entries": [ "1195552811/4354560", "2448185057/17418240", "-52347005/290304" ], "index": [ 4, 1, 4 ], "zero": false }, { "determinant": "13970682518943619519/2247370997760000", "entries": [ "3453341491/11612160", "1033844479/7741440", "-3542239601/19353600" ], "index": [ 4, 2, 3 ], "zero": false }, { "determinant": "85217781987047837431/13484225986560000", "entries": [ "22588237223/69672960", "984554393/7741440", "-301349179/1612800" ], "index": [ 4, 3, 2 ], "zero": false }, { "determinant": "193917161270970182951/30339508469760000", "entries": [ "441626993/1244160", "1058608783/8709120", "-3710364923/19353600" ], "index": [ 4, 4, 1 ], "zero": false }, { "determinant": "291301136342493173/44947419955200", "entries": [ "226172845/580608", "403405/3456", "-764298853/3870720" ], "index": [ 4, 5, 0 ], "zero": false }, { "determinant": "101690911051621/14631321600", "entries": [ "36828643/145152", "3058421/18144", "-68677919/362880" ], "index": [ 5, 0, 4 ], "zero": false }, { "determinant": "131558123329350451/18962192793600", "entries": [ "29550931/108864", "1124660533/6967296", "-19910671/103680" ], "index": [ 5, 1, 3 ], "zero": false }, { "determinant": "76155378401952377431/10922223049113600", "entries": [ "6127134173/20901888", "403286383/2612736", "-6815363179/34836480" ], "index": [ 5, 2, 2 ], "zero": false }, { "determinant": "2844347088044256713/404526779596800", "entries": [ "2223901873/6967296", "48925703/331776", "-193629421/967680" ], "index": [ 5, 3, 1 ], "zero": false }, { "determinant": "34255267430725393/4815794995200", "entries": [ "101636057/290304", "20444065/145152", "-397561519/1935360" ], "index": [ 5, 4, 0 ], "zero": false }, { "determinant": "302593921699021/39016857600", "entries": [ "5723779/24192", "5075267/27648", "-5711773/30240" ], "index": [ 6, 0, 3 ], "zero": false }, { "determinant": "2518157077429139/338610585600", "entries": [ "109392995/435456", "77049089/435456", "-139627109/725760" ], "index": [ 6, 1, 2 ], "zero": false }, { "determinant": "2202915122029356499/303395084697600", "entries": [ "234775675/870912", "592438267/3483648", "-162924619/829440" ], "index": [ 6, 2, 1 ], "zero": false }, { "determinant": "4886645286756403/674211299328", "entries": [ "339504575/1161216", "189287185/1161216", "-25936907/129024" ], "index": [ 6, 3, 0 ], "zero": false }, { "determinant": "2346875618381/298598400", "entries": [ "2070017/10368", "982519/5184", "-8976061/51840" ], "index": [ 7, 0, 2 ], "zero": false }, { "determinant": "4778788118651/671846400", "entries": [ "360481/1728", "15216643/82944", "-18301303/103680" ], "index": [ 7, 1, 1 ], "zero": false }, { "determinant": "205067876399237/30958682112", "entries": [ "54925205/248832", "22014769/124416", "-466801/2592" ], "index": [ 7, 2, 0 ], "zero": false }, { "determinant": "529397968427/83980800", "entries": [ "44539/324", "1887487/10368", "-886643/6480" ], "index": [ 8, 0, 1 ], "zero": false }, { "determinant": "15175077556057/3023308800", "entries": [ "534269/3888", "5488061/31104", "-898513/6480" ], "index": [ 8, 1, 0 ], "zero": false }, { "determinant": "43735879/32400", "entries": [ "3137/72", "1400/9", "-13261/180" ], "index": [ 9, 0, 0 ], "zero": false } ], "coordinates": [ [ "1", "0" ], [ "3/2", "1/2" ], [ "1", "1/2" ] ], "determinant_floor": "1300", "entry_order": [ "11", "22", "12" ], "key": "eq22.B.SBE", "minimum_determinant": "43735879/32400", "minimum_diagonal_or_scalar": "3137/72", "passed": true, "polynomials": [ { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8014/27", "powers": [ 0, 1 ] }, { "coefficient": "-24611/54", "powers": [ 0, 2 ] }, { "coefficient": "16715/54", "powers": [ 0, 3 ] }, { "coefficient": "-162", "powers": [ 0, 4 ] }, { "coefficient": "353/6", "powers": [ 0, 5 ] }, { "coefficient": "-61/6", "powers": [ 0, 6 ] }, { "coefficient": "8800/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-682987/216", "powers": [ 1, 2 ] }, { "coefficient": "288701/108", "powers": [ 1, 3 ] }, { "coefficient": "-130505/96", "powers": [ 1, 4 ] }, { "coefficient": "6847/12", "powers": [ 1, 5 ] }, { "coefficient": "-8619/64", "powers": [ 1, 6 ] }, { "coefficient": "-67819/54", "powers": [ 2, 0 ] }, { "coefficient": "-267835/108", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "90721/432", "powers": [ 2, 3 ] }, { "coefficient": "-719/8", "powers": [ 2, 4 ] }, { "coefficient": "18953/96", "powers": [ 2, 5 ] }, { "coefficient": "-7711/96", "powers": [ 2, 6 ] }, { "coefficient": "366949/216", "powers": [ 3, 0 ] }, { "coefficient": "341989/108", "powers": [ 3, 1 ] }, { "coefficient": "-770411/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "-92353/192", "powers": [ 3, 4 ] }, { "coefficient": "-1169/48", "powers": [ 3, 5 ] }, { "coefficient": "45/64", "powers": [ 3, 6 ] }, { "coefficient": "-42355/27", "powers": [ 4, 0 ] }, { "coefficient": "-460979/432", "powers": [ 4, 1 ] }, { "coefficient": "1141/6", "powers": [ 4, 2 ] }, { "coefficient": "254/3", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "-45/32", "powers": [ 4, 5 ] }, { "coefficient": "952763/864", "powers": [ 5, 0 ] }, { "coefficient": "22735/54", "powers": [ 5, 1 ] }, { "coefficient": "-10565/64", "powers": [ 5, 2 ] }, { "coefficient": "-1111/12", "powers": [ 5, 3 ] }, { "coefficient": "315/64", "powers": [ 5, 4 ] }, { "coefficient": "-4193/8", "powers": [ 6, 0 ] }, { "coefficient": "-12985/96", "powers": [ 6, 1 ] }, { "coefficient": "1333/32", "powers": [ 6, 2 ] }, { "coefficient": "-135/16", "powers": [ 6, 3 ] }, { "coefficient": "34801/192", "powers": [ 7, 0 ] }, { "coefficient": "-3275/48", "powers": [ 7, 1 ] }, { "coefficient": "495/64", "powers": [ 7, 2 ] }, { "coefficient": "-3673/96", "powers": [ 8, 0 ] }, { "coefficient": "-225/32", "powers": [ 8, 1 ] }, { "coefficient": "225/64", "powers": [ 9, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8800/27", "powers": [ 0, 1 ] }, { "coefficient": "-67819/54", "powers": [ 0, 2 ] }, { "coefficient": "366949/216", "powers": [ 0, 3 ] }, { "coefficient": "-42355/27", "powers": [ 0, 4 ] }, { "coefficient": "952763/864", "powers": [ 0, 5 ] }, { "coefficient": "-4193/8", "powers": [ 0, 6 ] }, { "coefficient": "34801/192", "powers": [ 0, 7 ] }, { "coefficient": "-3673/96", "powers": [ 0, 8 ] }, { "coefficient": "225/64", "powers": [ 0, 9 ] }, { "coefficient": "8014/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-267835/108", "powers": [ 1, 2 ] }, { "coefficient": "341989/108", "powers": [ 1, 3 ] }, { "coefficient": "-460979/432", "powers": [ 1, 4 ] }, { "coefficient": "22735/54", "powers": [ 1, 5 ] }, { "coefficient": "-12985/96", "powers": [ 1, 6 ] }, { "coefficient": "-3275/48", "powers": [ 1, 7 ] }, { "coefficient": "-225/32", "powers": [ 1, 8 ] }, { "coefficient": "-24611/54", "powers": [ 2, 0 ] }, { "coefficient": "-682987/216", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "-770411/432", "powers": [ 2, 3 ] }, { "coefficient": "1141/6", "powers": [ 2, 4 ] }, { "coefficient": "-10565/64", "powers": [ 2, 5 ] }, { "coefficient": "1333/32", "powers": [ 2, 6 ] }, { "coefficient": "495/64", "powers": [ 2, 7 ] }, { "coefficient": "16715/54", "powers": [ 3, 0 ] }, { "coefficient": "288701/108", "powers": [ 3, 1 ] }, { "coefficient": "90721/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "254/3", "powers": [ 3, 4 ] }, { "coefficient": "-1111/12", "powers": [ 3, 5 ] }, { "coefficient": "-135/16", "powers": [ 3, 6 ] }, { "coefficient": "-162", "powers": [ 4, 0 ] }, { "coefficient": "-130505/96", "powers": [ 4, 1 ] }, { "coefficient": "-719/8", "powers": [ 4, 2 ] }, { "coefficient": "-92353/192", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "315/64", "powers": [ 4, 5 ] }, { "coefficient": "353/6", "powers": [ 5, 0 ] }, { "coefficient": "6847/12", "powers": [ 5, 1 ] }, { "coefficient": "18953/96", "powers": [ 5, 2 ] }, { "coefficient": "-1169/48", "powers": [ 5, 3 ] }, { "coefficient": "-45/32", "powers": [ 5, 4 ] }, { "coefficient": "-61/6", "powers": [ 6, 0 ] }, { "coefficient": "-8619/64", "powers": [ 6, 1 ] }, { "coefficient": "-7711/96", "powers": [ 6, 2 ] }, { "coefficient": "45/64", "powers": [ 6, 3 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "-27145/72", "powers": [ 0, 1 ] }, { "coefficient": "82825/144", "powers": [ 0, 2 ] }, { "coefficient": "-138385/288", "powers": [ 0, 3 ] }, { "coefficient": "140965/576", "powers": [ 0, 4 ] }, { "coefficient": "-6575/64", "powers": [ 0, 5 ] }, { "coefficient": "1615/64", "powers": [ 0, 6 ] }, { "coefficient": "-10858/45", "powers": [ 1, 0 ] }, { "coefficient": "-1991903/720", "powers": [ 1, 1 ] }, { "coefficient": "1696373/360", "powers": [ 1, 2 ] }, { "coefficient": "-1265079/320", "powers": [ 1, 3 ] }, { "coefficient": "2786677/1440", "powers": [ 1, 4 ] }, { "coefficient": "-233731/288", "powers": [ 1, 5 ] }, { "coefficient": "29209/160", "powers": [ 1, 6 ] }, { "coefficient": "323/20", "powers": [ 1, 7 ] }, { "coefficient": "3313/9", "powers": [ 2, 0 ] }, { "coefficient": "6547667/1440", "powers": [ 2, 1 ] }, { "coefficient": "-7402591/2880", "powers": [ 2, 2 ] }, { "coefficient": "419171/288", "powers": [ 2, 3 ] }, { "coefficient": "-182653/360", "powers": [ 2, 4 ] }, { "coefficient": "30349/320", "powers": [ 2, 5 ] }, { "coefficient": "2703/64", "powers": [ 2, 6 ] }, { "coefficient": "-27677/90", "powers": [ 3, 0 ] }, { "coefficient": "-1199431/320", "powers": [ 3, 1 ] }, { "coefficient": "2193073/1440", "powers": [ 3, 2 ] }, { "coefficient": "-274823/180", "powers": [ 3, 3 ] }, { "coefficient": "44559/160", "powers": [ 3, 4 ] }, { "coefficient": "4777/80", "powers": [ 3, 5 ] }, { "coefficient": "28193/180", "powers": [ 4, 0 ] }, { "coefficient": "5072009/2880", "powers": [ 4, 1 ] }, { "coefficient": "-1481879/2880", "powers": [ 4, 2 ] }, { "coefficient": "19233/80", "powers": [ 4, 3 ] }, { "coefficient": "27183/320", "powers": [ 4, 4 ] }, { "coefficient": "-263/4", "powers": [ 5, 0 ] }, { "coefficient": "-208495/288", "powers": [ 5, 1 ] }, { "coefficient": "1535/16", "powers": [ 5, 2 ] }, { "coefficient": "4403/64", "powers": [ 5, 3 ] }, { "coefficient": "323/20", "powers": [ 6, 0 ] }, { "coefficient": "46583/320", "powers": [ 6, 1 ] }, { "coefficient": "3417/80", "powers": [ 6, 2 ] }, { "coefficient": "1615/64", "powers": [ 7, 1 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "S", "B", "E" ], "zero_indices": [] }, { "bernstein_degree": 10, "coefficient_floor": "13/100", "coefficients": [ { "determinant": "8766816888199/3774873600", "entries": [ "278189/1536", "5956859/98304", "-119063/1280" ], "index": [ 0, 0, 10 ], "zero": false }, { "determinant": "17016865972477/7549747200", "entries": [ "5946343/30720", "898037/16384", "-1404053/15360" ], "index": [ 0, 1, 9 ], "zero": false }, { "determinant": "11121395805037295933/4953389137920000", "entries": [ "4130692799/19906560", "1017352493/19906560", "-337050211/3686400" ], "index": [ 0, 2, 8 ], "zero": false }, { "determinant": "18702435602887077209/7827577896960000", "entries": [ "23546972651/106168320", "9749389/196608", "-1026110587/11059200" ], "index": [ 0, 3, 7 ], "zero": false }, { "determinant": "2405301290383973094151/862990463139840000", "entries": [ "43617966629/185794560", "9333399431/185794560", "-14693438003/154828800" ], "index": [ 0, 4, 6 ], "zero": false }, { "determinant": "1093639866157301177831/310676566730342400", "entries": [ "6803765711/27869184", "46047431/870912", "-18001691479/185794560" ], "index": [ 0, 5, 5 ], "zero": false }, { "determinant": "10347173317564719191/2247370997760000", "entries": [ "5731702489/23224320", "221176031/3870720", "-314360807/3225600" ], "index": [ 0, 6, 4 ], "zero": false }, { "determinant": "138899251771228139413/23482733690880000", "entries": [ "2111682919/8847360", "414427483/6635520", "-8389607123/88473600" ], "index": [ 0, 7, 3 ], "zero": false }, { "determinant": "324399474071058709/45864714240000", "entries": [ "47440235/221184", "676474297/9953280", "-1437051011/16588800" ], "index": [ 0, 8, 2 ], "zero": false }, { "determinant": "98748737992505119/13589544960000", "entries": [ "3857501/23040", "13361771/184320", "-257272241/3686400" ], "index": [ 0, 9, 1 ], "zero": false }, { "determinant": "381503561079371/76441190400", "entries": [ "4916827/55296", "4118393/55296", "-38779/960" ], "index": [ 0, 10, 0 ], "zero": false }, { "determinant": "1370259782478781/849346560000", "entries": [ "1824967/11520", "25600871/589824", "-5571401/76800" ], "index": [ 1, 0, 9 ], "zero": false }, { "determinant": "7227150130153115723/4953389137920000", "entries": [ "84206957/497664", "607245607/15925248", "-10853449/153600" ], "index": [ 1, 1, 8 ], "zero": false }, { "determinant": "99492259375469967761/70448201072640000", "entries": [ "533671169/2949120", "749542541/21233664", "-4680532423/66355200" ], "index": [ 1, 2, 7 ], "zero": false }, { "determinant": "21800888583175759044331/13807847410237440000", "entries": [ "142880785763/743178240", "26010340289/743178240", "-5555455819/77414400" ], "index": [ 1, 3, 6 ], "zero": false }, { "determinant": "664627075492895588399/323621423677440000", "entries": [ "9338627231/46448640", "10354896001/278691840", "-8546163293/116121600" ], "index": [ 1, 4, 5 ], "zero": false }, { "determinant": "1380205139660779669/479439146188800", "entries": [ "9500588437/46448640", "550809461/13271040", "-3479170283/46448640" ], "index": [ 1, 5, 4 ], "zero": false }, { "determinant": "17152903486086993697/4314952315699200", "entries": [ "9241180163/46448640", "8834477401/185794560", "-2293352479/30965760" ], "index": [ 1, 6, 3 ], "zero": false }, { "determinant": "798289567203417951179/158508452413440000", "entries": [ "14281193857/79626240", "4340620487/79626240", "-4568738881/66355200" ], "index": [ 1, 7, 2 ], "zero": false }, { "determinant": "368937069682325191/68797071360000", "entries": [ "231126811/1658880", "6352963/103680", "-155777249/2764800" ], "index": [ 1, 8, 1 ], "zero": false }, { "determinant": "9212294272986413/2548039680000", "entries": [ "13026943/184320", "36667211/552960", "-78547/2400" ], "index": [ 1, 9, 0 ], "zero": false }, { "determinant": "17830382719993781/17199267840000", "entries": [ "13846097/103680", "188557309/6635520", "-18150449/345600" ], "index": [ 2, 0, 8 ], "zero": false }, { "determinant": "1817140364741152957/2201506283520000", "entries": [ "10499975/73728", "1895258909/79626240", "-420023207/8294400" ], "index": [ 2, 1, 7 ], "zero": false }, { "determinant": "747795926356905789733/970864271032320000", "entries": [ "2415048173/15925248", "12248955839/557383680", "-5224943303/103219200" ], "index": [ 2, 2, 6 ], "zero": false }, { "determinant": "7562356981571437623871/7766914168258560000", "entries": [ "11113849571/69672960", "6407437247/278691840", "-2295951529/44236800" ], "index": [ 2, 3, 5 ], "zero": false }, { "determinant": "506160126903716918849/337105649664000000", "entries": [ "1356633053/8294400", "620138983/23224320", "-10360805933/193536000" ], "index": [ 2, 4, 4 ], "zero": false }, { "determinant": "5095008637628134937/2191721811148800", "entries": [ "828032021/5160960", "304013495/9289728", "-2233320157/41287680" ], "index": [ 2, 5, 3 ], "zero": false }, { "determinant": "6264886819092375090739/1941728542064640000", "entries": [ "4060602853/27869184", "804058319/19906560", "-7983376591/154828800" ], "index": [ 2, 6, 2 ], "zero": false }, { "determinant": "64412784605361332959/17612050268160000", "entries": [ "125527123/1105920", "484531523/9953280", "-5736041521/132710400" ], "index": [ 2, 7, 1 ], "zero": false }, { "determinant": "97222488286553861/38698352640000", "entries": [ "70049447/1244160", "69861931/1244160", "-2201389/86400" ], "index": [ 2, 8, 0 ], "zero": false }, { "determinant": "9217001325577843/15288238080000", "entries": [ "4984781/46080", "72934987/4423680", "-95000971/2764800" ], "index": [ 3, 0, 7 ], "zero": false }, { "determinant": "6785163158607173063/17978967982080000", "entries": [ "890434337/7741440", "1174000171/92897280", "-1269812599/38707200" ], "index": [ 3, 1, 6 ], "zero": false }, { "determinant": "298053292272143155439/862990463139840000", "entries": [ "5645749307/46448640", "24539149/2064384", "-30802981331/928972800" ], "index": [ 3, 2, 5 ], "zero": false }, { "determinant": "602583140834048553479/1027369598976000000", "entries": [ "19460704871/154828800", "944483593/66355200", "-2556709717/73728000" ], "index": [ 3, 3, 4 ], "zero": false }, { "determinant": "8006327352676411975693/7191587192832000000", "entries": [ "28929750523/232243200", "188048627/9676800", "-296206717/8192000" ], "index": [ 3, 4, 3 ], "zero": false }, { "determinant": "1162296939008995011953/647242847354880000", "entries": [ "3184453711/27869184", "250343711/9289728", "-2377220351/66355200" ], "index": [ 3, 5, 2 ], "zero": false }, { "determinant": "2763887458726093313/1232843518771200", "entries": [ "104048131/1161216", "416787947/11612160", "-322165363/10321920" ], "index": [ 3, 6, 1 ], "zero": false }, { "determinant": "4098802405316557/2548039680000", "entries": [ "538427/12288", "74566387/1658880", "-4377421/230400" ], "index": [ 3, 7, 0 ], "zero": false }, { "determinant": "29294540752169561/93640458240000", "entries": [ "16200619/193536", "10474433/1290240", "-92655371/4838400" ], "index": [ 4, 0, 6 ], "zero": false }, { "determinant": "439636255433080607/3792438558720000", "entries": [ "770995871/8709120", "176343617/34836480", "-58791353/3225600" ], "index": [ 4, 1, 5 ], "zero": false }, { "determinant": "23982171364101724681/189621927936000000", "entries": [ "16069708799/174182400", "133345157/24883200", "-1856135761/96768000" ], "index": [ 4, 2, 4 ], "zero": false }, { "determinant": "516041021562357502831/1348422598656000000", "entries": [ "5369490713/58060800", "518408213/58060800", "-2715738793/129024000" ], "index": [ 4, 3, 3 ], "zero": false }, { "determinant": "208285669194661350913/252829237248000000", "entries": [ "2492134301/29030400", "1340779823/87091200", "-6477002123/290304000" ], "index": [ 4, 4, 2 ], "zero": false }, { "determinant": "20775520706513740417/17336861982720000", "entries": [ "590891737/8709120", "29894779/1244160", "-344752129/16588800" ], "index": [ 4, 5, 1 ], "zero": false }, { "determinant": "16058587464383767/17557585920000", "entries": [ "15744199/483840", "6981931/207360", "-5424799/403200" ], "index": [ 4, 6, 0 ], "zero": false }, { "determinant": "182740152870833/1203948748800", "entries": [ "2223829/36288", "1324957/387072", "-22106687/2903040" ], "index": [ 5, 0, 5 ], "zero": false }, { "determinant": "7166179946253733/632073093120000", "entries": [ "18616891/290304", "465359/435456", "-109774783/14515200" ], "index": [ 5, 1, 4 ], "zero": false }, { "determinant": "7296043976192064131/121358033879040000", "entries": [ "64716337/995328", "78010777/34836480", "-357873643/38707200" ], "index": [ 5, 2, 3 ], "zero": false }, { "determinant": "34253679965952478951/121358033879040000", "entries": [ "1065160619/17418240", "117546581/17418240", "-1326177281/116121600" ], "index": [ 5, 3, 2 ], "zero": false }, { "determinant": "5412646474278616637/10113169489920000", "entries": [ "70656911/1451520", "61184611/4354560", "-708128639/58060800" ], "index": [ 5, 4, 1 ], "zero": false }, { "determinant": "334706816242739/758487711744", "entries": [ "9778109/435456", "10091323/435456", "-122941/13824" ], "index": [ 5, 5, 0 ], "zero": false }, { "determinant": "157460316547/1828915200", "entries": [ "561511/13440", "49859/24192", "-12427/120960" ], "index": [ 6, 0, 4 ], "zero": false }, { "determinant": "21604922392463/4389396480000", "entries": [ "2066693/48384", "101579/725760", "-621601/604800" ], "index": [ 6, 1, 3 ], "zero": false }, { "determinant": "117614596566799279/1896219279360000", "entries": [ "22159801/544320", "982423/544320", "-49120387/14515200" ], "index": [ 6, 2, 2 ], "zero": false }, { "determinant": "618113799858761/3292047360000", "entries": [ "1687187/51840", "2441809/362880", "-1690243/302400" ], "index": [ 6, 3, 1 ], "zero": false }, { "determinant": "78880435998397/470292480000", "entries": [ "2510357/181440", "2568149/181440", "-1068829/201600" ], "index": [ 6, 4, 0 ], "zero": false }, { "determinant": "2049635404771/29859840000", "entries": [ "89161/3456", "54079/17280", "601027/172800" ], "index": [ 7, 0, 3 ], "zero": false }, { "determinant": "60777535738519/2418647040000", "entries": [ "965767/38880", "4375/3888", "290299/172800" ], "index": [ 7, 1, 2 ], "zero": false }, { "determinant": "30776434008331/604661760000", "entries": [ "1540577/77760", "203897/77760", "-265721/259200" ], "index": [ 7, 2, 1 ], "zero": false }, { "determinant": "418539317/9720000", "entries": [ "7597/1080", "2561/360", "-1189/450" ], "index": [ 7, 3, 0 ], "zero": false }, { "determinant": "4758894317/87480000", "entries": [ "11041/810", "4063/810", "60557/16200" ], "index": [ 8, 0, 2 ], "zero": false }, { "determinant": "1310128039/65610000", "entries": [ "4328/405", "839/405", "3977/2700" ], "index": [ 8, 1, 1 ], "zero": false }, { "determinant": "78479011/16402500", "entries": [ "191/81", "191/81", "-1189/1350" ], "index": [ 8, 2, 0 ], "zero": false }, { "determinant": "526031/22500", "entries": [ "26/5", "26/5", "287/150" ], "index": [ 9, 0, 1 ], "zero": false }, { "entries": [ "0", "0", "0" ], "index": [ 9, 1, 0 ], "zero": true }, { "entries": [ "0", "0", "0" ], "index": [ 10, 0, 0 ], "zero": true } ], "coordinates": [ [ "1", "1" ], [ "3/2", "1/2" ], [ "1", "1/2" ] ], "determinant_floor": "4", "entry_order": [ "11", "22", "12" ], "key": "eq22.B.CBE", "minimum_determinant": "78479011/16402500", "minimum_diagonal_or_scalar": "101579/725760", "passed": true, "polynomials": [ { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8014/27", "powers": [ 0, 1 ] }, { "coefficient": "-24611/54", "powers": [ 0, 2 ] }, { "coefficient": "16715/54", "powers": [ 0, 3 ] }, { "coefficient": "-162", "powers": [ 0, 4 ] }, { "coefficient": "353/6", "powers": [ 0, 5 ] }, { "coefficient": "-61/6", "powers": [ 0, 6 ] }, { "coefficient": "8800/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-682987/216", "powers": [ 1, 2 ] }, { "coefficient": "288701/108", "powers": [ 1, 3 ] }, { "coefficient": "-130505/96", "powers": [ 1, 4 ] }, { "coefficient": "6847/12", "powers": [ 1, 5 ] }, { "coefficient": "-8619/64", "powers": [ 1, 6 ] }, { "coefficient": "-67819/54", "powers": [ 2, 0 ] }, { "coefficient": "-267835/108", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "90721/432", "powers": [ 2, 3 ] }, { "coefficient": "-719/8", "powers": [ 2, 4 ] }, { "coefficient": "18953/96", "powers": [ 2, 5 ] }, { "coefficient": "-7711/96", "powers": [ 2, 6 ] }, { "coefficient": "366949/216", "powers": [ 3, 0 ] }, { "coefficient": "341989/108", "powers": [ 3, 1 ] }, { "coefficient": "-770411/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "-92353/192", "powers": [ 3, 4 ] }, { "coefficient": "-1169/48", "powers": [ 3, 5 ] }, { "coefficient": "45/64", "powers": [ 3, 6 ] }, { "coefficient": "-42355/27", "powers": [ 4, 0 ] }, { "coefficient": "-460979/432", "powers": [ 4, 1 ] }, { "coefficient": "1141/6", "powers": [ 4, 2 ] }, { "coefficient": "254/3", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "-45/32", "powers": [ 4, 5 ] }, { "coefficient": "952763/864", "powers": [ 5, 0 ] }, { "coefficient": "22735/54", "powers": [ 5, 1 ] }, { "coefficient": "-10565/64", "powers": [ 5, 2 ] }, { "coefficient": "-1111/12", "powers": [ 5, 3 ] }, { "coefficient": "315/64", "powers": [ 5, 4 ] }, { "coefficient": "-4193/8", "powers": [ 6, 0 ] }, { "coefficient": "-12985/96", "powers": [ 6, 1 ] }, { "coefficient": "1333/32", "powers": [ 6, 2 ] }, { "coefficient": "-135/16", "powers": [ 6, 3 ] }, { "coefficient": "34801/192", "powers": [ 7, 0 ] }, { "coefficient": "-3275/48", "powers": [ 7, 1 ] }, { "coefficient": "495/64", "powers": [ 7, 2 ] }, { "coefficient": "-3673/96", "powers": [ 8, 0 ] }, { "coefficient": "-225/32", "powers": [ 8, 1 ] }, { "coefficient": "225/64", "powers": [ 9, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8800/27", "powers": [ 0, 1 ] }, { "coefficient": "-67819/54", "powers": [ 0, 2 ] }, { "coefficient": "366949/216", "powers": [ 0, 3 ] }, { "coefficient": "-42355/27", "powers": [ 0, 4 ] }, { "coefficient": "952763/864", "powers": [ 0, 5 ] }, { "coefficient": "-4193/8", "powers": [ 0, 6 ] }, { "coefficient": "34801/192", "powers": [ 0, 7 ] }, { "coefficient": "-3673/96", "powers": [ 0, 8 ] }, { "coefficient": "225/64", "powers": [ 0, 9 ] }, { "coefficient": "8014/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-267835/108", "powers": [ 1, 2 ] }, { "coefficient": "341989/108", "powers": [ 1, 3 ] }, { "coefficient": "-460979/432", "powers": [ 1, 4 ] }, { "coefficient": "22735/54", "powers": [ 1, 5 ] }, { "coefficient": "-12985/96", "powers": [ 1, 6 ] }, { "coefficient": "-3275/48", "powers": [ 1, 7 ] }, { "coefficient": "-225/32", "powers": [ 1, 8 ] }, { "coefficient": "-24611/54", "powers": [ 2, 0 ] }, { "coefficient": "-682987/216", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "-770411/432", "powers": [ 2, 3 ] }, { "coefficient": "1141/6", "powers": [ 2, 4 ] }, { "coefficient": "-10565/64", "powers": [ 2, 5 ] }, { "coefficient": "1333/32", "powers": [ 2, 6 ] }, { "coefficient": "495/64", "powers": [ 2, 7 ] }, { "coefficient": "16715/54", "powers": [ 3, 0 ] }, { "coefficient": "288701/108", "powers": [ 3, 1 ] }, { "coefficient": "90721/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "254/3", "powers": [ 3, 4 ] }, { "coefficient": "-1111/12", "powers": [ 3, 5 ] }, { "coefficient": "-135/16", "powers": [ 3, 6 ] }, { "coefficient": "-162", "powers": [ 4, 0 ] }, { "coefficient": "-130505/96", "powers": [ 4, 1 ] }, { "coefficient": "-719/8", "powers": [ 4, 2 ] }, { "coefficient": "-92353/192", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "315/64", "powers": [ 4, 5 ] }, { "coefficient": "353/6", "powers": [ 5, 0 ] }, { "coefficient": "6847/12", "powers": [ 5, 1 ] }, { "coefficient": "18953/96", "powers": [ 5, 2 ] }, { "coefficient": "-1169/48", "powers": [ 5, 3 ] }, { "coefficient": "-45/32", "powers": [ 5, 4 ] }, { "coefficient": "-61/6", "powers": [ 6, 0 ] }, { "coefficient": "-8619/64", "powers": [ 6, 1 ] }, { "coefficient": "-7711/96", "powers": [ 6, 2 ] }, { "coefficient": "45/64", "powers": [ 6, 3 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "-27145/72", "powers": [ 0, 1 ] }, { "coefficient": "82825/144", "powers": [ 0, 2 ] }, { "coefficient": "-138385/288", "powers": [ 0, 3 ] }, { "coefficient": "140965/576", "powers": [ 0, 4 ] }, { "coefficient": "-6575/64", "powers": [ 0, 5 ] }, { "coefficient": "1615/64", "powers": [ 0, 6 ] }, { "coefficient": "-10858/45", "powers": [ 1, 0 ] }, { "coefficient": "-1991903/720", "powers": [ 1, 1 ] }, { "coefficient": "1696373/360", "powers": [ 1, 2 ] }, { "coefficient": "-1265079/320", "powers": [ 1, 3 ] }, { "coefficient": "2786677/1440", "powers": [ 1, 4 ] }, { "coefficient": "-233731/288", "powers": [ 1, 5 ] }, { "coefficient": "29209/160", "powers": [ 1, 6 ] }, { "coefficient": "323/20", "powers": [ 1, 7 ] }, { "coefficient": "3313/9", "powers": [ 2, 0 ] }, { "coefficient": "6547667/1440", "powers": [ 2, 1 ] }, { "coefficient": "-7402591/2880", "powers": [ 2, 2 ] }, { "coefficient": "419171/288", "powers": [ 2, 3 ] }, { "coefficient": "-182653/360", "powers": [ 2, 4 ] }, { "coefficient": "30349/320", "powers": [ 2, 5 ] }, { "coefficient": "2703/64", "powers": [ 2, 6 ] }, { "coefficient": "-27677/90", "powers": [ 3, 0 ] }, { "coefficient": "-1199431/320", "powers": [ 3, 1 ] }, { "coefficient": "2193073/1440", "powers": [ 3, 2 ] }, { "coefficient": "-274823/180", "powers": [ 3, 3 ] }, { "coefficient": "44559/160", "powers": [ 3, 4 ] }, { "coefficient": "4777/80", "powers": [ 3, 5 ] }, { "coefficient": "28193/180", "powers": [ 4, 0 ] }, { "coefficient": "5072009/2880", "powers": [ 4, 1 ] }, { "coefficient": "-1481879/2880", "powers": [ 4, 2 ] }, { "coefficient": "19233/80", "powers": [ 4, 3 ] }, { "coefficient": "27183/320", "powers": [ 4, 4 ] }, { "coefficient": "-263/4", "powers": [ 5, 0 ] }, { "coefficient": "-208495/288", "powers": [ 5, 1 ] }, { "coefficient": "1535/16", "powers": [ 5, 2 ] }, { "coefficient": "4403/64", "powers": [ 5, 3 ] }, { "coefficient": "323/20", "powers": [ 6, 0 ] }, { "coefficient": "46583/320", "powers": [ 6, 1 ] }, { "coefficient": "3417/80", "powers": [ 6, 2 ] }, { "coefficient": "1615/64", "powers": [ 7, 1 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "C", "B", "E" ], "zero_indices": [ [ 9, 1 ], [ 10, 0 ] ] }, { "bernstein_degree": 9, "coefficient_floor": "5", "coefficients": [ { "determinant": "381503561079371/76441190400", "entries": [ "4916827/55296", "4118393/55296", "-38779/960" ], "index": [ 0, 0, 9 ], "zero": false }, { "determinant": "217054121167217/32248627200", "entries": [ "13584721/124416", "866297/10368", "-46957/960" ], "index": [ 0, 1, 8 ], "zero": false }, { "determinant": "240703460393675/27518828544", "entries": [ "7425943/55296", "44860637/497664", "-801167/13824" ], "index": [ 0, 2, 7 ], "zero": false }, { "determinant": "11616905686370227/1053455155200", "entries": [ "24250385/145152", "26965787/290304", "-193009/2880" ], "index": [ 0, 3, 6 ], "zero": false }, { "determinant": "132240118433441/9754214400", "entries": [ "489629/2304", "13131773/145152", "-18214177/241920" ], "index": [ 0, 4, 5 ], "zero": false }, { "determinant": "3554232215113/219469824", "entries": [ "10127027/36288", "494981/6048", "-493027/6048" ], "index": [ 0, 5, 4 ], "zero": false }, { "determinant": "2414901385862999/131681894400", "entries": [ "27621509/72576", "4837303/72576", "-1690057/20160" ], "index": [ 0, 6, 3 ], "zero": false }, { "determinant": "2320397086213/125971200", "entries": [ "131032/243", "118949/2592", "-171791/2160" ], "index": [ 0, 7, 2 ], "zero": false }, { "determinant": "438582810613/31492800", "entries": [ "63989/81", "11155/486", "-23347/360" ], "index": [ 0, 8, 1 ], "zero": false }, { "determinant": "3612584/729", "entries": [ "32062/27", "140/27", "-104/3" ], "index": [ 0, 9, 0 ], "zero": false }, { "determinant": "232767351242494039/24766945689600", "entries": [ "17645299/62208", "19692511/248832", "-189502577/1658880" ], "index": [ 1, 0, 8 ], "zero": false }, { "determinant": "19265958116568414079/1585084524134400", "entries": [ "331840397/995328", "92914367/995328", "-1827762037/13271040" ], "index": [ 1, 1, 7 ], "zero": false }, { "determinant": "5998437791305254437/404526779596800", "entries": [ "112133905/290304", "26245243/248832", "-207694171/1290240" ], "index": [ 1, 2, 6 ], "zero": false }, { "determinant": "20730164296881652951/1213580338790400", "entries": [ "1503109/3402", "24691069/217728", "-2110196881/11612160" ], "index": [ 1, 3, 5 ], "zero": false }, { "determinant": "1273526850701671033/67722117120000", "entries": [ "19449883/38880", "125172349/1088640", "-204000203/1036800" ], "index": [ 1, 4, 4 ], "zero": false }, { "determinant": "246351598644929287/12135803387904", "entries": [ "35014211/62208", "47131031/435456", "-234037753/1161216" ], "index": [ 1, 5, 3 ], "zero": false }, { "determinant": "11644449632605271/526727577600", "entries": [ "11487211/18144", "3330757/36288", "-6557687/34560" ], "index": [ 1, 6, 2 ], "zero": false }, { "determinant": "63944558333191/2687385600", "entries": [ "1861717/2592", "169955/2592", "-7913197/51840" ], "index": [ 1, 7, 1 ], "zero": false }, { "determinant": "402524788/19683", "entries": [ "202150/243", "2590/81", "-6352/81" ], "index": [ 1, 8, 0 ], "zero": false }, { "determinant": "2984067654509073491/396271131033600", "entries": [ "746986211/1990656", "166928689/1990656", "-1026605801/6635520" ], "index": [ 2, 0, 7 ], "zero": false }, { "determinant": "29451524238612535/3033950846976", "entries": [ "1505134277/3483648", "12529181/124416", "-1667929/9072" ], "index": [ 2, 1, 6 ], "zero": false }, { "determinant": "5101886427323631151/436888921964544", "entries": [ "2544302795/5225472", "600707381/5225472", "-1466371829/6967296" ], "index": [ 2, 2, 5 ], "zero": false }, { "determinant": "100495093585041301639/7584877117440000", "entries": [ "2333749727/4354560", "107920009/870912", "-2231152859/9676800" ], "index": [ 2, 3, 4 ], "zero": false }, { "determinant": "774027968238329879/52672757760000", "entries": [ "277887161/483840", "181008377/1451520", "-865803793/3628800" ], "index": [ 2, 4, 3 ], "zero": false }, { "determinant": "2872693446875944999/170659735142400", "entries": [ "194758553/326592", "74780731/653184", "-987626567/4354560" ], "index": [ 2, 5, 2 ], "zero": false }, { "determinant": "316762609626025/15801827328", "entries": [ "21601385/36288", "9893405/108864", "-13392565/72576" ], "index": [ 2, 6, 1 ], "zero": false }, { "determinant": "3825837155567/188956800", "entries": [ "2192921/3888", "102367/1944", "-39377/405" ], "index": [ 2, 7, 0 ], "zero": false }, { "determinant": "375035702432766631/59929893273600", "entries": [ "311690549/774144", "4663867/48384", "-1396731013/7741440" ], "index": [ 3, 0, 6 ], "zero": false }, { "determinant": "2064534357431964181/258897138941952", "entries": [ "74831191/165888", "394994917/3483648", "-643411705/3096576" ], "index": [ 3, 1, 5 ], "zero": false }, { "determinant": "18095991223515975379/1896219279360000", "entries": [ "854180269/1741824", "220356847/1741824", "-207858107/907200" ], "index": [ 3, 2, 4 ], "zero": false }, { "determinant": "3087050301049451213/280921374720000", "entries": [ "49658405/96768", "192282323/1451520", "-2310109423/9676800" ], "index": [ 3, 3, 3 ], "zero": false }, { "determinant": "863552848713367793/67722117120000", "entries": [ "39631853/77760", "277851487/2177280", "-26342663/115200" ], "index": [ 3, 4, 2 ], "zero": false }, { "determinant": "289632998358791/19110297600", "entries": [ "50854675/108864", "1307779/12096", "-545815513/2903040" ], "index": [ 3, 5, 1 ], "zero": false }, { "determinant": "5348273597711/342921600", "entries": [ "2232455/6048", "159499/2268", "-36647/360" ], "index": [ 3, 6, 0 ], "zero": false }, { "determinant": "291301136342493173/44947419955200", "entries": [ "226172845/580608", "403405/3456", "-764298853/3870720" ], "index": [ 4, 0, 5 ], "zero": false }, { "determinant": "60366161740957337711/7584877117440000", "entries": [ "1825744579/4354560", "571293767/4354560", "-2098936937/9676800" ], "index": [ 4, 1, 4 ], "zero": false }, { "determinant": "70361241064723014019/7584877117440000", "entries": [ "3756479491/8709120", "1216977577/8709120", "-242803411/1075200" ], "index": [ 4, 2, 3 ], "zero": false }, { "determinant": "19776962534895210271/1896219279360000", "entries": [ "903303011/2177280", "37649209/272160", "-3145555909/14515200" ], "index": [ 4, 3, 2 ], "zero": false }, { "determinant": "5341316600438783/470292480000", "entries": [ "42978773/120960", "26638649/217728", "-4515979/25200" ], "index": [ 4, 4, 1 ], "zero": false }, { "determinant": "31994727922439/3086294400", "entries": [ "12689549/54432", "28063/324", "-2248109/22680" ], "index": [ 4, 5, 0 ], "zero": false }, { "determinant": "34255267430725393/4815794995200", "entries": [ "101636057/290304", "20444065/145152", "-397561519/1935360" ], "index": [ 5, 0, 4 ], "zero": false }, { "determinant": "277836087326950871/33710564966400", "entries": [ "308469305/870912", "3623173/24192", "-409658959/1935360" ], "index": [ 5, 1, 3 ], "zero": false }, { "determinant": "6043635983054274511/682638940569600", "entries": [ "865707247/2612736", "48922367/326592", "-1758734461/8709120" ], "index": [ 5, 2, 2 ], "zero": false }, { "determinant": "13432622255602807/1580182732800", "entries": [ "116401105/435456", "19732843/145152", "-60546467/362880" ], "index": [ 5, 3, 1 ], "zero": false }, { "determinant": "36102813630743/6172588800", "entries": [ "5180659/36288", "695381/6804", "-29452/315" ], "index": [ 5, 4, 0 ], "zero": false }, { "determinant": "4886645286756403/674211299328", "entries": [ "339504575/1161216", "189287185/1161216", "-25936907/129024" ], "index": [ 6, 0, 3 ], "zero": false }, { "determinant": "142925743394657341/18962192793600", "entries": [ "115971865/435456", "141815027/870912", "-30528089/161280" ], "index": [ 6, 1, 2 ], "zero": false }, { "determinant": "1212967309816169/189621927936", "entries": [ "177351715/870912", "130357967/870912", "-45052241/290304" ], "index": [ 6, 2, 1 ], "zero": false }, { "determinant": "1306027428919/514382400", "entries": [ "6296827/72576", "18985/162", "-1320619/15120" ], "index": [ 6, 3, 0 ], "zero": false }, { "determinant": "205067876399237/30958682112", "entries": [ "54925205/248832", "22014769/124416", "-466801/2592" ], "index": [ 7, 0, 2 ], "zero": false }, { "determinant": "665179872389987/128994508800", "entries": [ "6704183/41472", "20331853/124416", "-7558841/51840" ], "index": [ 7, 1, 1 ], "zero": false }, { "determinant": "26709772643/40310784", "entries": [ "3484717/62208", "85127/648", "-35351/432" ], "index": [ 7, 2, 0 ], "zero": false }, { "determinant": "15175077556057/3023308800", "entries": [ "534269/3888", "5488061/31104", "-898513/6480" ], "index": [ 8, 0, 1 ], "zero": false }, { "determinant": "865893637/2952450", "entries": [ "21125/486", "35075/243", "-31321/405" ], "index": [ 8, 1, 0 ], "zero": false }, { "determinant": "43735879/32400", "entries": [ "3137/72", "1400/9", "-13261/180" ], "index": [ 9, 0, 0 ], "zero": false } ], "coordinates": [ [ "1", "0" ], [ "2", "0" ], [ "3/2", "1/2" ] ], "determinant_floor": "290", "entry_order": [ "11", "22", "12" ], "key": "eq22.B.SUB", "minimum_determinant": "865893637/2952450", "minimum_diagonal_or_scalar": "140/27", "passed": true, "polynomials": [ { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8014/27", "powers": [ 0, 1 ] }, { "coefficient": "-24611/54", "powers": [ 0, 2 ] }, { "coefficient": "16715/54", "powers": [ 0, 3 ] }, { "coefficient": "-162", "powers": [ 0, 4 ] }, { "coefficient": "353/6", "powers": [ 0, 5 ] }, { "coefficient": "-61/6", "powers": [ 0, 6 ] }, { "coefficient": "8800/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-682987/216", "powers": [ 1, 2 ] }, { "coefficient": "288701/108", "powers": [ 1, 3 ] }, { "coefficient": "-130505/96", "powers": [ 1, 4 ] }, { "coefficient": "6847/12", "powers": [ 1, 5 ] }, { "coefficient": "-8619/64", "powers": [ 1, 6 ] }, { "coefficient": "-67819/54", "powers": [ 2, 0 ] }, { "coefficient": "-267835/108", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "90721/432", "powers": [ 2, 3 ] }, { "coefficient": "-719/8", "powers": [ 2, 4 ] }, { "coefficient": "18953/96", "powers": [ 2, 5 ] }, { "coefficient": "-7711/96", "powers": [ 2, 6 ] }, { "coefficient": "366949/216", "powers": [ 3, 0 ] }, { "coefficient": "341989/108", "powers": [ 3, 1 ] }, { "coefficient": "-770411/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "-92353/192", "powers": [ 3, 4 ] }, { "coefficient": "-1169/48", "powers": [ 3, 5 ] }, { "coefficient": "45/64", "powers": [ 3, 6 ] }, { "coefficient": "-42355/27", "powers": [ 4, 0 ] }, { "coefficient": "-460979/432", "powers": [ 4, 1 ] }, { "coefficient": "1141/6", "powers": [ 4, 2 ] }, { "coefficient": "254/3", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "-45/32", "powers": [ 4, 5 ] }, { "coefficient": "952763/864", "powers": [ 5, 0 ] }, { "coefficient": "22735/54", "powers": [ 5, 1 ] }, { "coefficient": "-10565/64", "powers": [ 5, 2 ] }, { "coefficient": "-1111/12", "powers": [ 5, 3 ] }, { "coefficient": "315/64", "powers": [ 5, 4 ] }, { "coefficient": "-4193/8", "powers": [ 6, 0 ] }, { "coefficient": "-12985/96", "powers": [ 6, 1 ] }, { "coefficient": "1333/32", "powers": [ 6, 2 ] }, { "coefficient": "-135/16", "powers": [ 6, 3 ] }, { "coefficient": "34801/192", "powers": [ 7, 0 ] }, { "coefficient": "-3275/48", "powers": [ 7, 1 ] }, { "coefficient": "495/64", "powers": [ 7, 2 ] }, { "coefficient": "-3673/96", "powers": [ 8, 0 ] }, { "coefficient": "-225/32", "powers": [ 8, 1 ] }, { "coefficient": "225/64", "powers": [ 9, 0 ] } ], "variables": [ "v", "b" ] }, { "degree": 9, "terms": [ { "coefficient": "3194/27", "powers": [ 0, 0 ] }, { "coefficient": "8800/27", "powers": [ 0, 1 ] }, { "coefficient": "-67819/54", "powers": [ 0, 2 ] }, { "coefficient": "366949/216", "powers": [ 0, 3 ] }, { "coefficient": "-42355/27", "powers": [ 0, 4 ] }, { "coefficient": "952763/864", "powers": [ 0, 5 ] }, { "coefficient": "-4193/8", "powers": [ 0, 6 ] }, { "coefficient": "34801/192", "powers": [ 0, 7 ] }, { "coefficient": "-3673/96", "powers": [ 0, 8 ] }, { "coefficient": "225/64", "powers": [ 0, 9 ] }, { "coefficient": "8014/27", "powers": [ 1, 0 ] }, { "coefficient": "42209/27", "powers": [ 1, 1 ] }, { "coefficient": "-267835/108", "powers": [ 1, 2 ] }, { "coefficient": "341989/108", "powers": [ 1, 3 ] }, { "coefficient": "-460979/432", "powers": [ 1, 4 ] }, { "coefficient": "22735/54", "powers": [ 1, 5 ] }, { "coefficient": "-12985/96", "powers": [ 1, 6 ] }, { "coefficient": "-3275/48", "powers": [ 1, 7 ] }, { "coefficient": "-225/32", "powers": [ 1, 8 ] }, { "coefficient": "-24611/54", "powers": [ 2, 0 ] }, { "coefficient": "-682987/216", "powers": [ 2, 1 ] }, { "coefficient": "20537/27", "powers": [ 2, 2 ] }, { "coefficient": "-770411/432", "powers": [ 2, 3 ] }, { "coefficient": "1141/6", "powers": [ 2, 4 ] }, { "coefficient": "-10565/64", "powers": [ 2, 5 ] }, { "coefficient": "1333/32", "powers": [ 2, 6 ] }, { "coefficient": "495/64", "powers": [ 2, 7 ] }, { "coefficient": "16715/54", "powers": [ 3, 0 ] }, { "coefficient": "288701/108", "powers": [ 3, 1 ] }, { "coefficient": "90721/432", "powers": [ 3, 2 ] }, { "coefficient": "126047/108", "powers": [ 3, 3 ] }, { "coefficient": "254/3", "powers": [ 3, 4 ] }, { "coefficient": "-1111/12", "powers": [ 3, 5 ] }, { "coefficient": "-135/16", "powers": [ 3, 6 ] }, { "coefficient": "-162", "powers": [ 4, 0 ] }, { "coefficient": "-130505/96", "powers": [ 4, 1 ] }, { "coefficient": "-719/8", "powers": [ 4, 2 ] }, { "coefficient": "-92353/192", "powers": [ 4, 3 ] }, { "coefficient": "-13/32", "powers": [ 4, 4 ] }, { "coefficient": "315/64", "powers": [ 4, 5 ] }, { "coefficient": "353/6", "powers": [ 5, 0 ] }, { "coefficient": "6847/12", "powers": [ 5, 1 ] }, { "coefficient": "18953/96", "powers": [ 5, 2 ] }, { "coefficient": "-1169/48", "powers": [ 5, 3 ] }, { "coefficient": "-45/32", "powers": [ 5, 4 ] }, { "coefficient": "-61/6", "powers": [ 6, 0 ] }, { "coefficient": "-8619/64", "powers": [ 6, 1 ] }, { "coefficient": "-7711/96", "powers": [ 6, 2 ] }, { "coefficient": "45/64", "powers": [ 6, 3 ] } ], "variables": [ "v", "b" ] }, { "degree": 8, "terms": [ { "coefficient": "-27145/72", "powers": [ 0, 1 ] }, { "coefficient": "82825/144", "powers": [ 0, 2 ] }, { "coefficient": "-138385/288", "powers": [ 0, 3 ] }, { "coefficient": "140965/576", "powers": [ 0, 4 ] }, { "coefficient": "-6575/64", "powers": [ 0, 5 ] }, { "coefficient": "1615/64", "powers": [ 0, 6 ] }, { "coefficient": "-10858/45", "powers": [ 1, 0 ] }, { "coefficient": "-1991903/720", "powers": [ 1, 1 ] }, { "coefficient": "1696373/360", "powers": [ 1, 2 ] }, { "coefficient": "-1265079/320", "powers": [ 1, 3 ] }, { "coefficient": "2786677/1440", "powers": [ 1, 4 ] }, { "coefficient": "-233731/288", "powers": [ 1, 5 ] }, { "coefficient": "29209/160", "powers": [ 1, 6 ] }, { "coefficient": "323/20", "powers": [ 1, 7 ] }, { "coefficient": "3313/9", "powers": [ 2, 0 ] }, { "coefficient": "6547667/1440", "powers": [ 2, 1 ] }, { "coefficient": "-7402591/2880", "powers": [ 2, 2 ] }, { "coefficient": "419171/288", "powers": [ 2, 3 ] }, { "coefficient": "-182653/360", "powers": [ 2, 4 ] }, { "coefficient": "30349/320", "powers": [ 2, 5 ] }, { "coefficient": "2703/64", "powers": [ 2, 6 ] }, { "coefficient": "-27677/90", "powers": [ 3, 0 ] }, { "coefficient": "-1199431/320", "powers": [ 3, 1 ] }, { "coefficient": "2193073/1440", "powers": [ 3, 2 ] }, { "coefficient": "-274823/180", "powers": [ 3, 3 ] }, { "coefficient": "44559/160", "powers": [ 3, 4 ] }, { "coefficient": "4777/80", "powers": [ 3, 5 ] }, { "coefficient": "28193/180", "powers": [ 4, 0 ] }, { "coefficient": "5072009/2880", "powers": [ 4, 1 ] }, { "coefficient": "-1481879/2880", "powers": [ 4, 2 ] }, { "coefficient": "19233/80", "powers": [ 4, 3 ] }, { "coefficient": "27183/320", "powers": [ 4, 4 ] }, { "coefficient": "-263/4", "powers": [ 5, 0 ] }, { "coefficient": "-208495/288", "powers": [ 5, 1 ] }, { "coefficient": "1535/16", "powers": [ 5, 2 ] }, { "coefficient": "4403/64", "powers": [ 5, 3 ] }, { "coefficient": "323/20", "powers": [ 6, 0 ] }, { "coefficient": "46583/320", "powers": [ 6, 1 ] }, { "coefficient": "3417/80", "powers": [ 6, 2 ] }, { "coefficient": "1615/64", "powers": [ 7, 1 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "S", "U", "B" ], "zero_indices": [] }, { "bernstein_degree": 6, "coefficient_floor": "9/10", "coefficients": [ { "entries": [ "1865/36" ], "index": [ 0, 0, 6 ], "zero": false }, { "entries": [ "10265/216" ], "index": [ 0, 1, 5 ], "zero": false }, { "entries": [ "2393/60" ], "index": [ 0, 2, 4 ], "zero": false }, { "entries": [ "4327/144" ], "index": [ 0, 3, 3 ], "zero": false }, { "entries": [ "5197/270" ], "index": [ 0, 4, 2 ], "zero": false }, { "entries": [ "79/9" ], "index": [ 0, 5, 1 ], "zero": false }, { "entries": [ "0" ], "index": [ 0, 6, 0 ], "zero": true }, { "entries": [ "5281/108" ], "index": [ 1, 0, 5 ], "zero": false }, { "entries": [ "5771/120" ], "index": [ 1, 1, 4 ], "zero": false }, { "entries": [ "7223/180" ], "index": [ 1, 2, 3 ], "zero": false }, { "entries": [ "12187/432" ], "index": [ 1, 3, 2 ], "zero": false }, { "entries": [ "281/18" ], "index": [ 1, 4, 1 ], "zero": false }, { "entries": [ "17/3" ], "index": [ 1, 5, 0 ], "zero": false }, { "entries": [ "21811/540" ], "index": [ 2, 0, 4 ], "zero": false }, { "entries": [ "40691/1080" ], "index": [ 2, 1, 3 ], "zero": false }, { "entries": [ "113/4" ], "index": [ 2, 2, 2 ], "zero": false }, { "entries": [ "37489/2160" ], "index": [ 2, 3, 1 ], "zero": false }, { "entries": [ "2783/270" ], "index": [ 2, 4, 0 ], "zero": false }, { "entries": [ "1367/60" ], "index": [ 3, 0, 3 ], "zero": false }, { "entries": [ "22549/1080" ], "index": [ 3, 1, 2 ], "zero": false }, { "entries": [ "339/20" ], "index": [ 3, 2, 1 ], "zero": false }, { "entries": [ "2633/144" ], "index": [ 3, 3, 0 ], "zero": false }, { "entries": [ "379/108" ], "index": [ 4, 0, 2 ], "zero": false }, { "entries": [ "4763/360" ], "index": [ 4, 1, 1 ], "zero": false }, { "entries": [ "1075/36" ], "index": [ 4, 2, 0 ], "zero": false }, { "entries": [ "101/108" ], "index": [ 5, 0, 1 ], "zero": false }, { "entries": [ "8899/216" ], "index": [ 5, 1, 0 ], "zero": false }, { "entries": [ "1597/36" ], "index": [ 6, 0, 0 ], "zero": false } ], "coordinates": [ [ "0", "0" ], [ "1", "1" ], [ "2", "0" ] ], "determinant_floor": null, "entry_order": [ "scalar" ], "key": "eq23.Lv.OCU", "minimum_determinant": null, "minimum_diagonal_or_scalar": "101/108", "passed": true, "polynomials": [ { "degree": 4, "terms": [ { "coefficient": "1597/36", "powers": [ 0, 0 ] }, { "coefficient": "4007/36", "powers": [ 0, 1 ] }, { "coefficient": "-182", "powers": [ 0, 2 ] }, { "coefficient": "353/4", "powers": [ 0, 3 ] }, { "coefficient": "-61/4", "powers": [ 0, 4 ] }, { "coefficient": "-2345/18", "powers": [ 1, 0 ] }, { "coefficient": "-4073/36", "powers": [ 1, 1 ] }, { "coefficient": "319/4", "powers": [ 1, 2 ] }, { "coefficient": "-23/2", "powers": [ 1, 3 ] }, { "coefficient": "345/2", "powers": [ 2, 0 ] }, { "coefficient": "64", "powers": [ 2, 1 ] }, { "coefficient": "-101/4", "powers": [ 2, 2 ] }, { "coefficient": "-293/4", "powers": [ 3, 0 ] }, { "coefficient": "-79/4", "powers": [ 3, 1 ] }, { "coefficient": "41/4", "powers": [ 4, 0 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "O", "C", "U" ], "zero_indices": [ [ 0, 6 ] ] }, { "bernstein_degree": 9, "coefficient_floor": "19/100", "coefficients": [ { "entries": [ "0" ], "index": [ 0, 0, 9 ], "zero": true }, { "entries": [ "0" ], "index": [ 0, 1, 8 ], "zero": true }, { "entries": [ "0" ], "index": [ 0, 2, 7 ], "zero": true }, { "entries": [ "323/1680" ], "index": [ 0, 3, 6 ], "zero": false }, { "entries": [ "43537/53760" ], "index": [ 0, 4, 5 ], "zero": false }, { "entries": [ "53503/32256" ], "index": [ 0, 5, 4 ], "zero": false }, { "entries": [ "170363/43008" ], "index": [ 0, 6, 3 ], "zero": false }, { "entries": [ "1771307/92160" ], "index": [ 0, 7, 2 ], "zero": false }, { "entries": [ "14783819/184320" ], "index": [ 0, 8, 1 ], "zero": false }, { "entries": [ "4906667/20480" ], "index": [ 0, 9, 0 ], "zero": false }, { "entries": [ "0" ], "index": [ 1, 0, 8 ], "zero": true }, { "entries": [ "0" ], "index": [ 1, 1, 7 ], "zero": true }, { "entries": [ "1081/3780" ], "index": [ 1, 2, 6 ], "zero": false }, { "entries": [ "44881/48384" ], "index": [ 1, 3, 5 ], "zero": false }, { "entries": [ "4115117/2419200" ], "index": [ 1, 4, 4 ], "zero": false }, { "entries": [ "219913/35840" ], "index": [ 1, 5, 3 ], "zero": false }, { "entries": [ "59580023/1935360" ], "index": [ 1, 6, 2 ], "zero": false }, { "entries": [ "31670249/276480" ], "index": [ 1, 7, 1 ], "zero": false }, { "entries": [ "173232449/552960" ], "index": [ 1, 8, 0 ], "zero": false }, { "entries": [ "0" ], "index": [ 2, 0, 7 ], "zero": true }, { "entries": [ "365/504" ], "index": [ 2, 1, 6 ], "zero": false }, { "entries": [ "647063/362880" ], "index": [ 2, 2, 5 ], "zero": false }, { "entries": [ "102013/30240" ], "index": [ 2, 3, 4 ], "zero": false }, { "entries": [ "4989151/403200" ], "index": [ 2, 4, 3 ], "zero": false }, { "entries": [ "73273103/1451520" ], "index": [ 2, 5, 2 ], "zero": false }, { "entries": [ "62497543/387072" ], "index": [ 2, 6, 1 ], "zero": false }, { "entries": [ "7418875/18432" ], "index": [ 2, 7, 0 ], "zero": false }, { "entries": [ "3089/1260" ], "index": [ 3, 0, 6 ], "zero": false }, { "entries": [ "14381/2880" ], "index": [ 3, 1, 5 ], "zero": false }, { "entries": [ "1120331/120960" ], "index": [ 3, 2, 4 ], "zero": false }, { "entries": [ "2626321/100800" ], "index": [ 3, 3, 3 ], "zero": false }, { "entries": [ "916569/11200" ], "index": [ 3, 4, 2 ], "zero": false }, { "entries": [ "43308065/193536" ], "index": [ 3, 5, 1 ], "zero": false }, { "entries": [ "328219561/645120" ], "index": [ 3, 6, 0 ], "zero": false }, { "entries": [ "139987/10080" ], "index": [ 4, 0, 5 ], "zero": false }, { "entries": [ "131389/5600" ], "index": [ 4, 1, 4 ], "zero": false }, { "entries": [ "138529/2688" ], "index": [ 4, 2, 3 ], "zero": false }, { "entries": [ "77891537/604800" ], "index": [ 4, 3, 2 ], "zero": false }, { "entries": [ "735490289/2419200" ], "index": [ 4, 4, 1 ], "zero": false }, { "entries": [ "305853367/483840" ], "index": [ 4, 5, 0 ], "zero": false }, { "entries": [ "513743/10080" ], "index": [ 5, 0, 4 ], "zero": false }, { "entries": [ "378103/4032" ], "index": [ 5, 1, 3 ], "zero": false }, { "entries": [ "14122363/72576" ], "index": [ 5, 2, 2 ], "zero": false }, { "entries": [ "19452061/48384" ], "index": [ 5, 3, 1 ], "zero": false }, { "entries": [ "17671997/23040" ], "index": [ 5, 4, 0 ], "zero": false }, { "entries": [ "56519/360" ], "index": [ 6, 0, 3 ], "zero": false }, { "entries": [ "933893/3360" ], "index": [ 6, 1, 2 ], "zero": false }, { "entries": [ "1926509/3780" ], "index": [ 6, 2, 1 ], "zero": false }, { "entries": [ "36165557/40320" ], "index": [ 6, 3, 0 ], "zero": false }, { "entries": [ "265379/720" ], "index": [ 7, 0, 2 ], "zero": false }, { "entries": [ "872419/1440" ], "index": [ 7, 1, 1 ], "zero": false }, { "entries": [ "1715005/1728" ], "index": [ 7, 2, 0 ], "zero": false }, { "entries": [ "29054/45" ], "index": [ 8, 0, 1 ], "zero": false }, { "entries": [ "45287/45" ], "index": [ 8, 1, 0 ], "zero": false }, { "entries": [ "12776/15" ], "index": [ 9, 0, 0 ], "zero": false } ], "coordinates": [ [ "0", "0" ], [ "1", "0" ], [ "1", "1" ] ], "determinant_floor": null, "entry_order": [ "scalar" ], "key": "eq23.Fplus.OSC", "minimum_determinant": null, "minimum_diagonal_or_scalar": "323/1680", "passed": true, "polynomials": [ { "degree": 8, "terms": [ { "coefficient": "12776/15", "powers": [ 0, 0 ] }, { "coefficient": "-16233/5", "powers": [ 0, 1 ] }, { "coefficient": "258109/48", "powers": [ 0, 2 ] }, { "coefficient": "-1807289/480", "powers": [ 0, 3 ] }, { "coefficient": "364747/1280", "powers": [ 0, 4 ] }, { "coefficient": "969359/640", "powers": [ 0, 5 ] }, { "coefficient": "-3438409/2560", "powers": [ 0, 6 ] }, { "coefficient": "138635/256", "powers": [ 0, 7 ] }, { "coefficient": "-354025/4096", "powers": [ 0, 8 ] }, { "coefficient": "6959/5", "powers": [ 1, 0 ] }, { "coefficient": "-44755/24", "powers": [ 1, 1 ] }, { "coefficient": "250871/160", "powers": [ 1, 2 ] }, { "coefficient": "-2937539/960", "powers": [ 1, 3 ] }, { "coefficient": "309567/128", "powers": [ 1, 4 ] }, { "coefficient": "-686699/1280", "powers": [ 1, 5 ] }, { "coefficient": "22149/1280", "powers": [ 1, 6 ] }, { "coefficient": "-50207/2560", "powers": [ 1, 7 ] }, { "coefficient": "-1456207/240", "powers": [ 2, 0 ] }, { "coefficient": "1017207/160", "powers": [ 2, 1 ] }, { "coefficient": "-6214861/1920", "powers": [ 2, 2 ] }, { "coefficient": "832403/320", "powers": [ 2, 3 ] }, { "coefficient": "-629191/2560", "powers": [ 2, 4 ] }, { "coefficient": "-1188169/1280", "powers": [ 2, 5 ] }, { "coefficient": "293433/1024", "powers": [ 2, 6 ] }, { "coefficient": "700955/96", "powers": [ 3, 0 ] }, { "coefficient": "-1079363/960", "powers": [ 3, 1 ] }, { "coefficient": "-186089/64", "powers": [ 3, 2 ] }, { "coefficient": "-70557/640", "powers": [ 3, 3 ] }, { "coefficient": "349773/1280", "powers": [ 3, 4 ] }, { "coefficient": "318263/2560", "powers": [ 3, 5 ] }, { "coefficient": "-6409013/1280", "powers": [ 4, 0 ] }, { "coefficient": "-2511621/640", "powers": [ 4, 1 ] }, { "coefficient": "12024377/2560", "powers": [ 4, 2 ] }, { "coefficient": "-314931/1280", "powers": [ 4, 3 ] }, { "coefficient": "-2305319/10240", "powers": [ 4, 4 ] }, { "coefficient": "1778831/640", "powers": [ 5, 0 ] }, { "coefficient": "826193/256", "powers": [ 5, 1 ] }, { "coefficient": "-3067081/1280", "powers": [ 5, 2 ] }, { "coefficient": "401207/2560", "powers": [ 5, 3 ] }, { "coefficient": "-3751753/2560", "powers": [ 6, 0 ] }, { "coefficient": "-1192059/1280", "powers": [ 6, 1 ] }, { "coefficient": "2255133/5120", "powers": [ 6, 2 ] }, { "coefficient": "138635/256", "powers": [ 7, 0 ] }, { "coefficient": "184801/2560", "powers": [ 7, 1 ] }, { "coefficient": "-354025/4096", "powers": [ 8, 0 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "O", "S", "C" ], "zero_indices": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 1, 0 ], [ 1, 1 ], [ 2, 0 ] ] }, { "bernstein_degree": 9, "coefficient_floor": "9/1000", "coefficients": [ { "entries": [ "62/15" ], "index": [ 0, 0, 9 ], "zero": false }, { "entries": [ "361/135" ], "index": [ 0, 1, 8 ], "zero": false }, { "entries": [ "209/216" ], "index": [ 0, 2, 7 ], "zero": false }, { "entries": [ "17/72" ], "index": [ 0, 3, 6 ], "zero": false }, { "entries": [ "37/756" ], "index": [ 0, 4, 5 ], "zero": false }, { "entries": [ "37/3780" ], "index": [ 0, 5, 4 ], "zero": false }, { "entries": [ "0" ], "index": [ 0, 6, 3 ], "zero": true }, { "entries": [ "0" ], "index": [ 0, 7, 2 ], "zero": true }, { "entries": [ "0" ], "index": [ 0, 8, 1 ], "zero": true }, { "entries": [ "0" ], "index": [ 0, 9, 0 ], "zero": true }, { "entries": [ "6661/135" ], "index": [ 1, 0, 8 ], "zero": false }, { "entries": [ "1063/45" ], "index": [ 1, 1, 7 ], "zero": false }, { "entries": [ "166459/15120" ], "index": [ 1, 2, 6 ], "zero": false }, { "entries": [ "8713/1680" ], "index": [ 1, 3, 5 ], "zero": false }, { "entries": [ "10229/4200" ], "index": [ 1, 4, 4 ], "zero": false }, { "entries": [ "199/189" ], "index": [ 1, 5, 3 ], "zero": false }, { "entries": [ "2641/7560" ], "index": [ 1, 6, 2 ], "zero": false }, { "entries": [ "0" ], "index": [ 1, 7, 1 ], "zero": true }, { "entries": [ "0" ], "index": [ 1, 8, 0 ], "zero": true }, { "entries": [ "9523/540" ], "index": [ 2, 0, 7 ], "zero": false }, { "entries": [ "105377/7560" ], "index": [ 2, 1, 6 ], "zero": false }, { "entries": [ "27217/2592" ], "index": [ 2, 2, 5 ], "zero": false }, { "entries": [ "357809/50400" ], "index": [ 2, 3, 4 ], "zero": false }, { "entries": [ "580001/151200" ], "index": [ 2, 4, 3 ], "zero": false }, { "entries": [ "119033/90720" ], "index": [ 2, 5, 2 ], "zero": false }, { "entries": [ "149/1512" ], "index": [ 2, 6, 1 ], "zero": false }, { "entries": [ "0" ], "index": [ 2, 7, 0 ], "zero": true }, { "entries": [ "2497/5040" ], "index": [ 3, 0, 6 ], "zero": false }, { "entries": [ "60959/8640" ], "index": [ 3, 1, 5 ], "zero": false }, { "entries": [ "1212941/151200" ], "index": [ 3, 2, 4 ], "zero": false }, { "entries": [ "39353/6300" ], "index": [ 3, 3, 3 ], "zero": false }, { "entries": [ "161489/50400" ], "index": [ 3, 4, 2 ], "zero": false }, { "entries": [ "41857/60480" ], "index": [ 3, 5, 1 ], "zero": false }, { "entries": [ "323/1680" ], "index": [ 3, 6, 0 ], "zero": false }, { "entries": [ "104035/13824" ], "index": [ 4, 0, 5 ], "zero": false }, { "entries": [ "16247509/2419200" ], "index": [ 4, 1, 4 ], "zero": false }, { "entries": [ "1860893/345600" ], "index": [ 4, 2, 3 ], "zero": false }, { "entries": [ "2963357/806400" ], "index": [ 4, 3, 2 ], "zero": false }, { "entries": [ "558619/345600" ], "index": [ 4, 4, 1 ], "zero": false }, { "entries": [ "43537/53760" ], "index": [ 4, 5, 0 ], "zero": false }, { "entries": [ "2927761/96768" ], "index": [ 5, 0, 4 ], "zero": false }, { "entries": [ "292319/24192" ], "index": [ 5, 1, 3 ], "zero": false }, { "entries": [ "1225075/290304" ], "index": [ 5, 2, 2 ], "zero": false }, { "entries": [ "48019/26880" ], "index": [ 5, 3, 1 ], "zero": false }, { "entries": [ "53503/32256" ], "index": [ 5, 4, 0 ], "zero": false }, { "entries": [ "40969987/645120" ], "index": [ 6, 0, 3 ], "zero": false }, { "entries": [ "5182349/215040" ], "index": [ 6, 1, 2 ], "zero": false }, { "entries": [ "14814871/1935360" ], "index": [ 6, 2, 1 ], "zero": false }, { "entries": [ "170363/43008" ], "index": [ 6, 3, 0 ], "zero": false }, { "entries": [ "5955649/55296" ], "index": [ 7, 0, 2 ], "zero": false }, { "entries": [ "1585151/34560" ], "index": [ 7, 1, 1 ], "zero": false }, { "entries": [ "1771307/92160" ], "index": [ 7, 2, 0 ], "zero": false }, { "entries": [ "91727569/552960" ], "index": [ 8, 0, 1 ], "zero": false }, { "entries": [ "14783819/184320" ], "index": [ 8, 1, 0 ], "zero": false }, { "entries": [ "4906667/20480" ], "index": [ 9, 0, 0 ], "zero": false } ], "coordinates": [ [ "1", "0" ], [ "1", "1" ], [ "2", "0" ] ], "determinant_floor": null, "entry_order": [ "scalar" ], "key": "eq23.Fplus.SCU", "minimum_determinant": null, "minimum_diagonal_or_scalar": "37/3780", "passed": true, "polynomials": [ { "degree": 8, "terms": [ { "coefficient": "12776/15", "powers": [ 0, 0 ] }, { "coefficient": "-16233/5", "powers": [ 0, 1 ] }, { "coefficient": "258109/48", "powers": [ 0, 2 ] }, { "coefficient": "-1807289/480", "powers": [ 0, 3 ] }, { "coefficient": "364747/1280", "powers": [ 0, 4 ] }, { "coefficient": "969359/640", "powers": [ 0, 5 ] }, { "coefficient": "-3438409/2560", "powers": [ 0, 6 ] }, { "coefficient": "138635/256", "powers": [ 0, 7 ] }, { "coefficient": "-354025/4096", "powers": [ 0, 8 ] }, { "coefficient": "6959/5", "powers": [ 1, 0 ] }, { "coefficient": "-44755/24", "powers": [ 1, 1 ] }, { "coefficient": "250871/160", "powers": [ 1, 2 ] }, { "coefficient": "-2937539/960", "powers": [ 1, 3 ] }, { "coefficient": "309567/128", "powers": [ 1, 4 ] }, { "coefficient": "-686699/1280", "powers": [ 1, 5 ] }, { "coefficient": "22149/1280", "powers": [ 1, 6 ] }, { "coefficient": "-50207/2560", "powers": [ 1, 7 ] }, { "coefficient": "-1456207/240", "powers": [ 2, 0 ] }, { "coefficient": "1017207/160", "powers": [ 2, 1 ] }, { "coefficient": "-6214861/1920", "powers": [ 2, 2 ] }, { "coefficient": "832403/320", "powers": [ 2, 3 ] }, { "coefficient": "-629191/2560", "powers": [ 2, 4 ] }, { "coefficient": "-1188169/1280", "powers": [ 2, 5 ] }, { "coefficient": "293433/1024", "powers": [ 2, 6 ] }, { "coefficient": "700955/96", "powers": [ 3, 0 ] }, { "coefficient": "-1079363/960", "powers": [ 3, 1 ] }, { "coefficient": "-186089/64", "powers": [ 3, 2 ] }, { "coefficient": "-70557/640", "powers": [ 3, 3 ] }, { "coefficient": "349773/1280", "powers": [ 3, 4 ] }, { "coefficient": "318263/2560", "powers": [ 3, 5 ] }, { "coefficient": "-6409013/1280", "powers": [ 4, 0 ] }, { "coefficient": "-2511621/640", "powers": [ 4, 1 ] }, { "coefficient": "12024377/2560", "powers": [ 4, 2 ] }, { "coefficient": "-314931/1280", "powers": [ 4, 3 ] }, { "coefficient": "-2305319/10240", "powers": [ 4, 4 ] }, { "coefficient": "1778831/640", "powers": [ 5, 0 ] }, { "coefficient": "826193/256", "powers": [ 5, 1 ] }, { "coefficient": "-3067081/1280", "powers": [ 5, 2 ] }, { "coefficient": "401207/2560", "powers": [ 5, 3 ] }, { "coefficient": "-3751753/2560", "powers": [ 6, 0 ] }, { "coefficient": "-1192059/1280", "powers": [ 6, 1 ] }, { "coefficient": "2255133/5120", "powers": [ 6, 2 ] }, { "coefficient": "138635/256", "powers": [ 7, 0 ] }, { "coefficient": "184801/2560", "powers": [ 7, 1 ] }, { "coefficient": "-354025/4096", "powers": [ 8, 0 ] } ], "variables": [ "v", "b" ] } ], "vertices": [ "S", "C", "U" ], "zero_indices": [ [ 0, 6 ], [ 0, 7 ], [ 0, 8 ], [ 0, 9 ], [ 1, 7 ], [ 1, 8 ], [ 2, 7 ] ] } ] }