{ "Index":57, "Name":"9_22", "RolfsenName":"9_22", "DTname":"9a_2", "TunnelNumber":1, "BridgeNumber":"Not implemented", "Hyperbolic":true, "Diagram":{ "Scode":"{6, -8, -14, 10, -2, 16, 18, -4, 12}", "Acode":"{4, -5, -8, 6, -2, 9, 1, -3, 7}", "PDcode":[ "{1, 7, 2, 6}", "{3, 8, 4, 9}", "{5, 14, 6, 15}", "{7, 11, 8, 10}", "{9, 2, 10, 3}", "{11, 17, 12, 16}", "{13, 1, 14, 18}", "{15, 4, 16, 5}", "{17, 13, 18, 12}" ], "CBtype":"{2, 1}", "ParabolicReps":{ "SolvingSeq":[ "{6, 9, 2}", [], [ "{6, 9, 7, 1}", "{9, 7, 1, 1}", "{6, -2, 5, 2}", "{2, -5, 3, 1}", "{5, 6, 4, 2}", "{9, -3, 8, 2}" ], "{1, 7}", "{3}", 3 ], "SolvingSeqIdx":1, "Comps":{ "u":{ "CheckEq":[ "-a - 2*u - 2*a*b*u - 3*b^2*u - a^2*b^2*u - 3*a*b^3*u - 2*b^4*u + u^3 + 2*a*b*u^3 + 2*b^2*u^3 + a^2*b^2*u^3 + 2*a*b^3*u^3 + b^4*u^3", "-b + u - b^2*u - a*b^3*u - 2*b^4*u - u^3 + b^2*u^3 + a*b^3*u^3 + b^4*u^3", "1 + a^2*u + 2*a*b*u + b^2*u + 2*a^2*b^2*u + 2*a*b^3*u + a^2*b^4*u - u^2", "-u + a*b*u + b^2*u + 2*a*b^3*u + b^4*u + a*b^5*u + 2*u^2 - u^4" ], "TimingForPrimaryIdeals":9.654299999999999e-2 }, "v":{ "CheckEq":[ "-b + b^4*v", "-a + v + b^2*v + a*b^3*v + b^4*v", "1 - v - a*b*v - b^2*v - 2*a*b^3*v - b^4*v - a*b^5*v", "-(b^2*v) - 2*b^4*v - b^6*v" ], "TimingForPrimaryIdeals":7.3335e-2 }, "PrimaryIdeals":[ { "IdealName":"J9_22_0", "Generators":[ "1 + 2*b - 4*u^2 + 11*u^3 + 3*u^4 - 54*u^5 + 109*u^6 - 52*u^7 - 155*u^8 + 264*u^9 - 38*u^10 - 281*u^11 + 232*u^12 + 108*u^13 - 224*u^14 + 24*u^15 + 117*u^16 - 40*u^17 - 40*u^18 + 15*u^19 + 9*u^20 - 2*u^21 - u^22", "-1 + a + 4*u - 2*u^2 - 2*u^3 + 3*u^4 - u^6", "-1 - u - 4*u^2 + u^3 - 10*u^4 + 39*u^5 - 51*u^6 - 49*u^7 + 205*u^8 - 111*u^9 - 226*u^10 + 319*u^11 + 49*u^12 - 340*u^13 + 116*u^14 + 200*u^15 - 141*u^16 - 77*u^17 + 80*u^18 + 25*u^19 - 24*u^20 - 7*u^21 + 3*u^22 + u^23" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":4.9041e-2, "TimingZeroDimVars":6.1084e-2, "TimingmagmaVCompNormalize":6.2334e-2, "TimingNumberOfSols":0.228254, "TimingIsRadical":1.4354e-2, "TimingArcColoring":5.5069e-2, "TimingObstruction":5.6495e-2, "TimingComplexVolumeN":1.2783804e1, "TimingaCuspShapeN":0.137682, "TiminguValues":0.5964, "TiminguPolysN":6.6877e-2, "TiminguPolys":0.789204, "TimingaCuspShape":0.126092, "TimingRepresentationsN":0.213356, "TiminguValues_ij":0.148433, "TiminguPoly_ij":1.629692, "TiminguPolys_ij_N":0.106023 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":23, "IsRadical":true, "ArcColoring":[ [ "-u", "u - u^3" ], [ "1 - 4*u + 2*u^2 + 2*u^3 - 3*u^4 + u^6", "(-1 + 4*u^2 - 11*u^3 - 3*u^4 + 54*u^5 - 109*u^6 + 52*u^7 + 155*u^8 - 264*u^9 + 38*u^10 + 281*u^11 - 232*u^12 - 108*u^13 + 224*u^14 - 24*u^15 - 117*u^16 + 40*u^17 + 40*u^18 - 15*u^19 - 9*u^20 + 2*u^21 + u^22)\/2" ], [ "1 - u + 3*u^2 + 9*u^3 - 11*u^4 - 53*u^5 + 162*u^6 - 90*u^7 - 265*u^8 + 431*u^9 + 5*u^10 - 531*u^11 + 344*u^12 + 280*u^13 - 396*u^14 - 24*u^15 + 233*u^16 - 45*u^17 - 85*u^18 + 21*u^19 + 19*u^20 - 3*u^21 - 2*u^22", "(-1 - 2*u^2 + u^3 - 43*u^4 + 152*u^5 - 219*u^6 - 24*u^7 + 521*u^8 - 564*u^9 - 192*u^10 + 841*u^11 - 400*u^12 - 502*u^13 + 560*u^14 + 88*u^15 - 349*u^16 + 48*u^17 + 130*u^18 - 27*u^19 - 29*u^20 + 4*u^21 + 3*u^22)\/2" ], [ "1 + u + 3*u^2 - 19*u^3 + 52*u^4 - 71*u^5 + 15*u^6 + 130*u^7 - 227*u^8 + 77*u^9 + 225*u^10 - 293*u^11 + 5*u^12 + 248*u^13 - 143*u^14 - 88*u^15 + 113*u^16 + 5*u^17 - 45*u^18 + 5*u^19 + 10*u^20 - u^21 - u^22", "(3 + 2*u + 10*u^2 - 5*u^3 + 57*u^4 - 240*u^5 + 381*u^6 + 8*u^7 - 887*u^8 + 994*u^9 + 300*u^10 - 1437*u^11 + 720*u^12 + 820*u^13 - 960*u^14 - 104*u^15 + 577*u^16 - 110*u^17 - 210*u^18 + 55*u^19 + 47*u^20 - 8*u^21 - 5*u^22)\/2" ], [ "(-1 - 4*u^2 - 33*u^3 + 47*u^4 + 98*u^5 - 351*u^6 + 252*u^7 + 433*u^8 - 840*u^9 + 150*u^10 + 851*u^11 - 710*u^12 - 324*u^13 + 674*u^14 - 72*u^15 - 351*u^16 + 120*u^17 + 120*u^18 - 45*u^19 - 27*u^20 + 6*u^21 + 3*u^22)\/2", "(3 + 2*u + 10*u^2 - 5*u^3 + 57*u^4 - 240*u^5 + 381*u^6 + 8*u^7 - 887*u^8 + 994*u^9 + 300*u^10 - 1437*u^11 + 720*u^12 + 820*u^13 - 960*u^14 - 104*u^15 + 577*u^16 - 110*u^17 - 210*u^18 + 55*u^19 + 47*u^20 - 8*u^21 - 5*u^22)\/2" ], "{1, 0}", [ 1, "u^2" ], [ "1 - u^2", "2*u^2 - u^4" ], [ 0, "u" ] ], "Obstruction":-1, "ComplexVolumeN":[ "-4.15124 + 1.33135*I", "-4.15124 - 1.33135*I", "-2.1021 - 0.88878*I", "-2.1021 + 0.88878*I", "-3.3206 - 6.47771*I", "-3.3206 + 6.47771*I", "-0.66432 - 2.00215*I", "-0.66432 + 2.00215*I", -2.78711, "-3.41052 + 2.74438*I", "-3.41052 - 2.74438*I", "-5.84331 - 3.99588*I", "-5.84331 + 3.99588*I", "-6.80889 + 5.359*I", "-6.80889 - 5.359*I", "-9.6533 + 10.6207*I", "-9.6533 - 10.6207*I", "-11.6198 + 1.64388*I", "-11.6198 - 1.64388*I", "0.71923 - 1.37448*I", "0.71923 + 1.37448*I", "-0.27712 + 2.59653*I", "-0.27712 - 2.59653*I" ], "uPolysN":[ "-9 + 18*u - 43*u^2 + 36*u^3 + 70*u^4 - 32*u^5 - 82*u^6 + 11*u^7 - 75*u^8 + 64*u^9 + 217*u^10 - 26*u^11 - 275*u^12 - 16*u^13 + 176*u^14 + 34*u^15 - 55*u^16 - 24*u^17 - 3*u^18 + 14*u^19 + 6*u^20 - 4*u^21 - 2*u^22 + u^23", "-1 - 2*u - 3*u^2 - 4*u^3 - 2*u^4 + 6*u^6 + 23*u^7 + 37*u^8 + 62*u^9 + 81*u^10 + 98*u^11 + 113*u^12 + 112*u^13 + 108*u^14 + 96*u^15 + 75*u^16 + 62*u^17 + 37*u^18 + 28*u^19 + 12*u^20 + 8*u^21 + 2*u^22 + u^23", "4 + 8*u + 13*u^2 + 21*u^3 + 33*u^4 + 48*u^5 + 63*u^6 + 67*u^7 + 80*u^8 + 20*u^9 + 57*u^10 - 49*u^11 + u^12 - 40*u^13 - 40*u^14 + 20*u^15 - 42*u^16 + 44*u^17 - 23*u^18 + 27*u^19 - 7*u^20 + 8*u^21 - u^22 + u^23", "-1 - 2*u + 3*u^2 + 16*u^3 + 14*u^4 - 24*u^5 - 64*u^6 + 71*u^7 + 481*u^8 + 942*u^9 + 1023*u^10 + 678*u^11 + 441*u^12 + 896*u^13 + 1976*u^14 + 2976*u^15 + 3215*u^16 + 2614*u^17 + 1631*u^18 + 780*u^19 + 280*u^20 + 72*u^21 + 12*u^22 + u^23", "-1 - 2*u - 3*u^2 - 4*u^3 - 2*u^4 + 6*u^6 + 23*u^7 + 37*u^8 + 62*u^9 + 81*u^10 + 98*u^11 + 113*u^12 + 112*u^13 + 108*u^14 + 96*u^15 + 75*u^16 + 62*u^17 + 37*u^18 + 28*u^19 + 12*u^20 + 8*u^21 + 2*u^22 + u^23", "1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23", "1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23", "4 + 8*u + 13*u^2 + 21*u^3 + 33*u^4 + 48*u^5 + 63*u^6 + 67*u^7 + 80*u^8 + 20*u^9 + 57*u^10 - 49*u^11 + u^12 - 40*u^13 - 40*u^14 + 20*u^15 - 42*u^16 + 44*u^17 - 23*u^18 + 27*u^19 - 7*u^20 + 8*u^21 - u^22 + u^23", "1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23" ], "uPolys":[ "-9 + 18*u - 43*u^2 + 36*u^3 + 70*u^4 - 32*u^5 - 82*u^6 + 11*u^7 - 75*u^8 + 64*u^9 + 217*u^10 - 26*u^11 - 275*u^12 - 16*u^13 + 176*u^14 + 34*u^15 - 55*u^16 - 24*u^17 - 3*u^18 + 14*u^19 + 6*u^20 - 4*u^21 - 2*u^22 + u^23", "-1 - 2*u - 3*u^2 - 4*u^3 - 2*u^4 + 6*u^6 + 23*u^7 + 37*u^8 + 62*u^9 + 81*u^10 + 98*u^11 + 113*u^12 + 112*u^13 + 108*u^14 + 96*u^15 + 75*u^16 + 62*u^17 + 37*u^18 + 28*u^19 + 12*u^20 + 8*u^21 + 2*u^22 + u^23", "4 + 8*u + 13*u^2 + 21*u^3 + 33*u^4 + 48*u^5 + 63*u^6 + 67*u^7 + 80*u^8 + 20*u^9 + 57*u^10 - 49*u^11 + u^12 - 40*u^13 - 40*u^14 + 20*u^15 - 42*u^16 + 44*u^17 - 23*u^18 + 27*u^19 - 7*u^20 + 8*u^21 - u^22 + u^23", "-1 - 2*u + 3*u^2 + 16*u^3 + 14*u^4 - 24*u^5 - 64*u^6 + 71*u^7 + 481*u^8 + 942*u^9 + 1023*u^10 + 678*u^11 + 441*u^12 + 896*u^13 + 1976*u^14 + 2976*u^15 + 3215*u^16 + 2614*u^17 + 1631*u^18 + 780*u^19 + 280*u^20 + 72*u^21 + 12*u^22 + u^23", "-1 - 2*u - 3*u^2 - 4*u^3 - 2*u^4 + 6*u^6 + 23*u^7 + 37*u^8 + 62*u^9 + 81*u^10 + 98*u^11 + 113*u^12 + 112*u^13 + 108*u^14 + 96*u^15 + 75*u^16 + 62*u^17 + 37*u^18 + 28*u^19 + 12*u^20 + 8*u^21 + 2*u^22 + u^23", "1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23", "1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23", "4 + 8*u + 13*u^2 + 21*u^3 + 33*u^4 + 48*u^5 + 63*u^6 + 67*u^7 + 80*u^8 + 20*u^9 + 57*u^10 - 49*u^11 + u^12 - 40*u^13 - 40*u^14 + 20*u^15 - 42*u^16 + 44*u^17 - 23*u^18 + 27*u^19 - 7*u^20 + 8*u^21 - u^22 + u^23", "1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23" ], "aCuspShape":"u + u^2 - 21*u^3 - 22*u^4 + 227*u^5 - 401*u^6 - 2*u^7 + 820*u^8 - 839*u^9 - 359*u^10 + 1221*u^11 - 450*u^12 - 758*u^13 + 690*u^14 + 194*u^15 - 432*u^16 + 15*u^17 + 155*u^18 - 19*u^19 - 32*u^20 + 3*u^21 + 3*u^22", "RepresentationsN":[ [ "u->0.696926 + 0.678563 I", "a->-0.371551 - 0.457637 I", "b->0.386982 + 1.12088 I" ], [ "u->0.696926 - 0.678563 I", "a->-0.371551 + 0.457637 I", "b->0.386982 - 1.12088 I" ], [ "u->1.02637 + 0.230969 I", "a->-1.27171 - 0.069358 I", "b->0.179248 - 0.701899 I" ], [ "u->1.02637 - 0.230969 I", "a->-1.27171 + 0.069358 I", "b->0.179248 + 0.701899 I" ], [ "u->0.443194 + 0.830987 I", "a->-1.84438 + 0.30451 I", "b->0.501837 - 1.1371 I" ], [ "u->0.443194 - 0.830987 I", "a->-1.84438 - 0.30451 I", "b->0.501837 + 1.1371 I" ], [ "u->0.411789 + 0.657552 I", "a->-1.21571 - 0.639418 I", "b->0.657802 + 0.201077 I" ], [ "u->0.411789 - 0.657552 I", "a->-1.21571 + 0.639418 I", "b->0.657802 - 0.201077 I" ], [ "u->1.31043", "a->-0.0893487", "b->-0.616508" ], [ "u->-1.34989 + 0.050765 I", "a->1.18567 + 0.215112 I", "b->-0.730473 - 0.812317 I" ], [ "u->-1.34989 - 0.050765 I", "a->1.18567 - 0.215112 I", "b->-0.730473 + 0.812317 I" ], [ "u->1.42968 + 0.0952 I", "a->0.89149 + 1.36719 I", "b->-0.449028 + 1.14379 I" ], [ "u->1.42968 - 0.0952 I", "a->0.89149 - 1.36719 I", "b->-0.449028 - 1.14379 I" ], [ "u->-1.48042 + 0.24817 I", "a->-0.537692 + 0.556573 I", "b->0.86894 - 0.243856 I" ], [ "u->-1.48042 - 0.24817 I", "a->-0.537692 - 0.556573 I", "b->0.86894 + 0.243856 I" ], [ "u->-1.51052 + 0.30516 I", "a->-1.54699 + 0.69863 I", "b->0.565955 + 1.19051 I" ], [ "u->-1.51052 - 0.30516 I", "a->-1.54699 - 0.69863 I", "b->0.565955 - 1.19051 I" ], [ "u->-1.5532 + 0.17815 I", "a->-0.002579 - 0.587301 I", "b->0.282827 - 1.24584 I" ], [ "u->-1.5532 - 0.17815 I", "a->-0.002579 + 0.587301 I", "b->0.282827 + 1.24584 I" ], [ "u->0.008249 + 0.425434 I", "a->0.49224 - 1.83322 I", "b->-0.47656 + 0.630579 I" ], [ "u->0.008249 - 0.425434 I", "a->0.49224 + 1.83322 I", "b->-0.47656 - 0.630579 I" ], [ "u->-0.277376 + 0.277332 I", "a->2.26589 - 1.328 I", "b->-0.479277 - 0.962679 I" ], [ "u->-0.277376 - 0.277332 I", "a->2.26589 + 1.328 I", "b->-0.479277 + 0.962679 I" ] ], "Epsilon":1.20884, "uPolys_ij":[ "1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23", "1 - 7*u + 38*u^2 - 259*u^3 - 78*u^4 + 1813*u^5 + 4893*u^6 + 12075*u^7 + 28771*u^8 + 54103*u^9 + 83664*u^10 + 113319*u^11 + 136295*u^12 + 147012*u^13 + 143244*u^14 + 122560*u^15 + 87221*u^16 + 49161*u^17 + 21194*u^18 + 6789*u^19 + 1560*u^20 + 243*u^21 + 23*u^22 + u^23", "-16 - 40*u - 97*u^2 - 153*u^3 - 279*u^4 - 1256*u^5 - 4251*u^6 - 9837*u^7 - 15656*u^8 - 13792*u^9 + 1937*u^10 + 22253*u^11 + 28225*u^12 + 15324*u^13 - 1312*u^14 - 7668*u^15 - 4620*u^16 - 212*u^17 + 1419*u^18 + 1067*u^19 + 425*u^20 + 104*u^21 + 15*u^22 + u^23", "1 + 3*u + 8*u^2 + u^3 - 88*u^4 - 301*u^5 - 347*u^6 + u^7 + 1327*u^8 + 4691*u^9 + 6518*u^10 + 8045*u^11 + 8401*u^12 + 6780*u^13 + 5336*u^14 + 3386*u^15 + 1969*u^16 + 1049*u^17 + 436*u^18 + 197*u^19 + 54*u^20 + 21*u^21 + 3*u^22 + u^23", "19 + 143*u - 78*u^2 + 667*u^3 - 550*u^4 + 537*u^5 - 683*u^6 - 401*u^7 + 105*u^8 - 249*u^9 + 730*u^10 + 717*u^11 + 649*u^12 + 916*u^13 + 574*u^14 + 464*u^15 + 295*u^16 + 83*u^17 + 24*u^18 + 13*u^19 + 12*u^20 + u^21 - u^22 + u^23", "1 + 2*u + 3*u^2 - 4*u^3 + 6*u^4 - 44*u^5 - 106*u^6 + 73*u^7 - 479*u^8 + 712*u^9 - 429*u^10 + 1916*u^11 + 525*u^12 + 3880*u^13 + 512*u^14 + 4598*u^15 + 109*u^16 + 1878*u^17 + 7*u^18 + 346*u^19 + 30*u^21 + u^23", "244 - 2454*u + 9811*u^2 + 2867*u^3 + 14471*u^4 + 62728*u^5 + 121301*u^6 + 74185*u^7 - 71698*u^8 - 110196*u^9 + 9023*u^10 + 135003*u^11 + 164225*u^12 + 126224*u^13 + 81144*u^14 + 48458*u^15 + 25562*u^16 + 10892*u^17 + 3613*u^18 + 975*u^19 + 225*u^20 + 42*u^21 + 7*u^22 + u^23", "-1161 - 6120*u - 14751*u^2 - 19624*u^3 - 612*u^4 + 67364*u^5 + 185592*u^6 + 326635*u^7 + 451419*u^8 + 518742*u^9 + 503681*u^10 + 412550*u^11 + 284623*u^12 + 169136*u^13 + 87834*u^14 + 40620*u^15 + 16373*u^16 + 6138*u^17 + 1855*u^18 + 462*u^19 + 118*u^20 + 20*u^21 + 4*u^22 + u^23", "-1 - 2*u + 3*u^2 + 16*u^3 + 14*u^4 - 24*u^5 - 64*u^6 + 71*u^7 + 481*u^8 + 942*u^9 + 1023*u^10 + 678*u^11 + 441*u^12 + 896*u^13 + 1976*u^14 + 2976*u^15 + 3215*u^16 + 2614*u^17 + 1631*u^18 + 780*u^19 + 280*u^20 + 72*u^21 + 12*u^22 + u^23", "4 - 16*u + 13*u^2 - 53*u^3 + 37*u^4 + 646*u^5 + 1449*u^6 + 1397*u^7 + 1594*u^8 - 394*u^9 - 2113*u^10 - 2093*u^11 - 2619*u^12 - 1566*u^13 + 4440*u^14 + 2826*u^15 - 1850*u^16 - 1248*u^17 + 315*u^18 + 249*u^19 - 25*u^20 - 24*u^21 + u^22 + u^23", "-9 + 18*u - 43*u^2 + 36*u^3 + 70*u^4 - 32*u^5 - 82*u^6 + 11*u^7 - 75*u^8 + 64*u^9 + 217*u^10 - 26*u^11 - 275*u^12 - 16*u^13 + 176*u^14 + 34*u^15 - 55*u^16 - 24*u^17 - 3*u^18 + 14*u^19 + 6*u^20 - 4*u^21 - 2*u^22 + u^23", "1 + 10*u + 45*u^2 + 140*u^3 - 98*u^4 + 32*u^5 - 1204*u^6 + 12167*u^7 + 203*u^8 + 26374*u^9 - 25175*u^10 + 30538*u^11 - 28457*u^12 + 16144*u^13 - 12216*u^14 + 5688*u^15 - 2355*u^16 + 1462*u^17 - 191*u^18 + 248*u^19 - 4*u^20 + 24*u^21 + u^23", "-1 - 2*u - 3*u^2 - 4*u^3 - 2*u^4 + 6*u^6 + 23*u^7 + 37*u^8 + 62*u^9 + 81*u^10 + 98*u^11 + 113*u^12 + 112*u^13 + 108*u^14 + 96*u^15 + 75*u^16 + 62*u^17 + 37*u^18 + 28*u^19 + 12*u^20 + 8*u^21 + 2*u^22 + u^23", "81 - 450*u - 707*u^2 + 4688*u^3 + 15210*u^4 + 13056*u^5 - 20456*u^6 - 69585*u^7 - 85753*u^8 - 35842*u^9 + 59005*u^10 + 139406*u^11 + 158255*u^12 + 117536*u^13 + 57552*u^14 + 15512*u^15 - 455*u^16 - 1938*u^17 - 379*u^18 + 272*u^19 + 208*u^20 + 68*u^21 + 12*u^22 + u^23", "-43 + 192*u - 479*u^2 + 350*u^3 + 960*u^4 - 2896*u^5 + 3176*u^6 + 1055*u^7 - 7021*u^8 + 15438*u^9 - 1959*u^10 + 5802*u^11 + 23463*u^12 + 8890*u^13 + 6254*u^14 + 3162*u^15 - 1035*u^16 - 320*u^17 + 163*u^18 + 130*u^19 - 30*u^20 - 12*u^21 + 2*u^22 + u^23", "79 + 174*u + 25*u^2 + 216*u^3 + 1204*u^4 + 2502*u^5 + 7002*u^6 + 18463*u^7 + 32581*u^8 + 32814*u^9 + 14475*u^10 - 8294*u^11 - 14903*u^12 - 6290*u^13 + 3190*u^14 + 3912*u^15 + 691*u^16 - 964*u^17 - 425*u^18 + 156*u^19 + 70*u^20 - 18*u^21 - 4*u^22 + u^23", "19 - 8*u + 5*u^2 - 104*u^3 + 304*u^4 + 398*u^5 + 386*u^6 - 1055*u^7 - 1335*u^8 + 2214*u^9 + 3845*u^10 + 2550*u^11 - 2207*u^12 + 918*u^13 + 4078*u^14 + 1184*u^15 - 2241*u^16 - 1012*u^17 + 509*u^18 + 250*u^19 - 52*u^20 - 26*u^21 + 2*u^22 + u^23", "59 + 82*u - 261*u^2 + 26*u^3 + 1330*u^4 + 534*u^5 - 794*u^6 + 875*u^7 + 1149*u^8 - 392*u^9 - 505*u^10 + 24*u^11 + 529*u^12 + 100*u^13 - 232*u^14 + 90*u^15 + 43*u^16 - 72*u^17 + 21*u^18 + 26*u^19 - 4*u^20 - 2*u^21 + u^23", "4 + 8*u + 13*u^2 + 21*u^3 + 33*u^4 + 48*u^5 + 63*u^6 + 67*u^7 + 80*u^8 + 20*u^9 + 57*u^10 - 49*u^11 + u^12 - 40*u^13 - 40*u^14 + 20*u^15 - 42*u^16 + 44*u^17 - 23*u^18 + 27*u^19 - 7*u^20 + 8*u^21 - u^22 + u^23" ], "GeometricComponent":"{16, 17}", "uPolys_ij_N":[ "1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23", "1 - 7*u + 38*u^2 - 259*u^3 - 78*u^4 + 1813*u^5 + 4893*u^6 + 12075*u^7 + 28771*u^8 + 54103*u^9 + 83664*u^10 + 113319*u^11 + 136295*u^12 + 147012*u^13 + 143244*u^14 + 122560*u^15 + 87221*u^16 + 49161*u^17 + 21194*u^18 + 6789*u^19 + 1560*u^20 + 243*u^21 + 23*u^22 + u^23", "-16 - 40*u - 97*u^2 - 153*u^3 - 279*u^4 - 1256*u^5 - 4251*u^6 - 9837*u^7 - 15656*u^8 - 13792*u^9 + 1937*u^10 + 22253*u^11 + 28225*u^12 + 15324*u^13 - 1312*u^14 - 7668*u^15 - 4620*u^16 - 212*u^17 + 1419*u^18 + 1067*u^19 + 425*u^20 + 104*u^21 + 15*u^22 + u^23", "1 + 3*u + 8*u^2 + u^3 - 88*u^4 - 301*u^5 - 347*u^6 + u^7 + 1327*u^8 + 4691*u^9 + 6518*u^10 + 8045*u^11 + 8401*u^12 + 6780*u^13 + 5336*u^14 + 3386*u^15 + 1969*u^16 + 1049*u^17 + 436*u^18 + 197*u^19 + 54*u^20 + 21*u^21 + 3*u^22 + u^23", "19 + 143*u - 78*u^2 + 667*u^3 - 550*u^4 + 537*u^5 - 683*u^6 - 401*u^7 + 105*u^8 - 249*u^9 + 730*u^10 + 717*u^11 + 649*u^12 + 916*u^13 + 574*u^14 + 464*u^15 + 295*u^16 + 83*u^17 + 24*u^18 + 13*u^19 + 12*u^20 + u^21 - u^22 + u^23", "1 + 2*u + 3*u^2 - 4*u^3 + 6*u^4 - 44*u^5 - 106*u^6 + 73*u^7 - 479*u^8 + 712*u^9 - 429*u^10 + 1916*u^11 + 525*u^12 + 3880*u^13 + 512*u^14 + 4598*u^15 + 109*u^16 + 1878*u^17 + 7*u^18 + 346*u^19 + 30*u^21 + u^23", "244 - 2454*u + 9811*u^2 + 2867*u^3 + 14471*u^4 + 62728*u^5 + 121301*u^6 + 74185*u^7 - 71698*u^8 - 110196*u^9 + 9023*u^10 + 135003*u^11 + 164225*u^12 + 126224*u^13 + 81144*u^14 + 48458*u^15 + 25562*u^16 + 10892*u^17 + 3613*u^18 + 975*u^19 + 225*u^20 + 42*u^21 + 7*u^22 + u^23", "-1161 - 6120*u - 14751*u^2 - 19624*u^3 - 612*u^4 + 67364*u^5 + 185592*u^6 + 326635*u^7 + 451419*u^8 + 518742*u^9 + 503681*u^10 + 412550*u^11 + 284623*u^12 + 169136*u^13 + 87834*u^14 + 40620*u^15 + 16373*u^16 + 6138*u^17 + 1855*u^18 + 462*u^19 + 118*u^20 + 20*u^21 + 4*u^22 + u^23", "-1 - 2*u + 3*u^2 + 16*u^3 + 14*u^4 - 24*u^5 - 64*u^6 + 71*u^7 + 481*u^8 + 942*u^9 + 1023*u^10 + 678*u^11 + 441*u^12 + 896*u^13 + 1976*u^14 + 2976*u^15 + 3215*u^16 + 2614*u^17 + 1631*u^18 + 780*u^19 + 280*u^20 + 72*u^21 + 12*u^22 + u^23", "4 - 16*u + 13*u^2 - 53*u^3 + 37*u^4 + 646*u^5 + 1449*u^6 + 1397*u^7 + 1594*u^8 - 394*u^9 - 2113*u^10 - 2093*u^11 - 2619*u^12 - 1566*u^13 + 4440*u^14 + 2826*u^15 - 1850*u^16 - 1248*u^17 + 315*u^18 + 249*u^19 - 25*u^20 - 24*u^21 + u^22 + u^23", "-9 + 18*u - 43*u^2 + 36*u^3 + 70*u^4 - 32*u^5 - 82*u^6 + 11*u^7 - 75*u^8 + 64*u^9 + 217*u^10 - 26*u^11 - 275*u^12 - 16*u^13 + 176*u^14 + 34*u^15 - 55*u^16 - 24*u^17 - 3*u^18 + 14*u^19 + 6*u^20 - 4*u^21 - 2*u^22 + u^23", "1 + 10*u + 45*u^2 + 140*u^3 - 98*u^4 + 32*u^5 - 1204*u^6 + 12167*u^7 + 203*u^8 + 26374*u^9 - 25175*u^10 + 30538*u^11 - 28457*u^12 + 16144*u^13 - 12216*u^14 + 5688*u^15 - 2355*u^16 + 1462*u^17 - 191*u^18 + 248*u^19 - 4*u^20 + 24*u^21 + u^23", "-1 - 2*u - 3*u^2 - 4*u^3 - 2*u^4 + 6*u^6 + 23*u^7 + 37*u^8 + 62*u^9 + 81*u^10 + 98*u^11 + 113*u^12 + 112*u^13 + 108*u^14 + 96*u^15 + 75*u^16 + 62*u^17 + 37*u^18 + 28*u^19 + 12*u^20 + 8*u^21 + 2*u^22 + u^23", "81 - 450*u - 707*u^2 + 4688*u^3 + 15210*u^4 + 13056*u^5 - 20456*u^6 - 69585*u^7 - 85753*u^8 - 35842*u^9 + 59005*u^10 + 139406*u^11 + 158255*u^12 + 117536*u^13 + 57552*u^14 + 15512*u^15 - 455*u^16 - 1938*u^17 - 379*u^18 + 272*u^19 + 208*u^20 + 68*u^21 + 12*u^22 + u^23", "-43 + 192*u - 479*u^2 + 350*u^3 + 960*u^4 - 2896*u^5 + 3176*u^6 + 1055*u^7 - 7021*u^8 + 15438*u^9 - 1959*u^10 + 5802*u^11 + 23463*u^12 + 8890*u^13 + 6254*u^14 + 3162*u^15 - 1035*u^16 - 320*u^17 + 163*u^18 + 130*u^19 - 30*u^20 - 12*u^21 + 2*u^22 + u^23", "79 + 174*u + 25*u^2 + 216*u^3 + 1204*u^4 + 2502*u^5 + 7002*u^6 + 18463*u^7 + 32581*u^8 + 32814*u^9 + 14475*u^10 - 8294*u^11 - 14903*u^12 - 6290*u^13 + 3190*u^14 + 3912*u^15 + 691*u^16 - 964*u^17 - 425*u^18 + 156*u^19 + 70*u^20 - 18*u^21 - 4*u^22 + u^23", "19 - 8*u + 5*u^2 - 104*u^3 + 304*u^4 + 398*u^5 + 386*u^6 - 1055*u^7 - 1335*u^8 + 2214*u^9 + 3845*u^10 + 2550*u^11 - 2207*u^12 + 918*u^13 + 4078*u^14 + 1184*u^15 - 2241*u^16 - 1012*u^17 + 509*u^18 + 250*u^19 - 52*u^20 - 26*u^21 + 2*u^22 + u^23", "59 + 82*u - 261*u^2 + 26*u^3 + 1330*u^4 + 534*u^5 - 794*u^6 + 875*u^7 + 1149*u^8 - 392*u^9 - 505*u^10 + 24*u^11 + 529*u^12 + 100*u^13 - 232*u^14 + 90*u^15 + 43*u^16 - 72*u^17 + 21*u^18 + 26*u^19 - 4*u^20 - 2*u^21 + u^23", "4 + 8*u + 13*u^2 + 21*u^3 + 33*u^4 + 48*u^5 + 63*u^6 + 67*u^7 + 80*u^8 + 20*u^9 + 57*u^10 - 49*u^11 + u^12 - 40*u^13 - 40*u^14 + 20*u^15 - 42*u^16 + 44*u^17 - 23*u^18 + 27*u^19 - 7*u^20 + 8*u^21 - u^22 + u^23" ], "Multiplicity":1, "ij_list":[ [ "{1, 7}", "{1, 8}", "{6, 9}", "{7, 9}" ], [ "{1, 9}", "{6, 7}", "{7, 8}" ], [ "{1, 6}", "{3, 4}", "{8, 9}" ], [ "{2, 8}", "{6, 8}" ], [ "{2, 9}" ], [ "{1, 3}", "{3, 7}" ], [ "{5, 7}" ], [ "{1, 5}" ], [ "{2, 3}", "{4, 6}", "{5, 6}" ], [ "{4, 9}" ], [ "{1, 4}", "{2, 4}", "{3, 6}" ], [ "{4, 5}" ], [ "{2, 5}", "{2, 6}", "{3, 5}" ], [ "{1, 2}" ], [ "{2, 7}" ], [ "{4, 7}" ], [ "{5, 8}" ], [ "{5, 9}" ], [ "{3, 8}", "{3, 9}", "{4, 8}" ] ], "SortedReprnIndices":"{16, 17, 6, 5, 14, 15, 13, 12, 10, 11, 22, 23, 8, 7, 18, 19, 21, 20, 1, 2, 4, 3, 9}", "aCuspShapeN":[ "-7.1595005351164951434`5.148589115022005 - 0.6757470361516310618`4.123490538685261*I", "-7.1595005351164951434`5.148589115022005 + 0.6757470361516310618`4.123490538685261*I", "-6.3929113126060654896`5.14600835777533 - 0.9257744168239308625`4.3068148533335675*I", "-6.3929113126060654896`5.14600835777533 + 0.9257744168239308625`4.3068148533335675*I", "-4.7777972073285374921`4.922076738559321 + 6.5219359652507920415`5.057225556727964*I", "-4.7777972073285374921`4.922076738559321 - 6.5219359652507920415`5.057225556727964*I", "-1.2358768957060599057`4.659084130896025 + 3.627053777132740292`5.126662912338481*I", "-1.2358768957060599057`4.659084130896025 - 3.627053777132740292`5.126662912338481*I", -2.3239, "-6.0013668191715500893`5.089424418937741 - 3.4207478935338675335`4.845295314348468*I", "-6.0013668191715500893`5.089424418937741 + 3.4207478935338675335`4.845295314348468*I", "-6.6090054548530559144`5.0968871663714435 + 3.4979979300226976152`4.820570604193036*I", "-6.6090054548530559144`5.0968871663714435 - 3.4979979300226976152`4.820570604193036*I", "-4.4954207103383830039`5.067485342737434 - 3.0679327903995561549`4.9015608419354395*I", "-4.4954207103383830039`5.067485342737434 + 3.0679327903995561549`4.9015608419354395*I", "-7.0262720012117275626`5.017588405753435 - 6.4564971454958695114`4.980860410908316*I", "-7.0262720012117275626`5.017588405753435 + 6.4564971454958695114`4.980860410908316*I", "-9.3047020537988541627`5.150108599062697 - 0.4027214263999985355`3.7864108643682743*I", "-9.3047020537988541627`5.150108599062697 + 0.4027214263999985355`3.7864108643682743*I", "2.7017765527154762213`4.872741202493818 + 4.3512425968644432042`5.079705071533348*I", "2.7017765527154762213`4.872741202493818 - 4.3512425968644432042`5.079705071533348*I", "1.4630322196560135776`4.707329559365463 - 3.7863645240620488081`5.120298091279255*I", "1.4630322196560135776`4.707329559365463 + 3.7863645240620488081`5.120298091279255*I" ], "Abelian":false }, { "IdealName":"J9_22_1", "Generators":[ "1 - b + b^2", "1 + a", "-1 + u" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":4.8417e-2, "TimingZeroDimVars":4.366e-2, "TimingmagmaVCompNormalize":4.492e-2, "TimingNumberOfSols":2.009e-2, "TimingIsRadical":1.43e-3, "TimingArcColoring":4.3772000000000005e-2, "TimingObstruction":9.24e-4, "TimingComplexVolumeN":1.314943, "TimingaCuspShapeN":9.065e-3, "TiminguValues":0.587574, "TiminguPolysN":2.7000000000000006e-4, "TiminguPolys":0.728752, "TimingaCuspShape":9.1594e-2, "TimingRepresentationsN":2.3221e-2, "TiminguValues_ij":0.101393, "TiminguPoly_ij":0.539549, "TiminguPolys_ij_N":2.95e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ "{-1, 0}", [ -1, "b" ], [ 0, "-1 + b" ], [ 0, "-1 + b" ], [ "1 - b", "-1 + b" ], "{1, 0}", "{1, 1}", "{0, 1}", "{0, 1}" ], "Obstruction":1, "ComplexVolumeN":[ "-1.64493 + 2.02988*I", "-1.64493 - 2.02988*I" ], "uPolysN":[ "1 - u + u^2", "1 + u + u^2", "u^2", "1 - u + u^2", "1 - u + u^2", "1 - 2*u + u^2", "1 - 2*u + u^2", "u^2", "1 + 2*u + u^2" ], "uPolys":[ "1 - u + u^2", "1 + u + u^2", "u^2", "1 - u + u^2", "1 - u + u^2", "(-1 + u)^2", "(-1 + u)^2", "u^2", "(1 + u)^2" ], "aCuspShape":"-1 - 4*b", "RepresentationsN":[ [ "u->1.", "a->-1.", "b->0.5 + 0.866025 I" ], [ "u->1.", "a->-1.", "b->0.5 - 0.866025 I" ] ], "Epsilon":1.73205, "uPolys_ij":[ "(1 + u)^2", "u^2", "(-1 + u)^2", "4 - 2*u + u^2", "3 + 3*u + u^2", "1 - u + u^2", "1 + u + u^2" ], "GeometricComponent":0, "uPolys_ij_N":[ "1 + 2*u + u^2", "u^2", "1 - 2*u + u^2", "4 - 2*u + u^2", "3 + 3*u + u^2", "1 - u + u^2", "1 + u + u^2" ], "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 2.02988 ], "ij_list":[ [ "{1, 7}", "{1, 8}", "{1, 9}", "{2, 8}", "{2, 9}" ], [ "{1, 6}", "{3, 4}", "{3, 8}", "{3, 9}", "{4, 8}", "{4, 9}", "{8, 9}" ], [ "{6, 7}", "{6, 8}", "{6, 9}", "{7, 8}", "{7, 9}" ], [ "{5, 7}" ], [ "{2, 7}" ], [ "{1, 3}", "{1, 4}", "{1, 5}", "{2, 3}", "{2, 4}", "{3, 6}", "{3, 7}", "{4, 6}", "{4, 7}", "{5, 6}", "{5, 8}", "{5, 9}" ], [ "{1, 2}", "{2, 5}", "{2, 6}", "{3, 5}", "{4, 5}" ] ], "SortedReprnIndices":"{1, 2}", "aCuspShapeN":[ "-3.`4.9665266051846935 - 3.464101615137754587`5.028995973488844*I", "-3.`4.9665266051846935 + 3.464101615137754587`5.028995973488844*I" ], "Abelian":false }, { "IdealName":"abJ9_22_2", "Generators":[ "b", "-1 + a", "-1 + v" ], "VariableOrder":[ "b", "a", "v" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":4.5666000000000005e-2, "TimingZeroDimVars":4.0944e-2, "TimingmagmaVCompNormalize":4.2180999999999996e-2, "TimingNumberOfSols":2.0503999999999998e-2, "TimingIsRadical":1.185e-3, "TimingArcColoring":4.473e-2, "TimingObstruction":4.17e-4, "TimingComplexVolumeN":0.736857, "TimingaCuspShapeN":4.525e-3, "TiminguValues":0.569625, "TiminguPolysN":6.7e-5, "TiminguPolys":0.722055, "TimingaCuspShape":9.2387e-2, "TimingRepresentationsN":2.1566000000000002e-2, "TiminguValues_ij":0.100023, "TiminguPoly_ij":0.124157, "TiminguPolys_ij_N":4.7000000000000004e-5 }, "ZeroDimensionalVars":[ "b", "a", "v" ], "NumberOfSols":1, "IsRadical":true, "ArcColoring":[ "{1, 0}", "{1, 0}", "{1, 0}", "{1, 0}", "{1, 0}", "{1, 0}", "{1, 0}", "{1, 0}", "{1, 0}" ], "Obstruction":1, "ComplexVolumeN":"{0}", "uPolysN":[ "u", "u", "u", "u", "u", "u", "u", "u", "u" ], "uPolys":[ "u", "u", "u", "u", "u", "u", "u", "u", "u" ], "aCuspShape":0, "RepresentationsN":[ [ "v->1.", "a->1.", "b->0" ] ], "Epsilon":"Infinity", "uPolys_ij":[ "u" ], "GeometricComponent":0, "uPolys_ij_N":[ "u" ], "Multiplicity":1, "ij_list":[ [ "{1, 2}", "{1, 3}", "{1, 4}", "{1, 5}", "{1, 6}", "{1, 7}", "{1, 8}", "{1, 9}", "{2, 3}", "{2, 4}", "{2, 5}", "{2, 6}", "{2, 7}", "{2, 8}", "{2, 9}", "{3, 4}", "{3, 5}", "{3, 6}", "{3, 7}", "{3, 8}", "{3, 9}", "{4, 5}", "{4, 6}", "{4, 7}", "{4, 8}", "{4, 9}", "{5, 6}", "{5, 7}", "{5, 8}", "{5, 9}", "{6, 7}", "{6, 8}", "{6, 9}", "{7, 8}", "{7, 9}", "{8, 9}" ] ], "SortedReprnIndices":"{1}", "aCuspShapeN":"{0}", "Abelian":true } ] }, "uPolyC":[ "(1 - u + u^2)*(-9 + 18*u - 43*u^2 + 36*u^3 + 70*u^4 - 32*u^5 - 82*u^6 + 11*u^7 - 75*u^8 + 64*u^9 + 217*u^10 - 26*u^11 - 275*u^12 - 16*u^13 + 176*u^14 + 34*u^15 - 55*u^16 - 24*u^17 - 3*u^18 + 14*u^19 + 6*u^20 - 4*u^21 - 2*u^22 + u^23)", "(1 + u + u^2)*(-1 - 2*u - 3*u^2 - 4*u^3 - 2*u^4 + 6*u^6 + 23*u^7 + 37*u^8 + 62*u^9 + 81*u^10 + 98*u^11 + 113*u^12 + 112*u^13 + 108*u^14 + 96*u^15 + 75*u^16 + 62*u^17 + 37*u^18 + 28*u^19 + 12*u^20 + 8*u^21 + 2*u^22 + u^23)", "u^2*(4 + 8*u + 13*u^2 + 21*u^3 + 33*u^4 + 48*u^5 + 63*u^6 + 67*u^7 + 80*u^8 + 20*u^9 + 57*u^10 - 49*u^11 + u^12 - 40*u^13 - 40*u^14 + 20*u^15 - 42*u^16 + 44*u^17 - 23*u^18 + 27*u^19 - 7*u^20 + 8*u^21 - u^22 + u^23)", "(1 - u + u^2)*(-1 - 2*u + 3*u^2 + 16*u^3 + 14*u^4 - 24*u^5 - 64*u^6 + 71*u^7 + 481*u^8 + 942*u^9 + 1023*u^10 + 678*u^11 + 441*u^12 + 896*u^13 + 1976*u^14 + 2976*u^15 + 3215*u^16 + 2614*u^17 + 1631*u^18 + 780*u^19 + 280*u^20 + 72*u^21 + 12*u^22 + u^23)", "(1 - u + u^2)*(-1 - 2*u - 3*u^2 - 4*u^3 - 2*u^4 + 6*u^6 + 23*u^7 + 37*u^8 + 62*u^9 + 81*u^10 + 98*u^11 + 113*u^12 + 112*u^13 + 108*u^14 + 96*u^15 + 75*u^16 + 62*u^17 + 37*u^18 + 28*u^19 + 12*u^20 + 8*u^21 + 2*u^22 + u^23)", "(-1 + u)^2*(1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23)", "(-1 + u)^2*(1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23)", "u^2*(4 + 8*u + 13*u^2 + 21*u^3 + 33*u^4 + 48*u^5 + 63*u^6 + 67*u^7 + 80*u^8 + 20*u^9 + 57*u^10 - 49*u^11 + u^12 - 40*u^13 - 40*u^14 + 20*u^15 - 42*u^16 + 44*u^17 - 23*u^18 + 27*u^19 - 7*u^20 + 8*u^21 - u^22 + u^23)", "(1 + u)^2*(1 - u + 4*u^2 + u^3 + 10*u^4 + 39*u^5 + 51*u^6 - 49*u^7 - 205*u^8 - 111*u^9 + 226*u^10 + 319*u^11 - 49*u^12 - 340*u^13 - 116*u^14 + 200*u^15 + 141*u^16 - 77*u^17 - 80*u^18 + 25*u^19 + 24*u^20 - 7*u^21 - 3*u^22 + u^23)" ], "RileyPolyC":[ "(1 + y + y^2)*(-81 - 450*y + 707*y^2 + 4688*y^3 - 15210*y^4 + 13056*y^5 + 20456*y^6 - 69585*y^7 + 85753*y^8 - 35842*y^9 - 59005*y^10 + 139406*y^11 - 158255*y^12 + 117536*y^13 - 57552*y^14 + 15512*y^15 + 455*y^16 - 1938*y^17 + 379*y^18 + 272*y^19 - 208*y^20 + 68*y^21 - 12*y^22 + y^23)", "(1 + y + y^2)*(-1 - 2*y + 3*y^2 + 16*y^3 + 14*y^4 - 24*y^5 - 64*y^6 + 71*y^7 + 481*y^8 + 942*y^9 + 1023*y^10 + 678*y^11 + 441*y^12 + 896*y^13 + 1976*y^14 + 2976*y^15 + 3215*y^16 + 2614*y^17 + 1631*y^18 + 780*y^19 + 280*y^20 + 72*y^21 + 12*y^22 + y^23)", "y^2*(-16 - 40*y - 97*y^2 - 153*y^3 - 279*y^4 - 1256*y^5 - 4251*y^6 - 9837*y^7 - 15656*y^8 - 13792*y^9 + 1937*y^10 + 22253*y^11 + 28225*y^12 + 15324*y^13 - 1312*y^14 - 7668*y^15 - 4620*y^16 - 212*y^17 + 1419*y^18 + 1067*y^19 + 425*y^20 + 104*y^21 + 15*y^22 + y^23)", "(1 + y + y^2)*(-1 + 10*y - 45*y^2 + 140*y^3 + 98*y^4 + 32*y^5 + 1204*y^6 + 12167*y^7 - 203*y^8 + 26374*y^9 + 25175*y^10 + 30538*y^11 + 28457*y^12 + 16144*y^13 + 12216*y^14 + 5688*y^15 + 2355*y^16 + 1462*y^17 + 191*y^18 + 248*y^19 + 4*y^20 + 24*y^21 + y^23)", "(1 + y + y^2)*(-1 - 2*y + 3*y^2 + 16*y^3 + 14*y^4 - 24*y^5 - 64*y^6 + 71*y^7 + 481*y^8 + 942*y^9 + 1023*y^10 + 678*y^11 + 441*y^12 + 896*y^13 + 1976*y^14 + 2976*y^15 + 3215*y^16 + 2614*y^17 + 1631*y^18 + 780*y^19 + 280*y^20 + 72*y^21 + 12*y^22 + y^23)", "(-1 + y)^2*(-1 - 7*y - 38*y^2 - 259*y^3 + 78*y^4 + 1813*y^5 - 4893*y^6 + 12075*y^7 - 28771*y^8 + 54103*y^9 - 83664*y^10 + 113319*y^11 - 136295*y^12 + 147012*y^13 - 143244*y^14 + 122560*y^15 - 87221*y^16 + 49161*y^17 - 21194*y^18 + 6789*y^19 - 1560*y^20 + 243*y^21 - 23*y^22 + y^23)", "(-1 + y)^2*(-1 - 7*y - 38*y^2 - 259*y^3 + 78*y^4 + 1813*y^5 - 4893*y^6 + 12075*y^7 - 28771*y^8 + 54103*y^9 - 83664*y^10 + 113319*y^11 - 136295*y^12 + 147012*y^13 - 143244*y^14 + 122560*y^15 - 87221*y^16 + 49161*y^17 - 21194*y^18 + 6789*y^19 - 1560*y^20 + 243*y^21 - 23*y^22 + y^23)", "y^2*(-16 - 40*y - 97*y^2 - 153*y^3 - 279*y^4 - 1256*y^5 - 4251*y^6 - 9837*y^7 - 15656*y^8 - 13792*y^9 + 1937*y^10 + 22253*y^11 + 28225*y^12 + 15324*y^13 - 1312*y^14 - 7668*y^15 - 4620*y^16 - 212*y^17 + 1419*y^18 + 1067*y^19 + 425*y^20 + 104*y^21 + 15*y^22 + y^23)", "(-1 + y)^2*(-1 - 7*y - 38*y^2 - 259*y^3 + 78*y^4 + 1813*y^5 - 4893*y^6 + 12075*y^7 - 28771*y^8 + 54103*y^9 - 83664*y^10 + 113319*y^11 - 136295*y^12 + 147012*y^13 - 143244*y^14 + 122560*y^15 - 87221*y^16 + 49161*y^17 - 21194*y^18 + 6789*y^19 - 1560*y^20 + 243*y^21 - 23*y^22 + y^23)" ] }, "GeometricRepresentation":[ 1.0620700000000001e1, [ "J9_22_0", 1, "{16, 17}" ] ] } }