Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 1966401963] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1481 geometric_solution 5.29623363 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 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.376854523983 0.550074630955 0 3 2 4 0132 0132 1230 0132 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 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 1.152376719974 1.237230902847 3 0 4 1 2310 0132 2310 3012 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.152376719974 1.237230902847 5 1 2 5 0132 0132 3201 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 0 0 0 -1 0 1 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.046878392306 0.456348575325 6 2 1 6 0132 3201 0132 1023 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 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.677354094341 0.349792904601 3 3 5 5 0132 2310 1230 3012 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 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 2.362381521067 0.795821586303 4 6 6 4 0132 3201 2310 1023 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.088332767898 0.511516353988 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : 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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 17936039899033433449665033818730479858087986288784/2575791888439816\ 81923120268216606100935078577*c_0101_6^16 - 57000754002311487525295884771184886258472488200146/2575791888439816\ 81923120268216606100935078577*c_0101_6^15 + 29498757928680859682278703947568836353429839226741/2575791888439816\ 81923120268216606100935078577*c_0101_6^14 + 307179649545102114257437076117460570857307757737295/257579188843981\ 681923120268216606100935078577*c_0101_6^13 + 366427734937497128705643120671541684242095965320034/257579188843981\ 681923120268216606100935078577*c_0101_6^12 - 107653644848924247087565778949337659012866273648606/257579188843981\ 681923120268216606100935078577*c_0101_6^11 - 642325298144331531269023493489008127885374148102123/257579188843981\ 681923120268216606100935078577*c_0101_6^10 - 605371429484841997956641244186122493606768815727263/257579188843981\ 681923120268216606100935078577*c_0101_6^9 - 157419228542702026424967719410039854906774412011330/257579188843981\ 681923120268216606100935078577*c_0101_6^8 + 100240457082646156332904966914940233260622503472387/257579188843981\ 681923120268216606100935078577*c_0101_6^7 + 51897300782512036218488027249482258740087585542618/2575791888439816\ 81923120268216606100935078577*c_0101_6^6 - 15571502781158834758650116623972641277092827084957/2575791888439816\ 81923120268216606100935078577*c_0101_6^5 - 7891320055843558668524523093057879788078141209825/25757918884398168\ 1923120268216606100935078577*c_0101_6^4 + 2200617542849942065030247206249849909936316357822/25757918884398168\ 1923120268216606100935078577*c_0101_6^3 + 329158898599067836329281383392652218956282329941/257579188843981681\ 923120268216606100935078577*c_0101_6^2 - 209405261593310489719836414509249449735024750223/257579188843981681\ 923120268216606100935078577*c_0101_6 + 22504531439254490980543138706349980199797837742/2575791888439816819\ 23120268216606100935078577, c_0011_0 - 1, c_0011_4 + 174754970117229676489073422019038936560424/56542338584259870\ 3379249015404655243727*c_0101_6^16 + 33584334333227959938173137141522648698961/5654233858425987033792490\ 15404655243727*c_0101_6^15 - 16848497076443442232779809085273104336\ 19101/565423385842598703379249015404655243727*c_0101_6^14 - 1519862246540703233583489496935585658137136/56542338584259870337924\ 9015404655243727*c_0101_6^13 + 440707919112456489215245554193758930\ 8630180/565423385842598703379249015404655243727*c_0101_6^12 + 7964099137138555203342940335056203633558658/56542338584259870337924\ 9015404655243727*c_0101_6^11 + 953750411525037865944942715052371643\ 847210/565423385842598703379249015404655243727*c_0101_6^10 - 9057754811366777187242876341834125693413818/56542338584259870337924\ 9015404655243727*c_0101_6^9 - 9517552471492175734002984051217249766\ 970475/565423385842598703379249015404655243727*c_0101_6^8 - 2452648792727864243985179276114918580080405/56542338584259870337924\ 9015404655243727*c_0101_6^7 + 1450366143841064224090168308250744658\ 486638/565423385842598703379249015404655243727*c_0101_6^6 + 559252687515486439901790552577080670995120/565423385842598703379249\ 015404655243727*c_0101_6^5 - 20694244905678652824308972410737333797\ 0332/565423385842598703379249015404655243727*c_0101_6^4 - 43422855404435705324512004206858322818921/5654233858425987033792490\ 15404655243727*c_0101_6^3 + 174186487931401633149000876819610211451\ 86/565423385842598703379249015404655243727*c_0101_6^2 - 1423286950166544573927472061633339269446/56542338584259870337924901\ 5404655243727*c_0101_6 - 304070033272409754503257438008032100325/56\ 5423385842598703379249015404655243727, c_0101_0 + 1444610685885711497226197968455513939997336/5654233858425987\ 03379249015404655243727*c_0101_6^16 + 3749952678289038720843951688270949374774263/56542338584259870337924\ 9015404655243727*c_0101_6^15 - 447133948836578222840323447519986868\ 8740701/565423385842598703379249015404655243727*c_0101_6^14 - 21941648968970989905260229069232399682494589/5654233858425987033792\ 49015404655243727*c_0101_6^13 - 17105316564658841138750451188185994\ 706693906/565423385842598703379249015404655243727*c_0101_6^12 + 17359601165507770495322450943300758223267458/5654233858425987033792\ 49015404655243727*c_0101_6^11 + 41103725061946831354186381947921165\ 013557202/565423385842598703379249015404655243727*c_0101_6^10 + 26448838584906821374806171377341600496188372/5654233858425987033792\ 49015404655243727*c_0101_6^9 - 426480818599076640071504088597534207\ 489884/565423385842598703379249015404655243727*c_0101_6^8 - 7221695325152928977163394440491105227332441/56542338584259870337924\ 9015404655243727*c_0101_6^7 - 9298515613869192555751394472672855344\ 94988/565423385842598703379249015404655243727*c_0101_6^6 + 1071703711982194723351487109559875249373475/56542338584259870337924\ 9015404655243727*c_0101_6^5 + 2968258286810185237105676925854657706\ 4039/565423385842598703379249015404655243727*c_0101_6^4 - 89170570199075314779042755958611583538022/5654233858425987033792490\ 15404655243727*c_0101_6^3 + 136285018187996131770895067720353698103\ 90/565423385842598703379249015404655243727*c_0101_6^2 + 857092078945791371656955985522248147167/565423385842598703379249015\ 404655243727*c_0101_6 - 756390494885376646856047173177590459215/565\ 423385842598703379249015404655243727, c_0101_1 + 315437951185591646511580921736066193939048/56542338584259870\ 3379249015404655243727*c_0101_6^16 + 1002611290272068790257255652481208123184545/56542338584259870337924\ 9015404655243727*c_0101_6^15 - 483468806321112301392151657894165565\ 260032/565423385842598703379249015404655243727*c_0101_6^14 - 5329960562515191993465196737239086210742228/56542338584259870337924\ 9015404655243727*c_0101_6^13 - 659316483705318429851503942401257941\ 0442349/565423385842598703379249015404655243727*c_0101_6^12 + 1433526465192971377672442853910673421446617/56542338584259870337924\ 9015404655243727*c_0101_6^11 + 111254389412410543304893980523254688\ 38967859/565423385842598703379249015404655243727*c_0101_6^10 + 11176876565547198034121437215770819272815691/5654233858425987033792\ 49015404655243727*c_0101_6^9 + 349692570148468929957305991806018866\ 0914378/565423385842598703379249015404655243727*c_0101_6^8 - 1528079620371052513684986814085570692026212/56542338584259870337924\ 9015404655243727*c_0101_6^7 - 1079635072419558725279566571311923770\ 620646/565423385842598703379249015404655243727*c_0101_6^6 + 186462332160183009055279302019234601433510/565423385842598703379249\ 015404655243727*c_0101_6^5 + 19379254237320386992674543701087298714\ 8454/565423385842598703379249015404655243727*c_0101_6^4 - 15898519837212490478689406116592615283517/5654233858425987033792490\ 15404655243727*c_0101_6^3 - 115308061222410716658980686629440772647\ 30/565423385842598703379249015404655243727*c_0101_6^2 + 3139865463655625323145425374379401803831/56542338584259870337924901\ 5404655243727*c_0101_6 - 194811688213495202832235467019389567804/56\ 5423385842598703379249015404655243727, c_0101_2 - 1015676327279903811280431771970897864428616/5654233858425987\ 03379249015404655243727*c_0101_6^16 - 3934992422143770559237610294820980552565549/56542338584259870337924\ 9015404655243727*c_0101_6^15 + 101790472772604695589564169423169126\ 85780/565423385842598703379249015404655243727*c_0101_6^14 + 19997784625428006245900453259853499068194552/5654233858425987033792\ 49015404655243727*c_0101_6^13 + 30866187685888152290308416190719932\ 010205816/565423385842598703379249015404655243727*c_0101_6^12 - 198802990177938262889171094614343889602677/565423385842598703379249\ 015404655243727*c_0101_6^11 - 4640996105984645542099552898865555938\ 1681163/565423385842598703379249015404655243727*c_0101_6^10 - 52164802680732296127099140647274747855423263/5654233858425987033792\ 49015404655243727*c_0101_6^9 - 176004727453719895046333940345867686\ 59541087/565423385842598703379249015404655243727*c_0101_6^8 + 8233063893345694012686788712671773290334601/56542338584259870337924\ 9015404655243727*c_0101_6^7 + 6290665835909430342373497169416878163\ 464567/565423385842598703379249015404655243727*c_0101_6^6 - 923286330162278436312136176194888925111022/565423385842598703379249\ 015404655243727*c_0101_6^5 - 88402238264870878723016811290815450604\ 1759/565423385842598703379249015404655243727*c_0101_6^4 + 192196239732351236369360170858372738066543/565423385842598703379249\ 015404655243727*c_0101_6^3 + 35874351828715044212562132141266734458\ 696/565423385842598703379249015404655243727*c_0101_6^2 - 22327733151876831715886609985474612648694/5654233858425987033792490\ 15404655243727*c_0101_6 + 3328153333808812069815170246698672321921/\ 565423385842598703379249015404655243727, c_0101_5 + 2063602998765187609763904872302002275542072/5654233858425987\ 03379249015404655243727*c_0101_6^16 + 5699379585166258280603600783709520232596763/56542338584259870337924\ 9015404655243727*c_0101_6^15 - 553388314969654406126328554742906711\ 7248369/565423385842598703379249015404655243727*c_0101_6^14 - 32439120548283648025983471664302311642078132/5654233858425987033792\ 49015404655243727*c_0101_6^13 - 29381299155290458068642331949343757\ 863193925/565423385842598703379249015404655243727*c_0101_6^12 + 21105412954435666325934523628358740662461981/5654233858425987033792\ 49015404655243727*c_0101_6^11 + 62418243584421488083606260004181244\ 722568343/565423385842598703379249015404655243727*c_0101_6^10 + 46448583082497893601216095512850770994949245/5654233858425987033792\ 49015404655243727*c_0101_6^9 + 524435396942161092621050436794498148\ 7190915/565423385842598703379249015404655243727*c_0101_6^8 - 9579123728464238353455388945237837144519445/56542338584259870337924\ 9015404655243727*c_0101_6^7 - 1973476978353832504219586044002863160\ 180221/565423385842598703379249015404655243727*c_0101_6^6 + 1643042761796522970883304103569632241093701/56542338584259870337924\ 9015404655243727*c_0101_6^5 + 1777638348366595432786178209463274014\ 89561/565423385842598703379249015404655243727*c_0101_6^4 - 167921920767298012659549066505460320658720/565423385842598703379249\ 015404655243727*c_0101_6^3 + 13517204605465851936820151299605458007\ 067/565423385842598703379249015404655243727*c_0101_6^2 + 6622555810290021257052245917015083846013/56542338584259870337924901\ 5404655243727*c_0101_6 - 1122250372281731354242077952322112420074/5\ 65423385842598703379249015404655243727, c_0101_6^17 + 625/232*c_0101_6^16 - 86/29*c_0101_6^15 - 3661/232*c_0101_6^14 - 9689/754*c_0101_6^13 + 19057/1508*c_0101_6^12 + 11522/377*c_0101_6^11 + 57857/3016*c_0101_6^10 - 1219/754*c_0101_6^9 - 19031/3016*c_0101_6^8 - 1375/3016*c_0101_6^7 + 1969/1508*c_0101_6^6 + 35/1508*c_0101_6^5 - 491/3016*c_0101_6^4 + 73/3016*c_0101_6^3 + 3/377*c_0101_6^2 - 9/3016*c_0101_6 + 1/3016 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB