Magma V2.19-8 Tue Aug 20 2013 16:14:58 on localhost [Seed = 3600239308] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s950 geometric_solution 5.93016663 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -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 0 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.653262812167 0.880819237111 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 -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.575359516807 0.717029844531 3 0 4 5 2310 0132 3201 2310 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 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.575359516807 0.717029844531 3 1 2 3 3012 0132 3201 1230 0 0 0 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.253569418332 0.892184790333 2 4 1 4 2310 2310 0132 3201 0 0 0 0 0 1 -1 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907589829129 0.912303529147 2 5 5 1 3201 1230 3012 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 0.616726922903 0.678475102067 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : 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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 440631966347/18726384136*c_0101_3^23 + 430657784047/9363192068*c_0101_3^22 - 8957948891775/18726384136*c_0101_3^21 - 2090718084806/2340798017*c_0101_3^20 + 577291589593/137694001*c_0101_3^19 + 138141584907909/18726384136*c_0101_3^18 - 97975310432647/4681596034*c_0101_3^17 - 638257055707437/18726384136*c_0101_3^16 + 1238775031163271/18726384136*c_0101_3^15 + 914233703640005/9363192068*c_0101_3^14 - 1300323721461255/9363192068*c_0101_3^13 - 3406197538687669/18726384136*c_0101_3^12 + 217078611057303/1101552008*c_0101_3^11 + 18190200408182/80717173*c_0101_3^10 - 3537666256337585/18726384136*c_0101_3^9 - 121412619104631/645737384*c_0101_3^8 + 561440788402193/4681596034*c_0101_3^7 + 1980502569491193/18726384136*c_0101_3^6 - 890627396532391/18726384136*c_0101_3^5 - 180316033217645/4681596034*c_0101_3^4 + 193666642091757/18726384136*c_0101_3^3 + 149112913145533/18726384136*c_0101_3^2 - 8374435051859/9363192068*c_0101_3 - 2976951146469/4681596034, c_0011_0 - 1, c_0011_4 + 55070004/137694001*c_0101_3^23 + 252138803/275388002*c_0101_3^22 - 1087704329/137694001*c_0101_3^21 - 4926209167/275388002*c_0101_3^20 + 9216400555/137694001*c_0101_3^19 + 20496695803/137694001*c_0101_3^18 - 88608590045/275388002*c_0101_3^17 - 95568720420/137694001*c_0101_3^16 + 269424468365/275388002*c_0101_3^15 + 553274625599/275388002*c_0101_3^14 - 272923201260/137694001*c_0101_3^13 - 520512874538/137694001*c_0101_3^12 + 753952698829/275388002*c_0101_3^11 + 44729107571/9496138*c_0101_3^10 - 356612348258/137694001*c_0101_3^9 - 37105708979/9496138*c_0101_3^8 + 452197243403/275388002*c_0101_3^7 + 294753324581/137694001*c_0101_3^6 - 178766516011/275388002*c_0101_3^5 - 203236533011/275388002*c_0101_3^4 + 19383290043/137694001*c_0101_3^3 + 38490935323/275388002*c_0101_3^2 - 3708618901/275388002*c_0101_3 - 1358394587/137694001, c_0101_0 - 1781507243/550776004*c_0101_3^23 - 219585230/137694001*c_0101_3^22 + 36300041635/550776004*c_0101_3^21 + 7100244529/275388002*c_0101_3^20 - 78496119413/137694001*c_0101_3^19 - 94735319761/550776004*c_0101_3^18 + 758609724333/275388002*c_0101_3^17 + 340121015185/550776004*c_0101_3^16 - 4535786670957/550776004*c_0101_3^15 - 182605284883/137694001*c_0101_3^14 + 4390725860729/275388002*c_0101_3^13 + 1018049238125/550776004*c_0101_3^12 - 11234746159813/550776004*c_0101_3^11 - 17724071161/9496138*c_0101_3^10 + 9581168636197/550776004*c_0101_3^\ 9 + 29873096789/18992276*c_0101_3^8 - 2712144649973/275388002*c_0101_3^7 - 620963648469/550776004*c_0101_3^6 + 1957998183845/550776004*c_0101_3^5 + 152218483393/275388002*c_0101_3^4 - 402083605321/550776004*c_0101_3^3 - 79038683659/550776004*c_0101_3^2 + 8571883608/137694001*c_0101_3 + 1955320514/137694001, c_0101_1 - 494265822/137694001*c_0101_3^23 - 678745335/275388002*c_0101_3^22 + 10049831666/137694001*c_0101_3^21 + 11901509843/275388002*c_0101_3^20 - 86904059762/137694001*c_0101_3^19 - 44312150867/137694001*c_0101_3^18 + 842071140035/275388002*c_0101_3^17 + 185072424350/137694001*c_0101_3^16 - 2535723552875/275388002*c_0101_3^15 - 971806181175/275388002*c_0101_3^14 + 2490228181581/137694001*c_0101_3^13 + 855329998985/137694001*c_0101_3^12 - 6531097703519/275388002*c_0101_3^11 - 72189162769/9496138*c_0101_3^10 + 2891268388306/137694001*c_0101_3^\ 9 + 62514739133/9496138*c_0101_3^8 - 3438967745035/275388002*c_0101_3^7 - 553851952408/137694001*c_0101_3^6 + 1313561168033/275388002*c_0101_3^5 + 449976330273/275388002*c_0101_3^4 - 143902268583/137694001*c_0101_3^3 - 104725594209/275388002*c_0101_3^2 + 26944262757/275388002*c_0101_3 + 4919601239/137694001, c_0101_2 - c_0101_3^2 + 1, c_0101_3^24 - 21*c_0101_3^22 + 2*c_0101_3^21 + 188*c_0101_3^20 - 33*c_0101_3^19 - 946*c_0101_3^18 + 229*c_0101_3^17 + 2971*c_0101_3^16 - 872*c_0101_3^15 - 6122*c_0101_3^14 + 2005*c_0101_3^13 + 8499*c_0101_3^12 - 2910*c_0101_3^11 - 8079*c_0101_3^10 + 2717*c_0101_3^9 + 5298*c_0101_3^8 - 1625*c_0101_3^7 - 2371*c_0101_3^6 + 602*c_0101_3^5 + 691*c_0101_3^4 - 127*c_0101_3^3 - 116*c_0101_3^2 + 12*c_0101_3 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB