Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 610646249] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0356 geometric_solution 4.38134335 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 1230 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 -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.521587049280 0.029260198186 0 2 0 2 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567202072723 0.077955671423 3 1 3 1 0132 0132 2310 1023 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 0 0 0 -1 0 1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.244499575723 1.247875799950 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -1 1 0 1 0 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.603012144516 1.780816649406 6 6 3 5 0132 2310 0132 3012 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 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.400162142991 0.781866318416 6 6 4 3 1023 3201 1230 0132 0 0 0 0 0 -1 1 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 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.400162142991 0.781866318416 4 5 5 4 0132 1023 2310 3201 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.518717871905 1.013509248455 ==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' : negation(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' : negation(d['1']), 's_0_4' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 8072914488803529202490753/28240073454004833173291*c_0101_6^15 - 103105005299122198493358163/28240073454004833173291*c_0101_6^14 + 1268890406477234094112484259/56480146908009666346582*c_0101_6^13 - 1228039641609127678611590889/28240073454004833173291*c_0101_6^12 - 417872196432688396867369126/2567279404909530288481*c_0101_6^11 + 26604535055180924912828467187/28240073454004833173291*c_0101_6^10 - 88807937798805346691619733499/56480146908009666346582*c_0101_6^9 + 4555110402053188476815548236/4034296207714976167613*c_0101_6^8 - 4156604839559993670633029497/56480146908009666346582*c_0101_6^7 - 28943388837425676204087792653/56480146908009666346582*c_0101_6^6 + 10588677911815925852640093739/28240073454004833173291*c_0101_6^5 - 4375778486522608069207163279/56480146908009666346582*c_0101_6^4 - 982337913371910953573100848/28240073454004833173291*c_0101_6^3 + 783060311943993640209280022/28240073454004833173291*c_0101_6^2 - 417875404006606679200096353/56480146908009666346582*c_0101_6 + 18616001848018026488878836/28240073454004833173291, c_0011_0 - 1, c_0011_4 - 7449447403124794701950/2567279404909530288481*c_0101_6^15 + 92261365104761255370658/2567279404909530288481*c_0101_6^14 - 550085732148801459695521/2567279404909530288481*c_0101_6^13 + 924388251271937651708004/2567279404909530288481*c_0101_6^12 + 4575828958354419983238310/2567279404909530288481*c_0101_6^11 - 22742237576035828443181401/2567279404909530288481*c_0101_6^10 + 32377478763059244497390324/2567279404909530288481*c_0101_6^9 - 2551606914351788787970071/366754200701361469783*c_0101_6^8 - 3665686646177383745049400/2567279404909530288481*c_0101_6^7 + 11253522380095307181919737/2567279404909530288481*c_0101_6^6 - 5615109828954488882119925/2567279404909530288481*c_0101_6^5 + 318753513144479490457350/2567279404909530288481*c_0101_6^4 + 814417485098686050822328/2567279404909530288481*c_0101_6^3 - 399640948055699958630167/2567279404909530288481*c_0101_6^2 + 69952330011756332714872/2567279404909530288481*c_0101_6 - 5447431490262963746038/2567279404909530288481, c_0101_0 - 1985039216547480390713/366754200701361469783*c_0101_2*c_0101\ _6^15 + 23680355032887599749179/366754200701361469783*c_0101_2*c_01\ 01_6^14 - 270963761748670546930413/733508401402722939566*c_0101_2*c\ _0101_6^13 + 180776857042519261253823/366754200701361469783*c_0101_\ 2*c_0101_6^12 + 2648625286417587691050727/733508401402722939566*c_0\ 101_2*c_0101_6^11 - 10987348211487473384647019/73350840140272293956\ 6*c_0101_2*c_0101_6^10 + 11862740784166615892931023/733508401402722\ 939566*c_0101_2*c_0101_6^9 - 1122229565276289721515296/366754200701\ 361469783*c_0101_2*c_0101_6^8 - 5541151230787671736865243/733508401\ 402722939566*c_0101_2*c_0101_6^7 + 2374772432027803938444111/366754200701361469783*c_0101_2*c_0101_6^6 - 385723861693373004766073/733508401402722939566*c_0101_2*c_0101_6^\ 5 - 938626148773487538148531/733508401402722939566*c_0101_2*c_0101_\ 6^4 + 203979088586606152252576/366754200701361469783*c_0101_2*c_010\ 1_6^3 - 8651118955933550712053/366754200701361469783*c_0101_2*c_010\ 1_6^2 - 20485382614507379635136/366754200701361469783*c_0101_2*c_01\ 01_6 + 8623498663354332353453/733508401402722939566*c_0101_2, c_0101_1 - 15460340013841601620561/2567279404909530288481*c_0101_6^15 + 201686963561852895212455/2567279404909530288481*c_0101_6^14 - 2534167566622892348369493/5134558809819060576962*c_0101_6^13 + 2660198931992566003671883/2567279404909530288481*c_0101_6^12 + 16602154609876784000570263/5134558809819060576962*c_0101_6^11 - 107159620152107768084499221/5134558809819060576962*c_0101_6^10 + 195457405207072172901160699/5134558809819060576962*c_0101_6^9 - 11218007820393686268176192/366754200701361469783*c_0101_6^8 + 26241644501392147839889265/5134558809819060576962*c_0101_6^7 + 30111944985865680275003836/2567279404909530288481*c_0101_6^6 - 52718376284455181327468803/5134558809819060576962*c_0101_6^5 + 14012824125659328079960419/5134558809819060576962*c_0101_6^4 + 1827183423926716218001916/2567279404909530288481*c_0101_6^3 - 1962386946169208994715593/2567279404909530288481*c_0101_6^2 + 601444204388439807497211/2567279404909530288481*c_0101_6 - 124145200247069857521233/5134558809819060576962, c_0101_2^2 - 6258733214743288105557/2567279404909530288481*c_0101_6^15 + 77809024061711266794205/2567279404909530288481*c_0101_6^14 - 931421898951842499004297/5134558809819060576962*c_0101_6^13 + 797215343997328872458294/2567279404909530288481*c_0101_6^12 + 7629231595902937059859601/5134558809819060576962*c_0101_6^11 - 38594531298368973731927255/5134558809819060576962*c_0101_6^10 + 56073952686033336384253993/5134558809819060576962*c_0101_6^9 - 2287910161586800197267216/366754200701361469783*c_0101_6^8 - 5355782213391175786314029/5134558809819060576962*c_0101_6^7 + 9696649143664073076625999/2567279404909530288481*c_0101_6^6 - 10127237513692354587381515/5134558809819060576962*c_0101_6^5 + 736215786564270635532877/5134558809819060576962*c_0101_6^4 + 710656020450497616057743/2567279404909530288481*c_0101_6^3 - 367498013874839686494531/2567279404909530288481*c_0101_6^2 + 67276543145208251260684/2567279404909530288481*c_0101_6 - 9201805949582714780945/5134558809819060576962, c_0101_3 - 1752358546457920078995/2567279404909530288481*c_0101_6^15 + 21103379025070748676070/2567279404909530288481*c_0101_6^14 - 244104857360957056314583/5134558809819060576962*c_0101_6^13 + 348415621362405223100995/5134558809819060576962*c_0101_6^12 + 1144352568669661297025559/2567279404909530288481*c_0101_6^11 - 9937067618566167732812737/5134558809819060576962*c_0101_6^10 + 5831941869673444660161826/2567279404909530288481*c_0101_6^9 - 267564406254210582479782/366754200701361469783*c_0101_6^8 - 3673242375063931997182899/5134558809819060576962*c_0101_6^7 + 4159457730966057287535097/5134558809819060576962*c_0101_6^6 - 478540036865376605355696/2567279404909530288481*c_0101_6^5 - 385107428852011295390255/5134558809819060576962*c_0101_6^4 + 248404754115155166725401/5134558809819060576962*c_0101_6^3 - 70655744433700831079485/5134558809819060576962*c_0101_6^2 - 729122562834134229031/5134558809819060576962*c_0101_6 - 890472961190503240838/2567279404909530288481, c_0101_6^16 - 13*c_0101_6^15 + 163/2*c_0101_6^14 - 170*c_0101_6^13 - 535*c_0101_6^12 + 3426*c_0101_6^11 - 12499/2*c_0101_6^10 + 10383/2*c_0101_6^9 - 2285/2*c_0101_6^8 - 1740*c_0101_6^7 + 1716*c_0101_6^6 - 564*c_0101_6^5 - 62*c_0101_6^4 + 249/2*c_0101_6^3 - 95/2*c_0101_6^2 + 8*c_0101_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB