Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 2193825407] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2106 geometric_solution 5.60428277 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 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 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 -1.068325757641 0.629829482462 0 0 3 2 0132 2310 0132 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 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.314794942388 0.568906805992 4 5 1 3 0132 0132 0132 1302 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 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603533301567 0.522961840465 5 4 2 1 3201 2310 2031 0132 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 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.603533301567 0.522961840465 2 4 4 3 0132 1230 3012 3201 0 0 0 0 0 -1 1 0 0 0 1 -1 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 -1 1 0 0 0 1 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053639647666 0.820021613247 6 2 6 3 0132 0132 2310 2310 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 0 0 0 0 0 0 0 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.116356860204 1.479793498916 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 0 1 0 -1 -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 0.277804285953 0.309549906504 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 2780691109607302944208538015/975654282038320202749915008*c_0101_5^3\ 0 + 38918769719309622182785223489/325218094012773400916638336*c_010\ 1_5^28 - 2000407062425000373054387756745/97565428203832020274991500\ 8*c_0101_5^26 + 18271637281513622287072207849171/975654282038320202\ 749915008*c_0101_5^24 - 24044363360230028810616295939213/2439135705\ 09580050687478752*c_0101_5^22 + 51030134632205155041041517846799/16\ 2609047006386700458319168*c_0101_5^20 - 85697190895234357270738751874415/139379183148331457535702144*c_0101\ _5^18 + 118051806634079862319613801117891/1626090470063867004583191\ 68*c_0101_5^16 - 39203687944918553568280950979949/81304523503193350\ 229159584*c_0101_5^14 + 176622519887430248165873009523637/975654282\ 038320202749915008*c_0101_5^12 - 117982899829304607627021790564853/\ 975654282038320202749915008*c_0101_5^10 + 134613041463721501865320814240735/975654282038320202749915008*c_010\ 1_5^8 - 63447613462366567893204335937493/97565428203832020274991500\ 8*c_0101_5^6 + 4634556859358890310256492885233/97565428203832020274\ 9915008*c_0101_5^4 + 904012323154390998392988474553/975654282038320\ 202749915008*c_0101_5^2 + 21909135278920944324077855945/32521809401\ 2773400916638336, c_0011_0 - 1, c_0011_2 + 220496545085649937399886043/1138263329044706903208234176*c_0\ 101_5^31 - 9176758420276857171857982767/113826332904470690320823417\ 6*c_0101_5^29 + 155337984035052991890584189741/11382633290447069032\ 08234176*c_0101_5^27 - 1395766966794826920148475989695/113826332904\ 4706903208234176*c_0101_5^25 + 1795288405144244877768002623457/2845\ 65832261176725802058544*c_0101_5^23 - 11113367427083150995249887429889/569131664522353451604117088*c_0101\ _5^21 + 6030056686379726071645406133291/162609047006386700458319168\ *c_0101_5^19 - 24211040896523910070768808835101/5691316645223534516\ 04117088*c_0101_5^17 + 7987887392773581215620659556491/284565832261\ 176725802058544*c_0101_5^15 - 13197763150722722625179925605481/1138\ 263329044706903208234176*c_0101_5^13 + 9195570627394621039627428195913/1138263329044706903208234176*c_0101\ _5^11 - 9125471279389829813408432065339/113826332904470690320823417\ 6*c_0101_5^9 + 4271559188308015242332054196777/11382633290447069032\ 08234176*c_0101_5^7 - 605330062566744982737419190165/11382633290447\ 06903208234176*c_0101_5^5 + 18461397298231924433222888355/113826332\ 9044706903208234176*c_0101_5^3 - 272219881294358670812311015/113826\ 3329044706903208234176*c_0101_5, c_0101_0 - 114052440626612796922246527/1138263329044706903208234176*c_0\ 101_5^31 + 4771415664957007049569289539/113826332904470690320823417\ 6*c_0101_5^29 - 81331911891201893747764611049/113826332904470690320\ 8234176*c_0101_5^27 + 737537027705089463381218078739/11382633290447\ 06903208234176*c_0101_5^25 - 960298908394213124366482999005/2845658\ 32261176725802058544*c_0101_5^23 + 6025822973720116202778426763725/569131664522353451604117088*c_0101_\ 5^21 - 3308556878773212736364201242255/162609047006386700458319168*\ c_0101_5^19 + 13322114163573366785838011014489/56913166452235345160\ 4117088*c_0101_5^17 - 4266358095146947719283644343151/2845658322611\ 76725802058544*c_0101_5^15 + 6212572546937801107132985855861/113826\ 3329044706903208234176*c_0101_5^13 - 4455160278081182786114257964693/1138263329044706903208234176*c_0101\ _5^11 + 5014956797663519462742953242527/113826332904470690320823417\ 6*c_0101_5^9 - 2212803627469476570083769376885/11382633290447069032\ 08234176*c_0101_5^7 + 106312241490372460049602939633/11382633290447\ 06903208234176*c_0101_5^5 + 37382482070061831257348805785/113826332\ 9044706903208234176*c_0101_5^3 - 1322772165759221557329235109/11382\ 63329044706903208234176*c_0101_5, c_0101_1 + 41852342301607124179631989/569131664522353451604117088*c_010\ 1_5^31 - 1755942351417070455477764253/569131664522353451604117088*c\ _0101_5^29 + 30045320343783171213281454979/569131664522353451604117\ 088*c_0101_5^27 - 273795607715416124144573543285/569131664522353451\ 604117088*c_0101_5^25 + 358706841119726454949427866597/142282916130\ 588362901029272*c_0101_5^23 - 2264417005321557964411583823195/28456\ 5832261176725802058544*c_0101_5^21 + 1246530543325438313288622730997/81304523503193350229159584*c_0101_5\ ^19 - 4977303025886004733110582825501/284565832261176725802058544*c\ _0101_5^17 + 763839719953205482970332102675/71141458065294181450514\ 636*c_0101_5^15 - 1946182886992510904196840518819/56913166452235345\ 1604117088*c_0101_5^13 + 1531766200572725737552360662735/5691316645\ 22353451604117088*c_0101_5^11 - 1886178564639981892815134149121/569\ 131664522353451604117088*c_0101_5^9 + 751917207295486811529115227591/569131664522353451604117088*c_0101_5\ ^7 + 30126466304844034126225804561/569131664522353451604117088*c_01\ 01_5^5 - 21084262800995155428283913843/569131664522353451604117088*\ c_0101_5^3 + 256893397514267171053679643/56913166452235345160411708\ 8*c_0101_5, c_0101_3 + 10895815747804051051164949/569131664522353451604117088*c_010\ 1_5^30 - 469721937657139341140213941/569131664522353451604117088*c_\ 0101_5^28 + 8334099552831867378449089731/56913166452235345160411708\ 8*c_0101_5^26 - 79677396467444832909213711933/569131664522353451604\ 117088*c_0101_5^24 + 111398237497028197990720287921/142282916130588\ 362901029272*c_0101_5^22 - 762149227465129511717944313875/284565832\ 261176725802058544*c_0101_5^20 + 462302858252916287083400553045/813\ 04523503193350229159584*c_0101_5^18 - 2088158105811506716445199464817/284565832261176725802058544*c_0101_\ 5^16 + 95912578227678653198036853076/17785364516323545362628659*c_0\ 101_5^14 - 1245396037332823363955476612667/569131664522353451604117\ 088*c_0101_5^12 + 711538020591255180402471842719/569131664522353451\ 604117088*c_0101_5^10 - 829736468039931486682721461593/569131664522\ 353451604117088*c_0101_5^8 + 445755239536083110960346866247/5691316\ 64522353451604117088*c_0101_5^6 - 61124374715894605841325036887/569\ 131664522353451604117088*c_0101_5^4 + 3411799487928028273542361421/569131664522353451604117088*c_0101_5^2 - 93550953077361145166800989/569131664522353451604117088, c_0101_4 - 42872302907586597744178043/569131664522353451604117088*c_010\ 1_5^30 + 1769984902484843451259583855/569131664522353451604117088*c\ _0101_5^28 - 29620240997118345228441729869/569131664522353451604117\ 088*c_0101_5^26 + 261813245303708930320548120127/569131664522353451\ 604117088*c_0101_5^24 - 328511956727828346120502723193/142282916130\ 588362901029272*c_0101_5^22 + 1963967327030139666872517601249/28456\ 5832261176725802058544*c_0101_5^20 - 1016382757191640184079784478667/81304523503193350229159584*c_0101_5\ ^18 + 3828019569400949506623909712557/284565832261176725802058544*c\ _0101_5^16 - 1164124958919975213398321462163/1422829161305883629010\ 29272*c_0101_5^14 + 1892766466696034727082086102153/569131664522353\ 451604117088*c_0101_5^12 - 1533534539665255266136526158505/56913166\ 4522353451604117088*c_0101_5^10 + 1416324965178447958719521828283/5\ 69131664522353451604117088*c_0101_5^8 - 571065411262900337681753769705/569131664522353451604117088*c_0101_5\ ^6 + 70076179246456637522399114581/569131664522353451604117088*c_01\ 01_5^4 - 5499741255844138881100961219/569131664522353451604117088*c\ _0101_5^2 + 371560350097430353128410695/569131664522353451604117088\ , c_0101_5^32 - 42*c_0101_5^30 + 720*c_0101_5^28 - 6584*c_0101_5^26 + 34741*c_0101_5^24 - 111170*c_0101_5^22 + 220165*c_0101_5^20 - 266073*c_0101_5^18 + 186746*c_0101_5^16 - 79103*c_0101_5^14 + 49690*c_0101_5^12 - 51312*c_0101_5^10 + 26328*c_0101_5^8 - 4286*c_0101_5^6 + 252*c_0101_5^4 - 10*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB