Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 1191631771] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1787 geometric_solution 5.46294192 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 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 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.445746532978 0.715103094061 3 2 4 0 0132 3012 0132 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 1 -1 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.850127117918 0.974145013540 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 0 -1 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 0 -1 1 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.850127117918 0.974145013540 1 5 5 2 0132 0132 1023 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 -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.755451741233 0.429243336522 4 2 4 1 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.194956822042 0.907213571587 6 3 3 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.292666781226 0.356124560217 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.558910372646 0.177208871218 ==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' : 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' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 19367253947443573795026578675069/6722062885594430253956636096064*c_\ 0101_6^21 - 27925313412255200067306078134167/4481375257062953502637\ 757397376*c_0101_6^20 - 2434189923794334209661759706675895/13444125\ 771188860507913272192128*c_0101_6^19 - 2373711217498737537443154062335117/6722062885594430253956636096064*\ c_0101_6^18 + 7493765788174631840898017484232615/134441257711888605\ 07913272192128*c_0101_6^17 + 2651148056831481737384140954936207/112\ 0343814265738375659439349344*c_0101_6^16 + 12335221650505955597800730175388321/4481375257062953502637757397376\ *c_0101_6^15 - 8300717681930003694564617917347169/13444125771188860\ 507913272192128*c_0101_6^14 - 51167564837319822770158037223409057/1\ 3444125771188860507913272192128*c_0101_6^13 - 38745849889838051898765892942688969/1344412577118886050791327219212\ 8*c_0101_6^12 - 932727289692779649796791944751965/40739775064208668\ 2057977945216*c_0101_6^11 + 3755927410629666992205006072581021/4481\ 375257062953502637757397376*c_0101_6^10 - 4457798977680985888049809020373673/2240687628531476751318878698688*\ c_0101_6^9 + 1159943408408067659767956722404739/1680515721398607563\ 489159024016*c_0101_6^8 + 7593193413670951396882016636055815/672206\ 2885594430253956636096064*c_0101_6^7 + 107218710232630800533197052948345/13444125771188860507913272192128*\ c_0101_6^6 + 30175513058800118607746403279335/105032232587412972718\ 072439001*c_0101_6^5 + 87743980080962620955232691908395/61109662596\ 3130023086966917824*c_0101_6^4 + 1720442831507042119159969290206603\ /13444125771188860507913272192128*c_0101_6^3 - 44556053780484728684651331734475/4481375257062953502637757397376*c_\ 0101_6^2 - 8741263197471569652831413516411/611096625963130023086966\ 917824*c_0101_6 - 39397798456699427693675633807353/3361031442797215\ 126978318048032, c_0011_0 - 1, c_0011_1 - 332701553358872024857143126571/24443865038525200923478676712\ 96*c_0101_6^21 + 459601833745265136513596960753/1222193251926260046\ 173933835648*c_0101_6^20 + 6808571085209366777063979824815/81479550\ 1284173364115955890432*c_0101_6^19 + 28358872007914883004532065721759/2444386503852520092347867671296*c_\ 0101_6^18 - 85685618410134017438371144411807/2444386503852520092347\ 867671296*c_0101_6^17 - 229630736237031637576311146797697/244438650\ 3852520092347867671296*c_0101_6^16 - 83389975776319047665083020739573/1222193251926260046173933835648*c_\ 0101_6^15 + 111524591529321765693765535905925/122219325192626004617\ 3933835648*c_0101_6^14 + 183740662888458546480591268678073/12221932\ 51926260046173933835648*c_0101_6^13 + 52984357694387065868184236722037/1222193251926260046173933835648*c_\ 0101_6^12 + 2744095292445029920483160484569/50924718830260835257247\ 243152*c_0101_6^11 - 79815595988039188023112901914797/8147955012841\ 73364115955890432*c_0101_6^10 + 50196744266647366382764708751919/40\ 7397750642086682057977945216*c_0101_6^9 - 60391608599963793556567724591563/611096625963130023086966917824*c_0\ 101_6^8 - 16036351807126514833185508800357/814795501284173364115955\ 890432*c_0101_6^7 + 19311552216681478145011774810111/81479550128417\ 3364115955890432*c_0101_6^6 - 3055278362590018577778542809589/10184\ 9437660521670514494486304*c_0101_6^5 + 7674101512408534910329046544347/814795501284173364115955890432*c_01\ 01_6^4 - 97062620422285825028820991061/1909676956134781322146771618\ 2*c_0101_6^3 + 2292278759671533666963397894231/81479550128417336411\ 5955890432*c_0101_6^2 + 1048153076613461032843647369769/12221932519\ 26260046173933835648*c_0101_6 + 474898167567469993670302374971/6110\ 96625963130023086966917824, c_0011_4 + 60958925980292767272880670143/244438650385252009234786767129\ 6*c_0101_6^21 - 70084246180199081199835738973/122219325192626004617\ 3933835648*c_0101_6^20 - 1269686465308451179923715385435/8147955012\ 84173364115955890432*c_0101_6^19 - 6968936595791062155103536407251/2444386503852520092347867671296*c_0\ 101_6^18 + 12595916553369555170346347735059/24443865038525200923478\ 67671296*c_0101_6^17 + 48814569844137777929563850814533/24443865038\ 52520092347867671296*c_0101_6^16 + 27084310902645125335152693647869/1222193251926260046173933835648*c_\ 0101_6^15 - 9973081378340832948041166382849/12221932519262600461739\ 33835648*c_0101_6^14 - 44136693803415903302448609287681/12221932519\ 26260046173933835648*c_0101_6^13 - 33786653055524032853069070004553/1222193251926260046173933835648*c_\ 0101_6^12 - 1736063238654014794534172601173/10184943766052167051449\ 4486304*c_0101_6^11 + 15859036246349925045749253316473/814795501284\ 173364115955890432*c_0101_6^10 - 4955746437017025092658814797071/40\ 7397750642086682057977945216*c_0101_6^9 + 5573519609825912876372506316089/611096625963130023086966917824*c_01\ 01_6^8 + 4896628037741201512844811969225/81479550128417336411595589\ 0432*c_0101_6^7 + 1912093163688879356890693135029/81479550128417336\ 4115955890432*c_0101_6^6 + 656675184865211468115526306691/101849437\ 660521670514494486304*c_0101_6^5 - 3331957223153260700655910952479/814795501284173364115955890432*c_01\ 01_6^4 - 331183021220321867409871353671/152774156490782505771741729\ 456*c_0101_6^3 + 2631439298955808182691233627533/814795501284173364\ 115955890432*c_0101_6^2 - 550382096464264108379199020269/1222193251\ 926260046173933835648*c_0101_6 - 735062281971533338375196627591/611\ 096625963130023086966917824, c_0101_0 + 436873061224848092294027448875/24443865038525200923478676712\ 96*c_0101_6^21 - 32513127001205613727976723125/76387078245391252885\ 870864728*c_0101_6^20 - 9096057948527300451504565261545/81479550128\ 4173364115955890432*c_0101_6^19 - 47465402845277698974112043934911/\ 2444386503852520092347867671296*c_0101_6^18 + 98787940156177744178159821161317/2444386503852520092347867671296*c_\ 0101_6^17 + 346078523673522575865717881920309/244438650385252009234\ 7867671296*c_0101_6^16 + 83288228704490043692299004238943/611096625\ 963130023086966917824*c_0101_6^15 - 6849276889300995047538541923551/76387078245391252885870864728*c_010\ 1_6^14 - 75840302396479405248760892728867/3055483129815650115434834\ 58912*c_0101_6^13 - 20131330470593226469176451202021/15277415649078\ 2505771741729456*c_0101_6^12 - 34423076594265865201618754333649/407\ 397750642086682057977945216*c_0101_6^11 + 86588366339132547920039325799135/814795501284173364115955890432*c_0\ 101_6^10 - 45232044907302608803531559087297/40739775064208668205797\ 7945216*c_0101_6^9 + 45087974899161990524553973813727/6110966259631\ 30023086966917824*c_0101_6^8 + 60036547941485284840427197670189/814\ 795501284173364115955890432*c_0101_6^7 - 12047485890753974717690820199849/814795501284173364115955890432*c_0\ 101_6^6 + 1263302699014314392599685659371/1018494376605216705144944\ 86304*c_0101_6^5 + 2459068494421706082796030759877/8147955012841733\ 64115955890432*c_0101_6^4 + 1873913004344034210961980787309/1222193\ 251926260046173933835648*c_0101_6^3 - 4147499787652775772013799528181/814795501284173364115955890432*c_01\ 01_6^2 - 603088441502696163035055462203/122219325192626004617393383\ 5648*c_0101_6 - 711040207433071256112392774269/61109662596313002308\ 6966917824, c_0101_1 - 26945145160762068078923353163/814795501284173364115955890432\ *c_0101_6^21 + 16925249068688942564982286683/1018494376605216705144\ 94486304*c_0101_6^20 + 1467415932847665465142558541995/814795501284\ 173364115955890432*c_0101_6^19 - 1398804053911241051649757691585/81\ 4795501284173364115955890432*c_0101_6^18 - 10978295458525874239363608201533/814795501284173364115955890432*c_0\ 101_6^17 - 1108223986708320694633627856125/814795501284173364115955\ 890432*c_0101_6^16 + 5816090406760595358132447317033/20369887532104\ 3341028988972608*c_0101_6^15 + 4155494330034684338537902369513/1018\ 49437660521670514494486304*c_0101_6^14 - 2470121508863926136243894635669/101849437660521670514494486304*c_01\ 01_6^13 - 4561088773537902549531121108293/1018494376605216705144944\ 86304*c_0101_6^12 + 12504703224333230974132361820707/40739775064208\ 6682057977945216*c_0101_6^11 - 42932805042504927098428617372165/814\ 795501284173364115955890432*c_0101_6^10 + 26766836255614171219679006087895/407397750642086682057977945216*c_0\ 101_6^9 - 23902709553672491889445776663593/203698875321043341028988\ 972608*c_0101_6^8 + 53398760471139353156680277159233/81479550128417\ 3364115955890432*c_0101_6^7 + 16413610810184458678948283880011/8147\ 95501284173364115955890432*c_0101_6^6 - 3726360713756464846114591725977/101849437660521670514494486304*c_01\ 01_6^5 + 18794580943864817816591293939601/8147955012841733641159558\ 90432*c_0101_6^4 - 1083084449520550280892474182977/4073977506420866\ 82057977945216*c_0101_6^3 + 527540354215850048058211167519/81479550\ 1284173364115955890432*c_0101_6^2 - 582199493604806925980144947749/407397750642086682057977945216*c_010\ 1_6 + 68281158161416315448710407085/203698875321043341028988972608, c_0101_5 + 7839635751540316519845559735/407397750642086682057977945216*\ c_0101_6^21 - 10204184678463090343686317541/10184943766052167051449\ 4486304*c_0101_6^20 - 421729551844306193257138368367/40739775064208\ 6682057977945216*c_0101_6^19 + 493623913870408348616415277125/40739\ 7750642086682057977945216*c_0101_6^18 + 3231160038077035178693723218045/407397750642086682057977945216*c_01\ 01_6^17 - 335865031350349314227812604507/40739775064208668205797794\ 5216*c_0101_6^16 - 1959915428911786454224732963957/1018494376605216\ 70514494486304*c_0101_6^15 - 2291866671670831368022816677923/101849\ 437660521670514494486304*c_0101_6^14 + 1214899071524874599599576433093/50924718830260835257247243152*c_010\ 1_6^13 + 3824445616817623771019694719353/10184943766052167051449448\ 6304*c_0101_6^12 - 3253959944003328884468762382239/2036988753210433\ 41028988972608*c_0101_6^11 + 9957709618391873972715477571501/407397\ 750642086682057977945216*c_0101_6^10 - 11137013000731647496934585199357/203698875321043341028988972608*c_0\ 101_6^9 + 3024401396024658186692751651943/5092471883026083525724724\ 3152*c_0101_6^8 - 18781901794661448978712039213657/4073977506420866\ 82057977945216*c_0101_6^7 - 6079198648372403433537642784511/4073977\ 50642086682057977945216*c_0101_6^6 + 1332176365820153084491691011863/50924718830260835257247243152*c_010\ 1_6^5 - 5829834878981000214773168460101/407397750642086682057977945\ 216*c_0101_6^4 + 734188136800529956713853678151/2036988753210433410\ 28988972608*c_0101_6^3 + 264861537690779625716848608277/40739775064\ 2086682057977945216*c_0101_6^2 + 271162767785062103095100239545/203\ 698875321043341028988972608*c_0101_6 + 971015350735294168412752727/101849437660521670514494486304, c_0101_6^22 - 3*c_0101_6^21 - 61*c_0101_6^20 - 70*c_0101_6^19 + 294*c_0101_6^18 + 654*c_0101_6^17 + 271*c_0101_6^16 - 984*c_0101_6^15 - 1092*c_0101_6^14 + 124*c_0101_6^13 + 2*c_0101_6^12 + 897*c_0101_6^11 - 987*c_0101_6^10 + 802*c_0101_6^9 + 169*c_0101_6^8 - 336*c_0101_6^7 + 111*c_0101_6^6 - 27*c_0101_6^5 + 7*c_0101_6^4 - 35*c_0101_6^3 + c_0101_6^2 + 2*c_0101_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB