{ "Index":60, "Name":"9_25", "RolfsenName":"9_25", "DTname":"9a_4", "TunnelNumber":1, "BridgeNumber":"Not implemented", "Hyperbolic":true, "Diagram":{ "Scode":"{9, -17, 11, 3, 13, 7, 1, -5, 15}", "Acode":"{5, -9, 6, 2, 7, 4, 1, -3, 8}", "PDcode":[ "{2, 10, 3, 9}", "{4, 17, 5, 18}", "{6, 12, 7, 11}", "{8, 4, 9, 3}", "{10, 14, 11, 13}", "{12, 8, 13, 7}", "{14, 2, 15, 1}", "{16, 5, 17, 6}", "{18, 16, 1, 15}" ], "CBtype":"{2, 1}", "ParabolicReps":{ "SolvingSeq":[ "{3, 6, 9}", [], [ "{3, 6, 4, 1}", "{6, 4, 7, 1}", "{3, -9, 2, 2}", "{6, 7, 5, 2}", "{2, 5, 1, 2}", "{9, -3, 8, 2}" ], "{4, 9}", "{7}", 7 ], "SolvingSeqIdx":1, "Comps":{ "u":{ "CheckEq":[ "1 + b^2 + a*b^3 - u^2 - 2*a*b*u^2 - a^2*b^2*u^2 - u^3", "b^4 - u + u^2 - b^2*u^2 - a*b^3*u^2 + u^3 - u^5", "-1 + a - a*b + a*b^2 - b^3 + u^4 + a*b*u^4 - u^6 - a*b*u^6 - b^2*u^6 + u^8 + a*b*u^8", "b - b^2 + b^3 + u^2 + a*b*u^2 - 2*u^4 - 2*a*b*u^4 - b^2*u^4 + 3*u^6 + 3*a*b*u^6 + b^2*u^6 - 2*u^8 - 2*a*b*u^8 - b^2*u^8 + u^10 + a*b*u^10" ], "TimingForPrimaryIdeals":9.7671e-2 }, "v":{ "CheckEq":[ "b^4", "b - b^2 + b^3", "1 + b^2 + a*b^3 - v", "-1 + a - a*b + a*b^2 - b^3 - b^2*v^2" ], "TimingForPrimaryIdeals":7.5909e-2 }, "PrimaryIdeals":[ { "IdealName":"J9_25_0", "Generators":[ "1 + 2*b + 7*u + 4*u^2 - 8*u^3 - 31*u^4 - 13*u^5 + 47*u^6 + 70*u^7 - 32*u^8 - 119*u^9 - 38*u^10 + 124*u^11 + 104*u^12 - 64*u^13 - 124*u^14 - 4*u^15 + 85*u^16 + 39*u^17 - 34*u^18 - 32*u^19 + 3*u^20 + 13*u^21 + 3*u^22 - 2*u^23 - u^24", "a + 5*u + 5*u^2 - 4*u^3 - 30*u^4 - 17*u^5 + 43*u^6 + 72*u^7 - 29*u^8 - 119*u^9 - 39*u^10 + 124*u^11 + 104*u^12 - 64*u^13 - 124*u^14 - 4*u^15 + 85*u^16 + 39*u^17 - 34*u^18 - 32*u^19 + 3*u^20 + 13*u^21 + 3*u^22 - 2*u^23 - u^24", "-1 - 4*u - 9*u^2 - 2*u^3 + 31*u^4 + 48*u^5 - 24*u^6 - 115*u^7 - 46*u^8 + 147*u^9 + 159*u^10 - 84*u^11 - 228*u^12 - 40*u^13 + 188*u^14 + 128*u^15 - 81*u^16 - 124*u^17 - 5*u^18 + 66*u^19 + 29*u^20 - 16*u^21 - 16*u^22 - u^23 + 3*u^24 + u^25" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":5.1281e-2, "TimingZeroDimVars":7.0898e-2, "TimingmagmaVCompNormalize":7.215300000000001e-2, "TimingNumberOfSols":0.264961, "TimingIsRadical":2.1902e-2, "TimingArcColoring":5.3847e-2, "TimingObstruction":7.3716e-2, "TimingComplexVolumeN":2.0284872e1, "TimingaCuspShapeN":0.147595, "TiminguValues":0.595182, "TiminguPolysN":8.185100000000001e-2, "TiminguPolys":0.807819, "TimingaCuspShape":0.134584, "TimingRepresentationsN":0.242871, "TiminguValues_ij":0.160394, "TiminguPoly_ij":1.808104, "TiminguPolys_ij_N":0.130061 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":25, "IsRadical":true, "ArcColoring":[ [ "(-3 - 15*u - 14*u^2 + 28*u^3 + 93*u^4 + 27*u^5 - 159*u^6 - 190*u^7 + 128*u^8 + 355*u^9 + 72*u^10 - 384*u^11 - 288*u^12 + 210*u^13 + 364*u^14 + 4*u^15 - 255*u^16 - 115*u^17 + 102*u^18 + 96*u^19 - 9*u^20 - 39*u^21 - 9*u^22 + 6*u^23 + 3*u^24)\/2", "(-7 - 21*u - 34*u^2 + 28*u^3 + 173*u^4 + 113*u^5 - 291*u^6 - 424*u^7 + 206*u^8 + 745*u^9 + 160*u^10 - 788*u^11 - 572*u^12 + 470*u^13 + 712*u^14 - 50*u^15 - 519*u^16 - 181*u^17 + 222*u^18 + 172*u^19 - 33*u^20 - 73*u^21 - 13*u^22 + 12*u^23 + 5*u^24)\/2" ], [ "(-9 - 33*u - 48*u^2 + 56*u^3 + 263*u^4 + 131*u^5 - 463*u^6 - 590*u^7 + 370*u^8 + 1089*u^9 + 162*u^10 - 1188*u^11 - 792*u^12 + 736*u^13 + 1032*u^14 - 108*u^15 - 769*u^16 - 249*u^17 + 336*u^18 + 248*u^19 - 55*u^20 - 107*u^21 - 17*u^22 + 18*u^23 + 7*u^24)\/2", "(-5 - 13*u - 18*u^2 + 20*u^3 + 105*u^4 + 59*u^5 - 181*u^6 - 248*u^7 + 138*u^8 + 449*u^9 + 84*u^10 - 488*u^11 - 342*u^12 + 300*u^13 + 440*u^14 - 40*u^15 - 329*u^16 - 109*u^17 + 146*u^18 + 108*u^19 - 25*u^20 - 47*u^21 - 7*u^22 + 8*u^23 + 3*u^24)\/2" ], "{1, 0}", [ 1, "u^2" ], [ "u^3", "u - u^3 + u^5" ], [ 0, "u" ], [ "-u", "u - u^3" ], [ "(1 - 3*u - 6*u^2 + 29*u^4 + 21*u^5 - 39*u^6 - 74*u^7 + 26*u^8 + 119*u^9 + 40*u^10 - 124*u^11 - 104*u^12 + 64*u^13 + 124*u^14 + 4*u^15 - 85*u^16 - 39*u^17 + 34*u^18 + 32*u^19 - 3*u^20 - 13*u^21 - 3*u^22 + 2*u^23 + u^24)\/2", "(-1 - 7*u - 4*u^2 + 8*u^3 + 31*u^4 + 13*u^5 - 47*u^6 - 70*u^7 + 32*u^8 + 119*u^9 + 38*u^10 - 124*u^11 - 104*u^12 + 64*u^13 + 124*u^14 + 4*u^15 - 85*u^16 - 39*u^17 + 34*u^18 + 32*u^19 - 3*u^20 - 13*u^21 - 3*u^22 + 2*u^23 + u^24)\/2" ], [ "-5*u - 5*u^2 + 4*u^3 + 30*u^4 + 17*u^5 - 43*u^6 - 72*u^7 + 29*u^8 + 119*u^9 + 39*u^10 - 124*u^11 - 104*u^12 + 64*u^13 + 124*u^14 + 4*u^15 - 85*u^16 - 39*u^17 + 34*u^18 + 32*u^19 - 3*u^20 - 13*u^21 - 3*u^22 + 2*u^23 + u^24", "(-1 - 7*u - 4*u^2 + 8*u^3 + 31*u^4 + 13*u^5 - 47*u^6 - 70*u^7 + 32*u^8 + 119*u^9 + 38*u^10 - 124*u^11 - 104*u^12 + 64*u^13 + 124*u^14 + 4*u^15 - 85*u^16 - 39*u^17 + 34*u^18 + 32*u^19 - 3*u^20 - 13*u^21 - 3*u^22 + 2*u^23 + u^24)\/2" ] ], "Obstruction":-1, "ComplexVolumeN":[ "1.52493 + 0.43356*I", "1.52493 - 0.43356*I", "2.10182 + 2.44039*I", "2.10182 - 2.44039*I", "6.34798 - 5.44271*I", "6.34798 + 5.44271*I", "6.92874 + 0.59688*I", "6.92874 - 0.59688*I", "1.14086 - 5.11531*I", "1.14086 + 5.11531*I", "-3.46537 - 1.05922*I", "-3.46537 + 1.05922*I", "-1.91594 + 5.41987*I", "-1.91594 - 5.41987*I", -1.19408, "-0.62342 - 1.39976*I", "-0.62342 + 1.39976*I", "5.32382 + 5.36637*I", "5.32382 - 5.36637*I", "-0.20167 + 2.66172*I", "-0.20167 - 2.66172*I", "4.33274 + 11.3903*I", "4.33274 - 11.3903*I", "-0.33578 - 1.50728*I", "-0.33578 + 1.50728*I" ], "uPolysN":[ "4 + 4*u + 13*u^2 + 18*u^3 + 14*u^4 + 52*u^5 - 15*u^6 + 114*u^7 - 49*u^8 + 119*u^9 - 7*u^10 + 4*u^11 + 78*u^12 - 94*u^13 + 86*u^14 - 60*u^15 + 22*u^16 + 22*u^17 - 21*u^18 + 48*u^19 - 20*u^20 + 28*u^21 - 7*u^22 + 8*u^23 - u^24 + u^25", "1 + 3*u - u^2 + 8*u^3 - 9*u^4 + 9*u^5 - 24*u^6 + 10*u^7 - 35*u^8 + 20*u^9 - 25*u^10 + 40*u^11 + 64*u^13 + 28*u^14 + 72*u^15 + 41*u^16 + 63*u^17 + 35*u^18 + 40*u^19 + 21*u^20 + 19*u^21 + 8*u^22 + 6*u^23 + 2*u^24 + u^25", "1 - 4*u + 9*u^2 - 2*u^3 - 31*u^4 + 48*u^5 + 24*u^6 - 115*u^7 + 46*u^8 + 147*u^9 - 159*u^10 - 84*u^11 + 228*u^12 - 40*u^13 - 188*u^14 + 128*u^15 + 81*u^16 - 124*u^17 + 5*u^18 + 66*u^19 - 29*u^20 - 16*u^21 + 16*u^22 - u^23 - 3*u^24 + u^25", "4 + 4*u + 13*u^2 + 18*u^3 + 14*u^4 + 52*u^5 - 15*u^6 + 114*u^7 - 49*u^8 + 119*u^9 - 7*u^10 + 4*u^11 + 78*u^12 - 94*u^13 + 86*u^14 - 60*u^15 + 22*u^16 + 22*u^17 - 21*u^18 + 48*u^19 - 20*u^20 + 28*u^21 - 7*u^22 + 8*u^23 - u^24 + u^25", "1 - 2*u + 3*u^2 + 130*u^3 + 757*u^4 + 2566*u^5 + 6274*u^6 + 12199*u^7 + 19864*u^8 + 28129*u^9 + 35483*u^10 + 40528*u^11 + 42260*u^12 + 40384*u^13 + 35400*u^14 + 28464*u^15 + 20953*u^16 + 14050*u^17 + 8495*u^18 + 4558*u^19 + 2123*u^20 + 834*u^21 + 266*u^22 + 65*u^23 + 11*u^24 + u^25", "1 - 4*u + 9*u^2 - 2*u^3 - 31*u^4 + 48*u^5 + 24*u^6 - 115*u^7 + 46*u^8 + 147*u^9 - 159*u^10 - 84*u^11 + 228*u^12 - 40*u^13 - 188*u^14 + 128*u^15 + 81*u^16 - 124*u^17 + 5*u^18 + 66*u^19 - 29*u^20 - 16*u^21 + 16*u^22 - u^23 - 3*u^24 + u^25", "-1 + 11*u + 65*u^2 + 148*u^3 + 145*u^4 - 91*u^5 - 516*u^6 - 702*u^7 + 125*u^8 + 2648*u^9 + 6909*u^10 + 12072*u^11 + 16660*u^12 + 19276*u^13 + 19216*u^14 + 16756*u^15 + 12871*u^16 + 8735*u^17 + 5229*u^18 + 2748*u^19 + 1255*u^20 + 491*u^21 + 160*u^22 + 42*u^23 + 8*u^24 + u^25", "1 + 3*u - u^2 + 8*u^3 - 9*u^4 + 9*u^5 - 24*u^6 + 10*u^7 - 35*u^8 + 20*u^9 - 25*u^10 + 40*u^11 + 64*u^13 + 28*u^14 + 72*u^15 + 41*u^16 + 63*u^17 + 35*u^18 + 40*u^19 + 21*u^20 + 19*u^21 + 8*u^22 + 6*u^23 + 2*u^24 + u^25", "-1 + 11*u + 65*u^2 + 148*u^3 + 145*u^4 - 91*u^5 - 516*u^6 - 702*u^7 + 125*u^8 + 2648*u^9 + 6909*u^10 + 12072*u^11 + 16660*u^12 + 19276*u^13 + 19216*u^14 + 16756*u^15 + 12871*u^16 + 8735*u^17 + 5229*u^18 + 2748*u^19 + 1255*u^20 + 491*u^21 + 160*u^22 + 42*u^23 + 8*u^24 + u^25" ], "uPolys":[ "4 + 4*u + 13*u^2 + 18*u^3 + 14*u^4 + 52*u^5 - 15*u^6 + 114*u^7 - 49*u^8 + 119*u^9 - 7*u^10 + 4*u^11 + 78*u^12 - 94*u^13 + 86*u^14 - 60*u^15 + 22*u^16 + 22*u^17 - 21*u^18 + 48*u^19 - 20*u^20 + 28*u^21 - 7*u^22 + 8*u^23 - u^24 + u^25", "1 + 3*u - u^2 + 8*u^3 - 9*u^4 + 9*u^5 - 24*u^6 + 10*u^7 - 35*u^8 + 20*u^9 - 25*u^10 + 40*u^11 + 64*u^13 + 28*u^14 + 72*u^15 + 41*u^16 + 63*u^17 + 35*u^18 + 40*u^19 + 21*u^20 + 19*u^21 + 8*u^22 + 6*u^23 + 2*u^24 + u^25", "1 - 4*u + 9*u^2 - 2*u^3 - 31*u^4 + 48*u^5 + 24*u^6 - 115*u^7 + 46*u^8 + 147*u^9 - 159*u^10 - 84*u^11 + 228*u^12 - 40*u^13 - 188*u^14 + 128*u^15 + 81*u^16 - 124*u^17 + 5*u^18 + 66*u^19 - 29*u^20 - 16*u^21 + 16*u^22 - u^23 - 3*u^24 + u^25", "4 + 4*u + 13*u^2 + 18*u^3 + 14*u^4 + 52*u^5 - 15*u^6 + 114*u^7 - 49*u^8 + 119*u^9 - 7*u^10 + 4*u^11 + 78*u^12 - 94*u^13 + 86*u^14 - 60*u^15 + 22*u^16 + 22*u^17 - 21*u^18 + 48*u^19 - 20*u^20 + 28*u^21 - 7*u^22 + 8*u^23 - u^24 + u^25", "1 - 2*u + 3*u^2 + 130*u^3 + 757*u^4 + 2566*u^5 + 6274*u^6 + 12199*u^7 + 19864*u^8 + 28129*u^9 + 35483*u^10 + 40528*u^11 + 42260*u^12 + 40384*u^13 + 35400*u^14 + 28464*u^15 + 20953*u^16 + 14050*u^17 + 8495*u^18 + 4558*u^19 + 2123*u^20 + 834*u^21 + 266*u^22 + 65*u^23 + 11*u^24 + u^25", "1 - 4*u + 9*u^2 - 2*u^3 - 31*u^4 + 48*u^5 + 24*u^6 - 115*u^7 + 46*u^8 + 147*u^9 - 159*u^10 - 84*u^11 + 228*u^12 - 40*u^13 - 188*u^14 + 128*u^15 + 81*u^16 - 124*u^17 + 5*u^18 + 66*u^19 - 29*u^20 - 16*u^21 + 16*u^22 - u^23 - 3*u^24 + u^25", "-1 + 11*u + 65*u^2 + 148*u^3 + 145*u^4 - 91*u^5 - 516*u^6 - 702*u^7 + 125*u^8 + 2648*u^9 + 6909*u^10 + 12072*u^11 + 16660*u^12 + 19276*u^13 + 19216*u^14 + 16756*u^15 + 12871*u^16 + 8735*u^17 + 5229*u^18 + 2748*u^19 + 1255*u^20 + 491*u^21 + 160*u^22 + 42*u^23 + 8*u^24 + u^25", "1 + 3*u - u^2 + 8*u^3 - 9*u^4 + 9*u^5 - 24*u^6 + 10*u^7 - 35*u^8 + 20*u^9 - 25*u^10 + 40*u^11 + 64*u^13 + 28*u^14 + 72*u^15 + 41*u^16 + 63*u^17 + 35*u^18 + 40*u^19 + 21*u^20 + 19*u^21 + 8*u^22 + 6*u^23 + 2*u^24 + u^25", "-1 + 11*u + 65*u^2 + 148*u^3 + 145*u^4 - 91*u^5 - 516*u^6 - 702*u^7 + 125*u^8 + 2648*u^9 + 6909*u^10 + 12072*u^11 + 16660*u^12 + 19276*u^13 + 19216*u^14 + 16756*u^15 + 12871*u^16 + 8735*u^17 + 5229*u^18 + 2748*u^19 + 1255*u^20 + 491*u^21 + 160*u^22 + 42*u^23 + 8*u^24 + u^25" ], "aCuspShape":"-5 - 6*u - 38*u^2 - 22*u^3 + 119*u^4 + 164*u^5 - 165*u^6 - 389*u^7 + 35*u^8 + 584*u^9 + 238*u^10 - 538*u^11 - 498*u^12 + 286*u^13 + 526*u^14 + 2*u^15 - 357*u^16 - 128*u^17 + 144*u^18 + 108*u^19 - 25*u^20 - 42*u^21 - 5*u^22 + 7*u^23 + 2*u^24", "RepresentationsN":[ [ "u->0.781818 + 0.585895 I", "a->-0.23589 - 0.629868 I", "b->0.734813 + 0.804167 I" ], [ "u->0.781818 - 0.585895 I", "a->-0.23589 + 0.629868 I", "b->0.734813 - 0.804167 I" ], [ "u->-0.840318 + 0.62107 I", "a->0.114344 + 0.48993 I", "b->0.723797 + 0.117969 I" ], [ "u->-0.840318 - 0.62107 I", "a->0.114344 - 0.48993 I", "b->0.723797 - 0.117969 I" ], [ "u->-0.479273 + 0.936834 I", "a->0.544317 + 0.502084 I", "b->-0.776571 + 0.97409 I" ], [ "u->-0.479273 - 0.936834 I", "a->0.544317 - 0.502084 I", "b->-0.776571 - 0.97409 I" ], [ "u->-0.563663 + 0.911236 I", "a->0.646213 - 0.436873 I", "b->-0.842489 - 0.787076 I" ], [ "u->-0.563663 - 0.911236 I", "a->0.646213 + 0.436873 I", "b->-0.842489 + 0.787076 I" ], [ "u->0.90329 + 0.591334 I", "a->-1.7274 - 1.15219 I", "b->0.719637 - 0.929655 I" ], [ "u->0.90329 - 0.591334 I", "a->-1.7274 + 1.15219 I", "b->0.719637 + 0.929655 I" ], [ "u->1.07395 + 0.29432 I", "a->1.15104 + 1.96262 I", "b->-0.071208 + 0.875733 I" ], [ "u->1.07395 - 0.29432 I", "a->1.15104 - 1.96262 I", "b->-0.071208 - 0.875733 I" ], [ "u->-1.01276 + 0.537221 I", "a->-0.77689 + 2.25052 I", "b->0.204213 + 1.09669 I" ], [ "u->-1.01276 - 0.537221 I", "a->-0.77689 - 2.25052 I", "b->0.204213 - 1.09669 I" ], [ "u->0.819709", "a->0.530934", "b->-0.251925" ], [ "u->-0.70678 + 0.36902 I", "a->0.42079 - 1.91115 I", "b->0.427994 - 1.01094 I" ], [ "u->-0.70678 - 0.36902 I", "a->0.42079 + 1.91115 I", "b->0.427994 + 1.01094 I" ], [ "u->-1.08915 + 0.711472 I", "a->-0.490999 - 0.203095 I", "b->-0.865451 + 0.706038 I" ], [ "u->-1.08915 - 0.711472 I", "a->-0.490999 + 0.203095 I", "b->-0.865451 - 0.706038 I" ], [ "u->1.30676 + 0.052319 I", "a->-0.27343 - 1.51011 I", "b->-0.691717 - 0.872891 I" ], [ "u->1.30676 - 0.052319 I", "a->-0.27343 + 1.51011 I", "b->-0.691717 + 0.872891 I" ], [ "u->-1.13924 + 0.687767 I", "a->1.14519 - 1.80727 I", "b->-0.753308 - 1.02755 I" ], [ "u->-1.13924 - 0.687767 I", "a->1.14519 + 1.80727 I", "b->-0.753308 + 1.02755 I" ], [ "u->-0.144497 + 0.35757 I", "a->1.21724 - 0.7467 I", "b->0.316251 - 0.806276 I" ], [ "u->-0.144497 - 0.35757 I", "a->1.21724 + 0.7467 I", "b->0.316251 + 0.806276 I" ] ], "Epsilon":1.43932, "uPolys_ij":[ "1 - 4*u + 9*u^2 - 2*u^3 - 31*u^4 + 48*u^5 + 24*u^6 - 115*u^7 + 46*u^8 + 147*u^9 - 159*u^10 - 84*u^11 + 228*u^12 - 40*u^13 - 188*u^14 + 128*u^15 + 81*u^16 - 124*u^17 + 5*u^18 + 66*u^19 - 29*u^20 - 16*u^21 + 16*u^22 - u^23 - 3*u^24 + u^25", "1 - 2*u + 3*u^2 + 130*u^3 + 757*u^4 + 2566*u^5 + 6274*u^6 + 12199*u^7 + 19864*u^8 + 28129*u^9 + 35483*u^10 + 40528*u^11 + 42260*u^12 + 40384*u^13 + 35400*u^14 + 28464*u^15 + 20953*u^16 + 14050*u^17 + 8495*u^18 + 4558*u^19 + 2123*u^20 + 834*u^21 + 266*u^22 + 65*u^23 + 11*u^24 + u^25", "1 - 2*u + 2043*u^2 - 10454*u^3 + 32057*u^4 - 45406*u^5 - 22106*u^6 + 250279*u^7 - 611896*u^8 + 952501*u^9 - 1099245*u^10 + 1005568*u^11 - 757468*u^12 + 483256*u^13 - 262192*u^14 + 116824*u^15 - 36683*u^16 + 2918*u^17 + 5255*u^18 - 3714*u^19 + 1263*u^20 - 130*u^21 - 74*u^22 + 41*u^23 - 9*u^24 + u^25", "16 - 88*u + 137*u^2 + 496*u^3 - 3370*u^4 + 9510*u^5 - 16877*u^6 + 20774*u^7 - 16477*u^8 + 2155*u^9 + 15279*u^10 - 20452*u^11 + 6556*u^12 + 12200*u^13 - 16868*u^14 + 6936*u^15 + 3256*u^16 - 4796*u^17 + 945*u^18 + 2028*u^19 - 2270*u^20 + 1274*u^21 - 455*u^22 + 106*u^23 - 15*u^24 + u^25", "1 - 2*u + 3*u^2 - 6*u^3 + 19*u^4 - 30*u^5 - 70*u^6 + 111*u^7 - 158*u^8 + 147*u^9 + 591*u^10 - 252*u^11 + 5692*u^12 + 21192*u^13 + 24780*u^14 + 9810*u^15 - 7973*u^16 - 10002*u^17 - 1395*u^18 + 2406*u^19 + 913*u^20 - 190*u^21 - 138*u^22 - 5*u^23 + 7*u^24 + u^25", "3721 + 1586*u + 8339*u^2 + 9374*u^3 + 16201*u^4 + 25324*u^5 + 18044*u^6 + 36145*u^7 + 24268*u^8 + 37805*u^9 + 23161*u^10 + 23906*u^11 + 20176*u^12 + 15558*u^13 + 13968*u^14 + 7620*u^15 + 5959*u^16 + 2734*u^17 + 1377*u^18 + 742*u^19 + 173*u^20 + 142*u^21 + 14*u^22 + 17*u^23 + u^24 + u^25", "1 - u - 23*u^2 + 16*u^3 + 279*u^4 + 599*u^5 + 3670*u^6 - 1662*u^7 + 2671*u^8 + 6354*u^9 - 9765*u^10 + 14042*u^11 - 14426*u^12 + 9994*u^13 - 8846*u^14 + 4214*u^15 - 2963*u^16 + 1475*u^17 - 517*u^18 + 464*u^19 - 35*u^20 + 103*u^21 + 14*u^23 + u^25", "-49 + 973*u - 3559*u^2 + 5816*u^3 - 3259*u^4 - 1073*u^5 - 648*u^6 + 1320*u^7 + 6319*u^8 + 610*u^9 - 15963*u^10 + 7792*u^11 + 1428*u^12 + 4412*u^13 - 784*u^14 - 6382*u^15 + 3709*u^16 + 1371*u^17 - 2603*u^18 + 1666*u^19 - 603*u^20 + 133*u^21 - 40*u^22 + 24*u^23 - 8*u^24 + u^25", "1 + 3*u - u^2 + 8*u^3 - 9*u^4 + 9*u^5 - 24*u^6 + 10*u^7 - 35*u^8 + 20*u^9 - 25*u^10 + 40*u^11 + 64*u^13 + 28*u^14 + 72*u^15 + 41*u^16 + 63*u^17 + 35*u^18 + 40*u^19 + 21*u^20 + 19*u^21 + 8*u^22 + 6*u^23 + 2*u^24 + u^25", "1 + 251*u + 679*u^2 + 20*u^3 - 3925*u^4 + 5953*u^5 - 9800*u^6 + 6274*u^7 + 29843*u^8 - 63012*u^9 + 11987*u^10 + 119648*u^11 - 233260*u^12 + 258372*u^13 - 210200*u^14 + 142268*u^15 - 90899*u^16 + 60755*u^17 - 40949*u^18 + 24364*u^19 - 11547*u^20 + 4119*u^21 - 1060*u^22 + 186*u^23 - 20*u^24 + u^25", "319 + 535*u + 3127*u^2 + 8766*u^3 + 24135*u^4 + 46441*u^5 + 69842*u^6 + 88946*u^7 + 84303*u^8 + 83296*u^9 + 52273*u^10 + 50482*u^11 + 18556*u^12 + 25134*u^13 + 2790*u^14 + 10718*u^15 - 1179*u^16 + 3547*u^17 - 925*u^18 + 898*u^19 - 277*u^20 + 171*u^21 - 46*u^22 + 20*u^23 - 4*u^24 + u^25", "313 + 343*u + 595*u^2 + 1282*u^3 - 493*u^4 + 2659*u^5 - 722*u^6 + 3400*u^7 - 3821*u^8 + 3120*u^9 - 9009*u^10 + 9196*u^11 - 5404*u^12 + 15298*u^13 + 212*u^14 + 12414*u^15 + 1895*u^16 + 5663*u^17 + 965*u^18 + 1556*u^19 + 257*u^20 + 257*u^21 + 34*u^22 + 24*u^23 + 2*u^24 + u^25", "61 + 80*u + 125*u^2 + 336*u^3 - 155*u^4 + 1826*u^5 + 1724*u^6 + 2551*u^7 + 3456*u^8 - 5697*u^9 + 1445*u^10 - 1556*u^11 + 2514*u^12 + 21932*u^13 + 748*u^14 + 23346*u^15 - 1507*u^16 + 10902*u^17 - 971*u^18 + 2770*u^19 - 225*u^20 + 400*u^21 - 24*u^22 + 31*u^23 - u^24 + u^25", "4 + 36*u + 149*u^2 + 318*u^3 + 298*u^4 - 1438*u^5 - 2355*u^6 - 1552*u^7 + 1983*u^8 + 13613*u^9 + 11475*u^10 - 2080*u^11 - 2582*u^12 + 1864*u^13 - 5116*u^14 - 4730*u^15 + 3248*u^16 + 3230*u^17 - 889*u^18 - 1042*u^19 + 148*u^20 + 190*u^21 - 17*u^22 - 20*u^23 + u^24 + u^25", "361 + 2163*u + 7789*u^2 + 21444*u^3 + 47129*u^4 + 86085*u^5 + 126344*u^6 + 154348*u^7 + 148781*u^8 + 101642*u^9 + 29645*u^10 - 25516*u^11 - 37886*u^12 - 18212*u^13 + 5590*u^14 + 12882*u^15 + 6635*u^16 - 581*u^17 - 2383*u^18 - 616*u^19 + 419*u^20 + 175*u^21 - 40*u^22 - 20*u^23 + 2*u^24 + u^25", "-1 + 11*u + 65*u^2 + 148*u^3 + 145*u^4 - 91*u^5 - 516*u^6 - 702*u^7 + 125*u^8 + 2648*u^9 + 6909*u^10 + 12072*u^11 + 16660*u^12 + 19276*u^13 + 19216*u^14 + 16756*u^15 + 12871*u^16 + 8735*u^17 + 5229*u^18 + 2748*u^19 + 1255*u^20 + 491*u^21 + 160*u^22 + 42*u^23 + 8*u^24 + u^25", "1 - 5*u - u^2 - 158*u^3 + 399*u^4 + 2129*u^5 + 2680*u^6 - 2342*u^7 - 8125*u^8 + 564*u^9 + 9923*u^10 + 952*u^11 - 6804*u^12 - 528*u^13 + 2708*u^14 - 174*u^15 - 381*u^16 + 335*u^17 - 133*u^18 - 172*u^19 + 69*u^20 + 45*u^21 - 16*u^22 - 8*u^23 + 2*u^24 + u^25", "4 + 4*u + 13*u^2 + 18*u^3 + 14*u^4 + 52*u^5 - 15*u^6 + 114*u^7 - 49*u^8 + 119*u^9 - 7*u^10 + 4*u^11 + 78*u^12 - 94*u^13 + 86*u^14 - 60*u^15 + 22*u^16 + 22*u^17 - 21*u^18 + 48*u^19 - 20*u^20 + 28*u^21 - 7*u^22 + 8*u^23 - u^24 + u^25", "9 + 45*u + 151*u^2 + 964*u^3 + 3299*u^4 + 6107*u^5 + 6676*u^6 + 2452*u^7 - 1453*u^8 - 868*u^9 - 2609*u^10 - 248*u^11 - 40*u^12 + 2140*u^13 + 248*u^14 + 2786*u^15 - 375*u^16 + 1707*u^17 - 369*u^18 + 626*u^19 - 139*u^20 + 141*u^21 - 26*u^22 + 18*u^23 - 2*u^24 + u^25", "1 + 3*u - u^2 + 14*u^3 + 43*u^4 + 21*u^5 + 142*u^6 + 358*u^7 - 449*u^8 - 792*u^9 + 2545*u^10 + 4652*u^11 - 1626*u^12 - 6686*u^13 - 1106*u^14 + 4458*u^15 + 1933*u^16 - 1547*u^17 - 1087*u^18 + 258*u^19 + 329*u^20 + 3*u^21 - 54*u^22 - 8*u^23 + 4*u^24 + u^25" ], "GeometricComponent":"{22, 23}", "uPolys_ij_N":[ "1 - 4*u + 9*u^2 - 2*u^3 - 31*u^4 + 48*u^5 + 24*u^6 - 115*u^7 + 46*u^8 + 147*u^9 - 159*u^10 - 84*u^11 + 228*u^12 - 40*u^13 - 188*u^14 + 128*u^15 + 81*u^16 - 124*u^17 + 5*u^18 + 66*u^19 - 29*u^20 - 16*u^21 + 16*u^22 - u^23 - 3*u^24 + u^25", "1 - 2*u + 3*u^2 + 130*u^3 + 757*u^4 + 2566*u^5 + 6274*u^6 + 12199*u^7 + 19864*u^8 + 28129*u^9 + 35483*u^10 + 40528*u^11 + 42260*u^12 + 40384*u^13 + 35400*u^14 + 28464*u^15 + 20953*u^16 + 14050*u^17 + 8495*u^18 + 4558*u^19 + 2123*u^20 + 834*u^21 + 266*u^22 + 65*u^23 + 11*u^24 + u^25", "1 - 2*u + 2043*u^2 - 10454*u^3 + 32057*u^4 - 45406*u^5 - 22106*u^6 + 250279*u^7 - 611896*u^8 + 952501*u^9 - 1099245*u^10 + 1005568*u^11 - 757468*u^12 + 483256*u^13 - 262192*u^14 + 116824*u^15 - 36683*u^16 + 2918*u^17 + 5255*u^18 - 3714*u^19 + 1263*u^20 - 130*u^21 - 74*u^22 + 41*u^23 - 9*u^24 + u^25", "16 - 88*u + 137*u^2 + 496*u^3 - 3370*u^4 + 9510*u^5 - 16877*u^6 + 20774*u^7 - 16477*u^8 + 2155*u^9 + 15279*u^10 - 20452*u^11 + 6556*u^12 + 12200*u^13 - 16868*u^14 + 6936*u^15 + 3256*u^16 - 4796*u^17 + 945*u^18 + 2028*u^19 - 2270*u^20 + 1274*u^21 - 455*u^22 + 106*u^23 - 15*u^24 + u^25", "1 - 2*u + 3*u^2 - 6*u^3 + 19*u^4 - 30*u^5 - 70*u^6 + 111*u^7 - 158*u^8 + 147*u^9 + 591*u^10 - 252*u^11 + 5692*u^12 + 21192*u^13 + 24780*u^14 + 9810*u^15 - 7973*u^16 - 10002*u^17 - 1395*u^18 + 2406*u^19 + 913*u^20 - 190*u^21 - 138*u^22 - 5*u^23 + 7*u^24 + u^25", "3721 + 1586*u + 8339*u^2 + 9374*u^3 + 16201*u^4 + 25324*u^5 + 18044*u^6 + 36145*u^7 + 24268*u^8 + 37805*u^9 + 23161*u^10 + 23906*u^11 + 20176*u^12 + 15558*u^13 + 13968*u^14 + 7620*u^15 + 5959*u^16 + 2734*u^17 + 1377*u^18 + 742*u^19 + 173*u^20 + 142*u^21 + 14*u^22 + 17*u^23 + u^24 + u^25", "1 - u - 23*u^2 + 16*u^3 + 279*u^4 + 599*u^5 + 3670*u^6 - 1662*u^7 + 2671*u^8 + 6354*u^9 - 9765*u^10 + 14042*u^11 - 14426*u^12 + 9994*u^13 - 8846*u^14 + 4214*u^15 - 2963*u^16 + 1475*u^17 - 517*u^18 + 464*u^19 - 35*u^20 + 103*u^21 + 14*u^23 + u^25", "-49 + 973*u - 3559*u^2 + 5816*u^3 - 3259*u^4 - 1073*u^5 - 648*u^6 + 1320*u^7 + 6319*u^8 + 610*u^9 - 15963*u^10 + 7792*u^11 + 1428*u^12 + 4412*u^13 - 784*u^14 - 6382*u^15 + 3709*u^16 + 1371*u^17 - 2603*u^18 + 1666*u^19 - 603*u^20 + 133*u^21 - 40*u^22 + 24*u^23 - 8*u^24 + u^25", "1 + 3*u - u^2 + 8*u^3 - 9*u^4 + 9*u^5 - 24*u^6 + 10*u^7 - 35*u^8 + 20*u^9 - 25*u^10 + 40*u^11 + 64*u^13 + 28*u^14 + 72*u^15 + 41*u^16 + 63*u^17 + 35*u^18 + 40*u^19 + 21*u^20 + 19*u^21 + 8*u^22 + 6*u^23 + 2*u^24 + u^25", "1 + 251*u + 679*u^2 + 20*u^3 - 3925*u^4 + 5953*u^5 - 9800*u^6 + 6274*u^7 + 29843*u^8 - 63012*u^9 + 11987*u^10 + 119648*u^11 - 233260*u^12 + 258372*u^13 - 210200*u^14 + 142268*u^15 - 90899*u^16 + 60755*u^17 - 40949*u^18 + 24364*u^19 - 11547*u^20 + 4119*u^21 - 1060*u^22 + 186*u^23 - 20*u^24 + u^25", "319 + 535*u + 3127*u^2 + 8766*u^3 + 24135*u^4 + 46441*u^5 + 69842*u^6 + 88946*u^7 + 84303*u^8 + 83296*u^9 + 52273*u^10 + 50482*u^11 + 18556*u^12 + 25134*u^13 + 2790*u^14 + 10718*u^15 - 1179*u^16 + 3547*u^17 - 925*u^18 + 898*u^19 - 277*u^20 + 171*u^21 - 46*u^22 + 20*u^23 - 4*u^24 + u^25", "313 + 343*u + 595*u^2 + 1282*u^3 - 493*u^4 + 2659*u^5 - 722*u^6 + 3400*u^7 - 3821*u^8 + 3120*u^9 - 9009*u^10 + 9196*u^11 - 5404*u^12 + 15298*u^13 + 212*u^14 + 12414*u^15 + 1895*u^16 + 5663*u^17 + 965*u^18 + 1556*u^19 + 257*u^20 + 257*u^21 + 34*u^22 + 24*u^23 + 2*u^24 + u^25", "61 + 80*u + 125*u^2 + 336*u^3 - 155*u^4 + 1826*u^5 + 1724*u^6 + 2551*u^7 + 3456*u^8 - 5697*u^9 + 1445*u^10 - 1556*u^11 + 2514*u^12 + 21932*u^13 + 748*u^14 + 23346*u^15 - 1507*u^16 + 10902*u^17 - 971*u^18 + 2770*u^19 - 225*u^20 + 400*u^21 - 24*u^22 + 31*u^23 - u^24 + u^25", "4 + 36*u + 149*u^2 + 318*u^3 + 298*u^4 - 1438*u^5 - 2355*u^6 - 1552*u^7 + 1983*u^8 + 13613*u^9 + 11475*u^10 - 2080*u^11 - 2582*u^12 + 1864*u^13 - 5116*u^14 - 4730*u^15 + 3248*u^16 + 3230*u^17 - 889*u^18 - 1042*u^19 + 148*u^20 + 190*u^21 - 17*u^22 - 20*u^23 + u^24 + u^25", "361 + 2163*u + 7789*u^2 + 21444*u^3 + 47129*u^4 + 86085*u^5 + 126344*u^6 + 154348*u^7 + 148781*u^8 + 101642*u^9 + 29645*u^10 - 25516*u^11 - 37886*u^12 - 18212*u^13 + 5590*u^14 + 12882*u^15 + 6635*u^16 - 581*u^17 - 2383*u^18 - 616*u^19 + 419*u^20 + 175*u^21 - 40*u^22 - 20*u^23 + 2*u^24 + u^25", "-1 + 11*u + 65*u^2 + 148*u^3 + 145*u^4 - 91*u^5 - 516*u^6 - 702*u^7 + 125*u^8 + 2648*u^9 + 6909*u^10 + 12072*u^11 + 16660*u^12 + 19276*u^13 + 19216*u^14 + 16756*u^15 + 12871*u^16 + 8735*u^17 + 5229*u^18 + 2748*u^19 + 1255*u^20 + 491*u^21 + 160*u^22 + 42*u^23 + 8*u^24 + u^25", "1 - 5*u - u^2 - 158*u^3 + 399*u^4 + 2129*u^5 + 2680*u^6 - 2342*u^7 - 8125*u^8 + 564*u^9 + 9923*u^10 + 952*u^11 - 6804*u^12 - 528*u^13 + 2708*u^14 - 174*u^15 - 381*u^16 + 335*u^17 - 133*u^18 - 172*u^19 + 69*u^20 + 45*u^21 - 16*u^22 - 8*u^23 + 2*u^24 + u^25", "4 + 4*u + 13*u^2 + 18*u^3 + 14*u^4 + 52*u^5 - 15*u^6 + 114*u^7 - 49*u^8 + 119*u^9 - 7*u^10 + 4*u^11 + 78*u^12 - 94*u^13 + 86*u^14 - 60*u^15 + 22*u^16 + 22*u^17 - 21*u^18 + 48*u^19 - 20*u^20 + 28*u^21 - 7*u^22 + 8*u^23 - u^24 + u^25", "9 + 45*u + 151*u^2 + 964*u^3 + 3299*u^4 + 6107*u^5 + 6676*u^6 + 2452*u^7 - 1453*u^8 - 868*u^9 - 2609*u^10 - 248*u^11 - 40*u^12 + 2140*u^13 + 248*u^14 + 2786*u^15 - 375*u^16 + 1707*u^17 - 369*u^18 + 626*u^19 - 139*u^20 + 141*u^21 - 26*u^22 + 18*u^23 - 2*u^24 + u^25", "1 + 3*u - u^2 + 14*u^3 + 43*u^4 + 21*u^5 + 142*u^6 + 358*u^7 - 449*u^8 - 792*u^9 + 2545*u^10 + 4652*u^11 - 1626*u^12 - 6686*u^13 - 1106*u^14 + 4458*u^15 + 1933*u^16 - 1547*u^17 - 1087*u^18 + 258*u^19 + 329*u^20 + 3*u^21 - 54*u^22 - 8*u^23 + 4*u^24 + u^25" ], "Multiplicity":1, "ij_list":[ [ "{3, 6}", "{4, 6}", "{4, 7}" ], [ "{3, 4}", "{5, 7}", "{6, 7}" ], [ "{5, 6}" ], [ "{1, 2}", "{3, 7}", "{4, 5}" ], [ "{3, 5}", "{5, 8}" ], [ "{4, 8}" ], [ "{4, 9}" ], [ "{7, 9}" ], [ "{2, 9}", "{3, 8}", "{3, 9}" ], [ "{1, 9}", "{7, 8}" ], [ "{6, 8}" ], [ "{5, 9}" ], [ "{6, 9}" ], [ "{1, 4}" ], [ "{1, 6}" ], [ "{1, 7}", "{1, 8}", "{2, 3}", "{8, 9}" ], [ "{2, 6}" ], [ "{1, 5}", "{2, 4}", "{2, 5}" ], [ "{1, 3}", "{2, 8}" ], [ "{2, 7}" ] ], "SortedReprnIndices":"{22, 23, 6, 5, 13, 14, 18, 19, 10, 9, 20, 21, 3, 4, 25, 24, 17, 16, 12, 11, 7, 8, 1, 2, 15}", "aCuspShapeN":[ "-3.0880381988888118097`5.1504687575730586 + 0.0450649356543911207`3.31462484897263*I", "-3.0880381988888118097`5.1504687575730586 - 0.0450649356543911207`3.31462484897263*I", "-0.1659937726834248333`3.8124333939226966 - 3.6117294109693299036`5.150056804018509*I", "-0.1659937726834248333`3.8124333939226966 + 3.6117294109693299036`5.150056804018509*I", "-0.4982856787189506474`4.297928769222871 + 3.513504411322297728`5.146190867120609*I", "-0.4982856787189506474`4.297928769222871 - 3.513504411322297728`5.146190867120609*I", "0.4675769919940614217`4.5497722796553175 - 1.8050672475571353807`5.136412533047435*I", "0.4675769919940614217`4.5497722796553175 + 1.8050672475571353807`5.136412533047435*I", "-4.182551440264478884`4.933266729084859 + 5.484642082453367511`5.050973729711786*I", "-4.182551440264478884`4.933266729084859 - 5.484642082453367511`5.050973729711786*I", "-11.39395420203169437`5.150285419434492 + 0.3705762831155476034`3.662488570978526*I", "-11.39395420203169437`5.150285419434492 - 0.3705762831155476034`3.662488570978526*I", "-7.3569671309383087248`5.023790289363145 - 6.5491875496652170777`4.973278901170332*I", "-7.3569671309383087248`5.023790289363145 + 6.5491875496652170777`4.973278901170332*I", -8.4438, "-3.0427780091218694727`5.150428834271982 + 0.0606174986422871884`3.4497565768338263*I", "-3.0427780091218694727`5.150428834271982 - 0.0606174986422871884`3.4497565768338263*I", "-1.5332204592654057627`4.8025126027154945 - 3.0533722592987021871`5.101687752470662*I", "-1.5332204592654057627`4.8025126027154945 + 3.0533722592987021871`5.101687752470662*I", "-2.7147703063136761191`4.931979712590946 - 3.5766140398694349754`5.051718699306982*I", "-2.7147703063136761191`4.931979712590946 + 3.5766140398694349754`5.051718699306982*I", "-3.2898325210278014844`4.741620746691887 - 7.7666364592435207749`5.114679934438281*I", "-3.2898325210278014844`4.741620746691887 + 7.7666364592435207749`5.114679934438281*I", "-2.9792776336394758901`4.905156083138938 + 4.3126600166033652583`5.06579032930872*I", "-2.9792776336394758901`4.905156083138938 - 4.3126600166033652583`5.06579032930872*I" ], "Abelian":false }, { "IdealName":"J9_25_1", "Generators":[ "-1 - a + 2*b", "3 + a^2", "-1 + u" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":5.1792e-2, "TimingZeroDimVars":5.0101000000000014e-2, "TimingmagmaVCompNormalize":5.1304e-2, "TimingNumberOfSols":2.4607e-2, "TimingIsRadical":1.5780000000000004e-3, "TimingArcColoring":4.6525e-2, "TimingObstruction":1.2980000000000001e-3, "TimingComplexVolumeN":1.652888, "TimingaCuspShapeN":8.601000000000001e-3, "TiminguValues":0.571919, "TiminguPolysN":3.17e-4, "TiminguPolys":0.730192, "TimingaCuspShape":0.10385, "TimingRepresentationsN":2.5121000000000004e-2, "TiminguValues_ij":0.104058, "TiminguPolys_ij_N":2.8500000000000004e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ [ "(-1 + a)\/2", "(-1 + a)\/2" ], [ "(-1 + a)\/2", "(-1 + a)\/2" ], "{1, 0}", "{1, 1}", "{1, 1}", "{0, 1}", "{-1, 0}", [ "(-1 + a)\/2", "(1 + a)\/2" ], [ "a", "(1 + a)\/2" ] ], "Obstruction":1, "ComplexVolumeN":[ "-1.64493 + 2.02988*I", "-1.64493 - 2.02988*I" ], "uPolysN":[ "u^2", "1 - u + u^2", "1 - 2*u + u^2", "u^2", "1 - 2*u + u^2", "1 + 2*u + u^2", "1 - u + u^2", "1 + u + u^2", "1 + u + u^2" ], "uPolys":[ "u^2", "1 - u + u^2", "(-1 + u)^2", "u^2", "(-1 + u)^2", "(1 + u)^2", "1 - u + u^2", "1 + u + u^2", "1 + u + u^2" ], "aCuspShape":"-5 - 2*(2 + a)", "RepresentationsN":[ [ "u->1.", "a->0. + 1.73205 I", "b->0.5 + 0.866025 I" ], [ "u->1.", "a->0. - 1.73205 I", "b->0.5 - 0.866025 I" ] ], "Epsilon":3.87298, "uPolys_ij_N":[ "u^2", "1 - 2*u + u^2", "1 + u + u^2", "1 - u + u^2", "1 + u + u^2", "1 - u + u^2", "3 + u^2" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 2.02988 ], "ij_list":[ [ "{1, 2}", "{1, 4}", "{1, 5}", "{2, 4}", "{2, 5}", "{3, 7}", "{4, 5}" ], [ "{3, 4}", "{3, 5}", "{3, 6}", "{4, 6}", "{4, 7}", "{4, 8}", "{5, 6}", "{5, 7}", "{5, 8}", "{6, 7}" ], [ "{7, 8}", "{7, 9}" ], [ "{1, 3}", "{2, 3}", "{4, 9}", "{5, 9}", "{6, 8}", "{8, 9}" ], [ "{1, 6}", "{1, 7}", "{1, 8}", "{2, 6}", "{2, 7}", "{2, 8}" ], [ "{1, 9}", "{2, 9}", "{3, 8}", "{3, 9}" ], [ "{6, 9}" ] ], "SortedReprnIndices":"{1, 2}", "aCuspShapeN":[ "-9.`5.120516032994348 - 3.464101615137754587`4.705864146578837*I", "-9.`5.120516032994348 + 3.464101615137754587`4.705864146578837*I" ], "Abelian":false }, { "IdealName":"abJ9_25_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.7880000000000006e-2, "TimingZeroDimVars":4.8964e-2, "TimingmagmaVCompNormalize":5.0130999999999995e-2, "TimingNumberOfSols":2.0175000000000002e-2, "TimingIsRadical":1.309e-3, "TimingArcColoring":4.3366e-2, "TimingObstruction":4.33e-4, "TimingComplexVolumeN":0.216913, "TimingaCuspShapeN":4.242e-3, "TiminguValues":0.586309, "TiminguPolysN":6.900000000000002e-5, "TiminguPolys":0.725384, "TimingaCuspShape":8.907999999999999e-2, "TimingRepresentationsN":2.1762e-2, "TiminguValues_ij":9.8873e-2, "TiminguPoly_ij":0.111248, "TiminguPolys_ij_N":2.9e-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":[ "u^2*(4 + 4*u + 13*u^2 + 18*u^3 + 14*u^4 + 52*u^5 - 15*u^6 + 114*u^7 - 49*u^8 + 119*u^9 - 7*u^10 + 4*u^11 + 78*u^12 - 94*u^13 + 86*u^14 - 60*u^15 + 22*u^16 + 22*u^17 - 21*u^18 + 48*u^19 - 20*u^20 + 28*u^21 - 7*u^22 + 8*u^23 - u^24 + u^25)", "(1 - u + u^2)*(1 + 3*u - u^2 + 8*u^3 - 9*u^4 + 9*u^5 - 24*u^6 + 10*u^7 - 35*u^8 + 20*u^9 - 25*u^10 + 40*u^11 + 64*u^13 + 28*u^14 + 72*u^15 + 41*u^16 + 63*u^17 + 35*u^18 + 40*u^19 + 21*u^20 + 19*u^21 + 8*u^22 + 6*u^23 + 2*u^24 + u^25)", "(-1 + u)^2*(1 - 4*u + 9*u^2 - 2*u^3 - 31*u^4 + 48*u^5 + 24*u^6 - 115*u^7 + 46*u^8 + 147*u^9 - 159*u^10 - 84*u^11 + 228*u^12 - 40*u^13 - 188*u^14 + 128*u^15 + 81*u^16 - 124*u^17 + 5*u^18 + 66*u^19 - 29*u^20 - 16*u^21 + 16*u^22 - u^23 - 3*u^24 + u^25)", "u^2*(4 + 4*u + 13*u^2 + 18*u^3 + 14*u^4 + 52*u^5 - 15*u^6 + 114*u^7 - 49*u^8 + 119*u^9 - 7*u^10 + 4*u^11 + 78*u^12 - 94*u^13 + 86*u^14 - 60*u^15 + 22*u^16 + 22*u^17 - 21*u^18 + 48*u^19 - 20*u^20 + 28*u^21 - 7*u^22 + 8*u^23 - u^24 + u^25)", "(-1 + u)^2*(1 - 2*u + 3*u^2 + 130*u^3 + 757*u^4 + 2566*u^5 + 6274*u^6 + 12199*u^7 + 19864*u^8 + 28129*u^9 + 35483*u^10 + 40528*u^11 + 42260*u^12 + 40384*u^13 + 35400*u^14 + 28464*u^15 + 20953*u^16 + 14050*u^17 + 8495*u^18 + 4558*u^19 + 2123*u^20 + 834*u^21 + 266*u^22 + 65*u^23 + 11*u^24 + u^25)", "(1 + u)^2*(1 - 4*u + 9*u^2 - 2*u^3 - 31*u^4 + 48*u^5 + 24*u^6 - 115*u^7 + 46*u^8 + 147*u^9 - 159*u^10 - 84*u^11 + 228*u^12 - 40*u^13 - 188*u^14 + 128*u^15 + 81*u^16 - 124*u^17 + 5*u^18 + 66*u^19 - 29*u^20 - 16*u^21 + 16*u^22 - u^23 - 3*u^24 + u^25)", "(1 - u + u^2)*(-1 + 11*u + 65*u^2 + 148*u^3 + 145*u^4 - 91*u^5 - 516*u^6 - 702*u^7 + 125*u^8 + 2648*u^9 + 6909*u^10 + 12072*u^11 + 16660*u^12 + 19276*u^13 + 19216*u^14 + 16756*u^15 + 12871*u^16 + 8735*u^17 + 5229*u^18 + 2748*u^19 + 1255*u^20 + 491*u^21 + 160*u^22 + 42*u^23 + 8*u^24 + u^25)", "(1 + u + u^2)*(1 + 3*u - u^2 + 8*u^3 - 9*u^4 + 9*u^5 - 24*u^6 + 10*u^7 - 35*u^8 + 20*u^9 - 25*u^10 + 40*u^11 + 64*u^13 + 28*u^14 + 72*u^15 + 41*u^16 + 63*u^17 + 35*u^18 + 40*u^19 + 21*u^20 + 19*u^21 + 8*u^22 + 6*u^23 + 2*u^24 + u^25)", "(1 + u + u^2)*(-1 + 11*u + 65*u^2 + 148*u^3 + 145*u^4 - 91*u^5 - 516*u^6 - 702*u^7 + 125*u^8 + 2648*u^9 + 6909*u^10 + 12072*u^11 + 16660*u^12 + 19276*u^13 + 19216*u^14 + 16756*u^15 + 12871*u^16 + 8735*u^17 + 5229*u^18 + 2748*u^19 + 1255*u^20 + 491*u^21 + 160*u^22 + 42*u^23 + 8*u^24 + u^25)" ], "RileyPolyC":[ "y^2*(-16 - 88*y - 137*y^2 + 496*y^3 + 3370*y^4 + 9510*y^5 + 16877*y^6 + 20774*y^7 + 16477*y^8 + 2155*y^9 - 15279*y^10 - 20452*y^11 - 6556*y^12 + 12200*y^13 + 16868*y^14 + 6936*y^15 - 3256*y^16 - 4796*y^17 - 945*y^18 + 2028*y^19 + 2270*y^20 + 1274*y^21 + 455*y^22 + 106*y^23 + 15*y^24 + y^25)", "(1 + y + y^2)*(-1 + 11*y + 65*y^2 + 148*y^3 + 145*y^4 - 91*y^5 - 516*y^6 - 702*y^7 + 125*y^8 + 2648*y^9 + 6909*y^10 + 12072*y^11 + 16660*y^12 + 19276*y^13 + 19216*y^14 + 16756*y^15 + 12871*y^16 + 8735*y^17 + 5229*y^18 + 2748*y^19 + 1255*y^20 + 491*y^21 + 160*y^22 + 42*y^23 + 8*y^24 + y^25)", "(-1 + y)^2*(-1 - 2*y - 3*y^2 + 130*y^3 - 757*y^4 + 2566*y^5 - 6274*y^6 + 12199*y^7 - 19864*y^8 + 28129*y^9 - 35483*y^10 + 40528*y^11 - 42260*y^12 + 40384*y^13 - 35400*y^14 + 28464*y^15 - 20953*y^16 + 14050*y^17 - 8495*y^18 + 4558*y^19 - 2123*y^20 + 834*y^21 - 266*y^22 + 65*y^23 - 11*y^24 + y^25)", "y^2*(-16 - 88*y - 137*y^2 + 496*y^3 + 3370*y^4 + 9510*y^5 + 16877*y^6 + 20774*y^7 + 16477*y^8 + 2155*y^9 - 15279*y^10 - 20452*y^11 - 6556*y^12 + 12200*y^13 + 16868*y^14 + 6936*y^15 - 3256*y^16 - 4796*y^17 - 945*y^18 + 2028*y^19 + 2270*y^20 + 1274*y^21 + 455*y^22 + 106*y^23 + 15*y^24 + y^25)", "(-1 + y)^2*(-1 - 2*y - 2043*y^2 - 10454*y^3 - 32057*y^4 - 45406*y^5 + 22106*y^6 + 250279*y^7 + 611896*y^8 + 952501*y^9 + 1099245*y^10 + 1005568*y^11 + 757468*y^12 + 483256*y^13 + 262192*y^14 + 116824*y^15 + 36683*y^16 + 2918*y^17 - 5255*y^18 - 3714*y^19 - 1263*y^20 - 130*y^21 + 74*y^22 + 41*y^23 + 9*y^24 + y^25)", "(-1 + y)^2*(-1 - 2*y - 3*y^2 + 130*y^3 - 757*y^4 + 2566*y^5 - 6274*y^6 + 12199*y^7 - 19864*y^8 + 28129*y^9 - 35483*y^10 + 40528*y^11 - 42260*y^12 + 40384*y^13 - 35400*y^14 + 28464*y^15 - 20953*y^16 + 14050*y^17 - 8495*y^18 + 4558*y^19 - 2123*y^20 + 834*y^21 - 266*y^22 + 65*y^23 - 11*y^24 + y^25)", "(1 + y + y^2)*(-1 + 251*y - 679*y^2 + 20*y^3 + 3925*y^4 + 5953*y^5 + 9800*y^6 + 6274*y^7 - 29843*y^8 - 63012*y^9 - 11987*y^10 + 119648*y^11 + 233260*y^12 + 258372*y^13 + 210200*y^14 + 142268*y^15 + 90899*y^16 + 60755*y^17 + 40949*y^18 + 24364*y^19 + 11547*y^20 + 4119*y^21 + 1060*y^22 + 186*y^23 + 20*y^24 + y^25)", "(1 + y + y^2)*(-1 + 11*y + 65*y^2 + 148*y^3 + 145*y^4 - 91*y^5 - 516*y^6 - 702*y^7 + 125*y^8 + 2648*y^9 + 6909*y^10 + 12072*y^11 + 16660*y^12 + 19276*y^13 + 19216*y^14 + 16756*y^15 + 12871*y^16 + 8735*y^17 + 5229*y^18 + 2748*y^19 + 1255*y^20 + 491*y^21 + 160*y^22 + 42*y^23 + 8*y^24 + y^25)", "(1 + y + y^2)*(-1 + 251*y - 679*y^2 + 20*y^3 + 3925*y^4 + 5953*y^5 + 9800*y^6 + 6274*y^7 - 29843*y^8 - 63012*y^9 - 11987*y^10 + 119648*y^11 + 233260*y^12 + 258372*y^13 + 210200*y^14 + 142268*y^15 + 90899*y^16 + 60755*y^17 + 40949*y^18 + 24364*y^19 + 11547*y^20 + 4119*y^21 + 1060*y^22 + 186*y^23 + 20*y^24 + y^25)" ] }, "GeometricRepresentation":[ 1.13903e1, [ "J9_25_0", 1, "{22, 23}" ] ] } }