Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1511769758] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0438 geometric_solution 4.48746835 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 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 -1 0 1 0 0 -1 1 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.753746694379 0.042293856875 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.578932360708 0.122081288677 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.515181912610 1.591494984672 2 2 5 4 0132 3201 0132 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 -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.725316358000 1.637776407958 5 5 3 6 1302 2031 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 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.426230476870 0.394158386427 4 4 6 3 1302 2031 2310 0132 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 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.426230476870 0.394158386427 6 5 4 6 3012 3201 0132 1230 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 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 0.735345924855 1.169494057084 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), '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' : d['c_0011_6'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 209465007218526190973134728750785381235558/191279080869976793063294\ 09919254593442347*c_0101_6^20 + 37940704901046212989611373908048053\ 19698678/19127908086997679306329409919254593442347*c_0101_6^19 - 23051702154197500739528645645838864455027592/1912790808699767930632\ 9409919254593442347*c_0101_6^18 + 405174973392507994898846016656732\ 95941345777/19127908086997679306329409919254593442347*c_0101_6^17 + 26109459639277549106523687835499214981587679/1912790808699767930632\ 9409919254593442347*c_0101_6^16 + 223973077483145674365355419961414\ 501580868068/19127908086997679306329409919254593442347*c_0101_6^15 - 671874825505607506109350480183900997412277892/191279080869976793063\ 29409919254593442347*c_0101_6^14 - 1636606058509618144888055714347751875737620256/19127908086997679306\ 329409919254593442347*c_0101_6^13 + 75078038676060363662380448662683454376422563/1912790808699767930632\ 9409919254593442347*c_0101_6^12 - 229644873714273813613802165619890\ 2551701378788/19127908086997679306329409919254593442347*c_0101_6^11 + 643122944156777645299989820009778793975310997/1912790808699767930\ 6329409919254593442347*c_0101_6^10 + 714638236392584428496958799174636374461984815/191279080869976793063\ 29409919254593442347*c_0101_6^9 + 401180350261870172868004744321847\ 300571001955/19127908086997679306329409919254593442347*c_0101_6^8 + 870294923337780891254135213073069900880520141/191279080869976793063\ 29409919254593442347*c_0101_6^7 + 147104606605992711999119587882079\ 566174345047/19127908086997679306329409919254593442347*c_0101_6^6 + 55985721696206838105904143035891359704841806/1912790808699767930632\ 9409919254593442347*c_0101_6^5 + 1929972071342313796941628393819234\ 5383372980/19127908086997679306329409919254593442347*c_0101_6^4 - 37518569649226415214392844770188295556204546/1912790808699767930632\ 9409919254593442347*c_0101_6^3 - 8542065894201886890636157905028046\ 014271256/19127908086997679306329409919254593442347*c_0101_6^2 - 4078627885986527434752280115644488315466308/19127908086997679306329\ 409919254593442347*c_0101_6 - 1757828471639680762310765137421812122\ 263180/19127908086997679306329409919254593442347, c_0011_0 - 1, c_0011_4 - 3922486231234040027519734173602326714495/1912790808699767930\ 6329409919254593442347*c_0101_6^20 + 70853480966117106274649654422286517588120/1912790808699767930632940\ 9919254593442347*c_0101_6^19 - 428213018125978050606452067049410517\ 001925/19127908086997679306329409919254593442347*c_0101_6^18 + 738953754733332602204075707826901335947315/191279080869976793063294\ 09919254593442347*c_0101_6^17 + 51255287489243950843431191761505256\ 7705140/19127908086997679306329409919254593442347*c_0101_6^16 + 4269501601038410079171420967229736264270611/19127908086997679306329\ 409919254593442347*c_0101_6^15 - 1243537666622414302061849391572167\ 3603701156/19127908086997679306329409919254593442347*c_0101_6^14 - 31212004934142571932483845637199480493616860/1912790808699767930632\ 9409919254593442347*c_0101_6^13 - 686809980490445495059329862310122\ 613710798/19127908086997679306329409919254593442347*c_0101_6^12 - 42405198915644705588335572142674276840743608/1912790808699767930632\ 9409919254593442347*c_0101_6^11 + 120668748652050074413119920651171\ 08167292899/19127908086997679306329409919254593442347*c_0101_6^10 + 12281678995780653087298181404774866494202177/1912790808699767930632\ 9409919254593442347*c_0101_6^9 + 1182211645581160338575426436682280\ 3332141400/19127908086997679306329409919254593442347*c_0101_6^8 + 14816655453311128531492158220543521803278565/1912790808699767930632\ 9409919254593442347*c_0101_6^7 + 3069118257105226802815248180777845\ 362913159/19127908086997679306329409919254593442347*c_0101_6^6 + 998943973769016031378509449762465563984900/191279080869976793063294\ 09919254593442347*c_0101_6^5 - 392478990120257735369615123531186190\ 502622/19127908086997679306329409919254593442347*c_0101_6^4 - 549383068513200271085354844266634410411628/191279080869976793063294\ 09919254593442347*c_0101_6^3 - 209289859414170416157045816869770181\ 474262/19127908086997679306329409919254593442347*c_0101_6^2 - 60609255454052289602716493120000572994913/1912790808699767930632940\ 9919254593442347*c_0101_6 - 928758488006489890234763022619296019796\ 4/19127908086997679306329409919254593442347, c_0011_6 + 3044631847690683187796906825294431557333/1912790808699767930\ 6329409919254593442347*c_0101_6^20 - 56338668935305615038638420934274896163980/1912790808699767930632940\ 9919254593442347*c_0101_6^19 + 357575019560095131730073402030952848\ 650940/19127908086997679306329409919254593442347*c_0101_6^18 - 737325361047947805887595814017923015612458/191279080869976793063294\ 09919254593442347*c_0101_6^17 - 40526589871590556341002001583682627\ 931266/19127908086997679306329409919254593442347*c_0101_6^16 - 3320141247590328347529837115614073324373344/19127908086997679306329\ 409919254593442347*c_0101_6^15 + 1098348679916060913939409483940456\ 8883199362/19127908086997679306329409919254593442347*c_0101_6^14 + 18966787377161568464808068542716395313383542/1912790808699767930632\ 9409919254593442347*c_0101_6^13 - 707445463686981653558837595649058\ 6540646491/19127908086997679306329409919254593442347*c_0101_6^12 + 40236832001038523458740751786183962674101960/1912790808699767930632\ 9409919254593442347*c_0101_6^11 - 244502006327053836705880073196083\ 00155147108/19127908086997679306329409919254593442347*c_0101_6^10 + 3991913671174075566449831826717874369762163/19127908086997679306329\ 409919254593442347*c_0101_6^9 - 81010627085544769695963371670194010\ 45537109/19127908086997679306329409919254593442347*c_0101_6^8 - 11460528378176700231932280610447618642887817/1912790808699767930632\ 9409919254593442347*c_0101_6^7 + 5477300325406600251321900222007781\ 80278007/19127908086997679306329409919254593442347*c_0101_6^6 - 2763806807461493534094571065629835289190296/19127908086997679306329\ 409919254593442347*c_0101_6^5 + 24580362036563211551864354741706444\ 8592337/19127908086997679306329409919254593442347*c_0101_6^4 + 380391815131625548839891694045042087688900/191279080869976793063294\ 09919254593442347*c_0101_6^3 + 440465414787035513726361462181807787\ 41929/19127908086997679306329409919254593442347*c_0101_6^2 + 99186320844087212791843634112238225009420/1912790808699767930632940\ 9919254593442347*c_0101_6 + 756165371127596138511928729152546588384\ 8/19127908086997679306329409919254593442347, c_0101_0 + 1061315314724171800969992571578443078766/1912790808699767930\ 6329409919254593442347*c_0101_6^20 - 20786301811484771601719910481331973683104/1912790808699767930632940\ 9919254593442347*c_0101_6^19 + 145191850368733408508872647222734911\ 018547/19127908086997679306329409919254593442347*c_0101_6^18 - 379004268040899253803728463295746322262197/191279080869976793063294\ 09919254593442347*c_0101_6^17 + 18194274322250489196433187521973586\ 6784221/19127908086997679306329409919254593442347*c_0101_6^16 - 971030422653921829838494779388922142603777/191279080869976793063294\ 09919254593442347*c_0101_6^15 + 50965379407048294988692402736193386\ 51296466/19127908086997679306329409919254593442347*c_0101_6^14 + 3172889199700826079779797244006672348220306/19127908086997679306329\ 409919254593442347*c_0101_6^13 - 1220583750611816243328977323055642\ 1839003432/19127908086997679306329409919254593442347*c_0101_6^12 + 12450410141120670459374231437644276584682079/1912790808699767930632\ 9409919254593442347*c_0101_6^11 - 208253526603684104928691425170715\ 79390104787/19127908086997679306329409919254593442347*c_0101_6^10 + 3207851336993346215579614051723168532010760/19127908086997679306329\ 409919254593442347*c_0101_6^9 + 19448611735114606108148265602758133\ 36205672/19127908086997679306329409919254593442347*c_0101_6^8 - 147820178420182078000727971279306414528855/191279080869976793063294\ 09919254593442347*c_0101_6^7 + 556738985580985539434045125670586091\ 0541512/19127908086997679306329409919254593442347*c_0101_6^6 + 172318261348234123982350212814375904462973/191279080869976793063294\ 09919254593442347*c_0101_6^5 + 281324554348558639484039814818462043\ 102938/19127908086997679306329409919254593442347*c_0101_6^4 - 38816799110455644906321606067431222566265/1912790808699767930632940\ 9919254593442347*c_0101_6^3 - 3158730523892349754129345405555180274\ 24658/19127908086997679306329409919254593442347*c_0101_6^2 - 15009051995452354835054933135407541499940/1912790808699767930632940\ 9919254593442347*c_0101_6 - 127549172167149343134794616866891875357\ 97/19127908086997679306329409919254593442347, c_0101_1 - 4950282931630836993844855747881651192968/1912790808699767930\ 6329409919254593442347*c_0101_6^20 + 92689928305303480455614654804836944802799/1912790808699767930632940\ 9919254593442347*c_0101_6^19 - 598721721685766190081597381371685150\ 664834/19127908086997679306329409919254593442347*c_0101_6^18 + 1274782887621214878365923331276576522968217/19127908086997679306329\ 409919254593442347*c_0101_6^17 + 1305042706374367346505560977124589\ 82901750/19127908086997679306329409919254593442347*c_0101_6^16 + 4722465255246223971097980626251046145986866/19127908086997679306329\ 409919254593442347*c_0101_6^15 - 1918465611377334712831047279219641\ 9893195062/19127908086997679306329409919254593442347*c_0101_6^14 - 29796052762336889330490122605065998950015531/1912790808699767930632\ 9409919254593442347*c_0101_6^13 + 284999786462048009564788424753697\ 06401139342/19127908086997679306329409919254593442347*c_0101_6^12 - 49496153420692603463347801407332927400972431/1912790808699767930632\ 9409919254593442347*c_0101_6^11 + 448032988445756670589107324842170\ 14994295878/19127908086997679306329409919254593442347*c_0101_6^10 + 14886990726029474862469591188677710908012364/1912790808699767930632\ 9409919254593442347*c_0101_6^9 - 6660144499872553880468594589665079\ 137091009/19127908086997679306329409919254593442347*c_0101_6^8 + 10781972125650655020311209692636935474606792/1912790808699767930632\ 9409919254593442347*c_0101_6^7 - 9032137429699275508750359959945464\ 602832243/19127908086997679306329409919254593442347*c_0101_6^6 - 2035451478508418059250429306439514522207351/19127908086997679306329\ 409919254593442347*c_0101_6^5 + 69202842615545174153130948520345909\ 4376831/19127908086997679306329409919254593442347*c_0101_6^4 - 474288903560039534025277320994167424914686/191279080869976793063294\ 09919254593442347*c_0101_6^3 + 368323250659040536122119731096222097\ 856177/19127908086997679306329409919254593442347*c_0101_6^2 + 34768337450472001702229173079248074029313/1912790808699767930632940\ 9919254593442347*c_0101_6 - 199802207824911361273255107071590356451\ 34/19127908086997679306329409919254593442347, c_0101_3 - 3371684565332455474011208714933915196810/1912790808699767930\ 6329409919254593442347*c_0101_6^20 + 63481860020280253208371761095219555407573/1912790808699767930632940\ 9919254593442347*c_0101_6^19 - 414621108118917329111433276841288469\ 905657/19127908086997679306329409919254593442347*c_0101_6^18 + 915793766875241388070712024465798255308931/191279080869976793063294\ 09919254593442347*c_0101_6^17 - 35729545271096259903351838180087983\ 167223/19127908086997679306329409919254593442347*c_0101_6^16 + 3287527509233347405577171543593273380690516/19127908086997679306329\ 409919254593442347*c_0101_6^15 - 1342254249314023165052941855772006\ 6795576213/19127908086997679306329409919254593442347*c_0101_6^14 - 18644595759689789861956633742467959661179546/1912790808699767930632\ 9409919254593442347*c_0101_6^13 + 203784753732346489743071280337424\ 09546297922/19127908086997679306329409919254593442347*c_0101_6^12 - 37042388361557803770190730795601912295085629/1912790808699767930632\ 9409919254593442347*c_0101_6^11 + 355229209608502998598185566274526\ 99138660898/19127908086997679306329409919254593442347*c_0101_6^10 + 3503917917153395788234659582071825007949505/19127908086997679306329\ 409919254593442347*c_0101_6^9 - 16359514834965191956108084141956042\ 92284205/19127908086997679306329409919254593442347*c_0101_6^8 + 6668367985744035001349119491691532371562628/19127908086997679306329\ 409919254593442347*c_0101_6^7 - 59167220805164610363995684493173323\ 58994173/19127908086997679306329409919254593442347*c_0101_6^6 - 531806484370182566740370103566263594234112/191279080869976793063294\ 09919254593442347*c_0101_6^5 - 758017052161375451351285697213538379\ 0054/19127908086997679306329409919254593442347*c_0101_6^4 - 256154372664125341808079421658389485448880/191279080869976793063294\ 09919254593442347*c_0101_6^3 + 173589417281915837748136609946192806\ 113675/19127908086997679306329409919254593442347*c_0101_6^2 + 12073325370986550683706751776961271535028/1912790808699767930632940\ 9919254593442347*c_0101_6 - 104537283984039020922621546445348003401\ 2/19127908086997679306329409919254593442347, c_0101_6^21 - 18*c_0101_6^20 + 108*c_0101_6^19 - 181*c_0101_6^18 - 146*c_0101_6^17 - 1087*c_0101_6^16 + 3093*c_0101_6^15 + 8183*c_0101_6^14 + 560*c_0101_6^13 + 10805*c_0101_6^12 - 2125*c_0101_6^11 - 3769*c_0101_6^10 - 2625*c_0101_6^9 - 4291*c_0101_6^8 - 981*c_0101_6^7 - 254*c_0101_6^6 - 14*c_0101_6^5 + 195*c_0101_6^4 + 46*c_0101_6^3 + 18*c_0101_6^2 + 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB