Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 3052677503] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1688 geometric_solution 5.40852595 oriented_manifold CS_known -0.0000000000000004 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 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.554174212859 0.187486864287 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 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 0.826666102791 0.360303279958 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.613293709478 0.831196158619 5 2 4 1 3201 1230 0132 0132 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 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.613293709478 0.831196158619 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 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.086314178516 1.400893490065 6 6 2 3 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442439188943 2.062395502281 5 6 6 5 0132 3201 2310 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 -1 0 1 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.535503689622 0.432807584639 ==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_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_0101_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_3'], '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_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), '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: 25 Groebner basis: [ t - 242326030090005398614848029469203/419038336529283868345250818004*c_\ 0101_3^24 - 1272554412914362154398202988941287/62855750479392580251\ 7876227006*c_0101_3^23 + 14057055230937887721925513876199311/125711\ 5009587851605035752454012*c_0101_3^22 + 53760087257211947294629844416291301/1257115009587851605035752454012\ *c_0101_3^21 - 41385383476531409258849992018190735/6285575047939258\ 02517876227006*c_0101_3^20 - 66231946017449636924061891645041275/20\ 9519168264641934172625409002*c_0101_3^19 + 47686895720574759818932677234434297/419038336529283868345250818004*\ c_0101_3^18 + 348150926669401854672098742980645903/3142787523969629\ 01258938113503*c_0101_3^17 + 30501417477880026017493891277709179/41\ 9038336529283868345250818004*c_0101_3^16 - 2937977913072954599656595115252141821/12571150095878516050357524540\ 12*c_0101_3^15 - 169325059087943871584530665723273521/6285575047939\ 25802517876227006*c_0101_3^14 + 47996025789683244797322625084580743\ 75/1257115009587851605035752454012*c_0101_3^13 + 177424972465043047855605485280605861/419038336529283868345250818004\ *c_0101_3^12 - 457403889504950642475916995808082816/104759584132320\ 967086312704501*c_0101_3^11 - 286881585617209607589904216300373513/\ 419038336529283868345250818004*c_0101_3^10 + 3565079338922472130498195471474761181/12571150095878516050357524540\ 12*c_0101_3^9 + 82207260930421826052332839783369295/209519168264641\ 934172625409002*c_0101_3^8 - 1204865287689065950994232228825505051/\ 1257115009587851605035752454012*c_0101_3^7 + 42973340248531842182004278847952879/419038336529283868345250818004*\ c_0101_3^6 + 91141560444187032725684906086227861/419038336529283868\ 345250818004*c_0101_3^5 - 74509163748389446083844724506711807/62855\ 7504793925802517876227006*c_0101_3^4 - 16801140182216681051714895703222865/419038336529283868345250818004*\ c_0101_3^3 + 8760848008516639114723059285066494/3142787523969629012\ 58938113503*c_0101_3^2 + 4554267215764327626249780221452927/1257115\ 009587851605035752454012*c_0101_3 - 2717662956071024404737884026545647/1257115009587851605035752454012, c_0011_0 - 1, c_0011_1 + 1757264507095676054146141957099/4190383365292838683452508180\ 04*c_0101_3^24 + 1472363557196610874910260336212/104759584132320967\ 086312704501*c_0101_3^23 - 34688478766380923154302163855067/4190383\ 36529283868345250818004*c_0101_3^22 - 124328896406181655545242192809463/419038336529283868345250818004*c_\ 0101_3^21 + 53727926864461591254954356793505/1047595841323209670863\ 12704501*c_0101_3^20 + 229817906679000177347661344904865/1047595841\ 32320967086312704501*c_0101_3^19 - 454441868513807252081305569600171/419038336529283868345250818004*c_\ 0101_3^18 - 807514583451630090522279187261868/104759584132320967086\ 312704501*c_0101_3^17 + 159350942338407164899071849339917/419038336\ 529283868345250818004*c_0101_3^16 + 6832621039208930046313746256040649/419038336529283868345250818004*c\ _0101_3^15 + 8962880470014474342881048243271/2095191682646419341726\ 25409002*c_0101_3^14 - 11073605870216981939142402253605273/41903833\ 6529283868345250818004*c_0101_3^13 - 64975026497020471899961615966991/419038336529283868345250818004*c_0\ 101_3^12 + 3115775141469391924895293124260808/104759584132320967086\ 312704501*c_0101_3^11 + 883942688807951755243292503915637/419038336\ 529283868345250818004*c_0101_3^10 - 7945763518282037485865644487973601/419038336529283868345250818004*c\ _0101_3^9 - 297043277339303531495831568150027/209519168264641934172\ 625409002*c_0101_3^8 + 2583581595055922132175830635138337/419038336\ 529283868345250818004*c_0101_3^7 - 408506814684634650590145611863345/419038336529283868345250818004*c_\ 0101_3^6 - 533441284736681038200342944051573/4190383365292838683452\ 50818004*c_0101_3^5 + 86274925458942898269031963698929/104759584132\ 320967086312704501*c_0101_3^4 + 91536916879514669375837137514519/41\ 9038336529283868345250818004*c_0101_3^3 - 19030386697002743756981053829633/104759584132320967086312704501*c_0\ 101_3^2 - 7469627140522686794224994302105/4190383365292838683452508\ 18004*c_0101_3 + 5018989526407332306759123926511/419038336529283868\ 345250818004, c_0011_3 - 1241153882104544799065831699453/4190383365292838683452508180\ 04*c_0101_3^24 - 1910509488375437385265693325857/209519168264641934\ 172625409002*c_0101_3^23 + 25615631375848377604679883009671/4190383\ 36529283868345250818004*c_0101_3^22 + 81085395779895901696833182064333/419038336529283868345250818004*c_0\ 101_3^21 - 87612513172383213667970755363431/20951916826464193417262\ 5409002*c_0101_3^20 - 303400477199374070945314390061129/20951916826\ 4641934172625409002*c_0101_3^19 + 492799975481609883480592301115399\ /419038336529283868345250818004*c_0101_3^18 + 545900008705074670947806327113150/104759584132320967086312704501*c_\ 0101_3^17 - 708246913613355002962404827110215/419038336529283868345\ 250818004*c_0101_3^16 - 4744817586056074333692865641800477/41903833\ 6529283868345250818004*c_0101_3^15 + 613429408033678507793630409272917/209519168264641934172625409002*c_\ 0101_3^14 + 7680873895172798762894164831064923/41903833652928386834\ 5250818004*c_0101_3^13 - 1929696950493376756296911148467165/4190383\ 36529283868345250818004*c_0101_3^12 - 2137629775602904161912666171960633/104759584132320967086312704501*c\ _0101_3^11 + 1499081064452066086885756949547209/4190383365292838683\ 45250818004*c_0101_3^10 + 5442298952566338728969237849426289/419038\ 336529283868345250818004*c_0101_3^9 - 382133782100552538296530973187127/209519168264641934172625409002*c_\ 0101_3^8 - 1670399425124196555700923039359651/419038336529283868345\ 250818004*c_0101_3^7 + 542963502451092170059703807639261/4190383365\ 29283868345250818004*c_0101_3^6 + 209834760892785388882131517592715\ /419038336529283868345250818004*c_0101_3^5 - 127332578341024827004362526634233/209519168264641934172625409002*c_\ 0101_3^4 - 11926583043889612079359368276823/41903833652928386834525\ 0818004*c_0101_3^3 + 12253514134832598920999112328146/1047595841323\ 20967086312704501*c_0101_3^2 + 1544151450314460048664557967363/4190\ 38336529283868345250818004*c_0101_3 - 2816695757534041856993187570459/419038336529283868345250818004, c_0011_5 + 468551328617747848206471154927/41903833652928386834525081800\ 4*c_0101_3^24 + 768122533240232451174900958005/20951916826464193417\ 2625409002*c_0101_3^23 - 9349661151850788839464556096285/4190383365\ 29283868345250818004*c_0101_3^22 - 32469493945667601254966974219899/419038336529283868345250818004*c_0\ 101_3^21 + 29667091694952609075265693277585/20951916826464193417262\ 5409002*c_0101_3^20 + 120382752194519538793128402158445/20951916826\ 4641934172625409002*c_0101_3^19 - 135060907428752846972898810406265\ /419038336529283868345250818004*c_0101_3^18 - 212715764850683573932421215002686/104759584132320967086312704501*c_\ 0101_3^17 + 85279685954982300449335757612029/4190383365292838683452\ 50818004*c_0101_3^16 + 1810565038486487781704491403244179/419038336\ 529283868345250818004*c_0101_3^15 - 35414490980273785736755420208667/209519168264641934172625409002*c_0\ 101_3^14 - 2929754175239203479822002909677449/419038336529283868345\ 250818004*c_0101_3^13 + 84224803217123235624137304726083/4190383365\ 29283868345250818004*c_0101_3^12 + 824285017553836282845692613488599/104759584132320967086312704501*c_\ 0101_3^11 + 163426614737189861997399993264541/419038336529283868345\ 250818004*c_0101_3^10 - 2128095323403225300757287083669695/41903833\ 6529283868345250818004*c_0101_3^9 - 79040972968308412887974348693173/209519168264641934172625409002*c_0\ 101_3^8 + 705781846395856292880663760457389/41903833652928386834525\ 0818004*c_0101_3^7 - 94661524897305312555098744928303/4190383365292\ 83868345250818004*c_0101_3^6 - 143419917160987819355801691938513/41\ 9038336529283868345250818004*c_0101_3^5 + 47754645277004414948014332573607/209519168264641934172625409002*c_0\ 101_3^4 + 26318712849095684563452549006661/419038336529283868345250\ 818004*c_0101_3^3 - 5354220727816059176317951268091/104759584132320\ 967086312704501*c_0101_3^2 - 2349803503550081822898228718505/419038\ 336529283868345250818004*c_0101_3 + 1220566770255683448658839844805/419038336529283868345250818004, c_0101_0 - 43443213448611336403547956949/104759584132320967086312704501\ *c_0101_3^24 - 215180133375456618980086463647/209519168264641934172\ 625409002*c_0101_3^23 + 1961195340426669021011857533643/20951916826\ 4641934172625409002*c_0101_3^22 + 2334065907694490910718598847513/1\ 04759584132320967086312704501*c_0101_3^21 - 15682557408724654304171222652443/209519168264641934172625409002*c_0\ 101_3^20 - 36580555140437968037836627457611/20951916826464193417262\ 5409002*c_0101_3^19 + 58051104226207407045703803551331/209519168264\ 641934172625409002*c_0101_3^18 + 71289562540146857826599100736393/1\ 04759584132320967086312704501*c_0101_3^17 - 61391843113539620300821311994846/104759584132320967086312704501*c_0\ 101_3^16 - 334844462145773238628456029038069/2095191682646419341726\ 25409002*c_0101_3^15 + 108432057551895101603663310287645/1047595841\ 32320967086312704501*c_0101_3^14 + 272394867951887829041900672481182/104759584132320967086312704501*c_\ 0101_3^13 - 318932487668382362449794273375689/209519168264641934172\ 625409002*c_0101_3^12 - 311147130127402527114675970442020/104759584\ 132320967086312704501*c_0101_3^11 + 128257337368303543728198115279028/104759584132320967086312704501*c_\ 0101_3^10 + 456521846450756099952002784971613/209519168264641934172\ 625409002*c_0101_3^9 - 41687503981677763561949246215359/10475958413\ 2320967086312704501*c_0101_3^8 - 86529236738883043474657783659885/1\ 04759584132320967086312704501*c_0101_3^7 + 22948027618081435744792729725689/209519168264641934172625409002*c_0\ 101_3^6 + 10761238488974105192132536108799/104759584132320967086312\ 704501*c_0101_3^5 - 23669473732239226398669724062841/20951916826464\ 1934172625409002*c_0101_3^4 - 2313389027856374167646972094325/20951\ 9168264641934172625409002*c_0101_3^3 + 3623247782541601983711604811818/104759584132320967086312704501*c_01\ 01_3^2 + 199398254630452107800973731774/104759584132320967086312704\ 501*c_0101_3 - 358268524568349466871052367699/209519168264641934172\ 625409002, c_0101_1 - 414926794164608920203062600936/10475958413232096708631270450\ 1*c_0101_3^24 - 2720427040219690161969229333003/2095191682646419341\ 72625409002*c_0101_3^23 + 16518465720587944298841105277863/20951916\ 8264641934172625409002*c_0101_3^22 + 28655498579342726955093695079457/104759584132320967086312704501*c_0\ 101_3^21 - 104414615998848952938525594793507/2095191682646419341726\ 25409002*c_0101_3^20 - 422432139037916809849076297042419/2095191682\ 64641934172625409002*c_0101_3^19 + 236944987214537793315965763838323/209519168264641934172625409002*c_\ 0101_3^18 + 739138131668795107247612175472591/104759584132320967086\ 312704501*c_0101_3^17 - 79893374589873469278593270944424/1047595841\ 32320967086312704501*c_0101_3^16 - 3110665477939728107242255163848295/209519168264641934172625409002*c\ _0101_3^15 + 92485432862204506786761237648122/104759584132320967086\ 312704501*c_0101_3^14 + 2498065875681183253226401424799865/10475958\ 4132320967086312704501*c_0101_3^13 - 270249029688294931579007071527629/209519168264641934172625409002*c_\ 0101_3^12 - 2759195482552305423767191032744930/10475958413232096708\ 6312704501*c_0101_3^11 - 59285173942348424998890008956377/104759584\ 132320967086312704501*c_0101_3^10 + 3393741859551601334352866565947579/209519168264641934172625409002*c\ _0101_3^9 + 59420422581520490454520752613239/1047595841323209670863\ 12704501*c_0101_3^8 - 512926458901119626561131047762825/10475958413\ 2320967086312704501*c_0101_3^7 + 216004491813751841966195226883897/\ 209519168264641934172625409002*c_0101_3^6 + 96803434374740680527701089599180/104759584132320967086312704501*c_0\ 101_3^5 - 144866366459111456514732188519019/20951916826464193417262\ 5409002*c_0101_3^4 - 32420293305233916158408926580235/2095191682646\ 41934172625409002*c_0101_3^3 + 14505839133452037180764648610069/104\ 759584132320967086312704501*c_0101_3^2 + 1330426842409637363738713768688/104759584132320967086312704501*c_01\ 01_3 - 1679398653886751819674020704527/2095191682646419341726254090\ 02, c_0101_3^25 + 3*c_0101_3^24 - 21*c_0101_3^23 - 64*c_0101_3^22 + 149*c_0101_3^21 + 484*c_0101_3^20 - 457*c_0101_3^19 - 1775*c_0101_3^18 + 791*c_0101_3^17 + 3952*c_0101_3^16 - 1481*c_0101_3^15 - 6501*c_0101_3^14 + 2426*c_0101_3^13 + 7377*c_0101_3^12 - 2357*c_0101_3^11 - 4906*c_0101_3^10 + 1549*c_0101_3^9 + 1633*c_0101_3^8 - 866*c_0101_3^7 - 188*c_0101_3^6 + 323*c_0101_3^5 - 35*c_0101_3^4 - 61*c_0101_3^3 + 13*c_0101_3^2 + 4*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB