Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 559988194] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0499 geometric_solution 4.51206026 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0213 0 0 0 0 0 1 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 0 0 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 0 0 0 0.206042154804 0.835767694206 0 2 3 0 0132 3201 1023 0213 0 0 0 0 0 -1 0 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 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.206042154804 0.835767694206 4 0 1 4 0132 0132 2310 1023 0 0 0 0 0 -1 0 1 -1 0 1 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 0 1 -1 0 1 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.062812066996 0.512930837863 3 3 1 0 1302 2031 1023 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 1 0 -1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597465397667 0.628927947243 2 5 5 2 0132 0132 3201 1023 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 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.454953448845 0.420560555091 4 4 6 6 2310 0132 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 0 0 0 0 0 0 0 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.173614753595 0.360490337733 5 6 5 6 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.671420543945 0.055299300417 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2']})} 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_6, c_0101_0, c_0101_4, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 44041150008345979452000/135945594436983371*c_1001_2^26 + 669348712906562732853746/135945594436983371*c_1001_2^24 - 13249731747576349186655473/407836783310950113*c_1001_2^22 + 50384003006575380183829147/407836783310950113*c_1001_2^20 - 123895215413705887322960950/407836783310950113*c_1001_2^18 + 69681934391812525862096215/135945594436983371*c_1001_2^16 - 83261180648361775598495680/135945594436983371*c_1001_2^14 + 71167717043212401861499527/135945594436983371*c_1001_2^12 - 42831385329961094021292370/135945594436983371*c_1001_2^10 + 52135492643523847375402207/407836783310950113*c_1001_2^8 - 13510751443495634609299948/407836783310950113*c_1001_2^6 + 2092628930128861437283057/407836783310950113*c_1001_2^4 - 173569492612470106348118/407836783310950113*c_1001_2^2 + 1952835589383727567790/135945594436983371, c_0011_0 - 1, c_0011_3 - 10572060793463767696992/135945594436983371*c_1001_2^27 + 160592932117752098841298/135945594436983371*c_1001_2^25 - 3176847551830587000719243/407836783310950113*c_1001_2^23 + 4023543771714519280904642/135945594436983371*c_1001_2^21 - 9884276660775938088752532/135945594436983371*c_1001_2^19 + 49974056413340837117658166/407836783310950113*c_1001_2^17 - 19876582107964285601098083/135945594436983371*c_1001_2^15 + 16961083163171173006310229/135945594436983371*c_1001_2^13 - 10186068118991192123284442/135945594436983371*c_1001_2^11 + 12363865308570877621222568/407836783310950113*c_1001_2^9 - 1064464476209226843375758/135945594436983371*c_1001_2^7 + 164339619572651144657305/135945594436983371*c_1001_2^5 - 40807883403794296716746/407836783310950113*c_1001_2^3 + 1377001445283782669471/407836783310950113*c_1001_2, c_0011_6 + 7914407373589640077584/135945594436983371*c_1001_2^26 - 120341099971309145456523/135945594436983371*c_1001_2^24 + 794520844170119804414657/135945594436983371*c_1001_2^22 - 9070656779238045496901602/407836783310950113*c_1001_2^20 + 22325838411228233109689761/407836783310950113*c_1001_2^18 - 37713721826179031372888116/407836783310950113*c_1001_2^16 + 15042763557983104687165178/135945594436983371*c_1001_2^14 - 12881490783433873441633104/135945594436983371*c_1001_2^12 + 7771880779787160557016676/135945594436983371*c_1001_2^10 - 3164755724643807353253878/135945594436983371*c_1001_2^8 + 2472906611545874261286928/407836783310950113*c_1001_2^6 - 385553122126202642417998/407836783310950113*c_1001_2^4 + 32229282614773312651330/407836783310950113*c_1001_2^2 - 1096233939406939682882/407836783310950113, c_0101_0 + 4057447467590658174624/135945594436983371*c_1001_2^26 - 61623341271518778252862/135945594436983371*c_1001_2^24 + 1218769756714067823467135/407836783310950113*c_1001_2^22 - 4629556018943601032256172/407836783310950113*c_1001_2^20 + 11369325001383672348427060/407836783310950113*c_1001_2^18 - 19153310484128507371480145/407836783310950113*c_1001_2^16 + 7614439891763415749886397/135945594436983371*c_1001_2^14 - 6493841446586763072013732/135945594436983371*c_1001_2^12 + 3897024541422280989643073/135945594436983371*c_1001_2^10 - 4725439386986933407040975/407836783310950113*c_1001_2^8 + 1218939751980345602775325/407836783310950113*c_1001_2^6 - 187908053395281159608221/407836783310950113*c_1001_2^4 + 5175933708273347844149/135945594436983371*c_1001_2^2 - 523103253244502687182/407836783310950113, c_0101_4 + 4487737407613569223392/135945594436983371*c_1001_2^27 - 68169295646778969604634/135945594436983371*c_1001_2^25 + 1348500540791289101720686/407836783310950113*c_1001_2^23 - 1707861471527031801386005/135945594436983371*c_1001_2^21 + 4195400102429380221114618/135945594436983371*c_1001_2^19 - 21210504054862009067992175/407836783310950113*c_1001_2^17 + 8435598629625459536017104/135945594436983371*c_1001_2^15 - 7197459622177703204880565/135945594436983371*c_1001_2^13 + 4321686435170523866639680/135945594436983371*c_1001_2^11 - 5243941655484049204278901/407836783310950113*c_1001_2^9 + 451184340213187062441266/135945594436983371*c_1001_2^7 - 69563808596922671147325/135945594436983371*c_1001_2^5 + 17220642053766904747909/407836783310950113*c_1001_2^3 - 576142959813574107097/407836783310950113*c_1001_2, c_0101_5 + 13135175367557726819136/135945594436983371*c_1001_2^27 - 199753727012602622921084/135945594436983371*c_1001_2^25 + 3957202708769826054069100/407836783310950113*c_1001_2^23 - 15062692246067575772480701/407836783310950113*c_1001_2^21 + 37085053921175136282502795/407836783310950113*c_1001_2^19 - 20889477176971530560978138/135945594436983371*c_1001_2^17 + 25007808959915319036649726/135945594436983371*c_1001_2^15 - 21427503508642827443993750/135945594436983371*c_1001_2^13 + 12938713129012747852311494/135945594436983371*c_1001_2^11 - 15826101692826832695189076/407836783310950113*c_1001_2^9 + 4130265964779598308907738/407836783310950113*c_1001_2^7 - 646025554948516234131127/407836783310950113*c_1001_2^5 + 54291742291654389736862/407836783310950113*c_1001_2^3 - 620678104000102533489/135945594436983371*c_1001_2, c_1001_2^28 - 737/48*c_1001_2^26 + 7391/72*c_1001_2^24 - 19055/48*c_1001_2^22 + 143597/144*c_1001_2^20 - 124451/72*c_1001_2^18 + 307787/144*c_1001_2^16 - 1911*c_1001_2^14 + 19597/16*c_1001_2^12 - 39347/72*c_1001_2^10 + 1967/12*c_1001_2^8 - 4583/144*c_1001_2^6 + 91/24*c_1001_2^4 - 1/4*c_1001_2^2 + 1/144 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB