Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 3381155116] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0779 geometric_solution 4.72098052 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334455844079 0.434712434519 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.211396018371 0.596426153876 4 3 3 0 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650713471510 0.746464063340 2 4 0 2 1230 0132 0132 1302 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650713471510 0.746464063340 2 3 5 5 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.943384334704 1.130350176550 6 4 6 4 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.415555890534 1.185647963196 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421631076532 0.085949310576 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_0'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 5792499678726012460198786/33287277971153615840363*c_0101_5^20 - 11430686796281900969514007/33287277971153615840363*c_0101_5^19 + 270769838786423030304749654/33287277971153615840363*c_0101_5^18 - 91121650639791688117942511/33287277971153615840363*c_0101_5^17 - 2328692475704170253287730994/33287277971153615840363*c_0101_5^16 + 1344447751974482513445185754/33287277971153615840363*c_0101_5^15 + 9718913835863170070025720439/33287277971153615840363*c_0101_5^14 - 4625947115916591083388572407/33287277971153615840363*c_0101_5^13 - 22842810192287760242784699280/33287277971153615840363*c_0101_5^12 + 5793415264892069773089710498/33287277971153615840363*c_0101_5^11 + 29668064524260723482472216267/33287277971153615840363*c_0101_5^10 - 2421937508977533240609001755/33287277971153615840363*c_0101_5^9 - 20753008090904545243022217963/33287277971153615840363*c_0101_5^8 + 331465806643432084733157321/33287277971153615840363*c_0101_5^7 + 7639855758253928582294644009/33287277971153615840363*c_0101_5^6 - 757040448470079754444917241/33287277971153615840363*c_0101_5^5 - 1698601536859161415637223327/33287277971153615840363*c_0101_5^4 + 459399736868921030990052002/33287277971153615840363*c_0101_5^3 + 342216328301599341361131258/33287277971153615840363*c_0101_5^2 - 11017439543795162927600342/33287277971153615840363*c_0101_5 - 13894965939150985022803569/33287277971153615840363, c_0011_0 - 1, c_0011_2 - 9999186930608128903460/33287277971153615840363*c_0101_5^20 - 38165918188268111682483/33287277971153615840363*c_0101_5^19 + 414933877223341257748628/33287277971153615840363*c_0101_5^18 + 666277643647164243442350/33287277971153615840363*c_0101_5^17 - 3583466135556613259518981/33287277971153615840363*c_0101_5^16 - 5079922912596827383455164/33287277971153615840363*c_0101_5^15 + 15101564940681063359706532/33287277971153615840363*c_0101_5^14 + 24179987970082312045478994/33287277971153615840363*c_0101_5^13 - 30819714865714828600870276/33287277971153615840363*c_0101_5^12 - 64126811943801070204990745/33287277971153615840363*c_0101_5^11 + 21686318772469595417298827/33287277971153615840363*c_0101_5^10 + 80851639333711768068612739/33287277971153615840363*c_0101_5^9 + 1855120156505861602142133/33287277971153615840363*c_0101_5^8 - 48708838211473637302841494/33287277971153615840363*c_0101_5^7 - 2796172718782413974794392/33287277971153615840363*c_0101_5^6 + 15946626471506127542779793/33287277971153615840363*c_0101_5^5 - 2641032751708432758862055/33287277971153615840363*c_0101_5^4 - 3946450666917839290670094/33287277971153615840363*c_0101_5^3 + 879628825366307355602585/33287277971153615840363*c_0101_5^2 + 368275935590874992238597/33287277971153615840363*c_0101_5 - 32454580526180942851102/33287277971153615840363, c_0011_5 + 44395920713347461972810/33287277971153615840363*c_0101_5^20 + 76227565179719262791269/33287277971153615840363*c_0101_5^19 - 2081514452296495605826009/33287277971153615840363*c_0101_5^18 + 1270021390344915273845391/33287277971153615840363*c_0101_5^17 + 16931058568948092451556654/33287277971153615840363*c_0101_5^16 - 14957447275754441664414574/33287277971153615840363*c_0101_5^15 - 65450728111466166448427558/33287277971153615840363*c_0101_5^14 + 53471805562037246412975608/33287277971153615840363*c_0101_5^13 + 139324030749350198714292366/33287277971153615840363*c_0101_5^12 - 86718853360755266202354197/33287277971153615840363*c_0101_5^11 - 156461488081889571557600238/33287277971153615840363*c_0101_5^10 + 80858237219393128100904196/33287277971153615840363*c_0101_5^9 + 87341836548203229493911962/33287277971153615840363*c_0101_5^8 - 51874559806215043915768472/33287277971153615840363*c_0101_5^7 - 20370753920141009754405576/33287277971153615840363*c_0101_5^6 + 21597360205592919646817711/33287277971153615840363*c_0101_5^5 - 55510638311809385686429/33287277971153615840363*c_0101_5^4 - 3962410587465698307780698/33287277971153615840363*c_0101_5^3 + 797720775183717717840831/33287277971153615840363*c_0101_5^2 + 128242722145690544998041/33287277971153615840363*c_0101_5 - 38653712878279530776168/33287277971153615840363, c_0101_0 - 56593872221293968819848/33287277971153615840363*c_0101_5^20 - 51363165554435756548452/33287277971153615840363*c_0101_5^19 + 2749142698939858707580822/33287277971153615840363*c_0101_5^18 - 3721018189135978551749781/33287277971153615840363*c_0101_5^17 - 21047752756097671667174179/33287277971153615840363*c_0101_5^16 + 36260527157626953167268279/33287277971153615840363*c_0101_5^15 + 75124627765578190191065963/33287277971153615840363*c_0101_5^14 - 135657557353497165925691077/33287277971153615840363*c_0101_5^13 - 153756680288990451714777979/33287277971153615840363*c_0101_5^12 + 254244171660852471555924033/33287277971153615840363*c_0101_5^11 + 183374446652082067114189319/33287277971153615840363*c_0101_5^10 - 257769069330314105850631730/33287277971153615840363*c_0101_5^9 - 115757551094114416631605452/33287277971153615840363*c_0101_5^8 + 147815872703224197027856750/33287277971153615840363*c_0101_5^7 + 26112302596603534663162098/33287277971153615840363*c_0101_5^6 - 50614349290952429745799654/33287277971153615840363*c_0101_5^5 + 4801828518141478910222186/33287277971153615840363*c_0101_5^4 + 10433773740440628565145432/33287277971153615840363*c_0101_5^3 - 1860083859754282398671862/33287277971153615840363*c_0101_5^2 - 743698040866866802283332/33287277971153615840363*c_0101_5 + 77833617460107273246306/33287277971153615840363, c_0101_1 - 45314615356482080699411/33287277971153615840363*c_0101_5^20 - 70363213045468871536942/33287277971153615840363*c_0101_5^19 + 2134479437966296645967855/33287277971153615840363*c_0101_5^18 - 1641615318518066601838463/33287277971153615840363*c_0101_5^17 - 16922905821853250929923098/33287277971153615840363*c_0101_5^16 + 17618826698652014580938622/33287277971153615840363*c_0101_5^15 + 63649873561951793488082951/33287277971153615840363*c_0101_5^14 - 61666162810268458987219514/33287277971153615840363*c_0101_5^13 - 133197405280559356366903144/33287277971153615840363*c_0101_5^12 + 98782135029273449226488151/33287277971153615840363*c_0101_5^11 + 149897563517469532581340708/33287277971153615840363*c_0101_5^10 - 86094531797488938571019650/33287277971153615840363*c_0101_5^9 - 86171235217331780828993911/33287277971153615840363*c_0101_5^8 + 47760716093882986071597181/33287277971153615840363*c_0101_5^7 + 22344733489283335761699721/33287277971153615840363*c_0101_5^6 - 18001148930285451458439496/33287277971153615840363*c_0101_5^5 - 1837597055273593174687107/33287277971153615840363*c_0101_5^4 + 3758128844390063215353698/33287277971153615840363*c_0101_5^3 + 49211606320655483683098/33287277971153615840363*c_0101_5^2 - 267819721959866590369687/33287277971153615840363*c_0101_5 + 474065565435308630451/33287277971153615840363, c_0101_2 - 21643140873916057405352/33287277971153615840363*c_0101_5^20 - 22361355362887675375057/33287277971153615840363*c_0101_5^19 + 1034481989134458250881565/33287277971153615840363*c_0101_5^18 - 1315009647716705971216586/33287277971153615840363*c_0101_5^17 - 7557081441558666151149466/33287277971153615840363*c_0101_5^16 + 12405196022279462820836056/33287277971153615840363*c_0101_5^15 + 25258384855397597438935290/33287277971153615840363*c_0101_5^14 - 43448997464062402569134831/33287277971153615840363*c_0101_5^13 - 46168560927165740543242150/33287277971153615840363*c_0101_5^12 + 74173333497312251398716266/33287277971153615840363*c_0101_5^11 + 44009726731986501735938691/33287277971153615840363*c_0101_5^10 - 68174323209550712548380564/33287277971153615840363*c_0101_5^9 - 17755298754845757090514888/33287277971153615840363*c_0101_5^8 + 35183728386826197883327478/33287277971153615840363*c_0101_5^7 - 1245522733427167965070920/33287277971153615840363*c_0101_5^6 - 9732233483230401725659793/33287277971153615840363*c_0101_5^5 + 2783786430274238684704919/33287277971153615840363*c_0101_5^4 + 1130826690258623744229941/33287277971153615840363*c_0101_5^3 - 453201593101630211585788/33287277971153615840363*c_0101_5^2 - 3511202658278668892126/33287277971153615840363*c_0101_5 + 12300502156430910633995/33287277971153615840363, c_0101_5^21 + 2*c_0101_5^20 - 47*c_0101_5^19 + 14*c_0101_5^18 + 417*c_0101_5^17 - 232*c_0101_5^16 - 1803*c_0101_5^15 + 872*c_0101_5^14 + 4430*c_0101_5^13 - 1321*c_0101_5^12 - 6176*c_0101_5^11 + 983*c_0101_5^10 + 4853*c_0101_5^9 - 570*c_0101_5^8 - 2133*c_0101_5^7 + 422*c_0101_5^6 + 541*c_0101_5^5 - 203*c_0101_5^4 - 89*c_0101_5^3 + 33*c_0101_5^2 + 6*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB