Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 2294879674] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2774 geometric_solution 6.00639908 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 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 -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.264859619287 1.025178910118 0 3 5 4 0132 0132 0132 0132 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 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.811778308457 0.702311117565 5 4 0 6 2310 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 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 0.811778308457 0.702311117565 6 1 6 4 3201 0132 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.100394485227 0.702389222863 2 6 1 3 1023 3012 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0.622597793074 0.158273398586 5 5 2 1 1230 3012 3201 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 -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.630131744802 0.850803403513 4 3 2 3 1230 1230 0132 2310 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 -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 0.100394485227 0.702389222863 ==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' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0110_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0011_5'], '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' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : 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_0011_6, c_0101_0, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1982915270554443503333441137/80074835338063947372400381*c_0110_4^19 - 10719443916175850561559669845/80074835338063947372400381*c_0110_4\ ^18 + 6263549982153287164419009419/80074835338063947372400381*c_011\ 0_4^17 + 45407488739911459234306679841/80074835338063947372400381*c\ _0110_4^16 - 30443779379350343604363902018/800748353380639473724003\ 81*c_0110_4^15 - 86457963627421936251011188087/80074835338063947372\ 400381*c_0110_4^14 + 85257080798122596198923217141/8007483533806394\ 7372400381*c_0110_4^13 - 57086835369617188623161529712/800748353380\ 63947372400381*c_0110_4^12 - 302117979786735234575823087808/8007483\ 5338063947372400381*c_0110_4^11 + 466957945324516293402248117805/80\ 074835338063947372400381*c_0110_4^10 + 132954609464919498667601418012/80074835338063947372400381*c_0110_4^\ 9 - 1161737243201834767573598296617/80074835338063947372400381*c_01\ 10_4^8 - 788649163813556702727490745335/80074835338063947372400381*\ c_0110_4^7 + 190527282630676273698090446126/80074835338063947372400\ 381*c_0110_4^6 + 109696564714029189750593321068/1143926219115199248\ 1771483*c_0110_4^5 + 71550426250856542116861555530/1143926219115199\ 2481771483*c_0110_4^4 - 34119775264226760116186801408/8007483533806\ 3947372400381*c_0110_4^3 - 34583033777503580139935296899/8007483533\ 8063947372400381*c_0110_4^2 - 12174781011866054748811481000/8007483\ 5338063947372400381*c_0110_4 - 4126809616173232143535260967/8007483\ 5338063947372400381, c_0011_0 - 1, c_0011_2 - 2828880156211027801524427/11439262191151992481771483*c_0110_\ 4^19 + 14937812903250158067937626/11439262191151992481771483*c_0110\ _4^18 - 7017249777884661072530842/11439262191151992481771483*c_0110\ _4^17 - 65954416080787804503413981/11439262191151992481771483*c_011\ 0_4^16 + 35690521604008442006302920/11439262191151992481771483*c_01\ 10_4^15 + 128028954648728238212398242/11439262191151992481771483*c_\ 0110_4^14 - 106655521839805612895364403/11439262191151992481771483*\ c_0110_4^13 + 68775836089096310266821448/11439262191151992481771483\ *c_0110_4^12 + 440851139869189460483561214/114392621911519924817714\ 83*c_0110_4^11 - 616910071022276505799675763/1143926219115199248177\ 1483*c_0110_4^10 - 265697429901715518127065584/11439262191151992481\ 771483*c_0110_4^9 + 1634395492288333055120935296/114392621911519924\ 81771483*c_0110_4^8 + 1309873574887913739982194120/1143926219115199\ 2481771483*c_0110_4^7 - 103598961594431400111161621/114392621911519\ 92481771483*c_0110_4^6 - 1113057897863472409491298914/1143926219115\ 1992481771483*c_0110_4^5 - 881463759820180260808941636/114392621911\ 51992481771483*c_0110_4^4 - 48978027690679867251521232/114392621911\ 51992481771483*c_0110_4^3 + 44527023835654131342043987/114392621911\ 51992481771483*c_0110_4^2 + 29660626546914905913634468/114392621911\ 51992481771483*c_0110_4 + 17787777188350933877419097/11439262191151\ 992481771483, c_0011_5 + 5591015975089220766749/11439262191151992481771483*c_0110_4^1\ 9 + 1097186653004184092804832/11439262191151992481771483*c_0110_4^1\ 8 - 6153648836392558481518955/11439262191151992481771483*c_0110_4^1\ 7 + 4263073948155905451721942/11439262191151992481771483*c_0110_4^1\ 6 + 24528681765210745072988926/11439262191151992481771483*c_0110_4^\ 15 - 18188099770391793027985194/11439262191151992481771483*c_0110_4\ ^14 - 44940001092490777060161401/11439262191151992481771483*c_0110_\ 4^13 + 47759162797963469397613882/11439262191151992481771483*c_0110\ _4^12 - 40998945206718399530496744/11439262191151992481771483*c_011\ 0_4^11 - 159215904266085904388776859/11439262191151992481771483*c_0\ 110_4^10 + 267538925207258292588509948/11439262191151992481771483*c\ _0110_4^9 + 37039908094943573741272890/11439262191151992481771483*c\ _0110_4^8 - 623106198483969926868711438/11439262191151992481771483*\ c_0110_4^7 - 419922252624577077319943871/11439262191151992481771483\ *c_0110_4^6 + 63805079349645544643852027/11439262191151992481771483\ *c_0110_4^5 + 404372404828223179215243296/1143926219115199248177148\ 3*c_0110_4^4 + 284315686231281635561220502/114392621911519924817714\ 83*c_0110_4^3 + 6242038991331161668005111/1143926219115199248177148\ 3*c_0110_4^2 - 11722972944101484532762214/1143926219115199248177148\ 3*c_0110_4 - 11517605692029059564869440/11439262191151992481771483, c_0011_6 + c_0110_4, c_0101_0 + 8100605988163921486194887/11439262191151992481771483*c_0110_\ 4^19 - 42560430802969760965241095/11439262191151992481771483*c_0110\ _4^18 + 19171860810504646297338201/11439262191151992481771483*c_011\ 0_4^17 + 188020889652159104331093916/11439262191151992481771483*c_0\ 110_4^16 - 94880042575906222988557221/11439262191151992481771483*c_\ 0110_4^15 - 367518071890398305682060949/11439262191151992481771483*\ c_0110_4^14 + 289640054939743311372863758/1143926219115199248177148\ 3*c_0110_4^13 - 187516049803152471620169220/11439262191151992481771\ 483*c_0110_4^12 - 1257700315698853691795842716/11439262191151992481\ 771483*c_0110_4^11 + 1706606444942358621939728927/11439262191151992\ 481771483*c_0110_4^10 + 803813653913931591893548880/114392621911519\ 92481771483*c_0110_4^9 - 4599669810653749679525923472/1143926219115\ 1992481771483*c_0110_4^8 - 3957702390612988014808194165/11439262191\ 151992481771483*c_0110_4^7 + 168372641519808178789197092/1143926219\ 1151992481771483*c_0110_4^6 + 3204829812274742120488080161/11439262\ 191151992481771483*c_0110_4^5 + 2533573575227479201188948416/114392\ 62191151992481771483*c_0110_4^4 + 226050993709996543311796007/11439\ 262191151992481771483*c_0110_4^3 - 124231658288346149013910689/11439262191151992481771483*c_0110_4^2 - 57839912028762575050931668/11439262191151992481771483*c_0110_4 - 19101752405242882224521727/11439262191151992481771483, c_0101_5 + 2406008002684694501272668/11439262191151992481771483*c_0110_\ 4^19 - 13119823323720002910565215/11439262191151992481771483*c_0110\ _4^18 + 8350039474943414442666415/11439262191151992481771483*c_0110\ _4^17 + 53966748159601037905460590/11439262191151992481771483*c_011\ 0_4^16 - 39003414188665633463255133/11439262191151992481771483*c_01\ 10_4^15 - 99817378320015943541055089/11439262191151992481771483*c_0\ 110_4^14 + 105308318612544581828692153/11439262191151992481771483*c\ _0110_4^13 - 80214331091565544272961620/11439262191151992481771483*\ c_0110_4^12 - 355599128100457738043133935/1143926219115199248177148\ 3*c_0110_4^11 + 579530833653435138210134390/11439262191151992481771\ 483*c_0110_4^10 + 113066858704428051135840887/114392621911519924817\ 71483*c_0110_4^9 - 1377968509172279453572864078/1143926219115199248\ 1771483*c_0110_4^8 - 885718897587420454310285019/114392621911519924\ 81771483*c_0110_4^7 + 184648939382819062806495210/11439262191151992\ 481771483*c_0110_4^6 + 887343857007129105919399284/1143926219115199\ 2481771483*c_0110_4^5 + 595353002787402900299138298/114392621911519\ 92481771483*c_0110_4^4 + 34393992742457975259370/114392621911519924\ 81771483*c_0110_4^3 - 16284212949501501202688768/114392621911519924\ 81771483*c_0110_4^2 - 39144846092932393288748832/114392621911519924\ 81771483*c_0110_4 - 6994497849885071401281259/114392621911519924817\ 71483, c_0110_4^20 - 5*c_0110_4^19 + c_0110_4^18 + 24*c_0110_4^17 - 6*c_0110_4^16 - 49*c_0110_4^15 + 25*c_0110_4^14 - 13*c_0110_4^13 - 163*c_0110_4^12 + 173*c_0110_4^11 + 157*c_0110_4^10 - 552*c_0110_4^9 - 631*c_0110_4^8 - 85*c_0110_4^7 + 406*c_0110_4^6 + 408*c_0110_4^5 + 99*c_0110_4^4 - 12*c_0110_4^3 - 11*c_0110_4^2 - 5*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB