Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 3970789377] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0691 geometric_solution 4.65329615 oriented_manifold CS_known 0.0000000000000000 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.676722467168 0.068809418994 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.860688449344 0.079907241003 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781491369623 0.228275465024 4 2 5 2 0132 0132 0132 1023 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 -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 1.085554110827 0.934117289250 3 6 5 5 0132 0132 0213 2310 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 -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.377011474247 0.738702136808 4 4 6 3 3201 0213 1023 0132 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 -1 0 0 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.377011474247 0.738702136808 6 4 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.451873604747 1.073978292631 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 13/40*c_0101_6^3 - 123/40*c_0101_6, c_0011_0 - 1, c_0011_1 + 1/4*c_0101_6^2 + 1/4, c_0011_5 + 1/4*c_0101_6^3 - 7/4*c_0101_6, c_0101_0 + 1/4*c_0101_6^3 - 7/4*c_0101_6, c_0101_1 - 1/2*c_0101_6^2 + 3/2, c_0101_3 - 1, c_0101_6^4 - 10*c_0101_6^2 + 5 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1434830527246366366667462187588503713/26946469511298030604357325061\ 7110560*c_0101_6^25 - 120084527969214507675386784800077847591/53892\ 9390225960612087146501234221120*c_0101_6^23 + 234039466721723761125772802538844268765/538929390225960612087146501\ 23422112*c_0101_6^21 - 13775178068692382245836151213253014024607/26\ 9464695112980306043573250617110560*c_0101_6^19 + 54787623743565199283063614608294321421141/1347323475564901530217866\ 25308555280*c_0101_6^17 - 11877408858340155357491831899810142354371\ 17/538929390225960612087146501234221120*c_0101_6^15 + 4119238962098508199779046105680227495923003/53892939022596061208714\ 6501234221120*c_0101_6^13 - 827630902025873554763955746418744017394\ 1821/538929390225960612087146501234221120*c_0101_6^11 + 4219121789185912023019458061738623897458111/26946469511298030604357\ 3250617110560*c_0101_6^9 - 2518107114096012187492754328325114859569\ 31/33683086889122538255446656327138820*c_0101_6^7 + 884102589881227457623199047366398482926023/538929390225960612087146\ 501234221120*c_0101_6^5 - 10926597217866544592503581690781712888523\ 3/538929390225960612087146501234221120*c_0101_6^3 + 286117745415797187516358438191880950523/269464695112980306043573250\ 61711056*c_0101_6, c_0011_0 - 1, c_0011_1 + 1710496037820225518068795840202173/4311435121807684896697172\ 00987376896*c_0101_6^24 - 35814066663273441943861772923725691/21557\ 1756090384244834858600493688448*c_0101_6^22 + 698564169752468131018967512009078811/215571756090384244834858600493\ 688448*c_0101_6^20 - 8231431268228323683042686047994069423/21557175\ 6090384244834858600493688448*c_0101_6^18 + 131112359855766467206215934133579892857/431143512180768489669717200\ 987376896*c_0101_6^16 - 711832286098107438469514288947854937367/431\ 143512180768489669717200987376896*c_0101_6^14 + 2476314760594987918328729901294110551651/43114351218076848966971720\ 0987376896*c_0101_6^12 - 2503115485266778374081264867173576725489/2\ 15571756090384244834858600493688448*c_0101_6^10 + 2588539544176825438157822998301891382311/21557175609038424483485860\ 0493688448*c_0101_6^8 - 2551909437847269181520541681763255821415/43\ 1143512180768489669717200987376896*c_0101_6^6 + 596213385031191282368191857847412785531/431143512180768489669717200\ 987376896*c_0101_6^4 - 9730498829288191552627298805687280797/538929\ 39022596061208714650123422112*c_0101_6^2 + 284643670727905432474842535118047119/269464695112980306043573250617\ 11056, c_0011_5 - 1100867145693373925144209175593489/4311435121807684896697172\ 00987376896*c_0101_6^25 + 23034542657858362357140355796702879/21557\ 1756090384244834858600493688448*c_0101_6^23 - 448954633846590175776804110931587351/215571756090384244834858600493\ 688448*c_0101_6^21 + 5285256605965815541938007105073637019/21557175\ 6090384244834858600493688448*c_0101_6^19 - 84089590221207688502472295170873607389/4311435121807684896697172009\ 87376896*c_0101_6^17 + 455791618844148906580466403110968590723/4311\ 43512180768489669717200987376896*c_0101_6^15 - 1581035464091166584868847889697168263007/43114351218076848966971720\ 0987376896*c_0101_6^13 + 1588901168606800418539008902786169445341/2\ 15571756090384244834858600493688448*c_0101_6^11 - 1621535785530649342611602761242758182835/21557175609038424483485860\ 0493688448*c_0101_6^9 + 1553011207251569968277797457639173558211/43\ 1143512180768489669717200987376896*c_0101_6^7 - 345734011792357874735702348818245020951/431143512180768489669717200\ 987376896*c_0101_6^5 + 5747722466632887768820781234785091923/538929\ 39022596061208714650123422112*c_0101_6^3 - 173660388213244317523114245294189983/269464695112980306043573250617\ 11056*c_0101_6, c_0101_0 - 15661770890166958021661277681808639/862287024361536979339434\ 401974753792*c_0101_6^25 + 327814093712618459844996798264321841/431\ 143512180768489669717200987376896*c_0101_6^23 - 6391641043817351013384553527776675225/43114351218076848966971720098\ 7376896*c_0101_6^21 + 75278890348861535003834202964968768469/431143\ 512180768489669717200987376896*c_0101_6^19 - 1198356624237274475180108143718622651891/86228702436153697933943440\ 1974753792*c_0101_6^17 + 6500524913441585339372940682734018229357/8\ 62287024361536979339434401974753792*c_0101_6^15 - 22579454923802750531720097636721005711697/8622870243615369793394344\ 01974753792*c_0101_6^13 + 22752499536416728969870662974450589694995\ /431143512180768489669717200987376896*c_0101_6^11 - 23356107185504512242775970891826553346109/4311435121807684896697172\ 00987376896*c_0101_6^9 + 22631311322041419796259972630937593763949/\ 862287024361536979339434401974753792*c_0101_6^7 - 5113041413903500638839370256871061189913/86228702436153697933943440\ 1974753792*c_0101_6^5 + 82338542065526154404352814359592626581/1077\ 85878045192122417429300246844224*c_0101_6^3 - 2429318379212233468826169308010577001/53892939022596061208714650123\ 422112*c_0101_6, c_0101_1 + 661286000138512114903263731265033/43114351218076848966971720\ 0987376896*c_0101_6^24 - 13841900802581720990452391374395751/215571\ 756090384244834858600493688448*c_0101_6^22 + 269903729062109334044858974044352159/215571756090384244834858600493\ 688448*c_0101_6^20 - 3179157318835455254615839881544396291/21557175\ 6090384244834858600493688448*c_0101_6^18 + 50615927766211623414466381023601461877/4311435121807684896697172009\ 87376896*c_0101_6^16 - 274633233567555804648130022805516641003/4311\ 43512180768489669717200987376896*c_0101_6^14 + 954401916542767919010151213022628064231/431143512180768489669717200\ 987376896*c_0101_6^12 - 962907786426821336460513208597015025397/215\ 571756090384244834858600493688448*c_0101_6^10 + 992240882689993922762846470438180641307/215571756090384244834858600\ 493688448*c_0101_6^8 - 973749651117340477325501581849734388651/4311\ 43512180768489669717200987376896*c_0101_6^6 + 227224918253007517587452629013861094367/431143512180768489669717200\ 987376896*c_0101_6^4 - 3737745725784025322343736525281164491/538929\ 39022596061208714650123422112*c_0101_6^2 + 128890797405576866244509832455247999/269464695112980306043573250617\ 11056, c_0101_3 + 1007439469472565916531049092853293/4311435121807684896697172\ 00987376896*c_0101_6^24 - 21103685607052822158187115908140907/21557\ 1756090384244834858600493688448*c_0101_6^22 + 411853138402305869207292921864755883/215571756090384244834858600493\ 688448*c_0101_6^20 - 4856089727153358379749881085055089087/21557175\ 6090384244834858600493688448*c_0101_6^18 + 77406206291081485659564553352473660969/4311435121807684896697172009\ 87376896*c_0101_6^16 - 420684135938881188656031786573411375911/4311\ 43512180768489669717200987376896*c_0101_6^14 + 1466001302204529524646975297100002843187/43114351218076848966971720\ 0987376896*c_0101_6^12 - 1486571096266712141071427140344660545921/2\ 15571756090384244834858600493688448*c_0101_6^10 + 1546587274674822931320736053425318637303/21557175609038424483485860\ 0493688448*c_0101_6^8 - 1537008828475086648512975980086344787639/43\ 1143512180768489669717200987376896*c_0101_6^6 + 359334195777976423784506205919055616075/431143512180768489669717200\ 987376896*c_0101_6^4 - 5748294006389266524367831689501228565/538929\ 39022596061208714650123422112*c_0101_6^2 + 171775461437368785190945260847080079/269464695112980306043573250617\ 11056, c_0101_6^26 - 42*c_0101_6^24 + 822*c_0101_6^22 - 9726*c_0101_6^20 + 77845*c_0101_6^18 - 425647*c_0101_6^16 + 1499155*c_0101_6^14 - 3105166*c_0101_6^12 + 3385278*c_0101_6^10 - 1858779*c_0101_6^8 + 526667*c_0101_6^6 - 86700*c_0101_6^4 + 8080*c_0101_6^2 - 320 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB