Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 4038159815] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2505 geometric_solution 5.82521852 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489980275506 0.231932246781 2 0 3 0 0132 2310 0132 0132 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 0 0 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.842701258531 0.557293232777 1 4 3 5 0132 0132 3012 0132 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 0 -1 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.879967127944 1.015922283489 5 2 4 1 3201 1230 1023 0132 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 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.879967127944 1.015922283489 6 2 3 6 0132 0132 1023 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 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.416161974194 0.552069340914 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.561465654389 0.958774933909 4 6 6 4 0132 1230 3012 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 0 0 0 0 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.803603948609 0.718653772813 ==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_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 361052148431609245226872921/943413170694593839484451*c_0101_6^31 + 9683776167158703148780465357/943413170694593839484451*c_0101_6^29 - 39743847019653877806308858979/314471056898197946494817*c_0101_6^27 + 894978865266725978258516522339/943413170694593839484451*c_0101_6^25 - 1513588846285374218855646832600/314471056898197946494817*c_0101_6\ ^23 + 16273195127999648597147362170887/943413170694593839484451*c_0\ 101_6^21 - 42022011006113378564188956518998/94341317069459383948445\ 1*c_0101_6^19 + 78919097113103140929687703837412/943413170694593839\ 484451*c_0101_6^17 - 108229693088170794427281808795330/943413170694\ 593839484451*c_0101_6^15 + 107819639704300275183691633912600/943413\ 170694593839484451*c_0101_6^13 - 76423601305054795903992315173669/9\ 43413170694593839484451*c_0101_6^11 + 12342931584355697561525388689445/314471056898197946494817*c_0101_6^\ 9 - 3834424683210158135756221232270/314471056898197946494817*c_0101\ _6^7 + 2099668054447672261998750966037/943413170694593839484451*c_0\ 101_6^5 - 195494823960064597797382946317/943413170694593839484451*c\ _0101_6^3 + 6690170547379427521923978086/943413170694593839484451*c\ _0101_6, c_0011_0 - 1, c_0011_1 + 168489176080992603690347/314471056898197946494817*c_0101_6^3\ 0 - 4527826689187206460644164/314471056898197946494817*c_0101_6^28 + 55865564701329205041462093/314471056898197946494817*c_0101_6^26 - 420270187631814090777240725/314471056898197946494817*c_0101_6^24 + 2137378319067575847299423188/314471056898197946494817*c_0101_6^22 - 7679753879603158726611539360/314471056898197946494817*c_0101_6^20 + 19884317124847573069995279928/314471056898197946494817*c_0101_6^18 - 37432826889260022242660530658/314471056898197946494817*c_0101_6^16 + 51404183282697630008586767969/314471056898197946494817*c_0101_6^14 - 51159329357696410157884808451/314471056898197946494817*c_0101_6^12 + 36049767530952125610968137164/314471056898197946494817*c_0101_6^10 - 17169107022833118135363486314/314471056898197946494817*c_0101_6^8 + 5097723067063312562800816207/314471056898197946494817*c_0101_6^6 - 826785371229655168516035301/314471056898197946494817*c_0101_6^4 + 57360704918899392259308686/314471056898197946494817*c_0101_6^2 - 1007493301799421559890021/314471056898197946494817, c_0011_3 + 63454948922846690252785/314471056898197946494817*c_0101_6^30 - 1722186635054134862288094/314471056898197946494817*c_0101_6^28 + 21487268874753748140534361/314471056898197946494817*c_0101_6^26 - 163691152229113242462787890/314471056898197946494817*c_0101_6^24 + 844744662299172083585964073/314471056898197946494817*c_0101_6^22 - 3089103460946298582668029947/314471056898197946494817*c_0101_6^20 + 8172105540391092480538397633/314471056898197946494817*c_0101_6^18 - 15792373900544911950082896824/314471056898197946494817*c_0101_6^16 + 22379246820184231232778059233/314471056898197946494817*c_0101_6^14 - 23134783135256378213775557278/314471056898197946494817*c_0101_6^12 + 17090816215083825626967718326/314471056898197946494817*c_0101_6^10 - 8646869268849560857827144450/314471056898197946494817*c_0101_6^8 + 2775713091128779118577188697/314471056898197946494817*c_0101_6^6 - 492931783091985314475926173/314471056898197946494817*c_0101_6^4 + 36592957631943034286737598/314471056898197946494817*c_0101_6^2 - 647868098686501937136811/314471056898197946494817, c_0011_5 + 1515164153445781679196/314471056898197946494817*c_0101_6^30 - 58840013874616279223478/314471056898197946494817*c_0101_6^28 + 982597198127940582725413/314471056898197946494817*c_0101_6^26 - 9607754663288203178873903/314471056898197946494817*c_0101_6^24 + 62230241855342641541948125/314471056898197946494817*c_0101_6^22 - 282739590255033047063838665/314471056898197946494817*c_0101_6^20 + 924207319294481898410323307/314471056898197946494817*c_0101_6^18 - 2194103652254470506762635777/314471056898197946494817*c_0101_6^16 + 3788834485461461348484609313/314471056898197946494817*c_0101_6^14 - 4741710306097241828141786730/314471056898197946494817*c_0101_6^12 + 4235842294912906216486895756/314471056898197946494817*c_0101_6^10 - 2601035097325354389689091176/314471056898197946494817*c_0101_6^8 + 1021511933894462320935762103/314471056898197946494817*c_0101_6^6 - 224853896339854997505998237/314471056898197946494817*c_0101_6^4 + 21919797799204224287612861/314471056898197946494817*c_0101_6^2 - 647632531768600135092318/314471056898197946494817, c_0101_0 - 7162756345373036744754/314471056898197946494817*c_0101_6^31 + 120679756431249221848271/314471056898197946494817*c_0101_6^29 - 474397741480131331862612/314471056898197946494817*c_0101_6^27 - 5173063307744713556347228/314471056898197946494817*c_0101_6^25 + 78939888246167407490468064/314471056898197946494817*c_0101_6^23 - 515986823343639356133420370/314471056898197946494817*c_0101_6^21 + 2088974880817723214729455974/314471056898197946494817*c_0101_6^19 - 5707306462778543510539733007/314471056898197946494817*c_0101_6^17 + 10856068609349155823560651843/314471056898197946494817*c_0101_6^15 - 14559047698025684777294544056/314471056898197946494817*c_0101_6^13 + 13682208424357650187703477033/314471056898197946494817*c_0101_6^11 - 8707432326132997607187975803/314471056898197946494817*c_0101_6^9 + 3485929324804844105704324025/314471056898197946494817*c_0101_6^7 - 762502141244086842835759685/314471056898197946494817*c_0101_6^5 + 74453274072070301074770507/314471056898197946494817*c_0101_6^3 - 3089431919243402294845070/314471056898197946494817*c_0101_6, c_0101_3 - 366398190981373125354923/314471056898197946494817*c_0101_6^3\ 1 + 9765974257915997384394686/314471056898197946494817*c_0101_6^29 - 119362870243179077531304109/314471056898197946494817*c_0101_6^27 + 888214631026713392597683461/314471056898197946494817*c_0101_6^25 - 4458701677127506677072888782/314471056898197946494817*c_0101_6^23 + 15762695809038622762698071868/314471056898197946494817*c_0101_6^21 - 39979548536316117444318520562/314471056898197946494817*c_0101_6^19 + 73305932144211505237838746931/314471056898197946494817*c_0101_6^17 - 97352309198123603338273566019/314471056898197946494817*c_0101_6^15 + 92787519597542241538584054049/314471056898197946494817*c_0101_6^13 - 61671718772354150382105551100/314471056898197946494817*c_0101_6^11 + 27026689758696852945325785547/314471056898197946494817*c_0101_6^9 - 7088803392540094416656824059/314471056898197946494817*c_0101_6^7 + 966379678750726517260664614/314471056898197946494817*c_0101_6^5 - 56852766036498496755729981/314471056898197946494817*c_0101_6^3 + 1582727253195761274627420/314471056898197946494817*c_0101_6, c_0101_6^32 - 27*c_0101_6^30 + 335*c_0101_6^28 - 2537*c_0101_6^26 + 13009*c_0101_6^24 - 47240*c_0101_6^22 + 124043*c_0101_6^20 - 237970*c_0101_6^18 + 335270*c_0101_6^16 - 345756*c_0101_6^14 + 256633*c_0101_6^12 - 132574*c_0101_6^10 + 45183*c_0101_6^8 - 9436*c_0101_6^6 + 1086*c_0101_6^4 - 58*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB