Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 2951623323] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2499 geometric_solution 5.81998723 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 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 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.504555129259 0.217299491122 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 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 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.823597367107 0.502724131087 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 1 -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 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794468844364 0.999698550191 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 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 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794468844364 0.999698550191 6 2 3 6 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 -1 0 1 0 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 0 0 0 0 0 0 0 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.321091465393 0.590764609849 5 5 2 3 1230 3012 0132 2310 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 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 1.087353842736 1.091515074647 4 6 6 4 0132 3201 2310 1023 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 0 0 0 0 1.488328357210 0.661068188508 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 289807587087768163366199236160794069851994/314454695701735178859368\ 396087308808221*c_0101_6^37 - 7164927528385080205075572199029877239\ 212200/314454695701735178859368396087308808221*c_0101_6^35 + 80901485936768890309808203286499588673939657/3144546957017351788593\ 68396087308808221*c_0101_6^33 - 57461836847002861548804800995057431\ 3134527702/314454695701735178859368396087308808221*c_0101_6^31 + 2886672332312672675473305809014509482425863400/31445469570173517885\ 9368396087308808221*c_0101_6^29 - 108488805007387358909462150370761\ 68966857723377/314454695701735178859368396087308808221*c_0101_6^27 + 31640226007022778600786256304857892830600610404/3144546957017351788\ 59368396087308808221*c_0101_6^25 - 72992638110339543885183212074767086958454253088/3144546957017351788\ 59368396087308808221*c_0101_6^23 + 132412038820413791131740307670124930681318544176/314454695701735178\ 859368396087308808221*c_0101_6^21 - 183731504961474709582904136017164629464753220826/314454695701735178\ 859368396087308808221*c_0101_6^19 + 188701434521788036181812431362003363165090240950/314454695701735178\ 859368396087308808221*c_0101_6^17 - 141289563022135376214139339843182801315619116478/314454695701735178\ 859368396087308808221*c_0101_6^15 + 77003030450975651493659864495523335111461612443/3144546957017351788\ 59368396087308808221*c_0101_6^13 - 30356313871440833761288263011962673048433816585/3144546957017351788\ 59368396087308808221*c_0101_6^11 + 9455068984572647924249753305498791225313573564/31445469570173517885\ 9368396087308808221*c_0101_6^9 - 2654671803875435979012532818515914\ 703391954823/314454695701735178859368396087308808221*c_0101_6^7 + 550547071783235899704245365882316421255180535/314454695701735178859\ 368396087308808221*c_0101_6^5 - 53142416111313245820320696523606213\ 283995116/314454695701735178859368396087308808221*c_0101_6^3 + 611060195733282548425743156106737877919707/314454695701735178859368\ 396087308808221*c_0101_6, c_0011_0 - 1, c_0011_1 + 160420474896701390892698360791751826063/31445469570173517885\ 9368396087308808221*c_0101_6^36 - 396470853605661557469665981313219\ 3454462/314454695701735178859368396087308808221*c_0101_6^34 + 44746429094459789463002421396532192888379/3144546957017351788593683\ 96087308808221*c_0101_6^32 - 31764581293690384656961554424665587271\ 6628/314454695701735178859368396087308808221*c_0101_6^30 + 1594672576517061646669448845489898914904843/31445469570173517885936\ 8396087308808221*c_0101_6^28 - 598823916785424738970062968903867135\ 9422957/314454695701735178859368396087308808221*c_0101_6^26 + 17446509196493761867105022221925384652951906/3144546957017351788593\ 68396087308808221*c_0101_6^24 - 40196482384096256386695932693770073\ 926768081/314454695701735178859368396087308808221*c_0101_6^22 + 72789984854808737836542773049130920101188845/3144546957017351788593\ 68396087308808221*c_0101_6^20 - 10073155945801583620104143272976525\ 6650633760/314454695701735178859368396087308808221*c_0101_6^18 + 103013432891496171133586092383146653841397450/314454695701735178859\ 368396087308808221*c_0101_6^16 - 7662401661828087919626713526281650\ 1976441876/314454695701735178859368396087308808221*c_0101_6^14 + 41378462394508825730107051529470864742876115/3144546957017351788593\ 68396087308808221*c_0101_6^12 - 16121658746133111463573636291793778\ 757631058/314454695701735178859368396087308808221*c_0101_6^10 + 4980930072462861060481943603007804761220361/31445469570173517885936\ 8396087308808221*c_0101_6^8 - 1406214580477043082665047870536458939\ 877813/314454695701735178859368396087308808221*c_0101_6^6 + 287071902255290177741359431126492100776911/314454695701735178859368\ 396087308808221*c_0101_6^4 - 26249643522004553571512922764041557480\ 939/314454695701735178859368396087308808221*c_0101_6^2 + 608113091976092767356629604881877603531/314454695701735178859368396\ 087308808221, c_0011_3 + 919191779902923704031179254188810336490/31445469570173517885\ 9368396087308808221*c_0101_6^37 - 226855343874459424998455352926040\ 11080261/314454695701735178859368396087308808221*c_0101_6^35 + 255628900126848329666785984015602347453192/314454695701735178859368\ 396087308808221*c_0101_6^33 - 1811758430053069707672928776719104288\ 436621/314454695701735178859368396087308808221*c_0101_6^31 + 9080433525005898854821048704516502656417916/31445469570173517885936\ 8396087308808221*c_0101_6^29 - 340380891818329701176118808608385044\ 05864000/314454695701735178859368396087308808221*c_0101_6^27 + 98985814095689143813631883918349714295895003/3144546957017351788593\ 68396087308808221*c_0101_6^25 - 22761342673619061363237192250928947\ 6971338379/314454695701735178859368396087308808221*c_0101_6^23 + 411220009545605156784020860746443106183836209/314454695701735178859\ 368396087308808221*c_0101_6^21 - 5674143430953882015215774120390961\ 49596921563/314454695701735178859368396087308808221*c_0101_6^19 + 578289001757589721125773898024322393456918651/314454695701735178859\ 368396087308808221*c_0101_6^17 - 4288759177321636273817206772064028\ 00108781757/314454695701735178859368396087308808221*c_0101_6^15 + 231260738873199196981434302159234119867276124/314454695701735178859\ 368396087308808221*c_0101_6^13 - 9014113426797469816372077901580718\ 3191133182/314454695701735178859368396087308808221*c_0101_6^11 + 27993373336697971308903886336502444554430150/3144546957017351788593\ 68396087308808221*c_0101_6^9 - 786816431019578938879448025978514910\ 2543921/314454695701735178859368396087308808221*c_0101_6^7 + 1596856367719016305130671363234134281484541/31445469570173517885936\ 8396087308808221*c_0101_6^5 - 1523112535145067553177267557923982807\ 95466/314454695701735178859368396087308808221*c_0101_6^3 + 3802442779822015258280489771186194252224/31445469570173517885936839\ 6087308808221*c_0101_6, c_0011_5 + 634006844856642715224261565946637572311/31445469570173517885\ 9368396087308808221*c_0101_6^37 - 156704117104070990882362579608566\ 15351544/314454695701735178859368396087308808221*c_0101_6^35 + 176886853488026527044261477144738128688458/314454695701735178859368\ 396087308808221*c_0101_6^33 - 1255997543681837805767537188370763671\ 183320/314454695701735178859368396087308808221*c_0101_6^31 + 6307740430074118130240277327883833575965570/31445469570173517885936\ 8396087308808221*c_0101_6^29 - 236985969765843486715766960023261007\ 08279165/314454695701735178859368396087308808221*c_0101_6^27 + 69093560334204569553454500427709678136987647/3144546957017351788593\ 68396087308808221*c_0101_6^25 - 15934388500419386793842308159284261\ 7379837645/314454695701735178859368396087308808221*c_0101_6^23 + 288953476935135081572024752377418017660330689/314454695701735178859\ 368396087308808221*c_0101_6^21 - 4007836908134358894538348211829569\ 24023917712/314454695701735178859368396087308808221*c_0101_6^19 + 411489168039879528291789555983789369529560242/314454695701735178859\ 368396087308808221*c_0101_6^17 - 3081406612332395558306847345208449\ 85655826825/314454695701735178859368396087308808221*c_0101_6^15 + 168139551175264330678836787484950404927954548/314454695701735178859\ 368396087308808221*c_0101_6^13 - 6649640641552923246541509873386493\ 4340864556/314454695701735178859368396087308808221*c_0101_6^11 + 20840562891921487018092687954451151088500655/3144546957017351788593\ 68396087308808221*c_0101_6^9 - 587929898190389614898447827094517047\ 7825324/314454695701735178859368396087308808221*c_0101_6^7 + 1228476996334862632886315567416421183683339/31445469570173517885936\ 8396087308808221*c_0101_6^5 - 1262626065203073043906556734595040816\ 54887/314454695701735178859368396087308808221*c_0101_6^3 + 3409401356151275731987624791218373566042/31445469570173517885936839\ 6087308808221*c_0101_6, c_0101_0 - 130059881955818134314634659777527673939/31445469570173517885\ 9368396087308808221*c_0101_6^36 + 318754318542226865527141160389510\ 4963468/314454695701735178859368396087308808221*c_0101_6^34 - 35624651856229930752742402434691271791682/3144546957017351788593683\ 96087308808221*c_0101_6^32 + 25028134633688864621434502910738179757\ 3454/314454695701735178859368396087308808221*c_0101_6^30 - 1242338225142538063871738733530642725676580/31445469570173517885936\ 8396087308808221*c_0101_6^28 + 460617938438178901250175721120561717\ 9666878/314454695701735178859368396087308808221*c_0101_6^26 - 13230972140306702621742233910863921261267343/3144546957017351788593\ 68396087308808221*c_0101_6^24 + 29991733008486451690795979825265962\ 255357828/314454695701735178859368396087308808221*c_0101_6^22 - 53196262325735797834452788771072355497838614/3144546957017351788593\ 68396087308808221*c_0101_6^20 + 71504802277408878818277262032927777\ 654178784/314454695701735178859368396087308808221*c_0101_6^18 - 70148655309038667237830502949061298688633017/3144546957017351788593\ 68396087308808221*c_0101_6^16 + 49404260281433854823217849588926240\ 909007324/314454695701735178859368396087308808221*c_0101_6^14 - 24934106486511152500140633562585908201974674/3144546957017351788593\ 68396087308808221*c_0101_6^12 + 89172869050502758473914336624907519\ 16707114/314454695701735178859368396087308808221*c_0101_6^10 - 2631901457327811981172827777383605090665015/31445469570173517885936\ 8396087308808221*c_0101_6^8 + 7273283274058250215557157734632786492\ 97279/314454695701735178859368396087308808221*c_0101_6^6 - 122007523378180558625962914293105716151842/314454695701735178859368\ 396087308808221*c_0101_6^4 + 55945900057336606933790608927836046248\ 20/314454695701735178859368396087308808221*c_0101_6^2 + 187957406078972162876072179864515605059/314454695701735178859368396\ 087308808221, c_0101_1 + 454680585023851491826644422907999158052/31445469570173517885\ 9368396087308808221*c_0101_6^36 - 112246574614444652608279424955296\ 02237410/314454695701735178859368396087308808221*c_0101_6^34 + 126523065641412912094302908306377197621158/314454695701735178859368\ 396087308808221*c_0101_6^32 - 8969987029308301974122296220003610424\ 72122/314454695701735178859368396087308808221*c_0101_6^30 + 4497062645422789346662599851991304311900963/31445469570173517885936\ 8396087308808221*c_0101_6^28 - 168623882226027388344672278728271908\ 60139774/314454695701735178859368396087308808221*c_0101_6^26 + 49051598735386953237453867648659744244148957/3144546957017351788593\ 68396087308808221*c_0101_6^24 - 11282339951913178770171930130499551\ 9095547542/314454695701735178859368396087308808221*c_0101_6^22 + 203892455102149832100859255749466465461430532/314454695701735178859\ 368396087308808221*c_0101_6^20 - 2814182911744903145701082137098893\ 69223171619/314454695701735178859368396087308808221*c_0101_6^18 + 286852371807023426384968882433921047830119893/314454695701735178859\ 368396087308808221*c_0101_6^16 - 2126576059258115475664275642093639\ 71605185912/314454695701735178859368396087308808221*c_0101_6^14 + 114525313483829203121597048765526516156836003/314454695701735178859\ 368396087308808221*c_0101_6^12 - 4453356979139815032883903370933349\ 1691573268/314454695701735178859368396087308808221*c_0101_6^10 + 13784147074366398891700961476445108731595570/3144546957017351788593\ 68396087308808221*c_0101_6^8 - 387770103060836709157637588634199920\ 7698012/314454695701735178859368396087308808221*c_0101_6^6 + 784629237132150481173676408045582727879875/314454695701735178859368\ 396087308808221*c_0101_6^4 - 71769102161238683152056744322963812590\ 954/314454695701735178859368396087308808221*c_0101_6^2 + 1212850176177281292528440462983379131800/31445469570173517885936839\ 6087308808221, c_0101_6^38 - 25*c_0101_6^36 + 286*c_0101_6^34 - 2060*c_0101_6^32 + 10509*c_0101_6^30 - 40188*c_0101_6^28 + 119518*c_0101_6^26 - 282007*c_0101_6^24 + 526383*c_0101_6^22 - 759925*c_0101_6^20 + 825699*c_0101_6^18 - 666580*c_0101_6^16 + 399584*c_0101_6^14 - 177643*c_0101_6^12 + 61364*c_0101_6^10 - 18137*c_0101_6^8 + 4426*c_0101_6^6 - 707*c_0101_6^4 + 54*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB