Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 1696922017] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2330 geometric_solution 5.71787801 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.472271215757 0.306593399170 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 1.038100373697 0.660457360334 1 4 3 5 0132 0132 3012 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 -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 1.086145795376 0.876750609042 5 2 4 1 3201 1230 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.086145795376 0.876750609042 4 2 3 4 3201 0132 1023 2310 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 1 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.028816694575 0.775425474339 6 6 2 3 0132 3201 0132 2310 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 -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.516786408253 1.179843318761 5 6 5 6 0132 1302 2310 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.882873878891 0.920727069100 ==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' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_1'], '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_0101_3'], 'c_1001_4' : d['c_0101_3'], '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_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' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 22981764199394509440366842351970657596256088200297953/1005044858094\ 6086467624310340746740045448086794808896*c_0101_3^27 + 1331445334442714019386321644028423834670263350702401311/50252242904\ 73043233812155170373370022724043397404448*c_0101_3^25 - 9939253786980539362905494696598437289546122248684354363/16750747634\ 91014411270718390124456674241347799134816*c_0101_3^23 + 13546714009042193477135106340130153661836258489266549591/1116716508\ 994009607513812260082971116160898532756544*c_0101_3^21 - 1204639402662136843823027041940598268958968608565873038415/10050448\ 580946086467624310340746740045448086794808896*c_0101_3^19 + 1132782579872177801411303775395169787386019750483200479123/10050448\ 580946086467624310340746740045448086794808896*c_0101_3^17 - 6763486540846503999042697764698543030227105710558859519375/10050448\ 580946086467624310340746740045448086794808896*c_0101_3^15 + 3131036498191354949061322618845297629400327874341808661915/10050448\ 580946086467624310340746740045448086794808896*c_0101_3^13 + 5851573374174655631476602002988548655085317694613293778869/10050448\ 580946086467624310340746740045448086794808896*c_0101_3^11 + 464768778333415212884389754764001829435777321906547605137/335014952\ 6982028822541436780248913348482695598269632*c_0101_3^9 - 16233977149504620750244173344893336476022805115867883537837/1005044\ 8580946086467624310340746740045448086794808896*c_0101_3^7 + 1750757853827523057358561228785636384193523391623082787735/16750747\ 63491014411270718390124456674241347799134816*c_0101_3^5 - 64123585530260486740759390418945986714621187826031292227/3140765181\ 54565202113259698148335626420252712337778*c_0101_3^3 + 2263959477762564544401567022469033032349326547587997117/20938434543\ 6376801408839798765557084280168474891852*c_0101_3, c_0011_0 - 1, c_0011_1 - 25212157163242374495553249126672953945732333085/930597090828\ 34133959484355006914259680074877729712*c_0101_3^26 + 728584401061897280624237019609917277840759833249/232649272707085334\ 89871088751728564920018719432428*c_0101_3^24 - 10769345460391458438773368687874426285411535434135/1550995151380568\ 8993247392501152376613345812954952*c_0101_3^22 + 38639795689973107333559857879415765315083115371317/3101990302761137\ 7986494785002304753226691625909904*c_0101_3^20 - 1291108754380869602505033017023986876957698085744605/93059709082834\ 133959484355006914259680074877729712*c_0101_3^18 + 887850800865543510405866730694830320466282634089517/930597090828341\ 33959484355006914259680074877729712*c_0101_3^16 - 7207855167775927143464741092256316889553571654259241/93059709082834\ 133959484355006914259680074877729712*c_0101_3^14 + 1459734619795843718364641726950602082582157346888685/93059709082834\ 133959484355006914259680074877729712*c_0101_3^12 + 6628182607292372906091867084733743135645256275167003/93059709082834\ 133959484355006914259680074877729712*c_0101_3^10 + 1133831903365007032889113737506876410561638388823583/31019903027611\ 377986494785002304753226691625909904*c_0101_3^8 - 16738441027403837800579202661790328757103413532932287/9305970908283\ 4133959484355006914259680074877729712*c_0101_3^6 + 580827710468130068215734005672420406481851624774539/775497575690284\ 4496623696250576188306672906477476*c_0101_3^4 - 44162289061844227771782941896393180300091062232635/5816231817677133\ 372467772187932141230004679858107*c_0101_3^2 + 1144631876365696159091828418525746959357884809651/19387439392257111\ 24155924062644047076668226619369, c_0011_3 + 107082742074216585427665079860456053499158549995/16750747634\ 91014411270718390124456674241347799134816*c_0101_3^27 - 6211398007176150069840691256688219574113128248915/83753738174550720\ 5635359195062228337120673899567408*c_0101_3^25 + 46601513891631034768267392240951846457070470515581/2791791272485024\ 01878453065020742779040224633189136*c_0101_3^23 - 67286059543772125940191262091611394684061178303477/1861194181656682\ 67918968710013828519360149755459424*c_0101_3^21 + 5653992979019943988166098329958610322193686403268489/16750747634910\ 14411270718390124456674241347799134816*c_0101_3^19 - 6025413096893862030672757865011122018640730040761029/16750747634910\ 14411270718390124456674241347799134816*c_0101_3^17 + 31487527593490216800812874943287916326238511043683657/1675074763491\ 014411270718390124456674241347799134816*c_0101_3^15 - 18997822266961289948005392196565212024971051278816701/1675074763491\ 014411270718390124456674241347799134816*c_0101_3^13 - 29584377445392946062022699250011020140466728609257955/1675074763491\ 014411270718390124456674241347799134816*c_0101_3^11 - 1500777550479005667347645717067973842858866660768359/55835825449700\ 4803756906130041485558080449266378272*c_0101_3^9 + 79992226435579857118177081414400665577179821597822707/1675074763491\ 014411270718390124456674241347799134816*c_0101_3^7 - 9057804882679970585945437850163013844806136182985879/27917912724850\ 2401878453065020742779040224633189136*c_0101_3^5 + 1006704469287630981589164931110763667007351941428553/20938434543637\ 6801408839798765557084280168474891852*c_0101_3^3 - 39060612730045452561214053901188719188456066757365/3489739090606280\ 0234806633127592847380028079148642*c_0101_3, c_0011_5 - 2936612952619625143451852702128599531405593073397/1675074763\ 491014411270718390124456674241347799134816*c_0101_3^27 + 170210567889420708814233572228700814989937190747455/837537381745507\ 205635359195062228337120673899567408*c_0101_3^25 - 1273060246564858420238343566248243856875759676336051/27917912724850\ 2401878453065020742779040224633189136*c_0101_3^23 + 1775904119463278419876947660945988170543757878139187/18611941816566\ 8267918968710013828519360149755459424*c_0101_3^21 - 154709866774899731674255291907131979796654358807936931/167507476349\ 1014411270718390124456674241347799134816*c_0101_3^19 + 152862399419247573254576414193536638475235325211994703/167507476349\ 1014411270718390124456674241347799134816*c_0101_3^17 - 870952564778371552001429290343746302798810655564833707/167507476349\ 1014411270718390124456674241347799134816*c_0101_3^15 + 445400206574948953518527603966650667158917316129461319/167507476349\ 1014411270718390124456674241347799134816*c_0101_3^13 + 732069809770028154464199152735676044751155065482388361/167507476349\ 1014411270718390124456674241347799134816*c_0101_3^11 + 45550674715552099400656886353895061783607852590540565/5583582544970\ 04803756906130041485558080449266378272*c_0101_3^9 - 2088450533368755810767068110553008366942561153730106849/16750747634\ 91014411270718390124456674241347799134816*c_0101_3^7 + 241746675758168694855395505935570539976691564054634979/279179127248\ 502401878453065020742779040224633189136*c_0101_3^5 - 40207851438694376818097283750444751197285317926546055/2093843454363\ 76801408839798765557084280168474891852*c_0101_3^3 + 439314839920907320072959669340460882351143459984339/348973909060628\ 00234806633127592847380028079148642*c_0101_3, c_0101_0 - 8187115908521897075520273452310337704589663327/6979478181212\ 5600469613266255185694760056158297284*c_0101_3^26 + 1890545527057125219076661268829850676029001848959/13958956362425120\ 0939226532510371389520112316594568*c_0101_3^24 - 1738028078562354187279061264553782948942088268597/58162318176771333\ 72467772187932141230004679858107*c_0101_3^22 + 968881884690024573662449644327385833007022062957/193874393922571112\ 4155924062644047076668226619369*c_0101_3^20 - 830572733036101431806890292853450540770381715654379/139589563624251\ 200939226532510371389520112316594568*c_0101_3^18 + 467765846041972685230074587107205517744838510985213/139589563624251\ 200939226532510371389520112316594568*c_0101_3^16 - 4645742922115143571023408845915340777976567616371885/13958956362425\ 1200939226532510371389520112316594568*c_0101_3^14 + 342380716398846396934634007278619847722200083307849/139589563624251\ 200939226532510371389520112316594568*c_0101_3^12 + 4209052629144847287754621192067530353950510087111443/13958956362425\ 1200939226532510371389520112316594568*c_0101_3^10 + 929497394277781622129319461816465056134681740188559/465298545414170\ 66979742177503457129840037438864856*c_0101_3^8 - 10281149699873646053052349887609969048570503137608385/1395895636242\ 51200939226532510371389520112316594568*c_0101_3^6 + 1074231502611371854315602850445116062528615524489207/46529854541417\ 066979742177503457129840037438864856*c_0101_3^4 - 137670657969640263821347862608365913654288173036467/348973909060628\ 00234806633127592847380028079148642*c_0101_3^2 + 5783257817078440455231188377330886804794242875167/58162318176771333\ 72467772187932141230004679858107, c_0101_1 - 8144815670409656188519874824959108767830155477/3101990302761\ 1377986494785002304753226691625909904*c_0101_3^26 + 58889549743462785592498112124360626269218726025/1938743939225711124\ 155924062644047076668226619369*c_0101_3^24 - 10480476448173323107169920046271826383026947573397/1550995151380568\ 8993247392501152376613345812954952*c_0101_3^22 + 39336147075677906247650511682003735156138776712367/3101990302761137\ 7986494785002304753226691625909904*c_0101_3^20 - 419656888605177243514401003292842688036092941018073/310199030276113\ 77986494785002304753226691625909904*c_0101_3^18 + 324016658276890308907621963109953750518937890249201/310199030276113\ 77986494785002304753226691625909904*c_0101_3^16 - 2337106647566339649812898146158526847134951847099357/31019903027611\ 377986494785002304753226691625909904*c_0101_3^14 + 679671749249319783482756397587729434986509209938193/310199030276113\ 77986494785002304753226691625909904*c_0101_3^12 + 2199858630954436689146299866934442250297588790259303/31019903027611\ 377986494785002304753226691625909904*c_0101_3^10 + 910001395229504560242388695605235154717431474462289/310199030276113\ 77986494785002304753226691625909904*c_0101_3^8 - 5583115773614586559319538019040350683072861926205651/31019903027611\ 377986494785002304753226691625909904*c_0101_3^6 + 333772263128333124274145622318577672548003088785463/387748787845142\ 2248311848125288094153336453238738*c_0101_3^4 - 15449025362985421993471739269719772930393083494690/1938743939225711\ 124155924062644047076668226619369*c_0101_3^2 - 602191922714276843323147528800796548622849931441/193874393922571112\ 4155924062644047076668226619369, c_0101_3^28 - 116*c_0101_3^26 + 2610*c_0101_3^24 - 5643*c_0101_3^22 + 53105*c_0101_3^20 - 56113*c_0101_3^18 + 300653*c_0101_3^16 - 174529*c_0101_3^14 - 237239*c_0101_3^12 - 27393*c_0101_3^10 + 714635*c_0101_3^8 - 548964*c_0101_3^6 + 147952*c_0101_3^4 - 15936*c_0101_3^2 + 576 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB