Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 3069651933] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3192 geometric_solution 6.34084376 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 -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.406194390915 0.235158872681 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.749928027745 0.832320597956 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 -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.403224648603 1.400274686437 6 5 4 1 3201 1023 3201 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 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.403224648603 1.400274686437 3 2 6 6 2310 0132 1302 2031 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 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.054387104095 0.797577161591 3 5 5 2 1023 3201 2310 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 0.160927032366 0.660682766863 4 4 2 3 2031 1302 0132 2310 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 -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 0.516812681594 0.877632689067 ==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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], '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_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : negation(d['c_0011_6']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_3']), '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_6'], 'c_1001_2' : d['c_0011_6'], '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 17540916366545803201093/159313978196867854182144*c_0101_0*c_0101_3^\ 14 - 357788752461609195998461/79656989098433927091072*c_0101_0*c_01\ 01_3^13 - 2119629533517651946874171/159313978196867854182144*c_0101\ _0*c_0101_3^12 - 2109321071375704990719179/79656989098433927091072*\ c_0101_0*c_0101_3^11 - 5151570142893541066175341/159313978196867854\ 182144*c_0101_0*c_0101_3^10 - 4635074398406502028754347/79656989098\ 433927091072*c_0101_0*c_0101_3^9 - 178686576722366011611227/3123803494056232434944*c_0101_0*c_0101_3^8 + 577793832293781295766383/3793189957068282242432*c_0101_0*c_0101_3\ ^7 + 14508159398763655674577253/26552329699477975697024*c_0101_0*c_\ 0101_3^6 + 3725477893949723087067139/9957123637304240886384*c_0101_\ 0*c_0101_3^5 - 5064817760464123625990291/9957123637304240886384*c_0\ 101_0*c_0101_3^4 - 966858306522749506330567/1244640454663030110798*\ c_0101_0*c_0101_3^3 - 41488130351598486717933/165952060621737348106\ 4*c_0101_0*c_0101_3^2 + 1115973716010226318873657/24892809093260602\ 21596*c_0101_0*c_0101_3 + 75737948382795744879655/41488015155434337\ 0266*c_0101_0, c_0011_0 - 1, c_0011_1 + 1401309154892607/13125224764942153088*c_0101_3^14 + 65570616358809285/13125224764942153088*c_0101_3^13 + 497940451644887409/13125224764942153088*c_0101_3^12 + 795836245950894255/13125224764942153088*c_0101_3^11 + 1686864910465121105/13125224764942153088*c_0101_3^10 + 1516041494290118907/13125224764942153088*c_0101_3^9 + 4315085897565904639/13125224764942153088*c_0101_3^8 - 2616132206532662151/13125224764942153088*c_0101_3^7 - 275521968151917053/205081636952221142*c_0101_3^6 - 3249573408898726975/1640653095617769136*c_0101_3^5 + 128811169602499841/205081636952221142*c_0101_3^4 + 1620372971575608339/820326547808884568*c_0101_3^3 + 385075849305821701/410163273904442284*c_0101_3^2 - 9231799933914209/205081636952221142*c_0101_3 - 32265933369152338/102540818476110571, c_0011_3 - 21605048794052745/26250449529884306176*c_0101_0*c_0101_3^14 - 425811385649930561/13125224764942153088*c_0101_0*c_0101_3^13 - 1427584056406968121/26250449529884306176*c_0101_0*c_0101_3^12 - 1410056228971653667/13125224764942153088*c_0101_0*c_0101_3^11 - 1855057536592462027/26250449529884306176*c_0101_0*c_0101_3^10 - 3506716847004954627/13125224764942153088*c_0101_0*c_0101_3^9 + 701925584360165013/26250449529884306176*c_0101_0*c_0101_3^8 + 17753598058938698723/13125224764942153088*c_0101_0*c_0101_3^7 + 7738013148969696379/3281306191235538272*c_0101_0*c_0101_3^6 - 2540300149550520291/3281306191235538272*c_0101_0*c_0101_3^5 - 2812177364475476941/820326547808884568*c_0101_0*c_0101_3^4 - 1017615181953308097/820326547808884568*c_0101_0*c_0101_3^3 + 193576253077628467/205081636952221142*c_0101_0*c_0101_3^2 + 101819959752835236/102540818476110571*c_0101_0*c_0101_3 + 42718938696722712/102540818476110571*c_0101_0, c_0011_6 + 1733141940430715/26250449529884306176*c_0101_0*c_0101_3^14 + 20329831745760361/6562612382471076544*c_0101_0*c_0101_3^13 + 635045656461953107/26250449529884306176*c_0101_0*c_0101_3^12 + 174498033017479517/3281306191235538272*c_0101_0*c_0101_3^11 + 2227889595262523605/26250449529884306176*c_0101_0*c_0101_3^10 + 819722432979683923/6562612382471076544*c_0101_0*c_0101_3^9 + 5806393692111546417/26250449529884306176*c_0101_0*c_0101_3^8 + 43604309395591477/410163273904442284*c_0101_0*c_0101_3^7 - 6082315833821098137/6562612382471076544*c_0101_0*c_0101_3^6 - 4747501285243174319/3281306191235538272*c_0101_0*c_0101_3^5 + 532071320985804497/1640653095617769136*c_0101_0*c_0101_3^4 + 1653210321307420221/820326547808884568*c_0101_0*c_0101_3^3 - 19883454838906248/102540818476110571*c_0101_0*c_0101_3^2 - 101190542512777547/102540818476110571*c_0101_0*c_0101_3 + 23421832550295868/102540818476110571*c_0101_0, c_0101_0^2 - 1401309154892607/13125224764942153088*c_0101_3^14 - 65570616358809285/13125224764942153088*c_0101_3^13 - 497940451644887409/13125224764942153088*c_0101_3^12 - 795836245950894255/13125224764942153088*c_0101_3^11 - 1686864910465121105/13125224764942153088*c_0101_3^10 - 1516041494290118907/13125224764942153088*c_0101_3^9 - 4315085897565904639/13125224764942153088*c_0101_3^8 + 2616132206532662151/13125224764942153088*c_0101_3^7 + 275521968151917053/205081636952221142*c_0101_3^6 + 3249573408898726975/1640653095617769136*c_0101_3^5 - 128811169602499841/205081636952221142*c_0101_3^4 - 1620372971575608339/820326547808884568*c_0101_3^3 - 385075849305821701/410163273904442284*c_0101_3^2 + 9231799933914209/205081636952221142*c_0101_3 - 70274885106958233/102540818476110571, c_0101_1 - 2883639418131245/13125224764942153088*c_0101_3^14 - 107180236098357119/13125224764942153088*c_0101_3^13 + 58667964183889527/13125224764942153088*c_0101_3^12 - 201658739476220941/13125224764942153088*c_0101_3^11 + 217515578718518589/13125224764942153088*c_0101_3^10 - 1197753517333754397/13125224764942153088*c_0101_3^9 + 1551190551621651709/13125224764942153088*c_0101_3^8 + 2128719988167930157/13125224764942153088*c_0101_3^7 - 654093476883168315/3281306191235538272*c_0101_3^6 - 2804126908316503829/3281306191235538272*c_0101_3^5 + 1214183993531979901/1640653095617769136*c_0101_3^4 + 1014095606930927107/820326547808884568*c_0101_3^3 - 16003195064719323/102540818476110571*c_0101_3^2 - 16994761513419277/205081636952221142*c_0101_3 + 10439845345726183/102540818476110571, c_0101_3^15 + 40*c_0101_3^14 + 89*c_0101_3^13 + 168*c_0101_3^12 + 163*c_0101_3^11 + 408*c_0101_3^10 + 219*c_0101_3^9 - 1544*c_0101_3^8 - 3672*c_0101_3^7 - 352*c_0101_3^6 + 4800*c_0101_3^5 + 2560*c_0101_3^4 - 2176*c_0101_3^3 - 1536*c_0101_3^2 + 256*c_0101_3 - 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB