Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 256807884] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0494 geometric_solution 4.51086071 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2310 0132 3201 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 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.677024563096 0.056887394241 0 0 2 2 3201 0132 2310 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 -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 2.136008964199 0.361511242313 3 1 1 3 0132 3201 0132 1023 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 0 -1 1 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 1.420465885678 0.394163015225 2 4 5 2 0132 0132 0132 1023 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 0 1 -1 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.105286597062 0.565289577258 5 3 6 5 2310 0132 0132 2031 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 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.135891892189 0.789921992766 6 4 4 3 2310 1302 3201 0132 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.135891892189 0.789921992766 6 6 5 4 1230 3012 3201 0132 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 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.799492010375 0.839345847263 ==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' : d['1'], 's_2_0' : 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_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 453866247703269927793844120079063/247262460153130544292471686333*c_\ 0101_3^25 + 2813439137262298481147273594742753/24726246015313054429\ 2471686333*c_0101_3^24 + 3072772110615556680574098008328137/2472624\ 60153130544292471686333*c_0101_3^23 - 24219669668536369494369979983451992/247262460153130544292471686333*\ c_0101_3^22 - 22877806909112695796537361475838672/24726246015313054\ 4292471686333*c_0101_3^21 + 94021694904995489963129655699125560/247\ 262460153130544292471686333*c_0101_3^20 + 162002966596620273871895354332147754/247262460153130544292471686333\ *c_0101_3^19 - 195824014744584064463763397142888634/247262460153130\ 544292471686333*c_0101_3^18 - 731233990423075404423709614386297798/\ 247262460153130544292471686333*c_0101_3^17 + 139449111616278928557713661437450279/247262460153130544292471686333\ *c_0101_3^16 + 2129004863602657130764356044600816166/24726246015313\ 0544292471686333*c_0101_3^15 + 10184324479670227232132519939055686/\ 6030791711051964494938333813*c_0101_3^14 - 4083261779886127774573990252457356970/24726246015313054429247168633\ 3*c_0101_3^13 - 1612608120852654979146916908927582041/2472624601531\ 30544292471686333*c_0101_3^12 + 49604570399132897562528257073892799\ 26/247262460153130544292471686333*c_0101_3^11 + 2970850638782724008123411583609946727/24726246015313054429247168633\ 3*c_0101_3^10 - 3403381954920630138868021044606795603/2472624601531\ 30544292471686333*c_0101_3^9 - 342864665493520126708403067293054814\ 8/247262460153130544292471686333*c_0101_3^8 + 68525847988126820320662336934313145/19020189242548503407113206641*c\ _0101_3^7 + 2400468453028534754921927156437482436/24726246015313054\ 4292471686333*c_0101_3^6 + 249518426209810169877907523535780717/247\ 262460153130544292471686333*c_0101_3^5 - 878782065021801740990091497767796128/247262460153130544292471686333\ *c_0101_3^4 - 185462017538472326214606190941273123/2472624601531305\ 44292471686333*c_0101_3^3 + 112205904507237274613513421455818132/24\ 7262460153130544292471686333*c_0101_3^2 + 31874468987082572839872339003479557/247262460153130544292471686333*\ c_0101_3 + 2243441760022131674025768526412542/247262460153130544292\ 471686333, c_0011_0 - 1, c_0011_2 - 54692947619013640074721590647/247262460153130544292471686333\ *c_0101_3^25 + 319779163754141574757980376197/247262460153130544292\ 471686333*c_0101_3^24 + 461277969294271579558118422739/247262460153\ 130544292471686333*c_0101_3^23 - 2663488539516485538441385728612/24\ 7262460153130544292471686333*c_0101_3^22 - 3331955745837479489891348387867/247262460153130544292471686333*c_01\ 01_3^21 + 9429005904943226346666617445602/2472624601531305442924716\ 86333*c_0101_3^20 + 20308516482990168792964822207104/24726246015313\ 0544292471686333*c_0101_3^19 - 15243809978827763508383692152577/247\ 262460153130544292471686333*c_0101_3^18 - 82517173944432881375647881948431/247262460153130544292471686333*c_0\ 101_3^17 - 5417902066135821093199976012566/247262460153130544292471\ 686333*c_0101_3^16 + 224081836444511446607082760076110/247262460153\ 130544292471686333*c_0101_3^15 + 2107846004317634414214699555650/60\ 30791711051964494938333813*c_0101_3^14 - 406363592276902718472155825494384/247262460153130544292471686333*c_\ 0101_3^13 - 220311032620493837603716481390087/247262460153130544292\ 471686333*c_0101_3^12 + 464265625810294492747857341825002/247262460\ 153130544292471686333*c_0101_3^11 + 334429538093238610059596170961602/247262460153130544292471686333*c_\ 0101_3^10 - 294070649445567249385229881287230/247262460153130544292\ 471686333*c_0101_3^9 - 343815798286938579673520691117268/2472624601\ 53130544292471686333*c_0101_3^8 + 5013919974103118870368443772922/1\ 9020189242548503407113206641*c_0101_3^7 + 230472912277427619231455641047720/247262460153130544292471686333*c_\ 0101_3^6 + 26937443216628733154610019439250/24726246015313054429247\ 1686333*c_0101_3^5 - 85651287884155849144097822057961/2472624601531\ 30544292471686333*c_0101_3^4 - 18457486920771343991691265639052/247\ 262460153130544292471686333*c_0101_3^3 + 12054314480375592846631229407105/247262460153130544292471686333*c_0\ 101_3^2 + 3582129997548215781294813653770/2472624601531305442924716\ 86333*c_0101_3 + 137927489625761857583045799664/2472624601531305442\ 92471686333, c_0011_5 - 135746901434844488895694001764/24726246015313054429247168633\ 3*c_0101_3^25 + 767791792880327416391397829780/24726246015313054429\ 2471686333*c_0101_3^24 + 1448511551707232881703893027497/2472624601\ 53130544292471686333*c_0101_3^23 - 7290780248977378453154590806110/247262460153130544292471686333*c_01\ 01_3^22 - 10570287246185444713097837575887/247262460153130544292471\ 686333*c_0101_3^21 + 28124003078271611655765375516651/2472624601531\ 30544292471686333*c_0101_3^20 + 62565848295764831932740868906644/24\ 7262460153130544292471686333*c_0101_3^19 - 46591236059846853181443253844899/247262460153130544292471686333*c_0\ 101_3^18 - 258071420216213250469867210153521/2472624601531305442924\ 71686333*c_0101_3^17 - 32903796452825991162560225041511/24726246015\ 3130544292471686333*c_0101_3^16 + 722685634697442559493781042871460\ /247262460153130544292471686333*c_0101_3^15 + 8750029565209996989612877666113/6030791711051964494938333813*c_0101\ _3^14 - 1367351825435284794592394750987542/247262460153130544292471\ 686333*c_0101_3^13 - 922521288958552926091057982193434/247262460153\ 130544292471686333*c_0101_3^12 + 1639697500177095255432472027411336\ /247262460153130544292471686333*c_0101_3^11 + 1399168152176532227331885704870103/247262460153130544292471686333*c\ _0101_3^10 - 1043755864198494844205827130513766/2472624601531305442\ 92471686333*c_0101_3^9 - 1401218883432452899357023260418742/2472624\ 60153130544292471686333*c_0101_3^8 + 10065928251951624698462119443542/19020189242548503407113206641*c_01\ 01_3^7 + 906558437765587402757243265859151/247262460153130544292471\ 686333*c_0101_3^6 + 201594897468010786085027172783378/2472624601531\ 30544292471686333*c_0101_3^5 - 324312808767490623092459665846474/24\ 7262460153130544292471686333*c_0101_3^4 - 91558236967743996063548890793660/247262460153130544292471686333*c_0\ 101_3^3 + 40264671377983799747247507622036/247262460153130544292471\ 686333*c_0101_3^2 + 12951172735394097629909828231527/24726246015313\ 0544292471686333*c_0101_3 + 819309632638494397980223850965/24726246\ 0153130544292471686333, c_0011_6 + 194872700257286646683932069022/24726246015313054429247168633\ 3*c_0101_3^25 - 1283319922884536666116728413015/2472624601531305442\ 92471686333*c_0101_3^24 - 779956389234078997823384585376/2472624601\ 53130544292471686333*c_0101_3^23 + 10319420772656555074945928576698/247262460153130544292471686333*c_0\ 101_3^22 + 6281088074229638995903979381634/247262460153130544292471\ 686333*c_0101_3^21 - 40172762406595334760317181681016/2472624601531\ 30544292471686333*c_0101_3^20 - 56873214466364112987116861842482/24\ 7262460153130544292471686333*c_0101_3^19 + 94386434434056567228375152062525/247262460153130544292471686333*c_0\ 101_3^18 + 278680403974182592331919041738857/2472624601531305442924\ 71686333*c_0101_3^17 - 123765970348610258766573613158556/2472624601\ 53130544292471686333*c_0101_3^16 - 831432448250202876096026316590881/247262460153130544292471686333*c_\ 0101_3^15 + 386139479473614571020258498079/603079171105196449493833\ 3813*c_0101_3^14 + 1593234218084746791719138983704650/2472624601531\ 30544292471686333*c_0101_3^13 + 339763563952440312399568296907673/2\ 47262460153130544292471686333*c_0101_3^12 - 1920470304855972773149195249032032/247262460153130544292471686333*c\ _0101_3^11 - 882636770374724657216317805216319/24726246015313054429\ 2471686333*c_0101_3^10 + 1340215710868992769229202562874612/2472624\ 60153130544292471686333*c_0101_3^9 + 1168783715019905957060151578943263/247262460153130544292471686333*c\ _0101_3^8 - 32145478763502988817107108669062/1902018924254850340711\ 3206641*c_0101_3^7 - 838753607631296237562468520402553/247262460153\ 130544292471686333*c_0101_3^6 - 37692955198642384852341358413244/24\ 7262460153130544292471686333*c_0101_3^5 + 295609746720609986951131774510938/247262460153130544292471686333*c_\ 0101_3^4 + 57508443633862720180718717875048/24726246015313054429247\ 1686333*c_0101_3^3 - 37152976588005561454846320515692/2472624601531\ 30544292471686333*c_0101_3^2 - 10874585928281339597406459703565/247\ 262460153130544292471686333*c_0101_3 - 637901658334173749816007460317/247262460153130544292471686333, c_0101_0 + 398188430366518574528606415073/24726246015313054429247168633\ 3*c_0101_3^25 - 2439550617366388244090676508193/2472624601531305442\ 92471686333*c_0101_3^24 - 2806331704172833075438569319139/247262460\ 153130544292471686333*c_0101_3^23 + 20683091937686886512419545524465/247262460153130544292471686333*c_0\ 101_3^22 + 20958576644093260766439176208292/24726246015313054429247\ 1686333*c_0101_3^21 - 78373510341410855179903265571684/247262460153\ 130544292471686333*c_0101_3^20 - 143235730353729746071752291685379/\ 247262460153130544292471686333*c_0101_3^19 + 154447547604389554817318113047440/247262460153130544292471686333*c_\ 0101_3^18 + 628399782445471228522810314290860/247262460153130544292\ 471686333*c_0101_3^17 - 75887620535427487229705091829863/2472624601\ 53130544292471686333*c_0101_3^16 - 1791531062456577396577234598948994/247262460153130544292471686333*c\ _0101_3^15 - 10880478467571003556576089321648/603079171105196449493\ 8333813*c_0101_3^14 + 3370786852311255883504199180961496/2472624601\ 53130544292471686333*c_0101_3^13 + 1488289485335010473926629082768507/247262460153130544292471686333*c\ _0101_3^12 - 4001935116213623420106349769930108/2472624601531305442\ 92471686333*c_0101_3^11 - 2587890822761958652188681297626069/247262\ 460153130544292471686333*c_0101_3^10 + 2649124643988730056803709079396360/247262460153130544292471686333*c\ _0101_3^9 + 2864412667338331920807476274637140/24726246015313054429\ 2471686333*c_0101_3^8 - 47468268947317976269801136984822/1902018924\ 2548503407113206641*c_0101_3^7 - 1943031931792765449917761036253414\ /247262460153130544292471686333*c_0101_3^6 - 245696222301354498534094774238577/247262460153130544292471686333*c_\ 0101_3^5 + 695978691308247360294874107269770/2472624601531305442924\ 71686333*c_0101_3^4 + 158587409642767841858011608193427/24726246015\ 3130544292471686333*c_0101_3^3 - 88142154914224678377176397815028/2\ 47262460153130544292471686333*c_0101_3^2 - 25871199651199287434016243780650/247262460153130544292471686333*c_0\ 101_3 - 1667221982662252463758456819445/247262460153130544292471686\ 333, c_0101_2 + 183826638023810764694932570926/24726246015313054429247168633\ 3*c_0101_3^25 - 1137910118054444490908974166935/2472624601531305442\ 92471686333*c_0101_3^24 - 1281687783013101615683447613211/247262460\ 153130544292471686333*c_0101_3^23 + 9955148634657860053093266114115/247262460153130544292471686333*c_01\ 01_3^22 + 9565610141605808909090043321715/2472624601531305442924716\ 86333*c_0101_3^21 - 39113511019940776977239708875435/24726246015313\ 0544292471686333*c_0101_3^20 - 67540046678820327283024042165589/247\ 262460153130544292471686333*c_0101_3^19 + 81918107790043700641621501931042/247262460153130544292471686333*c_0\ 101_3^18 + 305890272684727439445077161725225/2472624601531305442924\ 71686333*c_0101_3^17 - 56307866134719565029499562634377/24726246015\ 3130544292471686333*c_0101_3^16 - 894825973278091657679951491948728\ /247262460153130544292471686333*c_0101_3^15 - 4605017361112995347012299544291/6030791711051964494938333813*c_0101\ _3^14 + 1726250975394726639959908078992325/247262460153130544292471\ 686333*c_0101_3^13 + 715583675363692059576947930025665/247262460153\ 130544292471686333*c_0101_3^12 - 2110502544333264485136867790597072\ /247262460153130544292471686333*c_0101_3^11 - 1310295410695435483713471108937849/247262460153130544292471686333*c\ _0101_3^10 + 1449296260136303289052249201643813/2472624601531305442\ 92471686333*c_0101_3^9 + 1502242995802332137664819603625470/2472624\ 60153130544292471686333*c_0101_3^8 - 27841909986346408246038855982337/19020189242548503407113206641*c_01\ 01_3^7 - 1045435524182089434805111025802985/24726246015313054429247\ 1686333*c_0101_3^6 - 127804984129836953956299137318614/247262460153\ 130544292471686333*c_0101_3^5 + 381052665256392748048506504138209/2\ 47262460153130544292471686333*c_0101_3^4 + 87043922049780824710261616895891/247262460153130544292471686333*c_0\ 101_3^3 - 48490396285144961409187109482822/247262460153130544292471\ 686333*c_0101_3^2 - 14132660262072313745400003828117/24726246015313\ 0544292471686333*c_0101_3 - 917431719680567405619611276483/24726246\ 0153130544292471686333, c_0101_3^26 - 6*c_0101_3^25 - 8*c_0101_3^24 + 52*c_0101_3^23 + 61*c_0101_3^22 - 197*c_0101_3^21 - 398*c_0101_3^20 + 360*c_0101_3^19 + 1696*c_0101_3^18 + 14*c_0101_3^17 - 4748*c_0101_3^16 - 1853*c_0101_3^15 + 8803*c_0101_3^14 + 5339*c_0101_3^13 - 10204*c_0101_3^12 - 8710*c_0101_3^11 + 6177*c_0101_3^10 + 9031*c_0101_3^9 - 450*c_0101_3^8 - 5665*c_0101_3^7 - 1602*c_0101_3^6 + 1819*c_0101_3^5 + 792*c_0101_3^4 - 164*c_0101_3^3 - 119*c_0101_3^2 - 19*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB