Magma V2.19-8 Tue Aug 20 2013 16:14:28 on localhost [Seed = 2833855661] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s466 geometric_solution 4.81683430 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 1 1 0 3201 0132 1023 2310 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 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 1.392314783924 0.517462676124 2 0 0 3 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 0 1 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 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.525355118263 0.672385745271 1 3 3 4 0132 0321 1302 0132 0 0 0 0 0 0 0 0 1 0 -1 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.761253873910 0.752000491181 2 4 1 2 2031 2310 0132 0321 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 -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.761253873910 0.752000491181 5 5 2 3 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341503840860 0.448413894776 4 5 4 5 0132 1302 2310 2031 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 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 -1.802791447294 1.563217785409 ==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_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_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_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), '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_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_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 8411350712/8366172563*c_0101_5^21 - 118726805357/8366172563*c_0101_5^20 - 674433152201/8366172563*c_0101_5^19 - 254133848666/1195167509*c_0101_5^18 - 941461054586/8366172563*c_0101_5^17 + 7156332780292/8366172563*c_0101_5^16 + 18848654265815/8366172563*c_0101_5^15 + 9166811363558/8366172563*c_0101_5^14 - 5314616998367/1195167509*c_0101_5^13 - 68183972049610/8366172563*c_0101_5^12 - 1040783499363/1195167509*c_0101_5^11 + 98349170347244/8366172563*c_0101_5^10 + 92442402895713/8366172563*c_0101_5^9 - 39409321565167/8366172563*c_0101_5^8 - 108869137637061/8366172563*c_0101_5^7 - 28485415133094/8366172563*c_0101_5^6 + 54828197519458/8366172563*c_0101_5^5 + 34410398158915/8366172563*c_0101_5^4 - 11699149857085/8366172563*c_0101_5^3 - 1837923071677/1195167509*c_0101_5^2 + 78826666739/1195167509*c_0101_5 + 1742473393301/8366172563, c_0011_0 - 1, c_0011_3 + 4735773519/8366172563*c_0101_5^21 + 58433784384/8366172563*c_0101_5^20 + 279066209228/8366172563*c_0101_5^19 + 78111571715/1195167509*c_0101_5^18 - 229151015263/8366172563*c_0101_5^17 - 3130130801670/8366172563*c_0101_5^16 - 4957543493460/8366172563*c_0101_5^15 + 1413059491199/8366172563*c_0101_5^14 + 1941662738068/1195167509*c_0101_5^13 + 12942351179641/8366172563*c_0101_5^12 - 1235950624093/1195167509*c_0101_5^11 - 24439485923551/8366172563*c_0101_5^10 - 8913772762802/8366172563*c_0101_5^9 + 15884329773113/8366172563*c_0101_5^8 + 14911137814715/8366172563*c_0101_5^7 - 2425170940936/8366172563*c_0101_5^6 - 7406193371559/8366172563*c_0101_5^5 - 1138655103468/8366172563*c_0101_5^4 + 1495628885666/8366172563*c_0101_5^3 + 40948207485/1195167509*c_0101_5^2 - 16350457155/1195167509*c_0101_5 - 2075614081/8366172563, c_0011_4 + 1918139593/8366172563*c_0101_5^21 + 23440914137/8366172563*c_0101_5^20 + 112851455505/8366172563*c_0101_5^19 + 33843740222/1195167509*c_0101_5^18 - 3455212920/8366172563*c_0101_5^17 - 1112729278677/8366172563*c_0101_5^16 - 2201587107260/8366172563*c_0101_5^15 - 539589953237/8366172563*c_0101_5^14 + 628085983009/1195167509*c_0101_5^13 + 6872750554052/8366172563*c_0101_5^12 + 138230212173/1195167509*c_0101_5^11 - 8304041252823/8366172563*c_0101_5^10 - 8943505715755/8366172563*c_0101_5^9 + 318977326258/8366172563*c_0101_5^8 + 7275388871084/8366172563*c_0101_5^7 + 4597584320989/8366172563*c_0101_5^6 - 1171526389303/8366172563*c_0101_5^5 - 2442262208364/8366172563*c_0101_5^4 - 577279437006/8366172563*c_0101_5^3 + 50674299042/1195167509*c_0101_5^2 + 18713270029/1195167509*c_0101_5 - 7770015643/8366172563, c_0101_0 + 2830281274/8366172563*c_0101_5^21 + 35802990033/8366172563*c_0101_5^20 + 177213400151/8366172563*c_0101_5^19 + 53413067842/1195167509*c_0101_5^18 - 53603132328/8366172563*c_0101_5^17 - 1927965076894/8366172563*c_0101_5^16 - 3450428492199/8366172563*c_0101_5^15 + 202415077905/8366172563*c_0101_5^14 + 1214591142014/1195167509*c_0101_5^13 + 9555935685321/8366172563*c_0101_5^12 - 570097395996/1195167509*c_0101_5^11 - 16204235940982/8366172563*c_0101_5^10 - 7859983917306/8366172563*c_0101_5^9 + 9588611225698/8366172563*c_0101_5^8 + 11075103527450/8366172563*c_0101_5^7 - 636981474448/8366172563*c_0101_5^6 - 5396701258402/8366172563*c_0101_5^5 - 1318906886523/8366172563*c_0101_5^4 + 1084631455969/8366172563*c_0101_5^3 + 49518593465/1195167509*c_0101_5^2 - 11126153291/1195167509*c_0101_5 - 9404487558/8366172563, c_0101_1 - 1604502156/8366172563*c_0101_5^21 - 20203167839/8366172563*c_0101_5^20 - 101273862826/8366172563*c_0101_5^19 - 32521469983/1195167509*c_0101_5^18 - 41003569709/8366172563*c_0101_5^17 + 998221337187/8366172563*c_0101_5^16 + 2175845455270/8366172563*c_0101_5^15 + 760691387076/8366172563*c_0101_5^14 - 597305619491/1195167509*c_0101_5^13 - 7013766584415/8366172563*c_0101_5^12 - 159335976505/1195167509*c_0101_5^11 + 8613577823097/8366172563*c_0101_5^10 + 9055300577985/8366172563*c_0101_5^9 - 1059545662027/8366172563*c_0101_5^8 - 7859116145716/8366172563*c_0101_5^7 - 4068130965770/8366172563*c_0101_5^6 + 1867407813237/8366172563*c_0101_5^5 + 2375567538265/8366172563*c_0101_5^4 + 292002463261/8366172563*c_0101_5^3 - 53012391444/1195167509*c_0101_5^2 - 13120745810/1195167509*c_0101_5 + 6811387600/8366172563, c_0101_5^22 + 13*c_0101_5^21 + 67*c_0101_5^20 + 153*c_0101_5^19 + 19*c_0101_5^18 - 718*c_0101_5^17 - 1497*c_0101_5^16 - 289*c_0101_5^15 + 3329*c_0101_5^14 + 4720*c_0101_5^13 - 575*c_0101_5^12 - 7223*c_0101_5^11 - 5224*c_0101_5^10 + 3384*c_0101_5^9 + 6279*c_0101_5^8 + 977*c_0101_5^7 - 2935*c_0101_5^6 - 1410*c_0101_5^5 + 577*c_0101_5^4 + 438*c_0101_5^3 - 42*c_0101_5^2 - 44*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB