Magma V2.19-8 Tue Aug 20 2013 16:16:39 on localhost [Seed = 3785391419] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0947 geometric_solution 4.84980787 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506926183404 0.540884715609 0 4 3 3 0132 0132 3201 0321 0 0 0 0 0 -1 0 1 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 -1 1 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.576491354477 1.177460305684 0 0 5 5 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.199139814200 1.868738893884 1 1 0 4 2310 0321 0132 1023 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 0 0 0 -1 0 0 1 -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.576491354477 1.177460305684 6 1 6 3 0132 0132 1023 1023 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 0 -1 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.575334618830 0.386828994307 2 5 2 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.697179406629 0.336913812291 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571211732752 0.091583313929 ==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' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 5534375552196885996975312475/24818436716547682157467383*c_0101_6^30 - 8672061530388121200120921725/2757604079616409128607487*c_0101_6^2\ 9 - 420738054788835921780686146105/24818436716547682157467383*c_010\ 1_6^28 - 290949885854565906663423652573/8272812238849227385822461*c\ _0101_6^27 + 311035109740066299241558206574/82728122388492273858224\ 61*c_0101_6^26 + 2732415504987280499051869035371/827281223884922738\ 5822461*c_0101_6^25 + 11641145561670467758784564407883/248184367165\ 47682157467383*c_0101_6^24 - 16053610095523122175377154033637/24818\ 436716547682157467383*c_0101_6^23 - 66067789938727767156923928613705/24818436716547682157467383*c_0101_\ 6^22 - 34577564229580910329154415776669/24818436716547682157467383*\ c_0101_6^21 + 136436522190520328605116998516933/2481843671654768215\ 7467383*c_0101_6^20 + 216932864299929296806597779866221/24818436716\ 547682157467383*c_0101_6^19 - 74449987093066619719986334943597/2481\ 8436716547682157467383*c_0101_6^18 - 440212260965951395299443637802285/24818436716547682157467383*c_0101\ _6^17 - 224172493338954486681726393265105/2481843671654768215746738\ 3*c_0101_6^16 + 48158251450493187194618620260292/275760407961640912\ 8607487*c_0101_6^15 + 186533917021497112574457589939744/82728122388\ 49227385822461*c_0101_6^14 - 102242404683783351173382750964963/2481\ 8436716547682157467383*c_0101_6^13 - 4188946945040579571913908273626/176017281677643135868563*c_0101_6^1\ 2 - 84779259392732526553092445118021/8272812238849227385822461*c_01\ 01_6^11 + 305766012298954406583107283554768/24818436716547682157467\ 383*c_0101_6^10 + 35927522194625539363740221208039/2757604079616409\ 128607487*c_0101_6^9 - 29489302426040749437254678362325/24818436716\ 547682157467383*c_0101_6^8 - 172540404880012178993784074043218/2481\ 8436716547682157467383*c_0101_6^7 - 49199086085438044874824491202751/24818436716547682157467383*c_0101_\ 6^6 + 13841616713835941145633512788298/8272812238849227385822461*c_\ 0101_6^5 + 7716453018065459990603539581535/827281223884922738582246\ 1*c_0101_6^4 - 2049374064994998847158870645202/24818436716547682157\ 467383*c_0101_6^3 - 343108361079267536473311770268/2757604079616409\ 128607487*c_0101_6^2 - 461280501400246334992003393193/2481843671654\ 7682157467383*c_0101_6 - 8002292731586377137420265235/2481843671654\ 7682157467383, c_0011_0 - 1, c_0011_3 + 5792152333307249053854496/2757604079616409128607487*c_0101_6\ ^30 + 81940066413881241327475793/2757604079616409128607487*c_0101_6\ ^29 + 445339347012699250217746757/2757604079616409128607487*c_0101_\ 6^28 + 951235179968528217890020035/2757604079616409128607487*c_0101\ _6^27 - 847761429451656592869050214/2757604079616409128607487*c_010\ 1_6^26 - 8482843662196292726815371573/2757604079616409128607487*c_0\ 101_6^25 - 12906604968673207444212329181/2757604079616409128607487*\ c_0101_6^24 + 14552001257525020742804612415/27576040796164091286074\ 87*c_0101_6^23 + 68404764653927906330193060506/27576040796164091286\ 07487*c_0101_6^22 + 44094861037037442588598853904/27576040796164091\ 28607487*c_0101_6^21 - 129216940485486754559780675410/2757604079616\ 409128607487*c_0101_6^20 - 233212154595696389785456859581/275760407\ 9616409128607487*c_0101_6^19 + 37511119187908569536264298251/275760\ 4079616409128607487*c_0101_6^18 + 434214208193181379815618043901/27\ 57604079616409128607487*c_0101_6^17 + 286147868202645075867294835682/2757604079616409128607487*c_0101_6^1\ 6 - 368019519613214381274370925627/2757604079616409128607487*c_0101\ _6^15 - 593499246076889267895037571347/2757604079616409128607487*c_\ 0101_6^14 - 6228876725681173031128913215/2757604079616409128607487*\ c_0101_6^13 + 11685373184800441471492919894/58672427225881045289521\ *c_0101_6^12 + 332785661251769099836841767310/275760407961640912860\ 7487*c_0101_6^11 - 217809807027747363106774359672/27576040796164091\ 28607487*c_0101_6^10 - 329571450942368949982913095033/2757604079616\ 409128607487*c_0101_6^9 - 34529096371841386241452269541/27576040796\ 16409128607487*c_0101_6^8 + 141482091230932080912655926696/27576040\ 79616409128607487*c_0101_6^7 + 66176101109327438871355733646/275760\ 4079616409128607487*c_0101_6^6 - 21107530996987040135826077828/2757\ 604079616409128607487*c_0101_6^5 - 20443501402534446409850552047/2757604079616409128607487*c_0101_6^4 - 1776610636009423756455830425/2757604079616409128607487*c_0101_6^3 + 1361559204308105433885891639/2757604079616409128607487*c_0101_6^2 + 238547198143458325726052366/2757604079616409128607487*c_0101_6 - 1149538826363188678620039/2757604079616409128607487, c_0011_5 - 55163000341194468316505902/2757604079616409128607487*c_0101_\ 6^30 - 737630289772433409632709219/2757604079616409128607487*c_0101\ _6^29 - 3624245150037898599418949086/2757604079616409128607487*c_01\ 01_6^28 - 5594005398146971756531401861/2757604079616409128607487*c_\ 0101_6^27 + 16106398808947189730061208932/2757604079616409128607487\ *c_0101_6^26 + 76939871765442325013426266122/2757604079616409128607\ 487*c_0101_6^25 + 59489660921682550434344052429/2757604079616409128\ 607487*c_0101_6^24 - 252006853654389422703327335955/275760407961640\ 9128607487*c_0101_6^23 - 578482354076368378445966274575/27576040796\ 16409128607487*c_0101_6^22 + 101603145642852021562088511686/2757604\ 079616409128607487*c_0101_6^21 + 1706475524230039528997386644743/27\ 57604079616409128607487*c_0101_6^20 + 1420617571171345050537311005010/2757604079616409128607487*c_0101_6^\ 19 - 2288862853167922039138366831426/2757604079616409128607487*c_01\ 01_6^18 - 4434445296282215602136170306455/2757604079616409128607487\ *c_0101_6^17 + 329220375357806800746285407322/275760407961640912860\ 7487*c_0101_6^16 + 6476975947855388344172945485199/2757604079616409\ 128607487*c_0101_6^15 + 3882110098226473852640046475478/27576040796\ 16409128607487*c_0101_6^14 - 4735783272102814764038721111642/275760\ 4079616409128607487*c_0101_6^13 - 142633563326208261529601215771/58\ 672427225881045289521*c_0101_6^12 + 325170596294634382158276446605/2757604079616409128607487*c_0101_6^1\ 1 + 5497122873835281523186720240817/2757604079616409128607487*c_010\ 1_6^10 + 2608445117334914197125960701763/2757604079616409128607487*\ c_0101_6^9 - 2174314254782500219661988451850/2757604079616409128607\ 487*c_0101_6^8 - 2341289865276740537960806774722/275760407961640912\ 8607487*c_0101_6^7 + 71983276273591114701543540355/2757604079616409\ 128607487*c_0101_6^6 + 877552977187925821272137699620/2757604079616\ 409128607487*c_0101_6^5 + 250198613084897764807823159658/2757604079\ 616409128607487*c_0101_6^4 - 109182412687556656506536321557/2757604\ 079616409128607487*c_0101_6^3 - 63496826574528653805787022003/27576\ 04079616409128607487*c_0101_6^2 - 8192735851337661193624111220/2757\ 604079616409128607487*c_0101_6 - 127471779445911637036879828/275760\ 4079616409128607487, c_0101_1 - 971150451460992850520329/2757604079616409128607487*c_0101_6^\ 30 - 11264613214037971321410849/2757604079616409128607487*c_0101_6^\ 29 - 38910489975245692551774656/2757604079616409128607487*c_0101_6^\ 28 + 41663793134052671923095414/2757604079616409128607487*c_0101_6^\ 27 + 609676246376510807633542622/2757604079616409128607487*c_0101_6\ ^26 + 1201016615225152717953921271/2757604079616409128607487*c_0101\ _6^25 - 1532831968091510431643552945/2757604079616409128607487*c_01\ 01_6^24 - 9082887052834781919784845369/2757604079616409128607487*c_\ 0101_6^23 - 7245412344823724353147183651/2757604079616409128607487*\ c_0101_6^22 + 23193544939707850734673525292/27576040796164091286074\ 87*c_0101_6^21 + 49816353151525807077706269594/27576040796164091286\ 07487*c_0101_6^20 - 7803468256736730316982897648/275760407961640912\ 8607487*c_0101_6^19 - 120540103508730028005412558085/27576040796164\ 09128607487*c_0101_6^18 - 91246775049640198156451390090/27576040796\ 16409128607487*c_0101_6^17 + 132945987263091495108859346812/2757604\ 079616409128607487*c_0101_6^16 + 239371087648737889440242124356/275\ 7604079616409128607487*c_0101_6^15 - 5008173012277396591427496104/2757604079616409128607487*c_0101_6^14 - 285853416424043693783100103070/2757604079616409128607487*c_0101_6^1\ 3 - 3861509665083006127475135109/58672427225881045289521*c_0101_6^1\ 2 + 153666430170764670773947226937/2757604079616409128607487*c_0101\ _6^11 + 243230533926773589153659007656/2757604079616409128607487*c_\ 0101_6^10 + 23890687916847144789839486476/2757604079616409128607487\ *c_0101_6^9 - 145873977848836867961850052672/2757604079616409128607\ 487*c_0101_6^8 - 84561552458224564001698485386/27576040796164091286\ 07487*c_0101_6^7 + 31603420302604405931756178192/275760407961640912\ 8607487*c_0101_6^6 + 45126102356144468712911090057/2757604079616409\ 128607487*c_0101_6^5 + 6919133142350243749489247934/275760407961640\ 9128607487*c_0101_6^4 - 7514016557700988942074319992/27576040796164\ 09128607487*c_0101_6^3 - 3388903275068876090796411961/2757604079616\ 409128607487*c_0101_6^2 - 411968938866135739353643351/2757604079616\ 409128607487*c_0101_6 - 4157866495992484170525995/27576040796164091\ 28607487, c_0101_2 + 10285071643212260106599088/2757604079616409128607487*c_0101_\ 6^30 + 136716219094202035574714963/2757604079616409128607487*c_0101\ _6^29 + 662911447648035075035168189/2757604079616409128607487*c_010\ 1_6^28 + 962785282411758017047025092/2757604079616409128607487*c_01\ 01_6^27 - 3225235991675720419665003178/2757604079616409128607487*c_\ 0101_6^26 - 14379554659114496724259825913/2757604079616409128607487\ *c_0101_6^25 - 9595157899798355929725605649/27576040796164091286074\ 87*c_0101_6^24 + 50541432197479158222985205612/27576040796164091286\ 07487*c_0101_6^23 + 107604363939703924497413819966/2757604079616409\ 128607487*c_0101_6^22 - 33083618946168032554471036948/2757604079616\ 409128607487*c_0101_6^21 - 337173319196314582316557010084/275760407\ 9616409128607487*c_0101_6^20 - 248914064396097102666282817252/27576\ 04079616409128607487*c_0101_6^19 + 490117679232575425539276641957/2757604079616409128607487*c_0101_6^1\ 8 + 856639813492440273073146128498/2757604079616409128607487*c_0101\ _6^17 - 149624017650625961673810638260/2757604079616409128607487*c_\ 0101_6^16 - 1329109325892490117900805654119/27576040796164091286074\ 87*c_0101_6^15 - 694816949889622012351497319068/2757604079616409128\ 607487*c_0101_6^14 + 1054518678097210663136185808440/27576040796164\ 09128607487*c_0101_6^13 + 28453720635040017550180136196/58672427225\ 881045289521*c_0101_6^12 - 169627076343063070325913775900/275760407\ 9616409128607487*c_0101_6^11 - 1169403103740615240316881496223/2757\ 604079616409128607487*c_0101_6^10 - 489184684542004588517099102389/2757604079616409128607487*c_0101_6^9 + 501579727790846874715863968585/2757604079616409128607487*c_0101_6\ ^8 + 488193369668834747389978376252/2757604079616409128607487*c_010\ 1_6^7 - 36713790459984427828314928125/2757604079616409128607487*c_0\ 101_6^6 - 194381592625267774182160676081/2757604079616409128607487*\ c_0101_6^5 - 51063834638318781755672483818/275760407961640912860748\ 7*c_0101_6^4 + 25846281922552649188655050308/2757604079616409128607\ 487*c_0101_6^3 + 14315228491788461946799012777/27576040796164091286\ 07487*c_0101_6^2 + 1820536961624931768180158849/2757604079616409128\ 607487*c_0101_6 + 23027093329621130166922108/2757604079616409128607\ 487, c_0101_4 + 4475780230437776801207759/2757604079616409128607487*c_0101_6\ ^30 + 61689772774667882366388297/2757604079616409128607487*c_0101_6\ ^29 + 320914274289818504818483646/2757604079616409128607487*c_0101_\ 6^28 + 606943765509495591690617642/2757604079616409128607487*c_0101\ _6^27 - 941245511732216171068973984/2757604079616409128607487*c_010\ 1_6^26 - 6371209249766137959435216824/2757604079616409128607487*c_0\ 101_6^25 - 7609620676653648232307580433/2757604079616409128607487*c\ _0101_6^24 + 15202904598424764698326648089/275760407961640912860748\ 7*c_0101_6^23 + 49636194634650775030635854186/275760407961640912860\ 7487*c_0101_6^22 + 14977044620204007159607532908/275760407961640912\ 8607487*c_0101_6^21 - 115364267623113611683081441365/27576040796164\ 09128607487*c_0101_6^20 - 148741653027805370522322089783/2757604079\ 616409128607487*c_0101_6^19 + 97133723655774118651918854802/2757604\ 079616409128607487*c_0101_6^18 + 339511577942464249548221297264/275\ 7604079616409128607487*c_0101_6^17 + 108286714840899639125584975570/2757604079616409128607487*c_0101_6^1\ 6 - 382726244152254588462655852938/2757604079616409128607487*c_0101\ _6^15 - 384966647388198615699251420983/2757604079616409128607487*c_\ 0101_6^14 + 163715628322550470734272256553/275760407961640912860748\ 7*c_0101_6^13 + 9877204808526266725557654396/5867242722588104528952\ 1*c_0101_6^12 + 127440124086877053878490806202/27576040796164091286\ 07487*c_0101_6^11 - 282530917332631977959059626121/2757604079616409\ 128607487*c_0101_6^10 - 227807763018481161799426918017/275760407961\ 6409128607487*c_0101_6^9 + 61280856811583530358683505597/2757604079\ 616409128607487*c_0101_6^8 + 139642044934589861567447232328/2757604\ 079616409128607487*c_0101_6^7 + 24775105265978222328439499938/27576\ 04079616409128607487*c_0101_6^6 - 38864925335913079760213333377/275\ 7604079616409128607487*c_0101_6^5 - 16969146965927382831718996329/2757604079616409128607487*c_0101_6^4 + 2972959091441895589164386456/2757604079616409128607487*c_0101_6^3 + 2712100250418119255522974843/2757604079616409128607487*c_0101_6^2 + 379926248186905461829448228/2757604079616409128607487*c_0101_6 + 9269474195320846233097282/2757604079616409128607487, c_0101_6^31 + 15*c_0101_6^30 + 88*c_0101_6^29 + 216*c_0101_6^28 - 84*c_0101_6^27 - 1770*c_0101_6^26 - 3392*c_0101_6^25 + 2039*c_0101_6^24 + 16516*c_0101_6^23 + 16055*c_0101_6^22 - 27611*c_0101_6^21 - 70138*c_0101_6^20 - 9787*c_0101_6^19 + 124489*c_0101_6^18 + 120436*c_0101_6^17 - 91020*c_0101_6^16 - 225003*c_0101_6^15 - 48314*c_0101_6^14 + 204165*c_0101_6^13 + 172743*c_0101_6^12 - 68984*c_0101_6^11 - 168366*c_0101_6^10 - 42544*c_0101_6^9 + 77483*c_0101_6^8 + 55628*c_0101_6^7 - 10209*c_0101_6^6 - 22557*c_0101_6^5 - 4673*c_0101_6^4 + 2949*c_0101_6^3 + 1448*c_0101_6^2 + 179*c_0101_6 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB