Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 475889916] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0664 geometric_solution 4.64037204 oriented_manifold CS_known -0.0000000000000001 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.249382933804 0.052799579177 2 0 2 0 0132 2310 2310 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 -1.087245399526 0.759756115950 1 1 3 3 0132 3201 0132 2310 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 -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.183694626826 1.889661659326 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 0 -1 1 -1 0 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 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.594681274898 0.221268500072 5 3 6 5 2031 0132 0132 3201 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 -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.354043821679 0.776162756229 6 4 4 3 0132 2310 1302 0132 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 -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.354043821679 0.776162756229 5 6 6 4 0132 3201 2310 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 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.486473847800 1.066486291869 ==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_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), '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_0110_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_0']), '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_1, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 143886005969473834986405450174/383868792502347223268759119*c_0110_4\ ^27 + 571018261839753304281542296855/383868792502347223268759119*c_\ 0110_4^25 + 16277019907444776120414082736843/3838687925023472232687\ 59119*c_0110_4^23 - 48840739643100027497117457867693/38386879250234\ 7223268759119*c_0110_4^21 + 29118361196967133311499491310235/383868\ 792502347223268759119*c_0110_4^19 - 512339894902972483339100113853348/383868792502347223268759119*c_011\ 0_4^17 + 995261261936859428225227865538290/383868792502347223268759\ 119*c_0110_4^15 - 16271116220174317037388351119360/8167421117071217\ 516356577*c_0110_4^13 + 1838063348769948146688216637686533/38386879\ 2502347223268759119*c_0110_4^11 - 364900323862098054387496753496733\ 3/383868792502347223268759119*c_0110_4^9 + 3111388336344003103578752542652264/383868792502347223268759119*c_01\ 10_4^7 - 1190601315058584812124597569848224/38386879250234722326875\ 9119*c_0110_4^5 + 180151283883002387569835510480338/383868792502347\ 223268759119*c_0110_4^3 - 5317216096424418000391157813390/383868792\ 502347223268759119*c_0110_4, c_0011_0 - 1, c_0011_1 - 158914230200380360316056610/383868792502347223268759119*c_01\ 10_4^26 + 529389703846953070059559824/383868792502347223268759119*c\ _0110_4^24 + 18310109934723061163658333776/383868792502347223268759\ 119*c_0110_4^22 - 42259695216844745788337710367/3838687925023472232\ 68759119*c_0110_4^20 + 5729186110782756515181089607/383868792502347\ 223268759119*c_0110_4^18 - 563308414956794438452584686580/383868792\ 502347223268759119*c_0110_4^16 + 740277631324113903748931500098/383\ 868792502347223268759119*c_0110_4^14 - 8258847162942538758998946863/8167421117071217516356577*c_0110_4^12 + 1801536649798404745055977984110/383868792502347223268759119*c_0110_\ 4^10 - 2890269557141528047891428062636/383868792502347223268759119*\ c_0110_4^8 + 1642637165538387843104306394096/3838687925023472232687\ 59119*c_0110_4^6 - 342300737637115468023911908766/38386879250234722\ 3268759119*c_0110_4^4 + 17257089008122575668639113706/3838687925023\ 47223268759119*c_0110_4^2 + 61362935814396129931017484/383868792502\ 347223268759119, c_0011_3 + 80757563522518607350196549/383868792502347223268759119*c_011\ 0_4^26 - 268503504750252731068302093/383868792502347223268759119*c_\ 0110_4^24 - 9310183826953855648629696960/38386879250234722326875911\ 9*c_0110_4^22 + 21423938535211746176633079445/383868792502347223268\ 759119*c_0110_4^20 - 2355220656700180447349491783/38386879250234722\ 3268759119*c_0110_4^18 + 285680289632893769986679441553/38386879250\ 2347223268759119*c_0110_4^16 - 374788571494384767647308168842/38386\ 8792502347223268759119*c_0110_4^14 + 3870901136109929165676544415/8167421117071217516356577*c_0110_4^12 - 909406036694782942386256009259/383868792502347223268759119*c_0110_4\ ^10 + 1460484007959023002585093729425/383868792502347223268759119*c\ _0110_4^8 - 788136113341600212502354365195/383868792502347223268759\ 119*c_0110_4^6 + 138464122635221606445867401357/3838687925023472232\ 68759119*c_0110_4^4 - 3912546644478367480244914642/3838687925023472\ 23268759119*c_0110_4^2 + 98011647307927310764472062/383868792502347\ 223268759119, c_0011_5 - 369329317727804727613357708/383868792502347223268759119*c_01\ 10_4^27 + 1212296433558053283287192620/383868792502347223268759119*\ c_0110_4^25 + 42616887370239478566444326082/38386879250234722326875\ 9119*c_0110_4^23 - 96140624853601176389032672877/383868792502347223\ 268759119*c_0110_4^21 + 8205271142711877745689968054/38386879250234\ 7223268759119*c_0110_4^19 - 1308244643000412550303649159198/3838687\ 92502347223268759119*c_0110_4^17 + 1657052760176296774857468580405/383868792502347223268759119*c_0110_\ 4^15 - 17200596233746481991638302182/8167421117071217516356577*c_01\ 10_4^13 + 4143506785182679523253733599837/3838687925023472232687591\ 19*c_0110_4^11 - 6513898952179920174510729372085/383868792502347223\ 268759119*c_0110_4^9 + 3461906368296306462865658409768/383868792502\ 347223268759119*c_0110_4^7 - 600645088020771532653581722529/3838687\ 92502347223268759119*c_0110_4^5 + 10841902199797175474043108935/383\ 868792502347223268759119*c_0110_4^3 + 1077695945067273190511552837/383868792502347223268759119*c_0110_4, c_0101_0 + 731087785661037665403153093/383868792502347223268759119*c_01\ 10_4^27 - 2521244253051513932445057499/383868792502347223268759119*\ c_0110_4^25 - 83963731682907142177025379976/38386879250234722326875\ 9119*c_0110_4^23 + 204337452963182266643894555051/38386879250234722\ 3268759119*c_0110_4^21 - 47593131409956231614643799054/383868792502\ 347223268759119*c_0110_4^19 + 2591861804431202944974479018277/38386\ 8792502347223268759119*c_0110_4^17 - 3710719797280884525210071546233/383868792502347223268759119*c_0110_\ 4^15 + 45468092844559138858280287958/8167421117071217516356577*c_01\ 10_4^13 - 8460697452636618476632320300420/3838687925023472232687591\ 19*c_0110_4^11 + 14256464895519503224186438971125/38386879250234722\ 3268759119*c_0110_4^9 - 8970658074294677404277213339999/38386879250\ 2347223268759119*c_0110_4^7 + 2296089180217289410549354171157/38386\ 8792502347223268759119*c_0110_4^5 - 213240595263027845132191265163/383868792502347223268759119*c_0110_4\ ^3 + 4905821413960118387280021437/383868792502347223268759119*c_011\ 0_4, c_0101_1 - 337108998490643414314090901/383868792502347223268759119*c_01\ 10_4^26 + 1116172021285595212241703348/383868792502347223268759119*\ c_0110_4^24 + 38862410353636031295072086436/38386879250234722326875\ 9119*c_0110_4^22 - 88852898322118463791532656031/383868792502347223\ 268759119*c_0110_4^20 + 10577982603013086703426108053/3838687925023\ 47223268759119*c_0110_4^18 - 1195159429189260515154313170824/383868\ 792502347223268759119*c_0110_4^16 + 1546115833345713284730958964098/383868792502347223268759119*c_0110_\ 4^14 - 17002121018257708768476120465/8167421117071217516356577*c_01\ 10_4^12 + 3811195008531982267973741237549/3838687925023472232687591\ 19*c_0110_4^10 - 6059240122773398328349591801360/383868792502347223\ 268759119*c_0110_4^8 + 3381497494870479604861810599534/383868792502\ 347223268759119*c_0110_4^6 - 685514796047273953314548609397/3838687\ 92502347223268759119*c_0110_4^4 + 38096984650298321753235695515/383\ 868792502347223268759119*c_0110_4^2 - 659808330230055787222429482/383868792502347223268759119, c_0110_4^28 - 4*c_0110_4^26 - 113*c_0110_4^24 + 343*c_0110_4^22 - 213*c_0110_4^20 + 3567*c_0110_4^18 - 7029*c_0110_4^16 + 5531*c_0110_4^14 - 12940*c_0110_4^12 + 25761*c_0110_4^10 - 22417*c_0110_4^8 + 8948*c_0110_4^6 - 1508*c_0110_4^4 + 75*c_0110_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB