Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2901225545] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0784 geometric_solution 4.72419307 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.250217799351 0.113856865387 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 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 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 1.348034580322 0.328923429624 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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.462684045272 0.746981253853 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 1 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 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.145394777485 0.636952758429 3 5 2 3 2310 1023 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 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.145394777485 0.636952758429 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.956169101240 1.332654079284 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473878342139 0.439995870380 ==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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], '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_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], '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' : 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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], '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' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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 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: 2 Groebner basis: [ t - 8*c_0101_6, c_0011_0 - 1, c_0011_4 + 1, c_0101_0 + c_0101_6, c_0101_1 + c_0101_6, c_0101_2 - c_0101_6, c_0101_3 + c_0101_6, c_0101_6^2 - 1/2 ], 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: 22 Groebner basis: [ t - 158978274664595075422998877603113/3283125614548188561107435696284*c\ _0101_6^21 - 6995255418743042726983498766631259/3283125614548188561\ 107435696284*c_0101_6^19 - 77983491073503768772425281306852673/1641\ 562807274094280553717848142*c_0101_6^17 - 197181226918297176297561025441843365/328312561454818856110743569628\ 4*c_0101_6^15 - 1176061320261120907030561465551633537/3283125614548\ 188561107435696284*c_0101_6^13 + 3212091756225707871565797753200956\ 397/1641562807274094280553717848142*c_0101_6^11 - 3445699121859062553013509949205739658/82078140363704714027685892407\ 1*c_0101_6^9 + 17691515995680039832503571320110124919/3283125614548\ 188561107435696284*c_0101_6^7 - 27391350820531183293035587538504507\ 17/820781403637047140276858924071*c_0101_6^5 + 1218639837215724483927199573078792747/16415628072740942805537178481\ 42*c_0101_6^3 - 43910206121754763168979309068634973/328312561454818\ 8561107435696284*c_0101_6, c_0011_0 - 1, c_0011_4 + 1730143857582974341922373250/820781403637047140276858924071*\ c_0101_6^20 + 76756491820389519108496864256/82078140363704714027685\ 8924071*c_0101_6^18 + 1725388013265645780665933835813/8207814036370\ 47140276858924071*c_0101_6^16 + 2779265063933627662418070743845/820\ 781403637047140276858924071*c_0101_6^14 + 13971762138177215316930186761698/820781403637047140276858924071*c_0\ 101_6^12 - 64503026201925288587709892161918/82078140363704714027685\ 8924071*c_0101_6^10 + 128094692367304318903495236995148/82078140363\ 7047140276858924071*c_0101_6^8 - 151220257931933360997159436677311/\ 820781403637047140276858924071*c_0101_6^6 + 74231416973276056373827012905282/820781403637047140276858924071*c_0\ 101_6^4 - 9903859614448231110750121604438/8207814036370471402768589\ 24071*c_0101_6^2 - 81446715979913381101389768979/820781403637047140\ 276858924071, c_0101_0 + 73515050157011219495892764264/820781403637047140276858924071\ *c_0101_6^21 + 3234048446410244999922989472718/82078140363704714027\ 6858924071*c_0101_6^19 + 72090397090042720542095563483540/820781403\ 637047140276858924071*c_0101_6^17 + 90444533413441808116508603319582/820781403637047140276858924071*c_0\ 101_6^15 + 542084655971758268446723217132741/8207814036370471402768\ 58924071*c_0101_6^13 - 2977621889067420152091418029523279/820781403\ 637047140276858924071*c_0101_6^11 + 6394676268223216449081336385360009/820781403637047140276858924071*c\ _0101_6^9 - 8213234678543264597696888180010497/82078140363704714027\ 6858924071*c_0101_6^7 + 5091707959688768131490836800707961/82078140\ 3637047140276858924071*c_0101_6^5 - 1117871719507112371384931251307305/820781403637047140276858924071*c\ _0101_6^3 + 11765277959779105098960709188965/8207814036370471402768\ 58924071*c_0101_6, c_0101_1 + 101088697808637877157683931526/82078140363704714027685892407\ 1*c_0101_6^21 + 4449499827642927410162080736895/8207814036370471402\ 76858924071*c_0101_6^19 + 99238956357560845523814538980713/82078140\ 3637047140276858924071*c_0101_6^17 + 126845592369579923976423079110255/820781403637047140276858924071*c_\ 0101_6^15 + 750307279863555734924128997763273/820781403637047140276\ 858924071*c_0101_6^13 - 4072835588004870333916296997409034/82078140\ 3637047140276858924071*c_0101_6^11 + 8710639514233061303738493041832959/820781403637047140276858924071*c\ _0101_6^9 - 11146089364073847780072163662994239/8207814036370471402\ 76858924071*c_0101_6^7 + 6847619402227308352333608685019176/8207814\ 03637047140276858924071*c_0101_6^5 - 1496351878510119623065894828508526/820781403637047140276858924071*c\ _0101_6^3 + 21449024404592960362909676631870/8207814036370471402768\ 58924071*c_0101_6, c_0101_2 + 17478108632808108587188675672/820781403637047140276858924071\ *c_0101_6^21 + 767967793041012842124808196016/820781403637047140276\ 858924071*c_0101_6^19 + 17098463376321100911988948181690/8207814036\ 37047140276858924071*c_0101_6^17 + 20583129854670151959435544781270/820781403637047140276858924071*c_0\ 101_6^15 + 127408245624977821722957924211768/8207814036370471402768\ 58924071*c_0101_6^13 - 715450481703513957526386951267715/8207814036\ 37047140276858924071*c_0101_6^11 + 1554622631923044925901257986704025/820781403637047140276858924071*c\ _0101_6^9 - 2022535388831555005145970346005415/82078140363704714027\ 6858924071*c_0101_6^7 + 1294912265594975717160616077298650/82078140\ 3637047140276858924071*c_0101_6^5 - 310378132481430503887110020396818/820781403637047140276858924071*c_\ 0101_6^3 + 11569808697044971215476109878938/82078140363704714027685\ 8924071*c_0101_6, c_0101_3 + 2253983904591567767294350533/820781403637047140276858924071*\ c_0101_6^21 + 98865124538455590636244722273/82078140363704714027685\ 8924071*c_0101_6^19 + 2197309446842685734596167018406/8207814036370\ 47140276858924071*c_0101_6^17 + 2479356497051560729222250593049/820\ 781403637047140276858924071*c_0101_6^15 + 16079924583917786708126893989522/820781403637047140276858924071*c_0\ 101_6^13 - 93843714215037342032185273298160/82078140363704714027685\ 8924071*c_0101_6^11 + 206195916262550941843983582624720/82078140363\ 7047140276858924071*c_0101_6^9 - 271557070616193783086443412912459/\ 820781403637047140276858924071*c_0101_6^7 + 179381607949517477082889528795674/820781403637047140276858924071*c_\ 0101_6^5 - 45520374038335672350953990658547/82078140363704714027685\ 8924071*c_0101_6^3 + 3646137515057786913046868727780/82078140363704\ 7140276858924071*c_0101_6, c_0101_6^22 + 44*c_0101_6^20 + 981*c_0101_6^18 + 1239*c_0101_6^16 + 7396*c_0101_6^14 - 40419*c_0101_6^12 + 86750*c_0101_6^10 - 111399*c_0101_6^8 + 69069*c_0101_6^6 - 15426*c_0101_6^4 + 299*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB