Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 54697966] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0689 geometric_solution 4.65271363 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 -1 0 1 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 2.402231134421 0.182542790374 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.823826265902 0.452064839187 1 1 3 3 2310 0132 0132 3201 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 0 0 0 -1 0 1 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.231964077595 0.238100738668 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 -1 1 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 -1 0 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 1.085292170095 0.968998647442 3 6 5 5 0132 0132 0213 2310 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 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.372176926299 0.728012978390 4 4 6 3 3201 0213 1023 0132 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 -1 0 1 1 0 0 -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.372176926299 0.728012978390 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.443281087595 1.088994413426 ==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_3'], '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_0011_0'], '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_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], '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_3'], '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_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), '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_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_3'], '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' : negation(d['c_0011_5']), 'c_1010_1' : 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_3, 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 - 849466418608684632171057/2608303098713658707*c_0101_6^25 + 20145137141882457878559732/2608303098713658707*c_0101_6^23 - 323003097004232441303480273/2608303098713658707*c_0101_6^21 + 3350846736995648728452508599/2608303098713658707*c_0101_6^19 - 18183642923369368994360856799/2608303098713658707*c_0101_6^17 + 52733399323747385167154254529/2608303098713658707*c_0101_6^15 - 89637648625892745983740712173/2608303098713658707*c_0101_6^13 + 88167056867620147994372858117/2608303098713658707*c_0101_6^11 - 51750033026256933312317472928/2608303098713658707*c_0101_6^9 + 17998250312665837786244882457/2608303098713658707*c_0101_6^7 - 3416952002927674928020994832/2608303098713658707*c_0101_6^5 + 281545090895450135767976882/2608303098713658707*c_0101_6^3 - 2967691971585625683725189/2608303098713658707*c_0101_6, c_0011_0 - 1, c_0011_3 - 216036151582867205243877/5216606197427317414*c_0101_6^24 + 2561687679770713598300646/2608303098713658707*c_0101_6^22 - 41073839542499494771333281/2608303098713658707*c_0101_6^20 + 426106051529412915790722052/2608303098713658707*c_0101_6^18 - 4624721840693840614922349955/5216606197427317414*c_0101_6^16 + 13412537363398307020496942423/5216606197427317414*c_0101_6^14 - 11400258801178743895490194317/2608303098713658707*c_0101_6^12 + 11214451678232408796843140233/2608303098713658707*c_0101_6^10 - 13166704048489761908058133403/5216606197427317414*c_0101_6^8 + 2290111726706263988829448654/2608303098713658707*c_0101_6^6 - 869830803943314182402223635/5216606197427317414*c_0101_6^4 + 35856974165958175377259891/2608303098713658707*c_0101_6^2 - 758982730591509433532793/5216606197427317414, c_0011_5 + 60473497600582599684180/2608303098713658707*c_0101_6^25 - 2868295772039763439439817/5216606197427317414*c_0101_6^23 + 45989918858805673894082015/5216606197427317414*c_0101_6^21 - 477105411400624247915679869/5216606197427317414*c_0101_6^19 + 2589109805284649214223474609/5216606197427317414*c_0101_6^17 - 3754418408679388405412937930/2608303098713658707*c_0101_6^15 + 12764448768240912428699544267/5216606197427317414*c_0101_6^13 - 12556206484990255509195233513/5216606197427317414*c_0101_6^11 + 7370866572759923293421704847/5216606197427317414*c_0101_6^9 - 1281996343842104744706989679/2608303098713658707*c_0101_6^7 + 243455598547698598875921339/2608303098713658707*c_0101_6^5 - 40142059903355741322437055/5216606197427317414*c_0101_6^3 + 424819783431108330130927/5216606197427317414*c_0101_6, c_0101_0 - 493383912079345204245047/5216606197427317414*c_0101_6^25 + 11700770646443877884335953/5216606197427317414*c_0101_6^23 - 187608913732235230719078697/5216606197427317414*c_0101_6^21 + 1946281543133827883801693331/5216606197427317414*c_0101_6^19 - 5280962265417259403103900201/2608303098713658707*c_0101_6^17 + 30631444166658223197613393631/5216606197427317414*c_0101_6^15 - 52071484188001257895577810743/5216606197427317414*c_0101_6^13 + 51222556812216463313822338031/5216606197427317414*c_0101_6^11 - 15034800496790809224965499510/2608303098713658707*c_0101_6^9 + 5230027342744806010369751002/2608303098713658707*c_0101_6^7 - 1986450844385100014090416241/5216606197427317414*c_0101_6^5 + 163772982185440971846377659/5216606197427317414*c_0101_6^3 - 866674005413344123105450/2608303098713658707*c_0101_6, c_0101_1 - 130893000118600787822879/2608303098713658707*c_0101_6^24 + 6208343045924983495968801/5216606197427317414*c_0101_6^22 - 99543892411282853685841129/5216606197427317414*c_0101_6^20 + 1032682129393376174064970009/5216606197427317414*c_0101_6^18 - 5604071495163238687355131119/5216606197427317414*c_0101_6^16 + 8126385119576242592205025067/2608303098713658707*c_0101_6^14 - 27628602587075140745168001649/5216606197427317414*c_0101_6^12 + 27178073820659578847283383327/5216606197427317414*c_0101_6^10 - 15954495041340796384634300719/5216606197427317414*c_0101_6^8 + 2774959902111872711044871246/2608303098713658707*c_0101_6^6 - 526983321404876150954939339/2608303098713658707*c_0101_6^4 + 86893221164400476966210511/5216606197427317414*c_0101_6^2 - 919627079079022750498829/5216606197427317414, c_0101_3 - 77358981661611574746758/2608303098713658707*c_0101_6^24 + 3669191665688661394546745/5216606197427317414*c_0101_6^22 - 58831440482051416832122779/5216606197427317414*c_0101_6^20 + 610325922202328167251060851/5216606197427317414*c_0101_6^18 - 3312070452458151390316017049/5216606197427317414*c_0101_6^16 + 4802801140516281383209926796/2608303098713658707*c_0101_6^14 - 16328938609662756790933003219/5216606197427317414*c_0101_6^12 + 16062777694578015586398014125/5216606197427317414*c_0101_6^10 - 9429504586725087332027447621/5216606197427317414*c_0101_6^8 + 1640089193540470211455007337/2608303098713658707*c_0101_6^6 - 311468600986565572224820490/2608303098713658707*c_0101_6^4 + 51358404762098421042579759/5216606197427317414*c_0101_6^2 - 543549946543562077392873/5216606197427317414, c_0101_6^26 - 24*c_0101_6^24 + 387*c_0101_6^22 - 4053*c_0101_6^20 + 22530*c_0101_6^18 - 68178*c_0101_6^16 + 123212*c_0101_6^14 - 133861*c_0101_6^12 + 90498*c_0101_6^10 - 38549*c_0101_6^8 + 10061*c_0101_6^6 - 1478*c_0101_6^4 + 98*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB