Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 896838112] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1381 geometric_solution 5.23634873 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780152004161 0.100411783007 0 2 0 2 0132 0132 1023 1023 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 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.697348537103 0.246976736750 3 1 4 1 0132 0132 0132 1023 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 0 -1 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 1.058141374466 1.152139441154 2 4 6 5 0132 3201 0132 0132 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 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.297789954374 1.057414594807 5 6 3 2 3201 3201 2310 0132 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 -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.297789954374 1.057414594807 5 5 3 4 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.047473538627 1.334175842541 6 6 4 3 1302 2031 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 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 0 0 0 0 0 0 0 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.304876553185 0.540654468703 ==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' : negation(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' : negation(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' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(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' : 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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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: 22 Groebner basis: [ t + 1208416433469163835090403/305202440663222340021500*c_0101_3^21 + 2979255053109593089337641/152601220331611170010750*c_0101_3^20 - 16591437813526401435141309/610404881326444680043000*c_0101_3^19 - 54730428820796774046426847/305202440663222340021500*c_0101_3^18 - 10890838021116918361874879/610404881326444680043000*c_0101_3^17 + 162421322745899560859185501/305202440663222340021500*c_0101_3^16 + 134758162772699702184318261/610404881326444680043000*c_0101_3^15 - 462002172239737435538448417/610404881326444680043000*c_0101_3^14 - 13345906348203223944652553/305202440663222340021500*c_0101_3^13 + 17365591531933872142144206/15260122033161117001075*c_0101_3^12 - 129457229415489055458400371/305202440663222340021500*c_0101_3^11 - 606049774096681474708886891/305202440663222340021500*c_0101_3^10 - 5517486552401862318029582/76300610165805585005375*c_0101_3^9 + 529952892034609947874045097/305202440663222340021500*c_0101_3^8 + 145954745744970081604352507/305202440663222340021500*c_0101_3^7 - 402670287203315935648550179/610404881326444680043000*c_0101_3^6 + 27922562141995546723224903/610404881326444680043000*c_0101_3^5 + 226684228289193352890889723/610404881326444680043000*c_0101_3^4 - 17156333083420543843104093/122080976265288936008600*c_0101_3^3 - 1193554456940915590882411/4883239050611557440344*c_0101_3^2 - 2103444976094671405007653/152601220331611170010750*c_0101_3 + 4621194797513272051053101/122080976265288936008600, c_0011_0 - 1, c_0011_4 - 11050869304530867398452/15260122033161117001075*c_0101_3^21 - 42392440943625529520638/15260122033161117001075*c_0101_3^20 + 122393296730640461226128/15260122033161117001075*c_0101_3^19 + 368137342863680073207123/15260122033161117001075*c_0101_3^18 - 348679312416231122348757/15260122033161117001075*c_0101_3^17 - 1114923055648527581710634/15260122033161117001075*c_0101_3^16 + 554217308691228284517213/15260122033161117001075*c_0101_3^15 + 1510065780038303429996789/15260122033161117001075*c_0101_3^14 - 1380537936717941413464473/15260122033161117001075*c_0101_3^13 - 323814294516760752346011/3052024406632223400215*c_0101_3^12 + 2748472942132883248144364/15260122033161117001075*c_0101_3^11 + 2554508044538567404805919/15260122033161117001075*c_0101_3^10 - 2284111818913517922517623/15260122033161117001075*c_0101_3^9 - 2512039093682467708034348/15260122033161117001075*c_0101_3^8 + 872925360081739732238512/15260122033161117001075*c_0101_3^7 + 916054832231224147133443/15260122033161117001075*c_0101_3^6 - 665153450931573344616876/15260122033161117001075*c_0101_3^5 - 212456555036690812137216/15260122033161117001075*c_0101_3^4 + 92602310532358372559401/3052024406632223400215*c_0101_3^3 + 8018504982200317983978/610404881326444680043*c_0101_3^2 - 100254420179849713278121/15260122033161117001075*c_0101_3 - 9534608349254926431347/3052024406632223400215, c_0011_5 + 84236441602277467234/610404881326444680043*c_0101_3^21 + 495223886650033775742/610404881326444680043*c_0101_3^20 - 316049319768126102357/610404881326444680043*c_0101_3^19 - 4898918068285912754535/610404881326444680043*c_0101_3^18 - 2634457092915535418284/610404881326444680043*c_0101_3^17 + 15738948577386632238576/610404881326444680043*c_0101_3^16 + 11920207488911552976320/610404881326444680043*c_0101_3^15 - 26240541328012002266030/610404881326444680043*c_0101_3^14 - 10827116472999144331956/610404881326444680043*c_0101_3^13 + 43585298135950233105138/610404881326444680043*c_0101_3^12 - 2763392603571000229096/610404881326444680043*c_0101_3^11 - 73570123656171510683903/610404881326444680043*c_0101_3^10 - 6693937100459433746501/610404881326444680043*c_0101_3^9 + 69634642403240577405524/610404881326444680043*c_0101_3^8 + 17143024647159553739760/610404881326444680043*c_0101_3^7 - 34635205396212899757071/610404881326444680043*c_0101_3^6 - 1380210627660856507965/610404881326444680043*c_0101_3^5 + 17577813697436880376999/610404881326444680043*c_0101_3^4 - 5023613740914514969107/610404881326444680043*c_0101_3^3 - 9290478483750922724391/610404881326444680043*c_0101_3^2 + 888607458489476095003/610404881326444680043*c_0101_3 + 2217095258503185597267/610404881326444680043, c_0011_6 - 1329357785937020833248/15260122033161117001075*c_0101_3^21 - 11887810862266252422462/15260122033161117001075*c_0101_3^20 - 9493538350921850183978/15260122033161117001075*c_0101_3^19 + 126600570968888646820727/15260122033161117001075*c_0101_3^18 + 164068779640182365645057/15260122033161117001075*c_0101_3^17 - 412207991237259188939066/15260122033161117001075*c_0101_3^16 - 559259045071968231130038/15260122033161117001075*c_0101_3^15 + 725885868373801625317986/15260122033161117001075*c_0101_3^14 + 657601042969181326821498/15260122033161117001075*c_0101_3^13 - 269822140324802188420229/3052024406632223400215*c_0101_3^12 - 389111216725489141249814/15260122033161117001075*c_0101_3^11 + 2347357246058894797606681/15260122033161117001075*c_0101_3^10 + 726785267227794560241373/15260122033161117001075*c_0101_3^9 - 2195439379134322307901152/15260122033161117001075*c_0101_3^8 - 880389727866220397270437/15260122033161117001075*c_0101_3^7 + 1105089144643941576705157/15260122033161117001075*c_0101_3^6 + 160739424329293283068101/15260122033161117001075*c_0101_3^5 - 613864298300333902125359/15260122033161117001075*c_0101_3^4 + 29362931751488801692149/3052024406632223400215*c_0101_3^3 + 13730188331362507434379/610404881326444680043*c_0101_3^2 - 16341256865278363946904/15260122033161117001075*c_0101_3 - 15974942674577894137578/3052024406632223400215, c_0101_0 - 149857187675069453072/610404881326444680043*c_0101_3^21 - 612539495027837515644/610404881326444680043*c_0101_3^20 + 1553805627780590000322/610404881326444680043*c_0101_3^19 + 5492532104348472207254/610404881326444680043*c_0101_3^18 - 4098974778237191236095/610404881326444680043*c_0101_3^17 - 16707857253119205822784/610404881326444680043*c_0101_3^16 + 6430932255969811100357/610404881326444680043*c_0101_3^15 + 22841370218842902414142/610404881326444680043*c_0101_3^14 - 19576694504075946464021/610404881326444680043*c_0101_3^13 - 24722566944650681981938/610404881326444680043*c_0101_3^12 + 40372338544969495511193/610404881326444680043*c_0101_3^11 + 37342089756098479518282/610404881326444680043*c_0101_3^10 - 31540557081647088977576/610404881326444680043*c_0101_3^9 - 32978627746790842171342/610404881326444680043*c_0101_3^8 + 10585245045945183256765/610404881326444680043*c_0101_3^7 + 8248353170657399823084/610404881326444680043*c_0101_3^6 - 10506673811209744038779/610404881326444680043*c_0101_3^5 - 1456746592543854685313/610404881326444680043*c_0101_3^4 + 6904709485873826097310/610404881326444680043*c_0101_3^3 + 2829629627049931795094/610404881326444680043*c_0101_3^2 - 385246239710303858438/610404881326444680043*c_0101_3 - 457589650059718287753/610404881326444680043, c_0101_1 + 824847653489610864612/3052024406632223400215*c_0101_3^21 + 3989023193282921549228/3052024406632223400215*c_0101_3^20 - 6139807183481327848238/3052024406632223400215*c_0101_3^19 - 37303338065275275523078/3052024406632223400215*c_0101_3^18 + 334852968355318375722/3052024406632223400215*c_0101_3^17 + 115462757037761516232904/3052024406632223400215*c_0101_3^16 + 36214202268244658003442/3052024406632223400215*c_0101_3^15 - 172857349807728443399674/3052024406632223400215*c_0101_3^14 + 2672196202322777317773/3052024406632223400215*c_0101_3^13 + 50251936941253422774087/610404881326444680043*c_0101_3^12 - 116457778346321962639179/3052024406632223400215*c_0101_3^11 - 427596420283681897933424/3052024406632223400215*c_0101_3^10 + 37873236773705901242323/3052024406632223400215*c_0101_3^9 + 396977935087602486255323/3052024406632223400215*c_0101_3^8 + 62366812697244147147963/3052024406632223400215*c_0101_3^7 - 164886835555703100185088/3052024406632223400215*c_0101_3^6 + 25300919046666380882391/3052024406632223400215*c_0101_3^5 + 78534362323482049954646/3052024406632223400215*c_0101_3^4 - 8432910160985990546443/610404881326444680043*c_0101_3^3 - 10259439661951221078224/610404881326444680043*c_0101_3^2 + 3711014357923912691671/3052024406632223400215*c_0101_3 + 2163264986642574034658/610404881326444680043, c_0101_3^22 + 4*c_0101_3^21 - 23/2*c_0101_3^20 - 39*c_0101_3^19 + 77/2*c_0101_3^18 + 279/2*c_0101_3^17 - 74*c_0101_3^16 - 247*c_0101_3^15 + 179*c_0101_3^14 + 305*c_0101_3^13 - 789/2*c_0101_3^12 - 809/2*c_0101_3^11 + 479*c_0101_3^10 + 903/2*c_0101_3^9 - 657/2*c_0101_3^8 - 563/2*c_0101_3^7 + 198*c_0101_3^6 + 88*c_0101_3^5 - 135*c_0101_3^4 - 25*c_0101_3^3 + 121/2*c_0101_3^2 + 10*c_0101_3 - 25/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB