Magma V2.19-8 Tue Aug 20 2013 16:18:41 on localhost [Seed = 3852761321] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2857 geometric_solution 6.08184938 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315303551072 0.950326159315 0 3 5 4 0132 0132 0132 0132 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 -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.222870275365 1.227741469913 3 0 4 5 0132 0132 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 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.222870275365 1.227741469913 2 1 6 6 0132 0132 0132 3201 0 0 0 0 0 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.403084504389 0.498966471027 4 4 1 2 1230 3012 0132 0132 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.881436010070 0.987073086222 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166518685536 0.676458729469 6 3 6 3 2310 2310 3201 0132 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 1 0 -1 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.538197201998 1.126648661980 ==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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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_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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), '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' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 49122327587062534612764912446014972935/7442524000693653362252260412\ 723771*c_0101_3^16 + 30367005396503520081309462548631782589/5725018\ 46207204104788635416363367*c_0101_3^15 - 11012347827395983461423727958145941473601/7442524000693653362252260\ 412723771*c_0101_3^14 - 3680178375704321092527027803366229829230/74\ 42524000693653362252260412723771*c_0101_3^13 + 56663882002114859386342296963823189132985/7442524000693653362252260\ 412723771*c_0101_3^12 + 32668845202617287123348172104579008023681/7\ 442524000693653362252260412723771*c_0101_3^11 - 100800390711080394720968368771734189964338/744252400069365336225226\ 0412723771*c_0101_3^10 - 82859196457400818338799946395577566507632/\ 7442524000693653362252260412723771*c_0101_3^9 + 70501438236225824879857949460154391949059/7442524000693653362252260\ 412723771*c_0101_3^8 + 75502836089061995646752959938262241399359/74\ 42524000693653362252260412723771*c_0101_3^7 - 17753915158646518259050930650895086698727/7442524000693653362252260\ 412723771*c_0101_3^6 - 27184321400257059413529676893503004185645/74\ 42524000693653362252260412723771*c_0101_3^5 + 750246627464805935568152934912935031431/744252400069365336225226041\ 2723771*c_0101_3^4 + 4642173003867977268607808974057435560721/74425\ 24000693653362252260412723771*c_0101_3^3 + 988644125208322990410167006010662094842/744252400069365336225226041\ 2723771*c_0101_3^2 - 228515709687454683067682990111004007812/744252\ 4000693653362252260412723771*c_0101_3 - 17633232197577203834252434854828458606/7442524000693653362252260412\ 723771, c_0011_0 - 1, c_0011_4 + 95470546543973150132135637648/11557270615035278658215318459*\ c_0101_3^16 + 57347781639054575635314749157/88902081654117528140117\ 8343*c_0101_3^15 - 21572200637828115192138691539829/115572706150352\ 78658215318459*c_0101_3^14 - 2243626290954882019599984150319/115572\ 70615035278658215318459*c_0101_3^13 + 110564286181956951984114532886793/11557270615035278658215318459*c_0\ 101_3^12 + 38882257163848646851872050246642/11557270615035278658215\ 318459*c_0101_3^11 - 204839065257980533934020665869893/115572706150\ 35278658215318459*c_0101_3^10 - 116789366277665640377346753756941/1\ 1557270615035278658215318459*c_0101_3^9 + 163939021740150818229978434515425/11557270615035278658215318459*c_0\ 101_3^8 + 113482198936281433393516119556782/11557270615035278658215\ 318459*c_0101_3^7 - 60151745030309208462091962995156/11557270615035\ 278658215318459*c_0101_3^6 - 42521984508899522067833685697893/11557\ 270615035278658215318459*c_0101_3^5 + 10755525085109807494789974117949/11557270615035278658215318459*c_01\ 01_3^4 + 7864077432630839947116205768832/11557270615035278658215318\ 459*c_0101_3^3 + 250678666680033690707660923776/1155727061503527865\ 8215318459*c_0101_3^2 - 682549579802287356879986506963/115572706150\ 35278658215318459*c_0101_3 + 59677767182773355402339698160/11557270\ 615035278658215318459, c_0011_5 + 889604202851306539805332274649694272/66238463606173514924045\ 1176732415619*c_0101_3^16 + 533447107273401104219856086812680930/50\ 952664312441165326188552056339663*c_0101_3^15 - 201065142098014707991678066572161718110/662384636061735149240451176\ 732415619*c_0101_3^14 - 17900815441908517399681898087123601218/6623\ 84636061735149240451176732415619*c_0101_3^13 + 1021109895869496029416469856969541734347/66238463606173514924045117\ 6732415619*c_0101_3^12 + 354508165079620992571453254201360216537/66\ 2384636061735149240451176732415619*c_0101_3^11 - 1870950857027177193700663767366181237190/66238463606173514924045117\ 6732415619*c_0101_3^10 - 1077697985674894541998881509138330574957/6\ 62384636061735149240451176732415619*c_0101_3^9 + 1466299652047331416258249849095324733537/66238463606173514924045117\ 6732415619*c_0101_3^8 + 1043516040975668246055516064814110420651/66\ 2384636061735149240451176732415619*c_0101_3^7 - 510745828258516480425336979581255060518/662384636061735149240451176\ 732415619*c_0101_3^6 - 389885963383634321791921482283849505790/6623\ 84636061735149240451176732415619*c_0101_3^5 + 81049768785077342180531425355668782169/6623846360617351492404511767\ 32415619*c_0101_3^4 + 75088675380697606834718650147735021147/662384\ 636061735149240451176732415619*c_0101_3^3 + 5204293200983156646812267411667000119/66238463606173514924045117673\ 2415619*c_0101_3^2 - 6254703079288379656061578617289958245/66238463\ 6061735149240451176732415619*c_0101_3 + 350349937460912970905678757488835097/662384636061735149240451176732\ 415619, c_0011_6 - 29455339618001151627550628274/11557270615035278658215318459*\ c_0101_3^16 - 17613029659649375809636780266/88902081654117528140117\ 8343*c_0101_3^15 + 6660978366682935477709870822356/1155727061503527\ 8658215318459*c_0101_3^14 + 436479061818923707287522552956/11557270\ 615035278658215318459*c_0101_3^13 - 33486340453492275205591392575824/11557270615035278658215318459*c_01\ 01_3^12 - 11246861736469068253305267705036/115572706150352786582153\ 18459*c_0101_3^11 + 60782059251806463421822474305997/11557270615035\ 278658215318459*c_0101_3^10 + 34930343297390007185571182644151/1155\ 7270615035278658215318459*c_0101_3^9 - 46931171108702959226093765450625/11557270615035278658215318459*c_01\ 01_3^8 - 33759504007570951252762620471617/1155727061503527865821531\ 8459*c_0101_3^7 + 15724172817464903093412460684285/1155727061503527\ 8658215318459*c_0101_3^6 + 12487289191299656302633508994672/1155727\ 0615035278658215318459*c_0101_3^5 - 2271920088087844533644032158521/11557270615035278658215318459*c_010\ 1_3^4 - 2345822098952076656980758902091/115572706150352786582153184\ 59*c_0101_3^3 - 203127383868284641199653770894/11557270615035278658\ 215318459*c_0101_3^2 + 160916497299081181652682243366/1155727061503\ 5278658215318459*c_0101_3 - 8505419766502929649238962659/1155727061\ 5035278658215318459, c_0101_0 - 3239049170163351370406401596994755840/6623846360617351492404\ 51176732415619*c_0101_3^16 - 1954899372285260026915931566673695923/\ 50952664312441165326188552056339663*c_0101_3^15 + 730935520461569926494239090748385212860/662384636061735149240451176\ 732415619*c_0101_3^14 + 103217613007297775071731624098263874348/662\ 384636061735149240451176732415619*c_0101_3^13 - 3745971382776035682067579181972418281660/66238463606173514924045117\ 6732415619*c_0101_3^12 - 1459858592848768978807632941215258908007/6\ 62384636061735149240451176732415619*c_0101_3^11 + 6888591191005246642601830168098803335253/66238463606173514924045117\ 6732415619*c_0101_3^10 + 4223251135611683716303852227463158910937/6\ 62384636061735149240451176732415619*c_0101_3^9 - 5388487364726157499358306860591528654675/66238463606173514924045117\ 6732415619*c_0101_3^8 - 4053168844560997717125120063742573804101/66\ 2384636061735149240451176732415619*c_0101_3^7 + 1869484602368996400062507100641586480116/66238463606173514924045117\ 6732415619*c_0101_3^6 + 1508130022453578952112757326149335788162/66\ 2384636061735149240451176732415619*c_0101_3^5 - 297308692176711110005109635084842972728/662384636061735149240451176\ 732415619*c_0101_3^4 - 273621851981173801083847219005402500556/6623\ 84636061735149240451176732415619*c_0101_3^3 - 21427364397903223586953460513181930521/6623846360617351492404511767\ 32415619*c_0101_3^2 + 21227728248720342677544710206071378795/662384\ 636061735149240451176732415619*c_0101_3 - 1167444371014575513417106107470629899/66238463606173514924045117673\ 2415619, c_0101_1 - 813096019470640321000187067630249180/66238463606173514924045\ 1176732415619*c_0101_3^16 - 510783064777736798772238414354846692/50\ 952664312441165326188552056339663*c_0101_3^15 + 181620676545270257518947954074519889285/662384636061735149240451176\ 732415619*c_0101_3^14 + 85981163742611522781569660148042774132/6623\ 84636061735149240451176732415619*c_0101_3^13 - 973478271215405432212589133240221970803/662384636061735149240451176\ 732415619*c_0101_3^12 - 640367388919394538648989028868199304681/662\ 384636061735149240451176732415619*c_0101_3^11 + 1795001949924955525155155134435655706691/66238463606173514924045117\ 6732415619*c_0101_3^10 + 1550864805018170283238277266009352210367/6\ 62384636061735149240451176732415619*c_0101_3^9 - 1334174803122265122991935769622786997448/66238463606173514924045117\ 6732415619*c_0101_3^8 - 1434567531295898657932547826883457095439/66\ 2384636061735149240451176732415619*c_0101_3^7 + 410469047147443126240323359429979144977/662384636061735149240451176\ 732415619*c_0101_3^6 + 544472762747882074563493638416499206634/6623\ 84636061735149240451176732415619*c_0101_3^5 - 51977395954494282423950812835187470716/6623846360617351492404511767\ 32415619*c_0101_3^4 - 96502205218175457505608698718762335778/662384\ 636061735149240451176732415619*c_0101_3^3 - 13366121927939588676692829556396904937/6623846360617351492404511767\ 32415619*c_0101_3^2 + 7013614525755487149616730532454955414/6623846\ 36061735149240451176732415619*c_0101_3 - 284520124545599866865172866279225752/662384636061735149240451176732\ 415619, c_0101_3^17 + 23/3*c_0101_3^16 - 2044/9*c_0101_3^15 + 25/3*c_0101_3^14 + 10544/9*c_0101_3^13 + 707/3*c_0101_3^12 - 2248*c_0101_3^11 - 2705/3*c_0101_3^10 + 17719/9*c_0101_3^9 + 938*c_0101_3^8 - 7774/9*c_0101_3^7 - 1070/3*c_0101_3^6 + 1805/9*c_0101_3^5 + 593/9*c_0101_3^4 - 115/9*c_0101_3^3 - 73/9*c_0101_3^2 + 2*c_0101_3 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB