Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 1612840208] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2930 geometric_solution 6.12852645 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -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 -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 0.419526510071 0.879487410770 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 -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.604211134046 0.706516626275 3 0 4 5 3201 0132 3201 2310 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 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 0 0 0 0 0.604211134046 0.706516626275 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.157077072282 1.078326701967 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 -1 1 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 -1 1 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.202780095260 0.652581463464 2 5 5 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984459424772 0.692483857860 6 4 6 4 2031 0132 1302 1023 0 0 0 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 0 0 0 0 1 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559434815087 0.249886640578 ==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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2185343217918430660600673713306221471/23458267331182245127556002540\ 242203*c_0110_6^21 - 2939648185018677346853996446032593337/23458267\ 331182245127556002540242203*c_0110_6^20 - 37593093115701083282522220301943595940/2345826733118224512755600254\ 0242203*c_0110_6^19 + 106945911462767800039726822459942197291/23458\ 267331182245127556002540242203*c_0110_6^18 - 60231909047898116583304998045234956147/2345826733118224512755600254\ 0242203*c_0110_6^17 - 369651842346949241814357584626547830657/23458\ 267331182245127556002540242203*c_0110_6^16 + 966903551476355866039082421241205131642/234582673311822451275560025\ 40242203*c_0110_6^15 - 388054594756243300614180858288534922019/2345\ 8267331182245127556002540242203*c_0110_6^14 - 919828007636393260131129220241831763064/234582673311822451275560025\ 40242203*c_0110_6^13 + 1684551199988110950261096310533163249364/234\ 58267331182245127556002540242203*c_0110_6^12 - 282750036557540813171308255299367063658/234582673311822451275560025\ 40242203*c_0110_6^11 - 2083840911545294356657829719172701856041/234\ 58267331182245127556002540242203*c_0110_6^10 + 94557439863507526633659532754666424769/2345826733118224512755600254\ 0242203*c_0110_6^9 + 533006319564223656896180772944373075711/234582\ 67331182245127556002540242203*c_0110_6^8 - 271890605956916149085621552210648264905/234582673311822451275560025\ 40242203*c_0110_6^7 - 42603877277055535094217296171560655163/234582\ 67331182245127556002540242203*c_0110_6^6 + 183533213305369228037128309790388678787/234582673311822451275560025\ 40242203*c_0110_6^5 + 57186873953442770536475493259522805468/234582\ 67331182245127556002540242203*c_0110_6^4 - 613315787519056227817171702743231940/234582673311822451275560025402\ 42203*c_0110_6^3 + 7269038200180110310600765483399296952/2345826733\ 1182245127556002540242203*c_0110_6^2 - 787573469059966343342490375870727527/234582673311822451275560025402\ 42203*c_0110_6 - 1978454808328832505941261057018429476/234582673311\ 82245127556002540242203, c_0011_0 - 1, c_0011_4 - 115865472139419916546606794540623778/23458267331182245127556\ 002540242203*c_0110_6^21 + 148825563888878807353921908655628601/234\ 58267331182245127556002540242203*c_0110_6^20 + 1994437584873984671035320405359863710/23458267331182245127556002540\ 242203*c_0110_6^19 - 5538966584447996249647465185688098701/23458267\ 331182245127556002540242203*c_0110_6^18 + 2990168105619302566093609686375241559/23458267331182245127556002540\ 242203*c_0110_6^17 + 19405909266895155323096621436020948066/2345826\ 7331182245127556002540242203*c_0110_6^16 - 49870082753400131204080246832230421186/2345826733118224512755600254\ 0242203*c_0110_6^15 + 18827670306417955447999330207115262136/234582\ 67331182245127556002540242203*c_0110_6^14 + 46535486089367837032184715503692534632/2345826733118224512755600254\ 0242203*c_0110_6^13 - 85068300538998900818705573291683887361/234582\ 67331182245127556002540242203*c_0110_6^12 + 12782460616149317644439980697968129707/2345826733118224512755600254\ 0242203*c_0110_6^11 + 105450964285278464528801074109169776237/23458\ 267331182245127556002540242203*c_0110_6^10 + 2617942280534878604172650990176771804/23458267331182245127556002540\ 242203*c_0110_6^9 - 21314464207192893574841465469372033625/23458267\ 331182245127556002540242203*c_0110_6^8 + 13041925943614880374297231498022645933/2345826733118224512755600254\ 0242203*c_0110_6^7 + 1989211364824911770363529512673410990/23458267\ 331182245127556002540242203*c_0110_6^6 - 8584223079410279349957849073789743322/23458267331182245127556002540\ 242203*c_0110_6^5 - 3554640020463075245833938291076442549/234582673\ 31182245127556002540242203*c_0110_6^4 - 698823384370676600578921732553880185/234582673311822451275560025402\ 42203*c_0110_6^3 - 643880711693685506765144367695470877/23458267331\ 182245127556002540242203*c_0110_6^2 - 82314127354223655256596683052426626/2345826733118224512755600254024\ 2203*c_0110_6 + 55135985856994940997533668903820310/234582673311822\ 45127556002540242203, c_0101_0 - 1212135843540309053602873829558403/2345826733118224512755600\ 2540242203*c_0110_6^21 + 7279767695756848081897723067022405/2345826\ 7331182245127556002540242203*c_0110_6^20 + 8477908551159106367961975262198178/23458267331182245127556002540242\ 203*c_0110_6^19 - 147716757477394666667760447447566376/234582673311\ 82245127556002540242203*c_0110_6^18 + 388527907030327720465773498546071920/234582673311822451275560025402\ 42203*c_0110_6^17 - 224699106867465932680840513301046155/2345826733\ 1182245127556002540242203*c_0110_6^16 - 1238749915660576054387551844539808344/23458267331182245127556002540\ 242203*c_0110_6^15 + 3444159140428896261616088567642118561/23458267\ 331182245127556002540242203*c_0110_6^14 - 3014200381888488041100027478836552388/23458267331182245127556002540\ 242203*c_0110_6^13 - 1325150694958245932023678955669384378/23458267\ 331182245127556002540242203*c_0110_6^12 + 5943639650912208033443886962889673230/23458267331182245127556002540\ 242203*c_0110_6^11 - 4325361776712673706681217588394128681/23458267\ 331182245127556002540242203*c_0110_6^10 - 2517016926109255514621302082237256596/23458267331182245127556002540\ 242203*c_0110_6^9 + 3608136136492471378466645919188542740/234582673\ 31182245127556002540242203*c_0110_6^8 - 875174941162526903487146680070869468/234582673311822451275560025402\ 42203*c_0110_6^7 - 1069349870707796850532688650819972464/2345826733\ 1182245127556002540242203*c_0110_6^6 + 637288088082112697459634348818853792/234582673311822451275560025402\ 42203*c_0110_6^5 + 44712175373729888910992705103997483/234582673311\ 82245127556002540242203*c_0110_6^4 - 126221562207088092094452752191093307/234582673311822451275560025402\ 42203*c_0110_6^3 + 28283136063293682146456291786692906/234582673311\ 82245127556002540242203*c_0110_6^2 + 52562840072948961443470430540374216/2345826733118224512755600254024\ 2203*c_0110_6 - 2069247778985713416008429243236850/2345826733118224\ 5127556002540242203, c_0101_1 + 36525126828446530456026879221940000/234582673311822451275560\ 02540242203*c_0110_6^21 - 64149244692683900668450406948098467/23458\ 267331182245127556002540242203*c_0110_6^20 - 600741430256175172518768839146047303/234582673311822451275560025402\ 42203*c_0110_6^19 + 2032484741191980515831805057142189569/234582673\ 31182245127556002540242203*c_0110_6^18 - 1860503015033836812359357474633290844/23458267331182245127556002540\ 242203*c_0110_6^17 - 5352281673788754642004036152415793197/23458267\ 331182245127556002540242203*c_0110_6^16 + 18277660798751247043323667065358170011/2345826733118224512755600254\ 0242203*c_0110_6^15 - 14078021235110665252204649548345879598/234582\ 67331182245127556002540242203*c_0110_6^14 - 9112832780637338029985917299959301970/23458267331182245127556002540\ 242203*c_0110_6^13 + 31262608686729965224373886849787913548/2345826\ 7331182245127556002540242203*c_0110_6^12 - 17004550329589587307171951488789645972/2345826733118224512755600254\ 0242203*c_0110_6^11 - 27656543094819339723360235402951954193/234582\ 67331182245127556002540242203*c_0110_6^10 + 12260159873867070301478328716446467788/2345826733118224512755600254\ 0242203*c_0110_6^9 + 4279854996415641379910435699470426162/23458267\ 331182245127556002540242203*c_0110_6^8 - 6900874490618947590813104934555185336/23458267331182245127556002540\ 242203*c_0110_6^7 + 1175636988386384250286967136048925482/234582673\ 31182245127556002540242203*c_0110_6^6 + 2765513210058598055170989458254423434/23458267331182245127556002540\ 242203*c_0110_6^5 + 40079920346562271130529092088309620/23458267331\ 182245127556002540242203*c_0110_6^4 - 71462964414832767206125683142487754/2345826733118224512755600254024\ 2203*c_0110_6^3 + 153793573724207487320798540228750722/234582673311\ 82245127556002540242203*c_0110_6^2 - 17215220446169609123505407227046543/2345826733118224512755600254024\ 2203*c_0110_6 - 13068615232614206853977984951359421/234582673311822\ 45127556002540242203, c_0101_2 - 98175266516415536991297428792426751/234582673311822451275560\ 02540242203*c_0110_6^21 + 123084473124633597858954016605982437/2345\ 8267331182245127556002540242203*c_0110_6^20 + 1693376926328269952950405179872446106/23458267331182245127556002540\ 242203*c_0110_6^19 - 4641162325829398021271988711074569870/23458267\ 331182245127556002540242203*c_0110_6^18 + 2397005529550975149534481606235864894/23458267331182245127556002540\ 242203*c_0110_6^17 + 16507460524819662350954017646658351870/2345826\ 7331182245127556002540242203*c_0110_6^16 - 41754233957583598080276692590670090523/2345826733118224512755600254\ 0242203*c_0110_6^15 + 14724181445205299173575197253079012986/234582\ 67331182245127556002540242203*c_0110_6^14 + 39809309817218900189977461580656333039/2345826733118224512755600254\ 0242203*c_0110_6^13 - 70924957738630062496524104510085366277/234582\ 67331182245127556002540242203*c_0110_6^12 + 8731632329562032560936009642460722951/23458267331182245127556002540\ 242203*c_0110_6^11 + 89596702295245990560846264890979797680/2345826\ 7331182245127556002540242203*c_0110_6^10 + 4843842119597052849318702699664739645/23458267331182245127556002540\ 242203*c_0110_6^9 - 17865868470650762109566879774232818746/23458267\ 331182245127556002540242203*c_0110_6^8 + 11074954399124832480536000132159822693/2345826733118224512755600254\ 0242203*c_0110_6^7 + 2096928552673916008292947875205624845/23458267\ 331182245127556002540242203*c_0110_6^6 - 7399393689148811630303829938554240126/23458267331182245127556002540\ 242203*c_0110_6^5 - 3096770267309635008922863891746564732/234582673\ 31182245127556002540242203*c_0110_6^4 - 699420849268244399132735140187454419/234582673311822451275560025402\ 42203*c_0110_6^3 - 629474059759683850550868219188719209/23458267331\ 182245127556002540242203*c_0110_6^2 - 88327431172841014807450584515731057/2345826733118224512755600254024\ 2203*c_0110_6 + 45026787818562423484887562529698857/234582673311822\ 45127556002540242203, c_0101_5 + 54753991150019105686380556248018912/234582673311822451275560\ 02540242203*c_0110_6^21 - 85530469511670784895939901039773274/23458\ 267331182245127556002540242203*c_0110_6^20 - 932484305667534332707312851630392780/234582673311822451275560025402\ 42203*c_0110_6^19 + 2894148130654768814216171925381371013/234582673\ 31182245127556002540242203*c_0110_6^18 - 1982474641135685101144448582911905791/23458267331182245127556002540\ 242203*c_0110_6^17 - 9274765172290669981608928144668356680/23458267\ 331182245127556002540242203*c_0110_6^16 + 26535395135005682401375950102851176012/2345826733118224512755600254\ 0242203*c_0110_6^15 - 14083264506538844382438173139834210610/234582\ 67331182245127556002540242203*c_0110_6^14 - 23890518194081506778819042229753091522/2345826733118224512755600254\ 0242203*c_0110_6^13 + 49374549410182048399032379850764334994/234582\ 67331182245127556002540242203*c_0110_6^12 - 15246330730996440106398922163319113234/2345826733118224512755600254\ 0242203*c_0110_6^11 - 54831271389622088430964103800106329914/234582\ 67331182245127556002540242203*c_0110_6^10 + 15701349198148776624659197563591117140/2345826733118224512755600254\ 0242203*c_0110_6^9 + 16864961068930191596981493854098215968/2345826\ 7331182245127556002540242203*c_0110_6^8 - 9702625803802713076737237376274179665/23458267331182245127556002540\ 242203*c_0110_6^7 + 255041096624393815141612586782059391/2345826733\ 1182245127556002540242203*c_0110_6^6 + 5408053971300773101250114516996403197/23458267331182245127556002540\ 242203*c_0110_6^5 + 425728557549879066944512089478772156/2345826733\ 1182245127556002540242203*c_0110_6^4 - 685697369823833100117328564320728394/234582673311822451275560025402\ 42203*c_0110_6^3 - 3143113451045998364090875833458133/2345826733118\ 2245127556002540242203*c_0110_6^2 - 160034504068690756503851729824223548/234582673311822451275560025402\ 42203*c_0110_6 - 93944961604459305927748209512883707/23458267331182\ 245127556002540242203, c_0110_6^22 - c_0110_6^21 - 53/3*c_0110_6^20 + 43*c_0110_6^19 - 32/3*c_0110_6^18 - 536/3*c_0110_6^17 + 384*c_0110_6^16 - 74/3*c_0110_6^15 - 1447/3*c_0110_6^14 + 625*c_0110_6^13 + 415/3*c_0110_6^12 - 2998/3*c_0110_6^11 - 860/3*c_0110_6^10 + 784/3*c_0110_6^9 - 124/3*c_0110_6^8 - 194/3*c_0110_6^7 + 232/3*c_0110_6^6 + 167/3*c_0110_6^5 + 25/3*c_0110_6^4 + 3*c_0110_6^3 + c_0110_6^2 - c_0110_6 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB