Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 206409929] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0272 geometric_solution 4.31976022 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 2.321286845936 0.119021170141 0 2 2 0 0132 0132 3201 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 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 -1.153611330774 0.495926841857 1 1 3 3 2310 0132 0132 3201 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 0 -1 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.197629221882 0.188131652506 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 1 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761108484976 1.394019464132 3 6 5 5 0132 0132 0213 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 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.143846221134 0.809069258267 4 4 6 3 3201 0213 3201 0132 0 0 0 0 0 1 0 -1 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 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.143846221134 0.809069258267 5 4 6 6 2310 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 0 0 0 0 0 0 0 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.786984364030 1.198115607309 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : 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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 89446830407510566585906034244067777837490208515/4931802285896646119\ 408528366318259695722613287424*c_0101_6^25 + 60807900204605230896988916399003349873140191147/5604320779428006953\ 8733276889980223815029696448*c_0101_6^23 - 30981375472960725806258116056502604557921791724991/1232950571474161\ 529852132091579564923930653321856*c_0101_6^21 + 1315954469819645769900306308616021755822750396179927/49318022858966\ 46119408528366318259695722613287424*c_0101_6^19 - 3773799707975236929335367991657956324878438450358623/49318022858966\ 46119408528366318259695722613287424*c_0101_6^17 + 5097203916186076141848592591870980964834726600356565/49318022858966\ 46119408528366318259695722613287424*c_0101_6^15 - 2667349536792550424182419030907978901852510330986767/61647528573708\ 0764926066045789782461965326660928*c_0101_6^13 + 4146187722459277478645749644563025482954404425158503/24659011429483\ 23059704264183159129847861306643712*c_0101_6^11 - 43673569491648601413288968297570089816503727723176353/4931802285896\ 646119408528366318259695722613287424*c_0101_6^9 + 43216994450667552706080251250286977299675256938792401/4931802285896\ 646119408528366318259695722613287424*c_0101_6^7 - 545127164800068468889874749707664025429915111381279/493180228589664\ 6119408528366318259695722613287424*c_0101_6^5 - 5982002171566964947857176570393073275450074649887/13401636646458277\ 498392740125864836129681014368*c_0101_6^3 - 37269150729735757616978100250124757709209128929825/3082376428685403\ 82463033022894891230982663330464*c_0101_6, c_0011_0 - 1, c_0011_3 - 6699047598246445838052874734121782991861/4237671666864277469\ 84750675916674660227067648*c_0101_6^24 + 6231739986373321517263422900960657319977/66213619794754335466367293\ 11198041566047932*c_0101_6^22 - 22920476318497390383126220476595513\ 49758849/105941791671606936746187668979168665056766912*c_0101_6^20 + 96032392013203939155623983115552387204473441/4237671666864277469847\ 50675916674660227067648*c_0101_6^18 - 257710005246722005057974170058028425593241633/423767166686427746984\ 750675916674660227067648*c_0101_6^16 + 336464532102253883497722149401552793197360827/423767166686427746984\ 750675916674660227067648*c_0101_6^14 - 49232157077357444786392570037321872592566077/1324272395895086709327\ 3458622396083132095864*c_0101_6^12 + 128792073287888673477093405217416657071587361/211883583343213873492\ 375337958337330113533824*c_0101_6^10 - 3687023940691215466768413012530530413057275095/42376716668642774698\ 4750675916674660227067648*c_0101_6^8 + 2212113793661607808495120151110095406246202543/42376716668642774698\ 4750675916674660227067648*c_0101_6^6 - 465202009967562926362454677898859243324880625/423767166686427746984\ 750675916674660227067648*c_0101_6^4 + 35681673148136736808474468018289642553932659/5297089583580346837309\ 3834489584332528383456*c_0101_6^2 + 11271020658742709062260340311578947726686339/2648544791790173418654\ 6917244792166264191728, c_0011_5 + 10831370018416539136419109881785751380551/423767166686427746\ 984750675916674660227067648*c_0101_6^25 - 40413149476159874187894099522957003562877/2648544791790173418654691\ 7244792166264191728*c_0101_6^23 + 373201556855553533288197722437944\ 1656404987/105941791671606936746187668979168665056766912*c_0101_6^2\ 1 - 157663277734763171073764293809717101863206443/42376716668642774\ 6984750675916674660227067648*c_0101_6^19 + 441633889960832573833343284100936621785384699/423767166686427746984\ 750675916674660227067648*c_0101_6^17 - 610266481814593658977942587977191894337587673/423767166686427746984\ 750675916674660227067648*c_0101_6^15 + 165610988175724365508293081592769375040181913/264854479179017341865\ 46917244792166264191728*c_0101_6^13 - 431686980815711753464700216801506980605625675/211883583343213873492\ 375337958337330113533824*c_0101_6^11 + 5970149308407485935489782059147190954658232093/42376716668642774698\ 4750675916674660227067648*c_0101_6^9 - 4847272537246366027236587540686743916947595765/42376716668642774698\ 4750675916674660227067648*c_0101_6^7 + 975139053125497096099336090754977742590202251/423767166686427746984\ 750675916674660227067648*c_0101_6^5 - 192461720571864011838052852787000821608871155/529708958358034683730\ 93834489584332528383456*c_0101_6^3 - 4114232979603200903003617862243461180714813/26485447917901734186546\ 917244792166264191728*c_0101_6, c_0101_0 + 323840066029332311562130035636372469471385/84753433337285549\ 3969501351833349320454135296*c_0101_6^25 - 604478949242544867620446445727840652170523/264854479179017341865469\ 17244792166264191728*c_0101_6^23 + 111716938656984404584406390734106177399115893/211883583343213873492\ 375337958337330113533824*c_0101_6^21 - 4722809845457224527286256954843279305552309493/84753433337285549396\ 9501351833349320454135296*c_0101_6^19 + 13224452268919997956641067203769520891831359701/8475343333728554939\ 69501351833349320454135296*c_0101_6^17 - 17236906189726951807935907058500072605903655415/8475343333728554939\ 69501351833349320454135296*c_0101_6^15 + 591051799285305496151764247790724240569669755/662136197947543354663\ 6729311198041566047932*c_0101_6^13 - 11451801477603070816616766138937296287954594933/4237671666864277469\ 84750675916674660227067648*c_0101_6^11 + 156112556550203488536860162905301974078861227619/847534333372855493\ 969501351833349320454135296*c_0101_6^9 - 141162359642475400632257230919323446427172798267/847534333372855493\ 969501351833349320454135296*c_0101_6^7 - 10588664049994375187784645586601223525576742363/8475343333728554939\ 69501351833349320454135296*c_0101_6^5 + 1036905395400652981952906160932217978306009613/10594179167160693674\ 6187668979168665056766912*c_0101_6^3 + 118965711498166183120481122464450084479352121/529708958358034683730\ 93834489584332528383456*c_0101_6, c_0101_1 - 56805869882712950972382204421418536981549/423767166686427746\ 984750675916674660227067648*c_0101_6^24 + 211702108118159949504419510510921332976763/264854479179017341865469\ 17244792166264191728*c_0101_6^22 - 19510227739702058393530297038157443453694665/1059417916716069367461\ 87668979168665056766912*c_0101_6^20 + 820583134900570870135612385982880037284217209/423767166686427746984\ 750675916674660227067648*c_0101_6^18 - 2239211936196791691450909655271791403415712041/42376716668642774698\ 4750675916674660227067648*c_0101_6^16 + 2834495670304629889856472324584488442220939891/42376716668642774698\ 4750675916674660227067648*c_0101_6^14 - 818654732374068963743336417747653246920153055/264854479179017341865\ 46917244792166264191728*c_0101_6^12 + 1421552410005994993959675067983514481714300569/21188358334321387349\ 2375337958337330113533824*c_0101_6^10 - 27814175245907492634159338486593114059583992095/4237671666864277469\ 84750675916674660227067648*c_0101_6^8 + 22253465484525904139485784015271618162766945063/4237671666864277469\ 84750675916674660227067648*c_0101_6^6 + 2575822478240493545065330351082745119807205543/42376716668642774698\ 4750675916674660227067648*c_0101_6^4 + 38487131326231187119271650941788193014159769/5297089583580346837309\ 3834489584332528383456*c_0101_6^2 - 34555733857186678711076578456332410116432681/2648544791790173418654\ 6917244792166264191728, c_0101_3 + 6272425874404535698640343271117510858011/4237671666864277469\ 84750675916674660227067648*c_0101_6^24 - 2928432009304649769233060899282962524629/33106809897377167733183646\ 55599020783023966*c_0101_6^22 + 21670364265068893972058351611152728\ 13900111/105941791671606936746187668979168665056766912*c_0101_6^20 - 91845234234299346144405641397932059329581935/4237671666864277469847\ 50675916674660227067648*c_0101_6^18 + 261529092471942643828169439992770209789120367/423767166686427746984\ 750675916674660227067648*c_0101_6^16 - 369661039379366621727290124267559423035567349/423767166686427746984\ 750675916674660227067648*c_0101_6^14 + 48270101241089655615566724323548018761238813/1324272395895086709327\ 3458622396083132095864*c_0101_6^12 - 277876578705616322034283820220607663376357295/211883583343213873492\ 375337958337330113533824*c_0101_6^10 + 3472202754180180536409874853925925875257501017/42376716668642774698\ 4750675916674660227067648*c_0101_6^8 - 2837098593312853559478610210199301724925681601/42376716668642774698\ 4750675916674660227067648*c_0101_6^6 + 906184795660051840366464867442579423253933343/423767166686427746984\ 750675916674660227067648*c_0101_6^4 - 57630126968265243333371379580729527674800917/5297089583580346837309\ 3834489584332528383456*c_0101_6^2 - 2033024677349950863838240155744974143820893/26485447917901734186546\ 917244792166264191728, c_0101_6^26 - 60*c_0101_6^24 + 1396*c_0101_6^22 - 14957*c_0101_6^20 + 44809*c_0101_6^18 - 64763*c_0101_6^16 + 249700*c_0101_6^14 - 136314*c_0101_6^12 + 510771*c_0101_6^10 - 572967*c_0101_6^8 + 103745*c_0101_6^6 + 8188*c_0101_6^4 + 6576*c_0101_6^2 - 1472 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB