Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 408519930] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0527 geometric_solution 4.53970007 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 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 -1 0 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 1.197305042152 0.768749924863 0 0 1 1 0132 2310 1230 3012 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.695124143614 0.273131345908 3 0 0 4 0132 0132 1023 0132 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 1 0 -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.289280495098 0.262753276852 2 5 4 4 0132 0132 1302 3201 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 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.185636961923 0.796961622650 3 3 2 5 2031 2310 0132 2310 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 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.185636961923 0.796961622650 4 3 6 6 3201 0132 2310 0132 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 0 0 0 0 0 0 0 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.912535048479 2.062964834491 6 5 5 6 3201 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.546422191517 0.238538577746 ==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_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 6255903495624045450292342983/108770122060862291725850021*c_0101_5^1\ 7 - 104101901440024800165506384612/761390854426036042080950147*c_01\ 01_5^16 - 527876610076132027048114475315/76139085442603604208095014\ 7*c_0101_5^15 + 1384459265822314257503274539842/7613908544260360420\ 80950147*c_0101_5^14 + 1065326153044599259059252741718/761390854426\ 036042080950147*c_0101_5^13 - 3660226206467845267135535842365/76139\ 0854426036042080950147*c_0101_5^12 - 959136778991640298742099132476/761390854426036042080950147*c_0101_5\ ^11 + 521187700677632139322392270705/108770122060862291725850021*c_\ 0101_5^10 + 3156824634461625222003441259263/76139085442603604208095\ 0147*c_0101_5^9 - 2564221011664616629335533956852/76139085442603604\ 2080950147*c_0101_5^8 - 4147743540214797671862605260718/76139085442\ 6036042080950147*c_0101_5^7 + 66516495734280124180243064055/1087701\ 22060862291725850021*c_0101_5^6 + 1600291604891888488214714854886/7\ 61390854426036042080950147*c_0101_5^5 + 1800973242719952801136741822686/761390854426036042080950147*c_0101_\ 5^4 - 965976167905474719750993386725/761390854426036042080950147*c_\ 0101_5^3 - 102456341412423174820774498290/7613908544260360420809501\ 47*c_0101_5^2 - 289059886127073068694895174258/76139085442603604208\ 0950147*c_0101_5 + 143003449632150588649847113588/76139085442603604\ 2080950147, c_0011_0 - 1, c_0011_4 - 21446818367644766501842136/15538588865837470246550003*c_0101\ _5^17 + 51577463701136141744805128/15538588865837470246550003*c_010\ 1_5^16 + 259197134573529564101674455/15538588865837470246550003*c_0\ 101_5^15 - 688844296606327985122741007/15538588865837470246550003*c\ _0101_5^14 - 529470370589807079499724223/15538588865837470246550003\ *c_0101_5^13 + 1854216308033833617439941602/15538588865837470246550\ 003*c_0101_5^12 + 489806387149741342186755886/155385888658374702465\ 50003*c_0101_5^11 - 1902317569143921780899690739/155385888658374702\ 46550003*c_0101_5^10 - 1586224544251534018522379795/155385888658374\ 70246550003*c_0101_5^9 + 1341986999192997033494170728/1553858886583\ 7470246550003*c_0101_5^8 + 2161502121952240192621101561/15538588865\ 837470246550003*c_0101_5^7 - 234579937070934490491196387/1553858886\ 5837470246550003*c_0101_5^6 - 891698690266050328505523596/155385888\ 65837470246550003*c_0101_5^5 - 954876724880918175996673415/15538588\ 865837470246550003*c_0101_5^4 + 432967344734522824414894946/1553858\ 8865837470246550003*c_0101_5^3 + 100928849776020960568852620/155385\ 88865837470246550003*c_0101_5^2 + 156971634974549353774220262/15538\ 588865837470246550003*c_0101_5 - 48915874426529048850656857/1553858\ 8865837470246550003, c_0011_6 - 5510110622379519930803484/15538588865837470246550003*c_0101_\ 5^17 + 15095214641622479539299603/15538588865837470246550003*c_0101\ _5^16 + 63522400520118799644563967/15538588865837470246550003*c_010\ 1_5^15 - 200759666908951698932251546/15538588865837470246550003*c_0\ 101_5^14 - 96028785507718767892603937/15538588865837470246550003*c_\ 0101_5^13 + 541694146248709383306051448/15538588865837470246550003*\ c_0101_5^12 + 36744703089554570323020967/15538588865837470246550003\ *c_0101_5^11 - 572024430870459150687976113/155385888658374702465500\ 03*c_0101_5^10 - 365732907400404319229924531/1553858886583747024655\ 0003*c_0101_5^9 + 482885363650701787837223925/155385888658374702465\ 50003*c_0101_5^8 + 600311931481439620368372265/15538588865837470246\ 550003*c_0101_5^7 - 148319046853804033021954775/1553858886583747024\ 6550003*c_0101_5^6 - 300393444645318828303127557/155385888658374702\ 46550003*c_0101_5^5 - 302212776196660365607728109/15538588865837470\ 246550003*c_0101_5^4 + 149756026530929790889583851/1553858886583747\ 0246550003*c_0101_5^3 + 28942188831833147375064621/1553858886583747\ 0246550003*c_0101_5^2 + 66664169167301525791092002/1553858886583747\ 0246550003*c_0101_5 - 8497166900611489011561299/1553858886583747024\ 6550003, c_0101_0 + 18748091721133566769363141/15538588865837470246550003*c_0101\ _5^17 - 42466870242168471371086451/15538588865837470246550003*c_010\ 1_5^16 - 228317765190802908712971991/15538588865837470246550003*c_0\ 101_5^15 + 561419281667887070160661271/15538588865837470246550003*c\ _0101_5^14 + 490619569047851999490918254/15538588865837470246550003\ *c_0101_5^13 - 1437420563668421437030444168/15538588865837470246550\ 003*c_0101_5^12 - 526768048564668291439897732/155385888658374702465\ 50003*c_0101_5^11 + 1320116361914681615107248406/155385888658374702\ 46550003*c_0101_5^10 + 1503131673390082312437988622/155385888658374\ 70246550003*c_0101_5^9 - 773930330470444658014269723/15538588865837\ 470246550003*c_0101_5^8 - 1797558489954061307889249022/155385888658\ 37470246550003*c_0101_5^7 - 106903977930637875688393711/15538588865\ 837470246550003*c_0101_5^6 + 600841079360007306149086117/1553858886\ 5837470246550003*c_0101_5^5 + 894180065946949466030043777/155385888\ 65837470246550003*c_0101_5^4 - 346233152126671749273059495/15538588\ 865837470246550003*c_0101_5^3 - 59205379296600025165305127/15538588\ 865837470246550003*c_0101_5^2 - 161535022510444229364766476/1553858\ 8865837470246550003*c_0101_5 + 67112970313552968966359172/155385888\ 65837470246550003, c_0101_1 - 1354151292718753082806224/15538588865837470246550003*c_0101_\ 5^17 + 543756007778199445794972/15538588865837470246550003*c_0101_5\ ^16 + 17534308702389507967230766/15538588865837470246550003*c_0101_\ 5^15 - 3246389967162579748324754/15538588865837470246550003*c_0101_\ 5^14 - 48258172885840882095036846/15538588865837470246550003*c_0101\ _5^13 - 50135764220760340041773739/15538588865837470246550003*c_010\ 1_5^12 + 35100800976071908786336073/15538588865837470246550003*c_01\ 01_5^11 + 187028548523338903574608528/15538588865837470246550003*c_\ 0101_5^10 - 17126212820262112092460889/15538588865837470246550003*c\ _0101_5^9 - 278017091711391561818985400/15538588865837470246550003*\ c_0101_5^8 - 136497479602244138119652788/15538588865837470246550003\ *c_0101_5^7 + 121824596147976746052466741/1553858886583747024655000\ 3*c_0101_5^6 + 202627936292249024965641518/155385888658374702465500\ 03*c_0101_5^5 + 50096658564171273286522865/155385888658374702465500\ 03*c_0101_5^4 - 1860642391522855423093222/1553858886583747024655000\ 3*c_0101_5^3 - 47869134534920290922690431/1553858886583747024655000\ 3*c_0101_5^2 - 9068969669247920570439054/15538588865837470246550003\ *c_0101_5 - 2577611005081104169768650/15538588865837470246550003, c_0101_2 - 39126600614045474686300529/15538588865837470246550003*c_0101\ _5^17 + 88790500631951813576267535/15538588865837470246550003*c_010\ 1_5^16 + 478954491762918084205098005/15538588865837470246550003*c_0\ 101_5^15 - 1180387384026129041223524097/15538588865837470246550003*\ c_0101_5^14 - 1050689728932632705111693336/155385888658374702465500\ 03*c_0101_5^13 + 3091035862470423615121410340/155385888658374702465\ 50003*c_0101_5^12 + 1120628350059229110216169400/155385888658374702\ 46550003*c_0101_5^11 - 2961452629542723654268359691/155385888658374\ 70246550003*c_0101_5^10 - 3056559581209712809450439826/155385888658\ 37470246550003*c_0101_5^9 + 1789218046065487285769887525/1553858886\ 5837470246550003*c_0101_5^8 + 3712990219376514768955022464/15538588\ 865837470246550003*c_0101_5^7 + 70624204126142100709742574/15538588\ 865837470246550003*c_0101_5^6 - 1203357029767550137444866760/155385\ 88865837470246550003*c_0101_5^5 - 1720734275793694023163589961/1553\ 8588865837470246550003*c_0101_5^4 + 627541417217826681005590805/15538588865837470246550003*c_0101_5^3 + 69736738794222812500732980/15538588865837470246550003*c_0101_5^2 + 276699269226928146220849020/15538588865837470246550003*c_0101_5 - 94356797496565290838471839/15538588865837470246550003, c_0101_5^18 - 19/7*c_0101_5^17 - 79/7*c_0101_5^16 + 250/7*c_0101_5^15 + 99/7*c_0101_5^14 - 646/7*c_0101_5^13 + 31/7*c_0101_5^12 + 92*c_0101_5^11 + 332/7*c_0101_5^10 - 586/7*c_0101_5^9 - 558/7*c_0101_5^8 + 41*c_0101_5^7 + 257/7*c_0101_5^6 + 223/7*c_0101_5^5 - 254/7*c_0101_5^4 + 23/7*c_0101_5^3 - 45/7*c_0101_5^2 + 40/7*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB