Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 3751691033] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0280 geometric_solution 4.32394405 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.383239311523 0.113328059011 0 2 2 0 0132 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.990430112558 0.344826912300 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -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 -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.309579394129 0.222205850579 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884399646061 0.707297329004 3 5 6 5 0132 0213 0132 1230 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 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.856694176847 0.813210848440 4 6 4 3 3012 1023 0213 0132 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 -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 0.856694176847 0.813210848440 5 6 6 4 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1.385986537271 0.582847908243 ==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_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], '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_3']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], '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_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 118584374148968368738567761772482/6710141050298539508662450637833*c\ _0101_6^20 + 477284374961691605837957103673080/67101410502985395086\ 62450637833*c_0101_6^19 + 1025679354318120831955417186970374/671014\ 1050298539508662450637833*c_0101_6^18 - 5621523652315202959450898427741606/6710141050298539508662450637833*\ c_0101_6^17 + 115148004427765632923709573276488/6710141050298539508\ 662450637833*c_0101_6^16 + 35030490980802068877576832517801720/6710\ 141050298539508662450637833*c_0101_6^15 - 27110732520308349271348605971796887/6710141050298539508662450637833\ *c_0101_6^14 - 92984277723459486367524753364053184/6710141050298539\ 508662450637833*c_0101_6^13 + 32546317432825047196720445104394802/6\ 710141050298539508662450637833*c_0101_6^12 - 22547149322669238498892577706529502/6710141050298539508662450637833\ *c_0101_6^11 - 8652199858754191119024274414471550/67101410502985395\ 08662450637833*c_0101_6^10 + 157246822488971849053637782800401447/6\ 710141050298539508662450637833*c_0101_6^9 + 55287194722760364896318221760899080/6710141050298539508662450637833\ *c_0101_6^8 + 35480605185516236748114413835861632/67101410502985395\ 08662450637833*c_0101_6^7 + 32925057464788837291489771855821744/671\ 0141050298539508662450637833*c_0101_6^6 - 9402140426880443280349922425000148/6710141050298539508662450637833*\ c_0101_6^5 - 24144791213064869337193588195303252/671014105029853950\ 8662450637833*c_0101_6^4 - 6934976414083168873091327110563540/67101\ 41050298539508662450637833*c_0101_6^3 - 7059239333569486018151492346973735/6710141050298539508662450637833*\ c_0101_6^2 - 3004748618574207732429616877248349/6710141050298539508\ 662450637833*c_0101_6 + 27563693872125914524430974919767/6710141050\ 298539508662450637833, c_0011_0 - 1, c_0011_3 - 1051038486628882731871849631645/6710141050298539508662450637\ 833*c_0101_6^20 + 3192590572406077052168260978049/67101410502985395\ 08662450637833*c_0101_6^19 + 12448712440989616010088267533323/67101\ 41050298539508662450637833*c_0101_6^18 - 38024269805617776906817830173374/6710141050298539508662450637833*c_\ 0101_6^17 - 39520796758651283864748780608317/6710141050298539508662\ 450637833*c_0101_6^16 + 277791375390079865295577143332841/671014105\ 0298539508662450637833*c_0101_6^15 + 48340994602254462781725023895382/6710141050298539508662450637833*c_\ 0101_6^14 - 831531040864547603485879348554323/671014105029853950866\ 2450637833*c_0101_6^13 - 582750970050632423087153697432117/67101410\ 50298539508662450637833*c_0101_6^12 - 577153311926085580563410641489091/6710141050298539508662450637833*c\ _0101_6^11 - 423945101200358586535398171679719/67101410502985395086\ 62450637833*c_0101_6^10 + 1038238876048152984498065066496590/671014\ 1050298539508662450637833*c_0101_6^9 + 1606128199454875195236848151558172/6710141050298539508662450637833*\ c_0101_6^8 + 1696528701731447997282308181512768/6710141050298539508\ 662450637833*c_0101_6^7 + 1485712853655744994784106358165977/671014\ 1050298539508662450637833*c_0101_6^6 + 1008844895988654250002366152253297/6710141050298539508662450637833*\ c_0101_6^5 + 477939951842826271052997654953957/67101410502985395086\ 62450637833*c_0101_6^4 + 216971156322043298844970451566757/67101410\ 50298539508662450637833*c_0101_6^3 + 69825037858765172789608099411442/6710141050298539508662450637833*c_\ 0101_6^2 + 12481771122612194068619506619431/67101410502985395086624\ 50637833*c_0101_6 + 5385725234360457462980049285503/671014105029853\ 9508662450637833, c_0011_5 + 1832065096043555723996598096520/6710141050298539508662450637\ 833*c_0101_6^20 - 5642836551457405618832447280151/67101410502985395\ 08662450637833*c_0101_6^19 - 21465660064284561880371682787078/67101\ 41050298539508662450637833*c_0101_6^18 + 67356202125959042191891065626848/6710141050298539508662450637833*c_\ 0101_6^17 + 65570074259679228304027113871018/6710141050298539508662\ 450637833*c_0101_6^16 - 488667723775168373335797457701043/671014105\ 0298539508662450637833*c_0101_6^15 - 57501672308514973338656599856472/6710141050298539508662450637833*c_\ 0101_6^14 + 1455578911728544284152277897083475/67101410502985395086\ 62450637833*c_0101_6^13 + 913280868143048758691960155309179/6710141\ 050298539508662450637833*c_0101_6^12 + 979520121045731456638329053318421/6710141050298539508662450637833*c\ _0101_6^11 + 806953377264404790692862369990475/67101410502985395086\ 62450637833*c_0101_6^10 - 1836458970976552834856180350588940/671014\ 1050298539508662450637833*c_0101_6^9 - 2669448934858549350768123459701327/6710141050298539508662450637833*\ c_0101_6^8 - 2812931488050609597806873648443130/6710141050298539508\ 662450637833*c_0101_6^7 - 2638724619976595922355506157553870/671014\ 1050298539508662450637833*c_0101_6^6 - 1772745626663572596548381021707017/6710141050298539508662450637833*\ c_0101_6^5 - 887100716304351913910635460635125/67101410502985395086\ 62450637833*c_0101_6^4 - 425498480536630176660708676944858/67101410\ 50298539508662450637833*c_0101_6^3 - 131272579005075079818156582071571/6710141050298539508662450637833*c\ _0101_6^2 - 24659735497430354622970192687413/6710141050298539508662\ 450637833*c_0101_6 - 5484927719690916486626429221869/67101410502985\ 39508662450637833, c_0101_0 + 3184251278165843354409528378151/6710141050298539508662450637\ 833*c_0101_6^20 - 9837877126495625124604923928974/67101410502985395\ 08662450637833*c_0101_6^19 - 37508815160330939976885532548186/67101\ 41050298539508662450637833*c_0101_6^18 + 118575131669424609671428587161721/6710141050298539508662450637833*c\ _0101_6^17 + 115535766602063752867787211382583/67101410502985395086\ 62450637833*c_0101_6^16 - 864224376956254330953923515160219/6710141\ 050298539508662450637833*c_0101_6^15 - 93129165620293051186767236411740/6710141050298539508662450637833*c_\ 0101_6^14 + 2619441322472418994719375751809597/67101410502985395086\ 62450637833*c_0101_6^13 + 1503601095722120487806180540645835/671014\ 1050298539508662450637833*c_0101_6^12 + 1439427332183755712459433666186812/6710141050298539508662450637833*\ c_0101_6^11 + 1461535564356075325425597991774021/671014105029853950\ 8662450637833*c_0101_6^10 - 3220884221606155863820742966303383/6710\ 141050298539508662450637833*c_0101_6^9 - 4685258387780054547314830645096521/6710141050298539508662450637833*\ c_0101_6^8 - 4492158680216363489342128575494528/6710141050298539508\ 662450637833*c_0101_6^7 - 4359112899959263701701616782405404/671014\ 1050298539508662450637833*c_0101_6^6 - 2980905029144018873467737850410044/6710141050298539508662450637833*\ c_0101_6^5 - 1395520756561825489466231523390210/6710141050298539508\ 662450637833*c_0101_6^4 - 673130063541292351461689433697655/6710141\ 050298539508662450637833*c_0101_6^3 - 243556882455628434550627924729463/6710141050298539508662450637833*c\ _0101_6^2 - 28030745994991487420683529692544/6710141050298539508662\ 450637833*c_0101_6 - 6719076178380336410999318513647/67101410502985\ 39508662450637833, c_0101_1 - 28058515825233852459375764694/671014105029853950866245063783\ 3*c_0101_6^20 + 695498018112877455752841114452/67101410502985395086\ 62450637833*c_0101_6^19 - 1629723710310514755009444226250/671014105\ 0298539508662450637833*c_0101_6^18 - 8180701662297173666043903893582/6710141050298539508662450637833*c_0\ 101_6^17 + 23294401781119954680435932369023/67101410502985395086624\ 50637833*c_0101_6^16 + 29027133800268567347010045357247/67101410502\ 98539508662450637833*c_0101_6^15 - 175748519522872210450044849570619/6710141050298539508662450637833*c\ _0101_6^14 - 24819291115403985989232062201840/671014105029853950866\ 2450637833*c_0101_6^13 + 548393017483621850303981550078750/67101410\ 50298539508662450637833*c_0101_6^12 + 200995280349354507354478922351789/6710141050298539508662450637833*c\ _0101_6^11 + 52152352718288787509477230600086/671014105029853950866\ 2450637833*c_0101_6^10 + 210914426168197572707556023481473/67101410\ 50298539508662450637833*c_0101_6^9 - 672287500320167987973670701761867/6710141050298539508662450637833*c\ _0101_6^8 - 812979928090559898297285142438729/671014105029853950866\ 2450637833*c_0101_6^7 - 473152836915885897553252563714258/671014105\ 0298539508662450637833*c_0101_6^6 - 445362810497815219565891292263113/6710141050298539508662450637833*c\ _0101_6^5 - 231518928949049348657616902655984/671014105029853950866\ 2450637833*c_0101_6^4 - 28114517895534555735739129729465/6710141050\ 298539508662450637833*c_0101_6^3 - 2225652004593605329937689484300/6710141050298539508662450637833*c_0\ 101_6^2 - 957328571100564191541776521230/67101410502985395086624506\ 37833*c_0101_6 + 5729502742395048549237944744183/671014105029853950\ 8662450637833, c_0101_2 + 1183669177599013972161418608743/6710141050298539508662450637\ 833*c_0101_6^20 - 3107717472019882813885890514378/67101410502985395\ 08662450637833*c_0101_6^19 - 15715011756064988020978128002063/67101\ 41050298539508662450637833*c_0101_6^18 + 37740717839872280967580607705234/6710141050298539508662450637833*c_\ 0101_6^17 + 64518112317824135214320665473822/6710141050298539508662\ 450637833*c_0101_6^16 - 302662303968924046872349417137956/671014105\ 0298539508662450637833*c_0101_6^15 - 189489980168566393360333071267139/6710141050298539508662450637833*c\ _0101_6^14 + 970852844916332011846099153126947/67101410502985395086\ 62450637833*c_0101_6^13 + 1039999043832155804089191306755627/671014\ 1050298539508662450637833*c_0101_6^12 + 757936748263932486266339277871216/6710141050298539508662450637833*c\ _0101_6^11 + 655980734731016812328377333337054/67101410502985395086\ 62450637833*c_0101_6^10 - 1088205111329835660988097547675354/671014\ 1050298539508662450637833*c_0101_6^9 - 2343487171966409196077657118848951/6710141050298539508662450637833*\ c_0101_6^8 - 2429045017145870809421121888839597/6710141050298539508\ 662450637833*c_0101_6^7 - 2181981679418723150656080371153456/671014\ 1050298539508662450637833*c_0101_6^6 - 1524366544785462754926842934132340/6710141050298539508662450637833*\ c_0101_6^5 - 774331593564395327161612173120702/67101410502985395086\ 62450637833*c_0101_6^4 - 312306315273311315019433329442802/67101410\ 50298539508662450637833*c_0101_6^3 - 103870235981662330717485280129855/6710141050298539508662450637833*c\ _0101_6^2 - 16004266150583053579239539761147/6710141050298539508662\ 450637833*c_0101_6 - 1840411361828863917957712332461/67101410502985\ 39508662450637833, c_0101_6^21 - 3*c_0101_6^20 - 12*c_0101_6^19 + 36*c_0101_6^18 + 39*c_0101_6^17 - 266*c_0101_6^16 - 52*c_0101_6^15 + 805*c_0101_6^14 + 547*c_0101_6^13 + 537*c_0101_6^12 + 520*c_0101_6^11 - 939*c_0101_6^10 - 1542*c_0101_6^9 - 1603*c_0101_6^8 - 1567*c_0101_6^7 - 1137*c_0101_6^6 - 592*c_0101_6^5 - 295*c_0101_6^4 - 115*c_0101_6^3 - 26*c_0101_6^2 - 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB