{ "Index":75, "Name":"9_40", "RolfsenName":"9_40", "DTname":"9a_37", "TunnelNumber":2, "BridgeNumber":"Not implemented", "Hyperbolic":true, "Diagram":{ "Scode":"{14, -12, 10, 2, -18, 16, 8, -6, 4}", "Acode":"{8, -7, 6, 2, -1, 9, 5, -4, 3}", "PDcode":[ "{1, 15, 2, 14}", "{3, 12, 4, 13}", "{5, 11, 6, 10}", "{7, 3, 8, 2}", "{9, 18, 10, 1}", "{11, 17, 12, 16}", "{13, 9, 14, 8}", "{15, 6, 16, 7}", "{17, 5, 18, 4}" ], "CBtype":"{3, 0}", "ParabolicReps":{ "SolvingSeq":[ "{3, 6, 9}", [], [ "{3, 6, 4, 1}", "{6, 9, 7, 1}", "{9, 3, 1, 1}", "{3, -7, 2, 2}", "{6, -1, 5, 2}", "{9, -4, 8, 2}" ], "{4, 7}", "{1}", 1 ], "SolvingSeqIdx":1, "Comps":{ "u":{ "CheckEq":[ "1 + a^2*u - 2*a*b*u + b^2*u - 2*a*b*u^2 + a^2*b^2*u^2 + a^2*u^4 + a^3*b*u^4 - 3*a^4*b^2*u^4 + a^5*b^3*u^4 - a^4*u^6 + 2*a^5*b*u^6 - a^6*b^2*u^6", "-u + a*b*u - b^2*u + u^2 - 2*a*b*u^4 + 5*a^2*b^2*u^4 - 4*a^3*b^3*u^4 + a^4*b^4*u^4 + a^2*u^6 - 3*a^3*b*u^6 + 3*a^4*b^2*u^6 - a^5*b^3*u^6", "-a + b - a^2*u - a*u^2 + 2*a^3*b*u^3 - 5*a^2*b^2*u^3 - a^4*b^2*u^3 + 4*a*b^3*u^3 + 3*a^3*b^3*u^3 - b^4*u^3 - 3*a^2*b^4*u^3 + a*b^5*u^3", "-b + u - a*b*u + b*u^2 - 2*a*b*u^3 + b^2*u^3 + 3*a^2*b^2*u^3 - 4*a*b^3*u^3 - a^3*b^3*u^3 + b^4*u^3 + 2*a^2*b^4*u^3 - a*b^5*u^3 - a*u^4" ], "TimingForPrimaryIdeals":0.200995 }, "v":{ "CheckEq":[ "-a + b + v + a*b*v + b^4*v^3 + a*b^5*v^3 - b^6*v^3", "-b + b^2*v + b^6*v^3", "1 - v - a*b*v + b^2*v + b^4*v^2 + b^6*v^4 + a*b^7*v^4", "-(b^2*v) + b^8*v^4" ], "TimingForPrimaryIdeals":7.7666e-2 }, "PrimaryIdeals":[ { "IdealName":"J9_40_0", "Generators":[ "b - u", "1 + a", "1 + 2*u^2 + 2*u^3 + u^4" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.7696e-2, "TimingZeroDimVars":4.7304000000000006e-2, "TimingmagmaVCompNormalize":4.8468000000000004e-2, "TimingNumberOfSols":3.066e-2, "TimingIsRadical":1.6690000000000001e-3, "TimingArcColoring":5.1121e-2, "TimingObstruction":3.0139999999999998e-3, "TimingComplexVolumeN":3.381313, "TimingaCuspShapeN":1.7993e-2, "TiminguValues":0.58719, "TiminguPolysN":1.118e-3, "TiminguPolys":0.737177, "TimingaCuspShape":9.8273e-2, "TimingRepresentationsN":2.9276e-2, "TiminguValues_ij":0.110846, "TiminguPoly_ij":0.479472, "TiminguPolys_ij_N":8.27e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":4, "IsRadical":true, "ArcColoring":[ [ "-1 - u", "u" ], [ "1 - u^2 - u^3", "-1 - u^2" ], "{1, 0}", [ 1, "u^2" ], [ "-u - 2*u^2 - u^3", "u + u^2 + u^3" ], [ 0, "u" ], [ "-u", "u + u^2" ], [ "-1 - u - u^2", "1 + u + 2*u^2 + u^3" ], [ -1, "u" ] ], "Obstruction":-1, "ComplexVolumeN":[ "-0.10892 - 1.69225*I", "-0.10892 + 1.69225*I", "-4.0034 + 15.0183*I", "-4.0034 - 15.0183*I" ], "uPolysN":[ "1 + 2*u^2 - 2*u^3 + u^4", "2 - 2*u + 4*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4", "2 - 2*u + 4*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4", "2 - 2*u + 4*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4" ], "uPolys":[ "1 + 2*u^2 - 2*u^3 + u^4", "2 - 2*u + 4*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4", "2 - 2*u + 4*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4", "2 - 2*u + 4*u^2 - 2*u^3 + u^4", "1 + 2*u^2 - 2*u^3 + u^4" ], "aCuspShape":"-3 + 3*(1 + 2*u + 2*u^2)", "RepresentationsN":[ [ "u->0.189785 + 0.602803 I", "a->-1.", "b->0.189785 + 0.602803 I" ], [ "u->0.189785 - 0.602803 I", "a->-1.", "b->0.189785 - 0.602803 I" ], [ "u->-1.18978 + 1.04318 I", "a->-1.", "b->-1.18978 + 1.04318 I" ], [ "u->-1.18978 - 1.04318 I", "a->-1.", "b->-1.18978 - 1.04318 I" ] ], "Epsilon":1.70498, "uPolys_ij":[ "1 + 2*u^2 - 2*u^3 + u^4", "1 - 4*u + 6*u^2 + u^4", "4 + 12*u + 12*u^2 + 4*u^3 + u^4", "2 - 2*u + 4*u^2 - 2*u^3 + u^4", "7 + 10*u + 12*u^2 + 6*u^3 + u^4", "3 - 2*u + 4*u^2 + 2*u^3 + u^4" ], "GeometricComponent":"{3, 4}", "uPolys_ij_N":[ "1 + 2*u^2 - 2*u^3 + u^4", "1 - 4*u + 6*u^2 + u^4", "4 + 12*u + 12*u^2 + 4*u^3 + u^4", "2 - 2*u + 4*u^2 - 2*u^3 + u^4", "7 + 10*u + 12*u^2 + 6*u^3 + u^4", "3 - 2*u + 4*u^2 + 2*u^3 + u^4" ], "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 1.69225 ], "ij_list":[ [ "{1, 3}", "{1, 8}", "{2, 4}", "{2, 5}", "{2, 8}", "{3, 6}", "{3, 9}", "{4, 6}", "{5, 7}", "{5, 8}", "{6, 9}", "{7, 9}" ], [ "{1, 2}", "{1, 9}", "{3, 4}", "{4, 5}", "{6, 7}", "{7, 8}" ], [ "{2, 3}", "{5, 6}", "{8, 9}" ], [ "{1, 5}", "{1, 6}", "{2, 7}", "{3, 7}", "{4, 8}", "{4, 9}" ], [ "{2, 6}", "{3, 8}", "{5, 9}" ], [ "{1, 4}", "{1, 7}", "{2, 9}", "{3, 5}", "{4, 7}", "{6, 8}" ] ], "SortedReprnIndices":"{3, 4, 2, 1}", "aCuspShapeN":[ "-0.8254085331741840512`4.363251536695341 + 4.9896490423376781735`5.144652582005563*I", "-0.8254085331741840512`4.363251536695341 - 4.9896490423376781735`5.144652582005563*I", "-5.1745914668258159488`4.861505982725375 - 8.63487686822933212`5.083886063710802*I", "-5.1745914668258159488`4.861505982725375 + 8.63487686822933212`5.083886063710802*I" ], "Abelian":false }, { "IdealName":"J9_40_1a", "Generators":[ "b - u", "6 + a + 3*u - 6*u^2 + 4*u^3", "1 + 2*u - u^3 + u^4" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.8201e-2, "TimingZeroDimVars":4.886e-2, "TimingmagmaVCompNormalize":5.0108e-2, "TimingNumberOfSols":5.3877e-2, "TimingIsRadical":2.2170000000000002e-3, "TimingArcColoring":5.1639e-2, "TimingObstruction":3.294e-3, "TimingComplexVolumeN":1.510616, "TimingaCuspShapeN":1.7546e-2, "TiminguValues":0.57991, "TiminguPolysN":1.701e-3, "TiminguPolys":0.764556, "TimingaCuspShape":0.104987, "TimingRepresentationsN":4.9002e-2, "TiminguValues_ij":0.116284, "TiminguPolys_ij_N":2.609e-3 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":4, "IsRadical":true, "ArcColoring":[ [ "-2*(3 + 2*u - 3*u^2 + 2*u^3)", "u" ], [ "-3 + 3*u - u^2", "1 + u - 2*u^2 + u^3" ], "{1, 0}", [ 1, "u^2" ], [ "4*(1 + 2*u - 2*u^2 + u^3)", "2 + u - 2*u^2 + 2*u^3" ], [ 0, "u" ], [ "8 + 8*u - 12*u^2 + 7*u^3", "2 + u - 2*u^2 + u^3" ], [ "-8 - 4*u + 8*u^2 - 5*u^3", -1 ], [ "-6 - 3*u + 6*u^2 - 4*u^3", "u" ] ], "Obstruction":-1, "ComplexVolumeN":[ "-3.28987 + 6.08965*I", "-3.28987 - 6.08965*I", "-3.28987 - 6.08965*I", "-3.28987 + 6.08965*I" ], "uPolysN":[ "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "16 - 16*u + 12*u^2 - 4*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4" ], "uPolys":[ "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "(4 - 2*u + u^2)^2", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4" ], "aCuspShape":"-3 - 3*(9 + 4*u - 8*u^2 + 4*u^3)", "RepresentationsN":[ [ "u->-0.621964 + 0.18773 I", "a->-1.32516 - 2.80932 I", "b->-0.621964 + 0.18773 I" ], [ "u->-0.621964 - 0.18773 I", "a->-1.32516 + 2.80932 I", "b->-0.621964 - 0.18773 I" ], [ "u->1.12196 + 1.05376 I", "a->0.825159 - 0.211249 I", "b->1.12196 + 1.05376 I" ], [ "u->1.12196 - 1.05376 I", "a->0.825159 + 0.211249 I", "b->1.12196 - 1.05376 I" ] ], "Epsilon":3.01027, "uPolys_ij_N":[ "1 - 4*u + 6*u^2 - 4*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "49 + 28*u + 18*u^2 + u^3 + u^4", "9 + 6*u^2 - 3*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "19 - 4*u + 6*u^2 + 5*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "9 + 6*u^2 + u^4", "16 - 16*u + 12*u^2 - 4*u^3 + u^4", "19 - 4*u + 6*u^2 + 5*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "49 + 28*u + 18*u^2 + u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "9 + 6*u^2 - 3*u^3 + u^4", "256 + 128*u + 48*u^2 + 8*u^3 + u^4" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2, 3, 4}", 6.08965 ], "ij_list":[ [ "{3, 8}" ], [ "{1, 3}", "{3, 6}", "{3, 9}", "{4, 6}" ], [ "{1, 9}", "{3, 4}" ], [ "{6, 7}" ], [ "{1, 4}", "{3, 5}" ], [ "{2, 4}", "{2, 5}" ], [ "{2, 7}", "{3, 7}", "{4, 8}", "{4, 9}" ], [ "{2, 6}" ], [ "{2, 3}", "{8, 9}" ], [ "{1, 8}", "{2, 8}", "{5, 7}", "{5, 8}" ], [ "{2, 9}", "{4, 7}" ], [ "{1, 5}", "{1, 6}" ], [ "{5, 9}" ], [ "{6, 9}", "{7, 9}" ], [ "{4, 5}" ], [ "{1, 2}", "{7, 8}" ], [ "{1, 7}", "{6, 8}" ], [ "{5, 6}" ] ], "SortedReprnIndices":"{1, 4, 2, 3}", "aCuspShapeN":[ "-12.`5.028995973488843 - 10.392304845413263761`4.966526605184694*I", "-12.`5.028995973488843 + 10.392304845413263761`4.966526605184694*I", "-12.`5.028995973488843 + 10.3923048454132637618`4.966526605184694*I", "-12.`5.028995973488843 - 10.3923048454132637618`4.966526605184694*I" ], "Abelian":false }, { "IdealName":"J9_40_1b", "Generators":[ "2 + b + 5*u + 3*u^2 + u^3", "-7 + 7*a + 3*u + 3*u^2 + 2*u^3", "7 + 14*u + 12*u^2 + 5*u^3 + u^4" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.4502e-2, "TimingZeroDimVars":4.8522e-2, "TimingmagmaVCompNormalize":4.9688e-2, "TimingNumberOfSols":5.3266e-2, "TimingIsRadical":2.494e-3, "TimingArcColoring":5.0274e-2, "TimingObstruction":3.759e-3, "TimingComplexVolumeN":2.590292, "TimingaCuspShapeN":1.8112e-2, "TiminguValues":0.581688, "TiminguPolysN":1.721e-3, "TiminguPolys":0.748863, "TimingaCuspShape":0.11876, "TimingRepresentationsN":4.9383e-2, "TiminguValues_ij":0.119013, "TiminguPolys_ij_N":2.585e-3 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":4, "IsRadical":true, "ArcColoring":[ [ "(21 + 32*u + 18*u^2 + 5*u^3)\/7", "-2 - 5*u - 3*u^2 - u^3" ], [ "(-35 - 18*u - 4*u^2 + 2*u^3)\/7", "4*(4 + 7*u + 4*u^2 + u^3)" ], "{1, 0}", [ 1, "u^2" ], [ "(7 + 20*u + 13*u^2 + 4*u^3)\/7", "4 + 4*u + u^2" ], [ 0, "u" ], [ "(-35 - 64*u - 36*u^2 - 10*u^3)\/7", "-2*(5 + 7*u + 4*u^2 + u^3)" ], [ "(-28 - 52*u - 31*u^2 - 9*u^3)\/7", "-9 - 12*u - 6*u^2 - u^3" ], [ "(7 - 3*u - 3*u^2 - 2*u^3)\/7", "-2 - 5*u - 3*u^2 - u^3" ] ], "Obstruction":-1, "ComplexVolumeN":[ "-3.28987 + 6.08965*I", "-3.28987 - 6.08965*I", "-3.28987 - 6.08965*I", "-3.28987 + 6.08965*I" ], "uPolysN":[ "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "16 - 16*u + 12*u^2 - 4*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4" ], "uPolys":[ "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "(4 - 2*u + u^2)^2", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4", "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4" ], "aCuspShape":"-3 - 3*(21 + 28*u + 16*u^2 + 4*u^3)", "RepresentationsN":[ [ "u->-1.1484 + 0.632502 I", "a->1.13735 - 0.291171 I", "b->1.12196 - 1.05376 I" ], [ "u->-1.1484 - 0.632502 I", "a->1.13735 + 0.291171 I", "b->1.12196 + 1.05376 I" ], [ "u->-1.3516 + 1.49853 I", "a->-0.137346 - 0.291171 I", "b->-0.621964 - 0.18773 I" ], [ "u->-1.3516 - 1.49853 I", "a->-0.137346 + 0.291171 I", "b->-0.621964 + 0.18773 I" ] ], "Epsilon":2.49147, "uPolys_ij_N":[ "1 - 4*u + 6*u^2 - 4*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "49 + 28*u + 18*u^2 + u^3 + u^4", "9 + 6*u^2 - 3*u^3 + u^4", "1 - 2*u + u^3 + u^4", "49 + 28*u + 18*u^2 + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "9 + 6*u^2 - 3*u^3 + u^4", "19 - 4*u + 6*u^2 + 5*u^3 + u^4", "19 - 4*u + 6*u^2 + 5*u^3 + u^4", "9 + 6*u^2 + u^4", "16 - 16*u + 12*u^2 - 4*u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "256 + 128*u + 48*u^2 + 8*u^3 + u^4" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2, 3, 4}", 6.08965 ], "ij_list":[ [ "{5, 9}" ], [ "{3, 6}", "{4, 6}" ], [ "{3, 4}" ], [ "{3, 5}", "{4, 7}" ], [ "{2, 4}", "{2, 5}", "{5, 7}", "{5, 8}" ], [ "{1, 2}" ], [ "{1, 5}", "{1, 6}", "{4, 8}", "{4, 9}" ], [ "{1, 3}", "{3, 9}", "{6, 9}", "{7, 9}" ], [ "{4, 5}", "{7, 8}" ], [ "{5, 6}", "{8, 9}" ], [ "{1, 8}", "{2, 8}" ], [ "{1, 7}", "{2, 9}" ], [ "{3, 8}" ], [ "{2, 6}" ], [ "{1, 4}", "{6, 8}" ], [ "{2, 7}", "{3, 7}" ], [ "{1, 9}", "{6, 7}" ], [ "{2, 3}" ] ], "SortedReprnIndices":"{1, 4, 2, 3}", "aCuspShapeN":[ "-12.`5.028995973488843 - 10.392304845413263761`4.966526605184694*I", "-12.`5.028995973488843 + 10.392304845413263761`4.966526605184694*I", "-12.0000000000000000023`5.028995973488843 + 10.3923048454132637598`4.966526605184694*I", "-12.0000000000000000023`5.028995973488843 - 10.3923048454132637598`4.966526605184694*I" ], "Abelian":false }, { "IdealName":"J9_40_1c", "Generators":[ "4 + b + 2*u - 3*u^2 + 2*u^3", "1 + a", "1 + 2*u - u^3 + u^4" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.797700000000001e-2, "TimingZeroDimVars":4.6988e-2, "TimingmagmaVCompNormalize":4.8154e-2, "TimingNumberOfSols":4.1449999999999994e-2, "TimingIsRadical":2.083e-3, "TimingArcColoring":5.0789e-2, "TimingObstruction":3.3900000000000002e-3, "TimingComplexVolumeN":2.614063, "TimingaCuspShapeN":1.7943e-2, "TiminguValues":0.586157, "TiminguPolysN":1.542e-3, "TiminguPolys":0.73801, "TimingaCuspShape":0.111182, "TimingRepresentationsN":4.0830000000000005e-2, "TiminguValues_ij":0.124491, "TiminguPolys_ij_N":2.6230000000000003e-3 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":4, "IsRadical":true, "ArcColoring":[ [ "3 + 2*u - 3*u^2 + 2*u^3", "-4 - 2*u + 3*u^2 - 2*u^3" ], [ "2 - u^2 + u^3", "1 + u - 2*u^2 + u^3" ], "{1, 0}", [ 1, "u^2" ], [ "1 + 2*u - 2*u^2 + u^3", "-3 - 2*u + 4*u^2 - 2*u^3" ], [ 0, "u" ], [ "-u", "2 + u - 2*u^2 + u^3" ], [ "3 + 2*u - 4*u^2 + 2*u^3", "-2 + 3*u^2 - 2*u^3" ], [ -1, "-4 - 2*u + 3*u^2 - 2*u^3" ] ], "Obstruction":-1, "ComplexVolumeN":[ "-3.28987 + 6.08965*I", "-3.28987 - 6.08965*I", "-3.28987 - 6.08965*I", "-3.28987 + 6.08965*I" ], "uPolysN":[ "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "16 - 16*u + 12*u^2 - 4*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4" ], "uPolys":[ "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4", "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "(4 - 2*u + u^2)^2", "7 - 14*u + 12*u^2 - 5*u^3 + u^4" ], "aCuspShape":"-3 - 3*(9 + 4*u - 8*u^2 + 4*u^3)", "RepresentationsN":[ [ "u->-0.621964 + 0.18773 I", "a->-1.", "b->-1.3516 - 1.49853 I" ], [ "u->-0.621964 - 0.18773 I", "a->-1.", "b->-1.3516 + 1.49853 I" ], [ "u->1.12196 + 1.05376 I", "a->-1.", "b->-1.1484 - 0.632502 I" ], [ "u->1.12196 - 1.05376 I", "a->-1.", "b->-1.1484 + 0.632502 I" ] ], "Epsilon":2.1407, "uPolys_ij_N":[ "1 - 4*u + 6*u^2 - 4*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "49 + 28*u + 18*u^2 + u^3 + u^4", "9 + 6*u^2 - 3*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "19 - 4*u + 6*u^2 + 5*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "9 + 6*u^2 + u^4", "16 - 16*u + 12*u^2 - 4*u^3 + u^4", "19 - 4*u + 6*u^2 + 5*u^3 + u^4", "7 - 14*u + 12*u^2 - 5*u^3 + u^4", "49 + 28*u + 18*u^2 + u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "9 + 6*u^2 - 3*u^3 + u^4", "256 + 128*u + 48*u^2 + 8*u^3 + u^4" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2, 3, 4}", 6.08965 ], "ij_list":[ [ "{2, 6}" ], [ "{3, 6}", "{4, 6}", "{6, 9}", "{7, 9}" ], [ "{3, 4}", "{6, 7}" ], [ "{1, 9}" ], [ "{4, 7}", "{6, 8}" ], [ "{5, 7}", "{5, 8}" ], [ "{1, 5}", "{1, 6}", "{2, 7}", "{3, 7}" ], [ "{5, 9}" ], [ "{2, 3}", "{5, 6}" ], [ "{1, 8}", "{2, 4}", "{2, 5}", "{2, 8}" ], [ "{1, 7}", "{3, 5}" ], [ "{4, 8}", "{4, 9}" ], [ "{3, 8}" ], [ "{1, 3}", "{3, 9}" ], [ "{7, 8}" ], [ "{1, 2}", "{4, 5}" ], [ "{1, 4}", "{2, 9}" ], [ "{8, 9}" ] ], "SortedReprnIndices":"{1, 4, 2, 3}", "aCuspShapeN":[ "-12.`5.028995973488843 - 10.392304845413263761`4.966526605184694*I", "-12.`5.028995973488843 + 10.392304845413263761`4.966526605184694*I", "-12.`5.028995973488843 + 10.3923048454132637618`4.966526605184694*I", "-12.`5.028995973488843 - 10.3923048454132637618`4.966526605184694*I" ], "Abelian":false }, { "IdealName":"J9_40_4a", "Generators":[ "b - u", "-2 + a + u", "1 - u + u^2" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.7189e-2, "TimingZeroDimVars":5.1946000000000006e-2, "TimingmagmaVCompNormalize":5.3315e-2, "TimingNumberOfSols":2.6823000000000003e-2, "TimingIsRadical":1.7829999999999999e-3, "TimingArcColoring":5.0285e-2, "TimingObstruction":1.339e-3, "TimingComplexVolumeN":0.909523, "TimingaCuspShapeN":9.247e-3, "TiminguValues":0.580263, "TiminguPolysN":3.79e-4, "TiminguPolys":0.728972, "TimingaCuspShape":8.999599999999999e-2, "TimingRepresentationsN":2.5395e-2, "TiminguValues_ij":0.112401, "TiminguPolys_ij_N":4.3099999999999996e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ [ "-2*(-1 + u)", "u" ], [ "-2 + 3*u", "-u" ], "{1, 0}", [ 1, "-1 + u" ], [ "4*(-1 + u)", "-u" ], [ 0, "u" ], [ -3, "1 - u" ], "{1, 0}", [ "2 - u", "u" ] ], "Obstruction":-1, "ComplexVolumeN":[ "0. - 6.08965*I", "0. + 6.08965*I" ], "uPolysN":[ "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "3 - 3*u + u^2", "4 - 4*u + u^2", "3 - 3*u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2" ], "uPolys":[ "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "3 - 3*u + u^2", "(-2 + u)^2", "3 - 3*u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2" ], "aCuspShape":"-3 + 3*(-1 + 4*u)", "RepresentationsN":[ [ "u->0.5 + 0.866025 I", "a->1.5 - 0.86603 I", "b->0.5 + 0.866025 I" ], [ "u->0.5 - 0.866025 I", "a->1.5 + 0.86603 I", "b->0.5 - 0.866025 I" ] ], "Epsilon":3.0, "uPolys_ij_N":[ "u^2", "4 - 4*u + u^2", "16 - 8*u + u^2", "4 - 2*u + u^2", "1 - u + u^2", "7 - 5*u + u^2", "1 + u + u^2", "9 + 3*u + u^2", "1 + u + u^2", "1 - u + u^2", "3 - 3*u + u^2" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 6.08965 ], "ij_list":[ [ "{3, 8}" ], [ "{1, 5}", "{1, 6}" ], [ "{5, 6}" ], [ "{2, 9}", "{4, 7}" ], [ "{1, 2}", "{1, 9}", "{3, 4}", "{7, 8}" ], [ "{2, 6}", "{5, 9}" ], [ "{2, 7}", "{3, 7}", "{4, 8}", "{4, 9}" ], [ "{4, 5}", "{6, 7}" ], [ "{1, 3}", "{1, 8}", "{2, 3}", "{2, 8}", "{3, 6}", "{3, 9}", "{4, 6}", "{5, 7}", "{5, 8}", "{8, 9}" ], [ "{1, 4}", "{1, 7}", "{3, 5}", "{6, 8}" ], [ "{2, 4}", "{2, 5}", "{6, 9}", "{7, 9}" ] ], "SortedReprnIndices":"{2, 1}", "aCuspShapeN":[ "0``4.1338031200885155 + 10.3923048454132637612`5.150514997831991*I", "0``4.1338031200885155 - 10.3923048454132637612`5.150514997831991*I" ], "Abelian":false }, { "IdealName":"J9_40_4b", "Generators":[ "1 + b + u", "1 + a", "1 - u + u^2" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.599e-2, "TimingZeroDimVars":4.7880000000000006e-2, "TimingmagmaVCompNormalize":4.9137000000000014e-2, "TimingNumberOfSols":2.4769000000000003e-2, "TimingIsRadical":1.6619999999999996e-3, "TimingArcColoring":4.8883e-2, "TimingObstruction":1.157e-3, "TimingComplexVolumeN":2.258918, "TimingaCuspShapeN":9.177e-3, "TiminguValues":0.577969, "TiminguPolysN":4.06e-4, "TiminguPolys":0.725713, "TimingaCuspShape":9.0946e-2, "TimingRepresentationsN":2.5945e-2, "TiminguValues_ij":0.11058, "TiminguPolys_ij_N":4.2500000000000003e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ [ "u", "-1 - u" ], [ 0, "-u" ], "{1, 0}", [ 1, "-1 + u" ], [ 1, "2*(-1 + u)" ], [ 0, "u" ], [ "-u", "1 - u" ], [ 1, "-3 + u" ], [ -1, "-1 - u" ] ], "Obstruction":-1, "ComplexVolumeN":[ "0. - 6.08965*I", "0. + 6.08965*I" ], "uPolysN":[ "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "3 - 3*u + u^2", "4 - 4*u + u^2", "3 - 3*u + u^2" ], "uPolys":[ "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "3 - 3*u + u^2", "(-2 + u)^2", "3 - 3*u + u^2" ], "aCuspShape":"-3 + 3*(-1 + 4*u)", "RepresentationsN":[ [ "u->0.5 + 0.866025 I", "a->-1.", "b->-1.5 - 0.86603 I" ], [ "u->0.5 - 0.866025 I", "a->-1.", "b->-1.5 + 0.86603 I" ] ], "Epsilon":2.44949, "uPolys_ij_N":[ "u^2", "4 - 4*u + u^2", "16 - 8*u + u^2", "4 - 2*u + u^2", "1 - u + u^2", "7 - 5*u + u^2", "1 + u + u^2", "9 + 3*u + u^2", "1 + u + u^2", "1 - u + u^2", "3 - 3*u + u^2" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 6.08965 ], "ij_list":[ [ "{2, 6}" ], [ "{4, 8}", "{4, 9}" ], [ "{8, 9}" ], [ "{1, 7}", "{3, 5}" ], [ "{1, 2}", "{3, 4}", "{4, 5}", "{6, 7}" ], [ "{3, 8}", "{5, 9}" ], [ "{1, 5}", "{1, 6}", "{2, 7}", "{3, 7}" ], [ "{1, 9}", "{7, 8}" ], [ "{1, 8}", "{2, 3}", "{2, 4}", "{2, 5}", "{2, 8}", "{3, 6}", "{4, 6}", "{5, 6}", "{6, 9}", "{7, 9}" ], [ "{1, 4}", "{2, 9}", "{4, 7}", "{6, 8}" ], [ "{1, 3}", "{3, 9}", "{5, 7}", "{5, 8}" ] ], "SortedReprnIndices":"{2, 1}", "aCuspShapeN":[ "0``4.1338031200885155 + 10.3923048454132637612`5.150514997831991*I", "0``4.1338031200885155 - 10.3923048454132637612`5.150514997831991*I" ], "Abelian":false }, { "IdealName":"J9_40_4c", "Generators":[ "1 + b + u", "3*a + u", "3 + 3*u + u^2" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.3208e-2, "TimingZeroDimVars":4.6447e-2, "TimingmagmaVCompNormalize":4.7682e-2, "TimingNumberOfSols":3.1263e-2, "TimingIsRadical":1.76e-3, "TimingArcColoring":4.8378e-2, "TimingObstruction":1.3360000000000004e-3, "TimingComplexVolumeN":0.90911, "TimingaCuspShapeN":9.593e-3, "TiminguValues":0.581405, "TiminguPolysN":4.01e-4, "TiminguPolys":0.722878, "TimingaCuspShape":9.7859e-2, "TimingRepresentationsN":3.0168e-2, "TiminguValues_ij":0.111616, "TiminguPolys_ij_N":4.3400000000000003e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ [ "(3 + 2*u)\/3", "-1 - u" ], [ "(9 + 4*u)\/3", 4 ], "{1, 0}", [ 1, "-3*(1 + u)" ], [ "u\/3", "1 + u" ], [ 0, "u" ], [ "(-3 - 2*u)\/3", -2 ], [ "(-2*(3 + 2*u))\/3", "-4 - u" ], [ "-1\/3*u", "-1 - u" ] ], "Obstruction":-1, "ComplexVolumeN":[ "0. + 6.08965*I", "0. - 6.08965*I" ], "uPolysN":[ "3 - 3*u + u^2", "4 - 4*u + u^2", "3 - 3*u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2" ], "uPolys":[ "3 - 3*u + u^2", "(-2 + u)^2", "3 - 3*u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2" ], "aCuspShape":"-3 - 3*(5 + 4*u)", "RepresentationsN":[ [ "u->-1.5 + 0.86603 I", "a->0.5 - 0.288675 I", "b->0.5 - 0.866025 I" ], [ "u->-1.5 - 0.86603 I", "a->0.5 + 0.288675 I", "b->0.5 + 0.866025 I" ] ], "Epsilon":2.51661, "uPolys_ij_N":[ "u^2", "4 - 4*u + u^2", "16 - 8*u + u^2", "1 + u + u^2", "1 - u + u^2", "3 - 3*u + u^2", "1 + u + u^2", "1 - u + u^2", "7 - 5*u + u^2", "4 - 2*u + u^2", "9 + 3*u + u^2" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 6.08965 ], "ij_list":[ [ "{5, 9}" ], [ "{2, 7}", "{3, 7}" ], [ "{2, 3}" ], [ "{1, 5}", "{1, 6}", "{4, 8}", "{4, 9}" ], [ "{1, 7}", "{2, 9}", "{3, 5}", "{4, 7}" ], [ "{1, 8}", "{2, 8}", "{3, 6}", "{4, 6}" ], [ "{1, 3}", "{2, 4}", "{2, 5}", "{3, 9}", "{5, 6}", "{5, 7}", "{5, 8}", "{6, 9}", "{7, 9}", "{8, 9}" ], [ "{1, 9}", "{4, 5}", "{6, 7}", "{7, 8}" ], [ "{2, 6}", "{3, 8}" ], [ "{1, 4}", "{6, 8}" ], [ "{1, 2}", "{3, 4}" ] ], "SortedReprnIndices":"{1, 2}", "aCuspShapeN":[ "0``4.1338031200885155 - 10.3923048454132637611`5.150514997831991*I", "0``4.1338031200885155 + 10.3923048454132637611`5.150514997831991*I" ], "Abelian":false }, { "IdealName":"J9_40_7", "Generators":[ "b + u", "1 + a", "1 + u - u^3 + u^4" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.767300000000001e-2, "TimingZeroDimVars":4.3726e-2, "TimingmagmaVCompNormalize":4.4883e-2, "TimingNumberOfSols":2.7361e-2, "TimingIsRadical":1.796e-3, "TimingArcColoring":4.7674e-2, "TimingObstruction":3.054e-3, "TimingComplexVolumeN":3.743308, "TimingaCuspShapeN":1.7388999999999998e-2, "TiminguValues":0.584668, "TiminguPolysN":1.277e-3, "TiminguPolys":0.725555, "TimingaCuspShape":9.418e-2, "TimingRepresentationsN":2.9161000000000003e-2, "TiminguValues_ij":0.110508, "TiminguPolys_ij_N":1.6510000000000001e-3 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":4, "IsRadical":true, "ArcColoring":[ [ "-1 + u", "-u" ], [ "1 - u^2 + u^3", "-1 - u + u^2 - u^3" ], "{1, 0}", [ 1, "u^2" ], [ "-u + 2*u^2 - u^3", "u - u^2 + u^3" ], [ 0, "u" ], [ "-u", "u - u^2" ], [ "-1 + u - u^2", 1 ], [ -1, "-u" ] ], "Obstruction":1, "ComplexVolumeN":[ "-2.4674 - 5.33349*I", "-2.4674 + 5.33349*I", "-2.4674 - 5.33349*I", "-2.4674 + 5.33349*I" ], "uPolysN":[ "1 - u + u^3 + u^4", "2 + u^2 + u^4", "1 + u - u^3 + u^4", "1 - u + u^3 + u^4", "2 + u^2 + u^4", "1 + u - u^3 + u^4", "1 - u + u^3 + u^4", "2 + u^2 + u^4", "1 + u - u^3 + u^4" ], "uPolys":[ "1 - u + u^3 + u^4", "2 + u^2 + u^4", "1 + u - u^3 + u^4", "1 - u + u^3 + u^4", "2 + u^2 + u^4", "1 + u - u^3 + u^4", "1 - u + u^3 + u^4", "2 + u^2 + u^4", "1 + u - u^3 + u^4" ], "aCuspShape":"-3 + 3*(u - u^2 + u^3)", "RepresentationsN":[ [ "u->-0.566121 + 0.458821 I", "a->-1.", "b->0.566121 - 0.458821 I" ], [ "u->-0.566121 - 0.458821 I", "a->-1.", "b->0.566121 + 0.458821 I" ], [ "u->1.06612 + 0.864054 I", "a->-1.", "b->-1.06612 - 0.864054 I" ], [ "u->1.06612 - 0.864054 I", "a->-1.", "b->-1.06612 + 0.864054 I" ] ], "Epsilon":1.29774, "uPolys_ij_N":[ "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 - 4*u + 6*u^2 - 4*u^3 + u^4", "1 - u + u^3 + u^4", "1 + u - u^3 + u^4", "1 + u + 4*u^2 + u^3 + u^4", "1 - u + 4*u^2 - u^3 + u^4", "2 + u^2 + u^4", "2 + u^2 + u^4", "1 - u + u^3 + u^4", "4 - 4*u + 5*u^2 - 2*u^3 + u^4", "1 - u + 4*u^2 - u^3 + u^4", "1 + u - u^3 + u^4", "4 + 4*u + 5*u^2 + 2*u^3 + u^4", "4 - 4*u + 5*u^2 - 2*u^3 + u^4" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2, 3, 4}", 5.33349 ], "ij_list":[ [ "{2, 6}", "{5, 9}" ], [ "{3, 8}" ], [ "{3, 9}" ], [ "{1, 3}", "{3, 6}", "{4, 6}", "{6, 9}", "{7, 9}" ], [ "{1, 9}" ], [ "{3, 4}", "{6, 7}" ], [ "{2, 7}", "{3, 7}" ], [ "{1, 5}", "{1, 6}", "{4, 8}", "{4, 9}" ], [ "{1, 8}", "{2, 8}" ], [ "{1, 7}", "{2, 9}" ], [ "{1, 2}", "{4, 5}", "{7, 8}" ], [ "{2, 4}", "{2, 5}", "{5, 7}", "{5, 8}" ], [ "{1, 4}", "{3, 5}", "{4, 7}", "{6, 8}" ], [ "{2, 3}", "{5, 6}", "{8, 9}" ] ], "SortedReprnIndices":"{2, 4, 1, 3}", "aCuspShapeN":[ "-4.5`5.025576261223692 + 3.9686269665968858858`4.9710040265111575*I", "-4.5`5.025576261223692 - 3.9686269665968858858`4.9710040265111575*I", "-4.5`5.025576261223692 + 3.9686269665968858856`4.9710040265111575*I", "-4.5`5.025576261223692 - 3.9686269665968858856`4.9710040265111575*I" ], "Abelian":false }, { "IdealName":"J9_40_8a", "Generators":[ "-1 + b", "a + 2*u - 2*u^2 + u^3", "1 + 2*u - u^3 + u^4" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":0.1048, "TimingZeroDimVars":4.8084e-2, "TimingmagmaVCompNormalize":4.9322e-2, "TimingNumberOfSols":4.0253e-2, "TimingIsRadical":1.7130000000000001e-3, "TimingArcColoring":4.7617000000000013e-2, "TimingObstruction":3.2440000000000004e-3, "TimingComplexVolumeN":3.06653, "TimingaCuspShapeN":1.7566e-2, "TiminguValues":0.576204, "TiminguPolysN":1.1990000000000006e-3, "TiminguPolys":0.75013, "TimingaCuspShape":0.113195, "TimingRepresentationsN":4.2114000000000006e-2, "TiminguValues_ij":0.113227, "TiminguPolys_ij_N":1.7540000000000001e-3 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":4, "IsRadical":true, "ArcColoring":[ [ "-1 - 2*u + 2*u^2 - u^3", 1 ], [ "-6 - 3*u + 6*u^2 - 4*u^3", "-2 - u + 2*u^2 - u^3" ], "{1, 0}", [ 1, "u^2" ], [ "-3 - 2*u + 3*u^2 - 2*u^3", "-1 + 2*u^2 - u^3" ], [ 0, "u" ], [ "-5 - 5*u + 7*u^2 - 4*u^3", "-1 - u + 2*u^2 - u^3" ], [ "-2 - 3*u + 4*u^2 - 2*u^3", "-u" ], [ "-2*u + 2*u^2 - u^3", 1 ] ], "Obstruction":-1, "ComplexVolumeN":[ "-3.28987 + 2.02988*I", "-3.28987 - 2.02988*I", "-3.28987 - 2.02988*I", "-3.28987 + 2.02988*I" ], "uPolysN":[ "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 + 4*u + 6*u^2 + 4*u^3 + u^4" ], "uPolys":[ "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4", "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4", "(1 + u)^4", "(1 + u + u^2)^2", "(1 + u)^4" ], "aCuspShape":"-18 - 4*u + 8*u^2 - 4*u^3", "RepresentationsN":[ [ "u->-0.621964 + 0.18773 I", "a->2.12196 - 1.05376 I", "b->1." ], [ "u->-0.621964 - 0.18773 I", "a->2.12196 + 1.05376 I", "b->1." ], [ "u->1.12196 + 1.05376 I", "a->0.378036 - 0.18773 I", "b->1." ], [ "u->1.12196 - 1.05376 I", "a->0.378036 + 0.18773 I", "b->1." ] ], "Epsilon":2.1407, "uPolys_ij_N":[ "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u - u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "7 + 14*u + 12*u^2 + 5*u^3 + u^4", "3 + 6*u + 6*u^2 + 3*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "3 + 6*u^2 + 3*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "3 + 6*u^2 + 3*u^3 + u^4", "3 + 6*u + 6*u^2 + 3*u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2, 3, 4}", 2.02988 ], "ij_list":[ [ "{1, 3}", "{1, 9}", "{3, 9}", "{5, 7}", "{5, 8}", "{7, 8}" ], [ "{2, 4}", "{2, 5}", "{3, 6}", "{4, 6}" ], [ "{3, 8}", "{5, 9}" ], [ "{3, 4}", "{4, 5}" ], [ "{2, 6}" ], [ "{1, 4}", "{4, 7}" ], [ "{2, 3}", "{4, 8}", "{4, 9}", "{5, 6}" ], [ "{3, 5}" ], [ "{1, 5}", "{1, 6}", "{2, 7}", "{3, 7}", "{8, 9}" ], [ "{1, 8}", "{2, 8}", "{6, 9}", "{7, 9}" ], [ "{1, 7}" ], [ "{2, 9}", "{6, 8}" ], [ "{1, 2}", "{6, 7}" ] ], "SortedReprnIndices":"{1, 4, 2, 3}", "aCuspShapeN":[ "-12.`5.133133944702385 - 3.464101615137754587`4.593543321678574*I", "-12.`5.133133944702385 + 3.464101615137754587`4.593543321678574*I", "-12.`5.133133944702385 + 3.4641016151377545873`4.593543321678574*I", "-12.`5.133133944702385 - 3.4641016151377545873`4.593543321678574*I" ], "Abelian":false }, { "IdealName":"J9_40_8b", "Generators":[ "1 + b + 2*u - 2*u^2 + u^3", "-2 + a + u^2 - u^3", "1 + 2*u - u^3 + u^4" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.284800000000001e-2, "TimingZeroDimVars":4.9394e-2, "TimingmagmaVCompNormalize":5.055e-2, "TimingNumberOfSols":5.343e-2, "TimingIsRadical":2.1309999999999996e-3, "TimingArcColoring":4.9142000000000005e-2, "TimingObstruction":3.5550000000000017e-3, "TimingComplexVolumeN":2.140078, "TimingaCuspShapeN":1.8412e-2, "TiminguValues":0.573889, "TiminguPolysN":1.287e-3, "TiminguPolys":0.72852, "TimingaCuspShape":0.126925, "TimingRepresentationsN":4.9006999999999995e-2, "TiminguValues_ij":0.117746, "TiminguPolys_ij_N":1.988e-3 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":4, "IsRadical":true, "ArcColoring":[ [ "3 + 2*u - 3*u^2 + 2*u^3", "-1 - 2*u + 2*u^2 - u^3" ], [ "-2*u + 2*u^2 - u^3", "-2 - u + 2*u^2 - u^3" ], "{1, 0}", [ 1, "u^2" ], [ "1 + 2*u - 2*u^2 + u^3", "2 + u - u^2 + u^3" ], [ 0, "u" ], [ "2 - u^2 + u^3", "-1 - u + 2*u^2 - u^3" ], [ "3 + u - 3*u^2 + 2*u^3", "-u + u^2 - u^3" ], [ "2 - u^2 + u^3", "-1 - 2*u + 2*u^2 - u^3" ] ], "Obstruction":-1, "ComplexVolumeN":[ "-3.28987 + 2.02988*I", "-3.28987 - 2.02988*I", "-3.28987 - 2.02988*I", "-3.28987 + 2.02988*I" ], "uPolysN":[ "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4" ], "uPolys":[ "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4", "(1 + u)^4", "(1 + u + u^2)^2", "(1 + u)^4", "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4" ], "aCuspShape":"-18 - 4*u + 8*u^2 - 4*u^3", "RepresentationsN":[ [ "u->-0.621964 + 0.18773 I", "a->1.47356 + 0.44477 I", "b->1.12196 - 1.05376 I" ], [ "u->-0.621964 - 0.18773 I", "a->1.47356 - 0.44477 I", "b->1.12196 + 1.05376 I" ], [ "u->1.12196 + 1.05376 I", "a->-0.473561 + 0.444772 I", "b->-0.621964 - 0.18773 I" ], [ "u->1.12196 - 1.05376 I", "a->-0.473561 - 0.444772 I", "b->-0.621964 + 0.18773 I" ] ], "Epsilon":2.31816, "uPolys_ij_N":[ "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "3 + 6*u + 6*u^2 + 3*u^3 + u^4", "1 + 2*u - u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "3 + 6*u^2 + 3*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "7 + 14*u + 12*u^2 + 5*u^3 + u^4", "3 + 6*u^2 + 3*u^3 + u^4", "3 + 6*u + 6*u^2 + 3*u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2, 3, 4}", 2.02988 ], "ij_list":[ [ "{2, 4}", "{2, 5}", "{4, 5}", "{6, 7}", "{6, 9}", "{7, 9}" ], [ "{3, 6}", "{4, 6}", "{5, 7}", "{5, 8}" ], [ "{3, 4}", "{7, 8}" ], [ "{3, 5}", "{6, 8}" ], [ "{2, 6}", "{5, 9}" ], [ "{1, 5}", "{1, 6}", "{2, 3}", "{8, 9}" ], [ "{4, 7}" ], [ "{2, 7}", "{3, 7}", "{4, 8}", "{4, 9}", "{5, 6}" ], [ "{1, 3}", "{1, 8}", "{2, 8}", "{3, 9}" ], [ "{3, 8}" ], [ "{2, 9}" ], [ "{1, 4}", "{1, 7}" ], [ "{1, 2}", "{1, 9}" ] ], "SortedReprnIndices":"{1, 4, 2, 3}", "aCuspShapeN":[ "-12.`5.133133944702385 - 3.464101615137754587`4.593543321678574*I", "-12.`5.133133944702385 + 3.464101615137754587`4.593543321678574*I", "-12.`5.133133944702385 + 3.4641016151377545873`4.593543321678574*I", "-12.`5.133133944702385 - 3.4641016151377545873`4.593543321678574*I" ], "Abelian":false }, { "IdealName":"J9_40_8c", "Generators":[ "1 - 2*a - 2*a^2 - a^3 + b", "1 - 2*a + a^3 + a^4", "-1 + u" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.900700000000001e-2, "TimingZeroDimVars":5.0065e-2, "TimingmagmaVCompNormalize":5.1318e-2, "TimingNumberOfSols":3.9517000000000004e-2, "TimingIsRadical":1.8859999999999999e-3, "TimingArcColoring":4.8641e-2, "TimingObstruction":2.932e-3, "TimingComplexVolumeN":2.147201, "TimingaCuspShapeN":1.6704e-2, "TiminguValues":0.578381, "TiminguPolysN":1.2649999999999998e-3, "TiminguPolys":0.735672, "TimingaCuspShape":9.8629e-2, "TimingRepresentationsN":4.0233e-2, "TiminguValues_ij":0.115376, "TiminguPolys_ij_N":1.692e-3 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":4, "IsRadical":true, "ArcColoring":[ [ "1 - a - 2*a^2 - a^3", "-1 + 2*a + 2*a^2 + a^3" ], [ "a", "1 - a - 2*a^2 - a^3" ], "{1, 0}", "{1, 1}", [ "2 - a - 2*a^2 - a^3", "-2 + 2*a + 3*a^2 + 2*a^3" ], "{0, 1}", [ "-a^2", "2 - a - 2*a^2 - a^3" ], [ "1 - 2*a^2 - a^3", "a" ], [ "a", "-1 + 2*a + 2*a^2 + a^3" ] ], "Obstruction":-1, "ComplexVolumeN":[ "-3.28987 - 2.02988*I", "-3.28987 + 2.02988*I", "-3.28987 + 2.02988*I", "-3.28987 - 2.02988*I" ], "uPolysN":[ "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "1 - 2*u + u^3 + u^4" ], "uPolys":[ "(1 + u)^4", "(1 + u + u^2)^2", "(1 + u)^4", "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4", "1 - 2*u + u^3 + u^4", "(1 + u + u^2)^2", "1 - 2*u + u^3 + u^4" ], "aCuspShape":"-18 + 4*a + 8*a^2 + 4*a^3", "RepresentationsN":[ [ "u->1.", "a->0.621964 + 0.18773 I", "b->1.12196 + 1.05376 I" ], [ "u->1.", "a->0.621964 - 0.18773 I", "b->1.12196 - 1.05376 I" ], [ "u->1.", "a->-1.12196 + 1.05376 I", "b->-0.621964 + 0.18773 I" ], [ "u->1.", "a->-1.12196 - 1.05376 I", "b->-0.621964 - 0.18773 I" ] ], "Epsilon":2.1407, "uPolys_ij_N":[ "1 + 4*u + 6*u^2 + 4*u^3 + u^4", "1 + 2*u - u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "1 + 4*u + 6*u^2 + u^3 + u^4", "3 + 6*u^2 + 3*u^3 + u^4", "3 + 6*u + 6*u^2 + 3*u^3 + u^4", "3 + 6*u^2 + 3*u^3 + u^4", "1 - 2*u + u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "3 + 6*u + 6*u^2 + 3*u^3 + u^4", "1 + 2*u + 3*u^2 + 2*u^3 + u^4", "7 + 14*u + 12*u^2 + 5*u^3 + u^4" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2, 3, 4}", 2.02988 ], "ij_list":[ [ "{1, 2}", "{1, 8}", "{2, 8}", "{3, 4}", "{3, 6}", "{4, 6}" ], [ "{2, 6}", "{3, 8}" ], [ "{5, 7}", "{5, 8}", "{6, 9}", "{7, 9}" ], [ "{6, 7}", "{7, 8}" ], [ "{1, 9}", "{4, 5}" ], [ "{1, 4}" ], [ "{2, 9}", "{3, 5}" ], [ "{6, 8}" ], [ "{1, 3}", "{2, 4}", "{2, 5}", "{3, 9}" ], [ "{1, 5}", "{1, 6}", "{2, 3}", "{4, 8}", "{4, 9}" ], [ "{1, 7}", "{4, 7}" ], [ "{2, 7}", "{3, 7}", "{5, 6}", "{8, 9}" ], [ "{5, 9}" ] ], "SortedReprnIndices":"{2, 3, 1, 4}", "aCuspShapeN":[ "-12.`5.133133944702385 + 3.464101615137754587`4.593543321678574*I", "-12.`5.133133944702385 - 3.464101615137754587`4.593543321678574*I", "-12.`5.133133944702385 - 3.4641016151377545873`4.593543321678574*I", "-12.`5.133133944702385 + 3.4641016151377545873`4.593543321678574*I" ], "Abelian":false }, { "IdealName":"J9_40_11a", "Generators":[ "a", "1 - b + b^2", "-1 + v" ], "VariableOrder":[ "b", "a", "v" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "ZeroDimensionalVars":[ "b", "a", "v" ], "Timings":{ "TimingZeroDimVars":4.7668999999999996e-2, "TimingmagmaVCompNormalize":0.112246, "TimingNumberOfSols":2.3638e-2, "TimingIsRadical":1.487e-3, "TimingArcColoring":4.8156e-2, "TimingObstruction":1.213e-3, "TimingComplexVolumeN":1.111324, "TimingaCuspShapeN":8.593e-3, "TiminguValues":0.575759, "TiminguPolysN":3.2500000000000004e-4, "TiminguPolys":0.730207, "TimingaCuspShape":9.5541e-2, "TimingRepresentationsN":2.4181e-2, "TiminguValues_ij":0.106085, "TiminguPolys_ij_N":2.32e-4 }, "Legacy":{ "IdealName":"J9_40_11a", "Generators":[ "1 - b + b^2", "-1 + v" ], "VariableOrder":[ "b", "a", "v" ], "Characteristic":0, "MonomialOrder":"lex" }, "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ [ "-b", "b" ], [ "b", "-b" ], "{1, 0}", "{1, 0}", [ "2 - b", "-1 + b" ], "{1, 0}", [ 1, "-1 + b" ], [ "-b", "b" ], [ 0, "b" ] ], "Obstruction":-1, "ComplexVolumeN":[ "0. - 2.02988*I", "0. + 2.02988*I" ], "uPolysN":[ "u^2", "1 - u + u^2", "u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2" ], "uPolys":[ "u^2", "1 - u + u^2", "u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2" ], "aCuspShape":"-2 + 4*b", "RepresentationsN":[ [ "v->1.", "a->0", "b->0.5 + 0.866025 I" ], [ "v->1.", "a->0", "b->0.5 - 0.866025 I" ] ], "Epsilon":1.73205, "uPolys_ij_N":[ "u^2", "3 + 3*u + u^2", "1 - u + u^2", "1 + u + u^2", "1 + u + u^2" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 2.02988 ], "ij_list":[ [ "{1, 2}", "{1, 8}", "{2, 8}", "{3, 4}", "{3, 6}", "{4, 6}" ], [ "{5, 9}" ], [ "{1, 7}", "{1, 9}", "{2, 7}", "{2, 9}", "{3, 5}", "{3, 7}", "{4, 5}", "{4, 7}", "{6, 7}", "{7, 8}" ], [ "{5, 6}", "{8, 9}" ], [ "{1, 3}", "{1, 4}", "{1, 5}", "{1, 6}", "{2, 3}", "{2, 4}", "{2, 5}", "{2, 6}", "{3, 8}", "{3, 9}", "{4, 8}", "{4, 9}", "{5, 7}", "{5, 8}", "{6, 8}", "{6, 9}", "{7, 9}" ] ], "SortedReprnIndices":"{2, 1}", "aCuspShapeN":[ "0``4.610924374808178 + 3.464101615137754587`5.150514997831991*I", "0``4.610924374808178 - 3.464101615137754587`5.150514997831991*I" ], "Abelian":false }, { "IdealName":"J9_40_11b", "Generators":[ "b", "1 + a", "1 - u + u^2" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.782600000000001e-2, "TimingZeroDimVars":4.9685e-2, "TimingmagmaVCompNormalize":5.0921e-2, "TimingNumberOfSols":2.2989000000000002e-2, "TimingIsRadical":1.3959999999999999e-3, "TimingArcColoring":4.5810000000000003e-2, "TimingObstruction":1.176e-3, "TimingComplexVolumeN":1.127236, "TimingaCuspShapeN":8.198e-3, "TiminguValues":0.581927, "TiminguPolysN":2.84e-4, "TiminguPolys":0.728688, "TimingaCuspShape":0.103596, "TimingRepresentationsN":2.4349e-2, "TiminguValues_ij":0.118987, "TiminguPolys_ij_N":2.8e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ "{-1, 0}", [ "2 - u", "-1 + u" ], "{1, 0}", [ 1, "-1 + u" ], [ "-u", "u" ], [ 0, "u" ], [ "-u", "u" ], [ "-u", "u" ], "{-1, 0}" ], "Obstruction":-1, "ComplexVolumeN":[ "0. - 2.02988*I", "0. + 2.02988*I" ], "uPolysN":[ "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "u^2", "1 - u + u^2", "u^2" ], "uPolys":[ "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "u^2", "1 - u + u^2", "u^2" ], "aCuspShape":"-2 + 4*u", "RepresentationsN":[ [ "u->0.5 + 0.866025 I", "a->-1.", "b->0" ], [ "u->0.5 - 0.866025 I", "a->-1.", "b->0" ] ], "Epsilon":1.73205, "uPolys_ij_N":[ "u^2", "3 + 3*u + u^2", "1 - u + u^2", "1 + u + u^2", "1 + u + u^2" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 2.02988 ], "ij_list":[ [ "{1, 3}", "{1, 9}", "{3, 9}", "{5, 7}", "{5, 8}", "{7, 8}" ], [ "{2, 6}" ], [ "{1, 2}", "{1, 4}", "{2, 9}", "{3, 4}", "{4, 5}", "{4, 7}", "{4, 8}", "{4, 9}", "{6, 7}", "{6, 8}" ], [ "{2, 3}", "{5, 6}" ], [ "{1, 5}", "{1, 6}", "{1, 7}", "{1, 8}", "{2, 4}", "{2, 5}", "{2, 7}", "{2, 8}", "{3, 5}", "{3, 6}", "{3, 7}", "{3, 8}", "{4, 6}", "{5, 9}", "{6, 9}", "{7, 9}", "{8, 9}" ] ], "SortedReprnIndices":"{2, 1}", "aCuspShapeN":[ "0``4.610924374808178 + 3.464101615137754587`5.150514997831991*I", "0``4.610924374808178 - 3.464101615137754587`5.150514997831991*I" ], "Abelian":false }, { "IdealName":"J9_40_11c", "Generators":[ "b - u", "a", "1 - u + u^2" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.8895e-2, "TimingZeroDimVars":5.1114e-2, "TimingmagmaVCompNormalize":5.2469e-2, "TimingNumberOfSols":2.4673e-2, "TimingIsRadical":1.711e-3, "TimingArcColoring":5.0156e-2, "TimingObstruction":1.286e-3, "TimingComplexVolumeN":1.629406, "TimingaCuspShapeN":8.749000000000003e-3, "TiminguValues":0.573954, "TiminguPolysN":3.700000000000001e-4, "TiminguPolys":0.729905, "TimingaCuspShape":8.7752e-2, "TimingRepresentationsN":2.5679e-2, "TiminguValues_ij":0.109348, "TiminguPolys_ij_N":2.450000000000001e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ [ "-u", "u" ], [ 1, "-1 + u" ], "{1, 0}", [ 1, "-1 + u" ], [ 1, "-1 + u" ], [ 0, "u" ], [ 0, "u" ], [ "-u", "1 + u" ], [ 0, "u" ] ], "Obstruction":-1, "ComplexVolumeN":[ "0. - 2.02988*I", "0. + 2.02988*I" ], "uPolysN":[ "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "u^2", "1 - u + u^2", "u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2" ], "uPolys":[ "1 + u + u^2", "1 + u + u^2", "1 + u + u^2", "u^2", "1 - u + u^2", "u^2", "1 + u + u^2", "1 + u + u^2", "1 + u + u^2" ], "aCuspShape":"-2 + 4*u", "RepresentationsN":[ [ "u->0.5 + 0.866025 I", "a->0", "b->0.5 + 0.866025 I" ], [ "u->0.5 - 0.866025 I", "a->0", "b->0.5 - 0.866025 I" ] ], "Epsilon":2.44949, "uPolys_ij_N":[ "u^2", "3 + 3*u + u^2", "1 - u + u^2", "1 + u + u^2", "1 + u + u^2" ], "GeometricComponent":0, "Multiplicity":1, "MinRepresentationVolume":[ "{1, 2}", 2.02988 ], "ij_list":[ [ "{2, 4}", "{2, 5}", "{4, 5}", "{6, 7}", "{6, 9}", "{7, 9}" ], [ "{3, 8}" ], [ "{1, 2}", "{1, 4}", "{1, 5}", "{1, 6}", "{1, 7}", "{1, 9}", "{3, 4}", "{3, 5}", "{6, 8}", "{7, 8}" ], [ "{2, 3}", "{8, 9}" ], [ "{1, 3}", "{1, 8}", "{2, 6}", "{2, 7}", "{2, 8}", "{2, 9}", "{3, 6}", "{3, 7}", "{3, 9}", "{4, 6}", "{4, 7}", "{4, 8}", "{4, 9}", "{5, 6}", "{5, 7}", "{5, 8}", "{5, 9}" ] ], "SortedReprnIndices":"{2, 1}", "aCuspShapeN":[ "0``4.610924374808178 + 3.464101615137754587`5.150514997831991*I", "0``4.610924374808178 - 3.464101615137754587`5.150514997831991*I" ], "Abelian":false }, { "IdealName":"J9_40_14", "Generators":[ "b - u", "1 + a", "1 + u + u^2" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.6366e-2, "TimingZeroDimVars":5.3896e-2, "TimingmagmaVCompNormalize":5.5173e-2, "TimingNumberOfSols":2.5724e-2, "TimingIsRadical":1.609e-3, "TimingArcColoring":4.8806e-2, "TimingObstruction":1.1539999999999999e-3, "TimingComplexVolumeN":1.065475, "TimingaCuspShapeN":9.129e-3, "TiminguValues":0.575505, "TiminguPolysN":3.69e-4, "TiminguPolys":0.718732, "TimingaCuspShape":8.681e-2, "TimingRepresentationsN":2.6273e-2, "TiminguValues_ij":0.109775, "TiminguPolys_ij_N":1.6e-4 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":2, "IsRadical":true, "ArcColoring":[ [ "-1 - u", "u" ], [ "1 + u", 1 ], "{1, 0}", [ 1, "-1 - u" ], [ "1 + u", 0 ], [ 0, "u" ], [ "-u", -1 ], "{0, -1}", [ -1, "u" ] ], "Obstruction":-1, "ComplexVolumeN":[ 3.28987, 3.28987 ], "uPolysN":[ "1 - u + u^2", "1 - 2*u + u^2", "1 - u + u^2", "1 - u + u^2", "1 - 2*u + u^2", "1 - u + u^2", "1 - u + u^2", "1 - 2*u + u^2", "1 - u + u^2" ], "uPolys":[ "1 - u + u^2", "(-1 + u)^2", "1 - u + u^2", "1 - u + u^2", "(-1 + u)^2", "1 - u + u^2", "1 - u + u^2", "(-1 + u)^2", "1 - u + u^2" ], "aCuspShape":3, "RepresentationsN":[ [ "u->-0.5 + 0.866025 I", "a->-1.", "b->-0.5 + 0.866025 I" ], [ "u->-0.5 - 0.866025 I", "a->-1.", "b->-0.5 - 0.866025 I" ] ], "Epsilon":2.44949, "uPolys_ij_N":[ "u^2", "1 - 2*u + u^2", "1 - u + u^2", "1 - u + u^2" ], "GeometricComponent":0, "Multiplicity":1, "ij_list":[ [ "{1, 4}", "{1, 7}", "{2, 9}", "{3, 5}", "{4, 7}", "{6, 8}" ], [ "{1, 5}", "{1, 6}", "{2, 3}", "{2, 6}", "{2, 7}", "{3, 7}", "{3, 8}", "{4, 8}", "{4, 9}", "{5, 6}", "{5, 9}", "{8, 9}" ], [ "{1, 2}", "{1, 3}", "{3, 6}", "{3, 9}", "{4, 5}", "{4, 6}", "{6, 9}", "{7, 8}", "{7, 9}" ], [ "{1, 8}", "{1, 9}", "{2, 4}", "{2, 5}", "{2, 8}", "{3, 4}", "{5, 7}", "{5, 8}", "{6, 7}" ] ], "SortedReprnIndices":"{1, 2}", "aCuspShapeN":[ 3.0, 3.0 ], "Abelian":false }, { "IdealName":"J9_40_15", "Generators":[ "1 + b", "1 + a", "-1 + u" ], "VariableOrder":[ "b", "a", "u" ], "Characteristic":0, "KnownGroebner":[], "Status":[ "vCompNormalize" ], "MonomialOrder":"lex", "IsHomogeneous":false, "IsZeroDim":true, "IdealDimension":0, "Timings":{ "TimingGroebner":9.6344e-2, "TimingZeroDimVars":4.4805000000000005e-2, "TimingmagmaVCompNormalize":4.6140999999999995e-2, "TimingNumberOfSols":2.0063e-2, "TimingIsRadical":1.23e-3, "TimingArcColoring":4.3968999999999994e-2, "TimingObstruction":3.6e-4, "TimingComplexVolumeN":0.550331, "TimingaCuspShapeN":4.42e-3, "TiminguValues":0.586202, "TiminguPolysN":7.400000000000002e-5, "TiminguPolys":0.726896, "TimingaCuspShape":9.3361e-2, "TimingRepresentationsN":2.191e-2, "TiminguValues_ij":0.106975, "TiminguPoly_ij":0.264258, "TiminguPolys_ij_N":5.7e-5 }, "ZeroDimensionalVars":[ "b", "a", "u" ], "NumberOfSols":1, "IsRadical":true, "ArcColoring":[ "{0, -1}", "{1, 0}", "{1, 0}", "{1, 1}", "{0, 1}", "{0, 1}", "{-1, 0}", "{-1, -1}", "{-1, -1}" ], "Obstruction":1, "ComplexVolumeN":[ -3.28987 ], "uPolysN":[ "1 + u", "u", "-1 + u", "1 + u", "u", "-1 + u", "1 + u", "u", "-1 + u" ], "uPolys":[ "1 + u", "u", "-1 + u", "1 + u", "u", "-1 + u", "1 + u", "u", "-1 + u" ], "aCuspShape":-12, "RepresentationsN":[ [ "u->1.", "a->-1.", "b->-1." ] ], "Epsilon":"Infinity", "uPolys_ij":[ "1 + u", "u", "-1 + u" ], "GeometricComponent":0, "uPolys_ij_N":[ "1 + u", "u", "-1 + u" ], "Multiplicity":1, "ij_list":[ [ "{1, 7}", "{1, 8}", "{1, 9}", "{2, 8}", "{2, 9}", "{3, 8}", "{3, 9}" ], [ "{1, 5}", "{1, 6}", "{2, 3}", "{2, 7}", "{3, 7}", "{4, 8}", "{4, 9}", "{5, 6}", "{8, 9}" ], [ "{1, 2}", "{1, 3}", "{1, 4}", "{2, 4}", "{2, 5}", "{2, 6}", "{3, 4}", "{3, 5}", "{3, 6}", "{4, 5}", "{4, 6}", "{4, 7}", "{5, 7}", "{5, 8}", "{5, 9}", "{6, 7}", "{6, 8}", "{6, 9}", "{7, 8}", "{7, 9}" ] ], "SortedReprnIndices":"{1}", "aCuspShapeN":[ -1.2e1 ], "Abelian":false }, { "IdealName":"abJ9_40_16", "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":0.10112, "TimingZeroDimVars":4.4967e-2, "TimingmagmaVCompNormalize":4.6123000000000004e-2, "TimingNumberOfSols":2.2271000000000003e-2, "TimingIsRadical":1.559e-3, "TimingArcColoring":4.7728e-2, "TimingObstruction":3.6e-4, "TimingComplexVolumeN":0.231353, "TimingaCuspShapeN":4.3760000000000005e-3, "TiminguValues":0.554187, "TiminguPolysN":7.3e-5, "TiminguPolys":0.718539, "TimingaCuspShape":9.053599999999999e-2, "TimingRepresentationsN":2.1948e-2, "TiminguValues_ij":0.102516, "TiminguPoly_ij":0.114409, "TiminguPolys_ij_N":2.7000000000000002e-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*(1 + u)^5*(3 - 3*u + u^2)*(1 - u + u^2)*(1 + u + u^2)^4*(7 - 14*u + 12*u^2 - 5*u^3 + u^4)*(1 + 2*u^2 - 2*u^3 + u^4)*(1 - 2*u + u^3 + u^4)^4*(1 - u + u^3 + u^4)", "(-2 + u)^2*(-1 + u)^2*u*(4 - 2*u + u^2)^2*(1 - u + u^2)*(1 + u + u^2)^14*(2 + u^2 + u^4)*(2 - 2*u + 4*u^2 - 2*u^3 + u^4)", "(-1 + u)*u^2*(1 + u)^4*(3 - 3*u + u^2)*(1 - u + u^2)*(1 + u + u^2)^4*(7 - 14*u + 12*u^2 - 5*u^3 + u^4)*(1 + 2*u^2 - 2*u^3 + u^4)*(1 + u - u^3 + u^4)*(1 - 2*u + u^3 + u^4)^4", "u^2*(1 + u)^5*(3 - 3*u + u^2)*(1 - u + u^2)*(1 + u + u^2)^4*(7 - 14*u + 12*u^2 - 5*u^3 + u^4)*(1 + 2*u^2 - 2*u^3 + u^4)*(1 - 2*u + u^3 + u^4)^4*(1 - u + u^3 + u^4)", "(-2 + u)^2*(-1 + u)^2*u*(4 - 2*u + u^2)^2*(1 - u + u^2)*(1 + u + u^2)^14*(2 + u^2 + u^4)*(2 - 2*u + 4*u^2 - 2*u^3 + u^4)", "(-1 + u)*u^2*(1 + u)^4*(3 - 3*u + u^2)*(1 - u + u^2)*(1 + u + u^2)^4*(7 - 14*u + 12*u^2 - 5*u^3 + u^4)*(1 + 2*u^2 - 2*u^3 + u^4)*(1 + u - u^3 + u^4)*(1 - 2*u + u^3 + u^4)^4", "u^2*(1 + u)^5*(3 - 3*u + u^2)*(1 - u + u^2)*(1 + u + u^2)^4*(7 - 14*u + 12*u^2 - 5*u^3 + u^4)*(1 + 2*u^2 - 2*u^3 + u^4)*(1 - 2*u + u^3 + u^4)^4*(1 - u + u^3 + u^4)", "(-2 + u)^2*(-1 + u)^2*u*(4 - 2*u + u^2)^2*(1 - u + u^2)*(1 + u + u^2)^14*(2 + u^2 + u^4)*(2 - 2*u + 4*u^2 - 2*u^3 + u^4)", "(-1 + u)*u^2*(1 + u)^4*(3 - 3*u + u^2)*(1 - u + u^2)*(1 + u + u^2)^4*(7 - 14*u + 12*u^2 - 5*u^3 + u^4)*(1 + 2*u^2 - 2*u^3 + u^4)*(1 + u - u^3 + u^4)*(1 - 2*u + u^3 + u^4)^4" ], "RileyPolyC":[ "(-1 + y)^5*y^2*(9 - 3*y + y^2)*(1 + y + y^2)^5*(1 + 4*y + 6*y^2 + y^4)*(1 - y + 4*y^2 - y^3 + y^4)*(1 - 4*y + 6*y^2 - y^3 + y^4)^4*(49 - 28*y + 18*y^2 - y^3 + y^4)", "(-4 + y)^2*(-1 + y)^2*y*(1 + y + y^2)^15*(2 + y + y^2)^2*(16 + 4*y + y^2)^2*(4 + 12*y + 12*y^2 + 4*y^3 + y^4)", "(-1 + y)^5*y^2*(9 - 3*y + y^2)*(1 + y + y^2)^5*(1 + 4*y + 6*y^2 + y^4)*(1 - y + 4*y^2 - y^3 + y^4)*(1 - 4*y + 6*y^2 - y^3 + y^4)^4*(49 - 28*y + 18*y^2 - y^3 + y^4)", "(-1 + y)^5*y^2*(9 - 3*y + y^2)*(1 + y + y^2)^5*(1 + 4*y + 6*y^2 + y^4)*(1 - y + 4*y^2 - y^3 + y^4)*(1 - 4*y + 6*y^2 - y^3 + y^4)^4*(49 - 28*y + 18*y^2 - y^3 + y^4)", "(-4 + y)^2*(-1 + y)^2*y*(1 + y + y^2)^15*(2 + y + y^2)^2*(16 + 4*y + y^2)^2*(4 + 12*y + 12*y^2 + 4*y^3 + y^4)", "(-1 + y)^5*y^2*(9 - 3*y + y^2)*(1 + y + y^2)^5*(1 + 4*y + 6*y^2 + y^4)*(1 - y + 4*y^2 - y^3 + y^4)*(1 - 4*y + 6*y^2 - y^3 + y^4)^4*(49 - 28*y + 18*y^2 - y^3 + y^4)", "(-1 + y)^5*y^2*(9 - 3*y + y^2)*(1 + y + y^2)^5*(1 + 4*y + 6*y^2 + y^4)*(1 - y + 4*y^2 - y^3 + y^4)*(1 - 4*y + 6*y^2 - y^3 + y^4)^4*(49 - 28*y + 18*y^2 - y^3 + y^4)", "(-4 + y)^2*(-1 + y)^2*y*(1 + y + y^2)^15*(2 + y + y^2)^2*(16 + 4*y + y^2)^2*(4 + 12*y + 12*y^2 + 4*y^3 + y^4)", "(-1 + y)^5*y^2*(9 - 3*y + y^2)*(1 + y + y^2)^5*(1 + 4*y + 6*y^2 + y^4)*(1 - y + 4*y^2 - y^3 + y^4)*(1 - 4*y + 6*y^2 - y^3 + y^4)^4*(49 - 28*y + 18*y^2 - y^3 + y^4)" ] }, "GeometricRepresentation":[ 1.50183e1, [ "J9_40_0", 1, "{3, 4}" ] ] } }