Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 526287817] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1500 geometric_solution 5.30891606 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 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 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.006884991101 0.800191539604 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 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.209590935168 0.539091872149 3 1 4 5 2310 0132 0132 0132 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 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.069418497369 0.606830361556 4 6 2 1 0213 0132 3201 0132 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 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.723311198260 1.605804573765 3 5 5 2 0213 2031 1230 0132 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 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.637210001902 0.450570548137 4 6 2 4 1302 1302 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.851477867726 0.952657817416 6 3 6 5 2310 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.148522132274 0.952657817416 ==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' : d['c_0110_5'], 'c_1100_4' : d['c_0110_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_0']), 'c_1100_2' : d['c_0110_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0011_5'], '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_4, c_0011_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 378075110419793289/291194472359558*c_0110_5^18 - 7743200311841360259/582388944719116*c_0110_5^17 - 23795795311699960955/582388944719116*c_0110_5^16 + 40343414738691134205/582388944719116*c_0110_5^15 + 488936109573548197633/582388944719116*c_0110_5^14 + 394910530095772581437/145597236179779*c_0110_5^13 + 713103365391609892210/145597236179779*c_0110_5^12 + 2988725454953540071449/582388944719116*c_0110_5^11 + 1232612923204877201143/582388944719116*c_0110_5^10 - 291842776430297680366/145597236179779*c_0110_5^9 - 1063952919871106165267/291194472359558*c_0110_5^8 - 600191692429974653697/291194472359558*c_0110_5^7 + 138038653886376392251/582388944719116*c_0110_5^6 + 542527082085396715217/582388944719116*c_0110_5^5 + 102151568732867424495/291194472359558*c_0110_5^4 - 13658619659840843902/145597236179779*c_0110_5^3 - 45295984149772779911/582388944719116*c_0110_5^2 - 269507955604422469/582388944719116*c_0110_5 + 2908758529952579893/582388944719116, c_0011_0 - 1, c_0011_3 - 3185496169363657/582388944719116*c_0110_5^18 - 7458377740726440/145597236179779*c_0110_5^17 - 36814800676040121/291194472359558*c_0110_5^16 + 119634381937077027/291194472359558*c_0110_5^15 + 1862982322647259531/582388944719116*c_0110_5^14 + 1246956580246178372/145597236179779*c_0110_5^13 + 7347528218259289159/582388944719116*c_0110_5^12 + 1329042982402298738/145597236179779*c_0110_5^11 - 767768543149207147/582388944719116*c_0110_5^10 - 1328023194182171256/145597236179779*c_0110_5^9 - 1097839904019154797/145597236179779*c_0110_5^8 - 416506621093944675/582388944719116*c_0110_5^7 + 875942248679849735/291194472359558*c_0110_5^6 + 955139417801969121/582388944719116*c_0110_5^5 - 50054653688626027/145597236179779*c_0110_5^4 - 230882981853697927/582388944719116*c_0110_5^3 + 6385434532735287/291194472359558*c_0110_5^2 + 9946237524942611/291194472359558*c_0110_5 - 2712612385321801/582388944719116, c_0011_4 - 595662019800137/145597236179779*c_0110_5^18 - 5060262414706368/145597236179779*c_0110_5^17 - 8814013973614571/145597236179779*c_0110_5^16 + 115418685853499345/291194472359558*c_0110_5^15 + 312219660894821032/145597236179779*c_0110_5^14 + 623156190584241842/145597236179779*c_0110_5^13 + 999569230763364087/291194472359558*c_0110_5^12 - 774286877809709043/291194472359558*c_0110_5^11 - 1314478212837916389/145597236179779*c_0110_5^10 - 1145926524322635415/145597236179779*c_0110_5^9 - 33914373129737047/291194472359558*c_0110_5^8 + 1599166500532348973/291194472359558*c_0110_5^7 + 595012123496916561/145597236179779*c_0110_5^6 - 67198506563844323/291194472359558*c_0110_5^5 - 232274182377672352/145597236179779*c_0110_5^4 - 54431439032218105/145597236179779*c_0110_5^3 + 35680555668094962/145597236179779*c_0110_5^2 + 8572035853101029/145597236179779*c_0110_5 - 5666482572909117/291194472359558, c_0011_5 + 513375229757736/145597236179779*c_0110_5^18 + 5047383347987269/145597236179779*c_0110_5^17 + 14261307542672991/145597236179779*c_0110_5^16 - 63234501436715163/291194472359558*c_0110_5^15 - 314855006060868804/145597236179779*c_0110_5^14 - 955469594605951686/145597236179779*c_0110_5^13 - 3291744003001375615/291194472359558*c_0110_5^12 - 3277717307140821081/291194472359558*c_0110_5^11 - 617288850979560557/145597236179779*c_0110_5^10 + 652046935363937317/145597236179779*c_0110_5^9 + 2206173860573438997/291194472359558*c_0110_5^8 + 1200196215293962227/291194472359558*c_0110_5^7 - 59530494629790548/145597236179779*c_0110_5^6 - 484180835399679477/291194472359558*c_0110_5^5 - 90589989171096269/145597236179779*c_0110_5^4 + 16934800335353911/145597236179779*c_0110_5^3 + 16188398154036665/145597236179779*c_0110_5^2 + 721224115033234/145597236179779*c_0110_5 - 1711968864141445/291194472359558, c_0101_0 - 1438938412671590/145597236179779*c_0110_5^18 - 57652563698605177/582388944719116*c_0110_5^17 - 169360525965818203/582388944719116*c_0110_5^16 + 334348763921562661/582388944719116*c_0110_5^15 + 3620023846167912649/582388944719116*c_0110_5^14 + 5647681051998221471/291194472359558*c_0110_5^13 + 9922403429915397861/291194472359558*c_0110_5^12 + 20131753121407826113/582388944719116*c_0110_5^11 + 7710309218712640283/582388944719116*c_0110_5^10 - 4124979783340110981/291194472359558*c_0110_5^9 - 7022801628078944423/291194472359558*c_0110_5^8 - 3780748315641057571/291194472359558*c_0110_5^7 + 1048830360717515431/582388944719116*c_0110_5^6 + 3378579626591087843/582388944719116*c_0110_5^5 + 591708707468247835/291194472359558*c_0110_5^4 - 167041950543150659/291194472359558*c_0110_5^3 - 249889202148280441/582388944719116*c_0110_5^2 + 632144482981751/582388944719116*c_0110_5 + 14466653959927623/582388944719116, c_0101_6 - 571294060626508/145597236179779*c_0110_5^18 - 22781124699738333/582388944719116*c_0110_5^17 - 66254636310221859/582388944719116*c_0110_5^16 + 135048307863116563/582388944719116*c_0110_5^15 + 1429001226550121405/582388944719116*c_0110_5^14 + 2212083248618065251/291194472359558*c_0110_5^13 + 1929805045331174787/145597236179779*c_0110_5^12 + 7755155933656493915/582388944719116*c_0110_5^11 + 2885947489971238787/582388944719116*c_0110_5^10 - 1626039204334280271/291194472359558*c_0110_5^9 - 1346027733582234287/145597236179779*c_0110_5^8 - 705668580959536676/145597236179779*c_0110_5^7 + 452008385843023779/582388944719116*c_0110_5^6 + 1275566192561757245/582388944719116*c_0110_5^5 + 207291815162353135/291194472359558*c_0110_5^4 - 69254160386437423/291194472359558*c_0110_5^3 - 87264340794699137/582388944719116*c_0110_5^2 + 3576831873243471/582388944719116*c_0110_5 + 4539013341549801/582388944719116, c_0110_5^19 + 10*c_0110_5^18 + 29*c_0110_5^17 - 61*c_0110_5^16 - 634*c_0110_5^15 - 1933*c_0110_5^14 - 3265*c_0110_5^13 - 3032*c_0110_5^12 - 660*c_0110_5^11 + 1949*c_0110_5^10 + 2438*c_0110_5^9 + 893*c_0110_5^8 - 578*c_0110_5^7 - 674*c_0110_5^6 - 91*c_0110_5^5 + 141*c_0110_5^4 + 42*c_0110_5^3 - 15*c_0110_5^2 - 4*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB