Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 3970789437] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1421 geometric_solution 5.25690111 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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.066730353517 0.634523710367 0 1 0 1 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.930394775847 0.837679718599 4 3 5 0 0132 3012 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 -1 1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.345884419906 1.169260717220 2 4 0 5 1230 2310 0132 2310 0 0 0 0 0 1 -1 0 -1 0 0 1 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 1.345884419906 1.169260717220 2 4 4 3 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 1 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.914194945220 0.696945580629 3 6 6 2 3201 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132442790472 0.362960899652 5 5 6 6 2310 0132 2031 1302 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 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 1.935411619966 2.676713458774 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : 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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), '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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : d['c_0101_0'], '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_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 39626118223887902611877500708423976/2212196867643246679770051792020\ 235*c_0101_6^18 + 132124700732992373638155647277961264/737398955881\ 082226590017264006745*c_0101_6^17 - 635394407505615854581158167732062504/221219686764324667977005179202\ 0235*c_0101_6^16 + 982940239895976551440127817789418/14747979117621\ 6445318003452801349*c_0101_6^15 - 141617701758004379203585676318930\ 0324/2212196867643246679770051792020235*c_0101_6^14 + 3726700740609675234869911934731567228/22121968676432466797700517920\ 20235*c_0101_6^13 + 1707297672845862046687922024900676329/221219686\ 7643246679770051792020235*c_0101_6^12 - 5106300073973526947941571240533852522/22121968676432466797700517920\ 20235*c_0101_6^11 + 5645563632710256685587752568739610648/221219686\ 7643246679770051792020235*c_0101_6^10 - 9271084405208933612586883147282722802/22121968676432466797700517920\ 20235*c_0101_6^9 - 11456998913517957109955385306854507683/221219686\ 7643246679770051792020235*c_0101_6^8 - 758415468389524281115443583120691074/737398955881082226590017264006\ 745*c_0101_6^7 - 11014207245899587315841447809145217263/22121968676\ 43246679770051792020235*c_0101_6^6 - 5646350571180914852889160092636783928/22121968676432466797700517920\ 20235*c_0101_6^5 - 1007164109259907111615022696051491372/2212196867\ 643246679770051792020235*c_0101_6^4 - 250503530609775133150821579776801524/442439373528649335954010358404\ 047*c_0101_6^3 - 428298726396864180475728945399239428/2212196867643\ 246679770051792020235*c_0101_6^2 - 209894263976795142132777715614235594/221219686764324667977005179202\ 0235*c_0101_6 - 6318146439619596124048536567308557/4424393735286493\ 35954010358404047, c_0011_0 - 1, c_0011_2 - 46063024697356272419129488846396/147479791176216445318003452\ 801349*c_0101_6^18 + 424246141550574025410194985785824/147479791176\ 216445318003452801349*c_0101_6^17 - 363061089120545520587677992404496/147479791176216445318003452801349\ *c_0101_6^16 - 672764935095978933085242960853305/147479791176216445\ 318003452801349*c_0101_6^15 - 1451714463377145260328957611671916/14\ 7479791176216445318003452801349*c_0101_6^14 + 2987270676012457118939944292931141/14747979117621644531800345280134\ 9*c_0101_6^13 + 5802511091867912704477742406232426/1474797911762164\ 45318003452801349*c_0101_6^12 - 5363564764850480117526799484043487/\ 147479791176216445318003452801349*c_0101_6^11 + 1573181013597435824779916596397208/14747979117621644531800345280134\ 9*c_0101_6^10 - 4285827624050244260207263681903596/1474797911762164\ 45318003452801349*c_0101_6^9 - 23668031801844457287283432570840537/\ 147479791176216445318003452801349*c_0101_6^8 - 10264679196359000541490740551857654/1474797911762164453180034528013\ 49*c_0101_6^7 - 12408220570478599401225011034457719/147479791176216\ 445318003452801349*c_0101_6^6 - 16428534591927467110436185055385343\ /147479791176216445318003452801349*c_0101_6^5 - 3127891813862486056084246231110323/14747979117621644531800345280134\ 9*c_0101_6^4 - 1338904179219642831771948745990121/14747979117621644\ 5318003452801349*c_0101_6^3 - 1355942644427656394349080213106570/14\ 7479791176216445318003452801349*c_0101_6^2 - 241032769840146862845156550143911/147479791176216445318003452801349\ *c_0101_6 - 60429490997998002236401410878352/1474797911762164453180\ 03452801349, c_0011_5 + 72279318715228998604272386272820/147479791176216445318003452\ 801349*c_0101_6^18 - 748208361981808568514200241030944/147479791176\ 216445318003452801349*c_0101_6^17 + 1404642239630092926764437054077748/14747979117621644531800345280134\ 9*c_0101_6^16 - 362486726729284892758575264879997/14747979117621644\ 5318003452801349*c_0101_6^15 + 2451930738397138450317226572330916/1\ 47479791176216445318003452801349*c_0101_6^14 - 7633201650482039813602834170229436/14747979117621644531800345280134\ 9*c_0101_6^13 - 997620726514980988180804067131420/14747979117621644\ 5318003452801349*c_0101_6^12 + 11162378264737176482472160719843202/\ 147479791176216445318003452801349*c_0101_6^11 - 13617295531115880337731256994093535/1474797911762164453180034528013\ 49*c_0101_6^10 + 19605449581623482781000572095970044/14747979117621\ 6445318003452801349*c_0101_6^9 + 1626512087340603801446807318472502\ 9/147479791176216445318003452801349*c_0101_6^8 - 5305169483492668974954330405399547/14747979117621644531800345280134\ 9*c_0101_6^7 + 17811907829202699224397102284898672/1474797911762164\ 45318003452801349*c_0101_6^6 + 3758519390949139108570194578745107/1\ 47479791176216445318003452801349*c_0101_6^5 - 3072043051271111499559649837234252/14747979117621644531800345280134\ 9*c_0101_6^4 + 2041415206715891754660604679340733/14747979117621644\ 5318003452801349*c_0101_6^3 + 272478103306485225860376512748393/147\ 479791176216445318003452801349*c_0101_6^2 + 278801261164907568529108016319261/147479791176216445318003452801349\ *c_0101_6 - 44974486193577682174993878805495/1474797911762164453180\ 03452801349, c_0101_0 - 17456206499933404852569818817904/147479791176216445318003452\ 801349*c_0101_6^18 + 176758949420633491771199492134544/147479791176\ 216445318003452801349*c_0101_6^17 - 289456578609726560479635443478724/147479791176216445318003452801349\ *c_0101_6^16 - 81434991665713554278873083930816/1474797911762164453\ 18003452801349*c_0101_6^15 - 400192603531943525809250662458916/1474\ 79791176216445318003452801349*c_0101_6^14 + 1636685047957251804191980157304773/14747979117621644531800345280134\ 9*c_0101_6^13 + 1040272593611114328848352199757655/1474797911762164\ 45318003452801349*c_0101_6^12 - 3616002121638834316633636241236865/\ 147479791176216445318003452801349*c_0101_6^11 + 2662272104849067087206887865927261/14747979117621644531800345280134\ 9*c_0101_6^10 - 3070405493191448456298992178500847/1474797911762164\ 45318003452801349*c_0101_6^9 - 6524456733456849066657572033197182/1\ 47479791176216445318003452801349*c_0101_6^8 + 3133008536253025549401383367031982/14747979117621644531800345280134\ 9*c_0101_6^7 - 2490337948652670820985762350022460/14747979117621644\ 5318003452801349*c_0101_6^6 - 1073926694219697177979079677460763/14\ 7479791176216445318003452801349*c_0101_6^5 + 2901413649695547804332722603797264/14747979117621644531800345280134\ 9*c_0101_6^4 + 421619083392651073783114063820528/147479791176216445\ 318003452801349*c_0101_6^3 + 223400372159157963402787268888070/1474\ 79791176216445318003452801349*c_0101_6^2 - 5045262770356074051223395056578/147479791176216445318003452801349*c\ _0101_6 + 123108193208863398494085174409757/14747979117621644531800\ 3452801349, c_0101_1 - 49273984899155302700736132221536/147479791176216445318003452\ 801349*c_0101_6^18 + 478993105036701910305309024696900/147479791176\ 216445318003452801349*c_0101_6^17 - 650031128578529118690655678560228/147479791176216445318003452801349\ *c_0101_6^16 - 221289182014443335741250492785196/147479791176216445\ 318003452801349*c_0101_6^15 - 1680274639522282324913358867862113/14\ 7479791176216445318003452801349*c_0101_6^14 + 4019762376506721620746687747469865/14747979117621644531800345280134\ 9*c_0101_6^13 + 3536441827889628001220263615431826/1474797911762164\ 45318003452801349*c_0101_6^12 - 6092243404958988602167381409399105/\ 147479791176216445318003452801349*c_0101_6^11 + 5810309001957980185178074593854701/14747979117621644531800345280134\ 9*c_0101_6^10 - 9495563595155053814144904407235282/1474797911762164\ 45318003452801349*c_0101_6^9 - 18275437695200763454324745277975748/\ 147479791176216445318003452801349*c_0101_6^8 - 5467586870147764238212346596694406/14747979117621644531800345280134\ 9*c_0101_6^7 - 16158094433042710026312203652643191/1474797911762164\ 45318003452801349*c_0101_6^6 - 11355264896455714305477188922365384/\ 147479791176216445318003452801349*c_0101_6^5 - 2828835571677739488755031434771549/14747979117621644531800345280134\ 9*c_0101_6^4 - 3155025440982503204983747275049469/14747979117621644\ 5318003452801349*c_0101_6^3 - 726487782223468404865345236941920/147\ 479791176216445318003452801349*c_0101_6^2 - 284176379513767881571201747161695/147479791176216445318003452801349\ *c_0101_6 - 96742816016137114049771743087638/1474797911762164453180\ 03452801349, c_0101_2 - 36205338619557744053398995776224/147479791176216445318003452\ 801349*c_0101_6^18 + 446251693263649870832658508112924/147479791176\ 216445318003452801349*c_0101_6^17 - 1417206989596427005389967731174424/14747979117621644531800345280134\ 9*c_0101_6^16 + 1302226150981391492342217137845928/1474797911762164\ 45318003452801349*c_0101_6^15 - 1104023786051918343084888720452987/\ 147479791176216445318003452801349*c_0101_6^14 + 6130769689140433523414116443685146/14747979117621644531800345280134\ 9*c_0101_6^13 - 6088986521799892780795248431073681/1474797911762164\ 45318003452801349*c_0101_6^12 - 9280385435235181575561655167163417/\ 147479791176216445318003452801349*c_0101_6^11 + 17356438501095518869086499452097889/1474797911762164453180034528013\ 49*c_0101_6^10 - 19754428117655510890523763797367840/14747979117621\ 6445318003452801349*c_0101_6^9 + 6756613987374639681200512749172558\ /147479791176216445318003452801349*c_0101_6^8 + 25776284660911614407969988707879124/1474797911762164453180034528013\ 49*c_0101_6^7 - 8151285215090892921135659211250001/1474797911762164\ 45318003452801349*c_0101_6^6 + 15932578222966997640642496767222819/\ 147479791176216445318003452801349*c_0101_6^5 + 12061394964354903159181341515539283/1474797911762164453180034528013\ 49*c_0101_6^4 - 2188090279428668047660759663528998/1474797911762164\ 45318003452801349*c_0101_6^3 + 1607583557829480372922512001993526/1\ 47479791176216445318003452801349*c_0101_6^2 + 638099541451656293773498390631888/147479791176216445318003452801349\ *c_0101_6 + 142219137833893314217494426716475/147479791176216445318\ 003452801349, c_0101_6^19 - 10*c_0101_6^18 + 16*c_0101_6^17 - 1/4*c_0101_6^16 + 71/2*c_0101_6^15 - 375/4*c_0101_6^14 - 87/2*c_0101_6^13 + 519/4*c_0101_6^12 - 143*c_0101_6^11 + 927/4*c_0101_6^10 + 1171/4*c_0101_6^9 + 55*c_0101_6^8 + 1115/4*c_0101_6^7 + 297/2*c_0101_6^6 + 99/4*c_0101_6^5 + 69/2*c_0101_6^4 + 55/4*c_0101_6^3 + 5*c_0101_6^2 + c_0101_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB