Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 1208603793] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0908 geometric_solution 4.80228341 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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.624149821330 0.214635044840 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.943101976635 0.278063925950 1 3 3 4 0132 0213 3012 0132 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 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.719554360616 0.605110370280 4 2 2 1 0132 1230 0213 0132 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 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.719554360616 0.605110370280 3 5 2 5 0132 0132 0132 2310 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 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 2.185380550626 1.318491300791 4 4 6 6 3201 0132 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 1 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.128940060210 0.320118866477 6 5 6 5 2031 2310 1302 0132 0 0 0 0 0 -1 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 1 -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 -1.907786586929 2.859707303429 ==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_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_3'], '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' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_1']), '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' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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_6, c_0101_0, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 216867574601741553275528355/29707019180432038481761303*c_0110_5^21 - 1597740891835796295574370466/29707019180432038481761303*c_0110_5^20 - 1686677670589644617716367635/29707019180432038481761303*c_0110_5^\ 19 + 12027804150286586062072283615/29707019180432038481761303*c_011\ 0_5^18 + 24580003624589302546930803669/29707019180432038481761303*c\ _0110_5^17 - 27668927606855479675634323511/297070191804320384817613\ 03*c_0110_5^16 - 50132909228829829476205002095/29707019180432038481\ 761303*c_0110_5^15 + 107259675980916406019990653292/297070191804320\ 38481761303*c_0110_5^14 - 34341177756036847021728472807/29707019180\ 432038481761303*c_0110_5^13 - 527622110103134306436532427917/297070\ 19180432038481761303*c_0110_5^12 + 86774550779106874563191192683/29707019180432038481761303*c_0110_5^1\ 1 + 990897447694764549408487508382/29707019180432038481761303*c_011\ 0_5^10 - 403229238054515439607698917984/29707019180432038481761303*\ c_0110_5^9 - 1286279135825555212962581508593/2970701918043203848176\ 1303*c_0110_5^8 + 847334595552672958107382215566/297070191804320384\ 81761303*c_0110_5^7 + 1310842791141106743859699903122/2970701918043\ 2038481761303*c_0110_5^6 - 629682316010584177744546555942/297070191\ 80432038481761303*c_0110_5^5 - 616598418537570709914701324378/29707\ 019180432038481761303*c_0110_5^4 + 275335317234471424450441353299/29707019180432038481761303*c_0110_5^\ 3 + 51474753804115018501895150380/29707019180432038481761303*c_0110\ _5^2 - 65609414908568359451026861033/29707019180432038481761303*c_0\ 110_5 + 31048046529872148700088229402/29707019180432038481761303, c_0011_0 - 1, c_0011_1 + 16401795097383463578252/1024379971739035809715907*c_0110_5^2\ 1 + 181750257371762014825350/1024379971739035809715907*c_0110_5^20 + 674712148578551127987886/1024379971739035809715907*c_0110_5^19 + 497675135236692997693404/1024379971739035809715907*c_0110_5^18 - 2549323150169285608635004/1024379971739035809715907*c_0110_5^17 - 5028523933250499435184188/1024379971739035809715907*c_0110_5^16 - 962067158411694340321513/1024379971739035809715907*c_0110_5^15 - 6674252090641660740512885/1024379971739035809715907*c_0110_5^14 - 26222249269408469084774389/1024379971739035809715907*c_0110_5^13 + 3995520767383146995125092/1024379971739035809715907*c_0110_5^12 + 59339489184713047748390819/1024379971739035809715907*c_0110_5^11 - 8337901769302282466816936/1024379971739035809715907*c_0110_5^10 - 81895987195341118856390447/1024379971739035809715907*c_0110_5^9 + 45341585183438954600941315/1024379971739035809715907*c_0110_5^8 + 116871736458814908280019778/1024379971739035809715907*c_0110_5^7 - 26505572260548254439313605/1024379971739035809715907*c_0110_5^6 - 73218371769642365483022024/1024379971739035809715907*c_0110_5^5 + 6940844034230630593340486/1024379971739035809715907*c_0110_5^4 + 12935158210031044887213962/1024379971739035809715907*c_0110_5^3 - 4108156746375331896057493/1024379971739035809715907*c_0110_5^2 + 1627146060821555372575313/1024379971739035809715907*c_0110_5 + 327051380494178031802382/1024379971739035809715907, c_0011_3 - 101468602586054652815962/1024379971739035809715907*c_0110_5^\ 21 - 930255948885151561850630/1024379971739035809715907*c_0110_5^20 - 2517065736168963139245079/1024379971739035809715907*c_0110_5^19 + 668249411460024285052128/1024379971739035809715907*c_0110_5^18 + 11881627197585807686546562/1024379971739035809715907*c_0110_5^17 + 9906782015065055050944785/1024379971739035809715907*c_0110_5^16 - 435328564110424891451712/1024379971739035809715907*c_0110_5^15 + 48851677679568059197395107/1024379971739035809715907*c_0110_5^14 + 69809628570480785360673343/1024379971739035809715907*c_0110_5^13 - 95847140404421534801337958/1024379971739035809715907*c_0110_5^12 - 124179841069827641569105930/1024379971739035809715907*c_0110_5^11 + 170059188309694133408465788/1024379971739035809715907*c_0110_5^10 + 112328767381489612463624347/1024379971739035809715907*c_0110_5^9 - 289725634332945512391945904/1024379971739035809715907*c_0110_5^8 - 161824243636592500269788535/1024379971739035809715907*c_0110_5^7 + 179416132231187251312588584/1024379971739035809715907*c_0110_5^6 + 75255524627810002514927024/1024379971739035809715907*c_0110_5^5 - 53783273498146043487414091/1024379971739035809715907*c_0110_5^4 + 2036968674564229102333667/1024379971739035809715907*c_0110_5^3 + 5274056441080805418764866/1024379971739035809715907*c_0110_5^2 - 6028714531423153704932998/1024379971739035809715907*c_0110_5 + 662576424625631184588449/1024379971739035809715907, c_0011_6 - 71960595639154735765273/1024379971739035809715907*c_0110_5^2\ 1 - 681095949313709830023330/1024379971739035809715907*c_0110_5^20 - 1937980746125126493692446/1024379971739035809715907*c_0110_5^19 + 275292401682959466729795/1024379971739035809715907*c_0110_5^18 + 9183203317616636470356170/1024379971739035809715907*c_0110_5^17 + 8582099738398108574527784/1024379971739035809715907*c_0110_5^16 - 1532605168817348927383928/1024379971739035809715907*c_0110_5^15 + 34313273079039209067207850/1024379971739035809715907*c_0110_5^14 + 58402644393476842618724742/1024379971739035809715907*c_0110_5^13 - 71143712193691046655902939/1024379971739035809715907*c_0110_5^12 - 113851792046038078088842411/1024379971739035809715907*c_0110_5^11 + 130596880876741873078638894/1024379971739035809715907*c_0110_5^10 + 118002551988557548168659259/1024379971739035809715907*c_0110_5^9 - 234644253785618121963601369/1024379971739035809715907*c_0110_5^8 - 159020947061132896163638351/1024379971739035809715907*c_0110_5^7 + 164076937821494646108617131/1024379971739035809715907*c_0110_5^6 + 84690632412098941185350157/1024379971739035809715907*c_0110_5^5 - 59370775117324480439442567/1024379971739035809715907*c_0110_5^4 - 4615230174827311995540390/1024379971739035809715907*c_0110_5^3 + 9629147669605903013717397/1024379971739035809715907*c_0110_5^2 - 6399331708111987103897101/1024379971739035809715907*c_0110_5 + 729551461369937613716171/1024379971739035809715907, c_0101_0 - 101003792996338520802146/1024379971739035809715907*c_0110_5^\ 21 - 949601554126224357764797/1024379971739035809715907*c_0110_5^20 - 2658983484006308111743380/1024379971739035809715907*c_0110_5^19 + 579695391409342371802271/1024379971739035809715907*c_0110_5^18 + 12958020767575486576321243/1024379971739035809715907*c_0110_5^17 + 11198516022701756133935237/1024379971739035809715907*c_0110_5^16 - 3503532037183704508536316/1024379971739035809715907*c_0110_5^15 + 48303395416756358411264720/1024379971739035809715907*c_0110_5^14 + 80171076130688074261730289/1024379971739035809715907*c_0110_5^13 - 107853193168733786760912141/1024379971739035809715907*c_0110_5^12 - 156589513485146064239929304/1024379971739035809715907*c_0110_5^11 + 202787501944321720114529343/1024379971739035809715907*c_0110_5^10 + 155021652337685630338867666/1024379971739035809715907*c_0110_5^9 - 358701989334220752927523695/1024379971739035809715907*c_0110_5^8 - 196515145593162650723080088/1024379971739035809715907*c_0110_5^7 + 266459669419176639803249890/1024379971739035809715907*c_0110_5^6 + 92840575558781824136784738/1024379971739035809715907*c_0110_5^5 - 106020491855703114906682338/1024379971739035809715907*c_0110_5^4 + 9965956922044185724595763/1024379971739035809715907*c_0110_5^3 + 21507255396239779397332974/1024379971739035809715907*c_0110_5^2 - 12662400322241452870872285/1024379971739035809715907*c_0110_5 + 1387194484816996739698687/1024379971739035809715907, c_0101_1 - 41879530773663193238110/1024379971739035809715907*c_0110_5^2\ 1 - 435196787596640289728236/1024379971739035809715907*c_0110_5^20 - 1473891656930876890633539/1024379971739035809715907*c_0110_5^19 - 689336797501341774650098/1024379971739035809715907*c_0110_5^18 + 5975440454906661213388299/1024379971739035809715907*c_0110_5^17 + 9510475145627242736705010/1024379971739035809715907*c_0110_5^16 + 1006749926217558027507246/1024379971739035809715907*c_0110_5^15 + 18577433079323687630957668/1024379971739035809715907*c_0110_5^14 + 54229228205518627579407105/1024379971739035809715907*c_0110_5^13 - 22861001163798822737095591/1024379971739035809715907*c_0110_5^12 - 114898696534402377030934707/1024379971739035809715907*c_0110_5^11 + 48761258362319424685654268/1024379971739035809715907*c_0110_5^10 + 149080308493501178011606850/1024379971739035809715907*c_0110_5^9 - 132608807469511172029448854/1024379971739035809715907*c_0110_5^8 - 207002518328292501663213368/1024379971739035809715907*c_0110_5^7 + 87079733855967442278664664/1024379971739035809715907*c_0110_5^6 + 117755764253828855586851206/1024379971739035809715907*c_0110_5^5 - 33991120226457875938858647/1024379971739035809715907*c_0110_5^4 - 15945692528615459668480013/1024379971739035809715907*c_0110_5^3 + 10405886621038766302730702/1024379971739035809715907*c_0110_5^2 - 4265594651602895712463205/1024379971739035809715907*c_0110_5 + 658921227609229543455649/1024379971739035809715907, c_0110_5^22 + 9*c_0110_5^21 + 23*c_0110_5^20 - 13*c_0110_5^19 - 121*c_0110_5^18 - 73*c_0110_5^17 + 47*c_0110_5^16 - 475*c_0110_5^15 - 608*c_0110_5^14 + 1192*c_0110_5^13 + 1153*c_0110_5^12 - 2166*c_0110_5^11 - 915*c_0110_5^10 + 3503*c_0110_5^9 + 1056*c_0110_5^8 - 2672*c_0110_5^7 - 427*c_0110_5^6 + 1011*c_0110_5^5 - 171*c_0110_5^4 - 129*c_0110_5^3 + 112*c_0110_5^2 - 25*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB