Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 3297073186] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1876 geometric_solution 5.50461563 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.397853292309 0.246192301073 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784617585183 0.878497843731 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.075320468573 0.948715364570 2 5 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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.075320468573 0.948715364570 3 2 4 4 2310 0132 1230 3012 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.249815722905 1.153718178124 6 3 6 2 0132 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376090728151 1.505117363726 5 5 6 6 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433787036238 0.149198496966 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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' : negation(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_0'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : negation(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' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 28096789204910003777800563354982868313931/9399141899681709207629312\ 636348387731024*c_0101_5^30 - 1167146819824105252976714896886664954\ 922711/9399141899681709207629312636348387731024*c_0101_5^28 + 19383743647555329577763519658604388742762409/9399141899681709207629\ 312636348387731024*c_0101_5^26 - 8380475171746670008575863397041834\ 1922541339/4699570949840854603814656318174193865512*c_0101_5^24 + 411225767904550516238592256954711110871037213/469957094984085460381\ 4656318174193865512*c_0101_5^22 - 235446166261703685506111643601168\ 8402765097639/9399141899681709207629312636348387731024*c_0101_5^20 + 979937835492361071819338417988941707040360219/234978547492042730190\ 7328159087096932756*c_0101_5^18 - 348090290108982862180787522778487\ 6754651582587/9399141899681709207629312636348387731024*c_0101_5^16 + 153785932679152915549427015836257920843605375/234978547492042730190\ 7328159087096932756*c_0101_5^14 + 354593759731320190999188416158255\ 778780461227/2349785474920427301907328159087096932756*c_0101_5^12 - 57648806812603048885645712434834210078170869/5874463687301068254768\ 32039771774233189*c_0101_5^10 + 19368842041583322798433708944903682\ 6079437587/9399141899681709207629312636348387731024*c_0101_5^8 - 15651744820159529354840908246443792233561861/4699570949840854603814\ 656318174193865512*c_0101_5^6 - 15209337217033425336941873043388674\ 297743133/1174892737460213650953664079543548466378*c_0101_5^4 + 5770228716360281129263113186294324035895781/85446744542560992796630\ 1148758944339184*c_0101_5^2 - 7242672002574572916826707263896312827\ 14337/9399141899681709207629312636348387731024, c_0011_0 - 1, c_0011_1 + 321914058961141793422227137424322451/21361686135640248199157\ 5287189736084796*c_0101_5^30 - 667586451615291120210107065698959677\ 5/106808430678201240995787643594868042398*c_0101_5^28 + 221244000025311417388888830253221927083/213616861356402481991575287\ 189736084796*c_0101_5^26 - 1906785424410252387331886795413644095185\ /213616861356402481991575287189736084796*c_0101_5^24 + 9311388068156309443271517797556650008067/21361686135640248199157528\ 7189736084796*c_0101_5^22 - 132369676916934690926404319491225107647\ 95/106808430678201240995787643594868042398*c_0101_5^20 + 21853359614470442404170700221434308900739/1068084306782012409957876\ 43594868042398*c_0101_5^18 - 38612552661081208318190620486479689174\ 877/213616861356402481991575287189736084796*c_0101_5^16 + 7422369202818687990084595686850764648009/21361686135640248199157528\ 7189736084796*c_0101_5^14 + 137276649949891314216382372614885219164\ 47/213616861356402481991575287189736084796*c_0101_5^12 - 8544350716722934126512037940153598825383/21361686135640248199157528\ 7189736084796*c_0101_5^10 + 131085777830727161322315831108870004810\ 9/106808430678201240995787643594868042398*c_0101_5^8 - 366639987839509335775506061666069417077/534042153391006204978938217\ 97434021199*c_0101_5^6 - 177509624373171228837839607517109474165/53\ 404215339100620497893821797434021199*c_0101_5^4 + 332154875607607298322161252250073984943/213616861356402481991575287\ 189736084796*c_0101_5^2 - 20273542864268620702304518041432218239/53\ 404215339100620497893821797434021199, c_0011_3 - 1450773381631128720922539305625461721/1068084306782012409957\ 87643594868042398*c_0101_5^31 + 60010533594765990867717684046767875\ 369/106808430678201240995787643594868042398*c_0101_5^29 - 990345430908695847821965937537508056337/106808430678201240995787643\ 594868042398*c_0101_5^27 + 4240505845341930641782628261893281803590\ /53404215339100620497893821797434021199*c_0101_5^25 - 20492750444949717487025335956124585782697/5340421533910062049789382\ 1797434021199*c_0101_5^23 + 114440736485790315762298810168313371481\ 433/106808430678201240995787643594868042398*c_0101_5^21 - 91303475042391065516261818390152525426548/5340421533910062049789382\ 1797434021199*c_0101_5^19 + 148490771536039083713237798883967170314\ 455/106808430678201240995787643594868042398*c_0101_5^17 - 3518071445052034616587367765495093945307/53404215339100620497893821\ 797434021199*c_0101_5^15 - 3642300532535100047817702222877849993104\ 5/53404215339100620497893821797434021199*c_0101_5^13 + 16551362644996762063925563196015887557011/5340421533910062049789382\ 1797434021199*c_0101_5^11 - 231601358807477680941922013536408466873\ 1/106808430678201240995787643594868042398*c_0101_5^9 + 69983704814080763294072254219907717054/5340421533910062049789382179\ 7434021199*c_0101_5^7 + 3084872278723096111040223698795614793230/53\ 404215339100620497893821797434021199*c_0101_5^5 - 1965789438356926334280542685813015172555/10680843067820124099578764\ 3594868042398*c_0101_5^3 - 398110399874972963711281548915405114301/\ 106808430678201240995787643594868042398*c_0101_5, c_0101_0 + 2281801423781574807840983641077760291/1068084306782012409957\ 87643594868042398*c_0101_5^31 - 95004309520023862392018723953940063\ 683/106808430678201240995787643594868042398*c_0101_5^29 + 1583246023343293535491616738588750792679/10680843067820124099578764\ 3594868042398*c_0101_5^27 - 688115221871113006875643720630650440074\ 4/53404215339100620497893821797434021199*c_0101_5^25 + 34046963455098352587750182923354948188072/5340421533910062049789382\ 1797434021199*c_0101_5^23 - 197594791875326338740779827749499005601\ 079/106808430678201240995787643594868042398*c_0101_5^21 + 168290366094388505205639269277598610089313/534042153391006204978938\ 21797434021199*c_0101_5^19 - 31286599337552233834613399301146275443\ 4257/106808430678201240995787643594868042398*c_0101_5^17 + 38002335166054017021765326407097195913554/5340421533910062049789382\ 1797434021199*c_0101_5^15 + 561796159681838386542972791777797728711\ 63/53404215339100620497893821797434021199*c_0101_5^13 - 44048597062607513559566556678258257396098/5340421533910062049789382\ 1797434021199*c_0101_5^11 + 239944441888692164756313007023584595406\ 09/106808430678201240995787643594868042398*c_0101_5^9 - 2071468138570922328016571166587847538184/53404215339100620497893821\ 797434021199*c_0101_5^7 - 4826371674409069001279185567830978540266/\ 53404215339100620497893821797434021199*c_0101_5^5 + 6254301697552039997428261283467020685233/10680843067820124099578764\ 3594868042398*c_0101_5^3 - 676178033057377513045582277423777013185/\ 106808430678201240995787643594868042398*c_0101_5, c_0101_1 - 782572734803542877230380248972289913/21361686135640248199157\ 5287189736084796*c_0101_5^30 + 161999356169665079556139306754814429\ 67/106808430678201240995787643594868042398*c_0101_5^28 - 535410039646852184597333641847341238365/213616861356402481991575287\ 189736084796*c_0101_5^26 + 4594524938328337750096813284762380511295\ /213616861356402481991575287189736084796*c_0101_5^24 - 22276504392024884858867533558581905204561/2136168613564024819915752\ 87189736084796*c_0101_5^22 + 31272515891688886493251765220326757794\ 829/106808430678201240995787643594868042398*c_0101_5^20 - 50408661344726372163132768602865592688649/1068084306782012409957876\ 43594868042398*c_0101_5^18 + 84083870258715832446455463426454060174\ 415/213616861356402481991575287189736084796*c_0101_5^16 - 7951051998318013515545511583314046418775/21361686135640248199157528\ 7189736084796*c_0101_5^14 - 371409866841616055016949366692300069839\ 25/213616861356402481991575287189736084796*c_0101_5^12 + 17610662644722611000748729402067738410981/2136168613564024819915752\ 87189736084796*c_0101_5^10 - 86641053480581474469713487568423272667\ 1/106808430678201240995787643594868042398*c_0101_5^8 + 117713092577579822549900986843118254534/534042153391006204978938217\ 97434021199*c_0101_5^6 + 831854920204318657929434014034664378211/53\ 404215339100620497893821797434021199*c_0101_5^4 - 1278441034268901630197057845241649600993/21361686135640248199157528\ 7189736084796*c_0101_5^2 - 20127229737614532465289771039770296671/5\ 3404215339100620497893821797434021199, c_0101_4 + 1028186952929454591932859861503994821/5340421533910062049789\ 3821797434021199*c_0101_5^31 - 426687575642578575307601520672351474\ 38/53404215339100620497893821797434021199*c_0101_5^29 + 707590536496457492050080123586550326289/534042153391006204978938217\ 97434021199*c_0101_5^27 - 6104867301558865178791979069038610725096/\ 53404215339100620497893821797434021199*c_0101_5^25 + 29852894960487161442733993840307882548791/5340421533910062049789382\ 1797434021199*c_0101_5^23 - 849923126976138605122126767393985058139\ 56/53404215339100620497893821797434021199*c_0101_5^21 + 140238773270017674438057423270864092492945/534042153391006204978938\ 21797434021199*c_0101_5^19 - 12243471144343549983529579973488256714\ 5611/53404215339100620497893821797434021199*c_0101_5^17 + 18766437386172368973320322294232068026705/5340421533910062049789382\ 1797434021199*c_0101_5^15 + 516742042214880639142293872774635248840\ 80/53404215339100620497893821797434021199*c_0101_5^13 - 31615907131664594367517842492962919365449/5340421533910062049789382\ 1797434021199*c_0101_5^11 + 622028604223211835308403127793412870733\ 1/53404215339100620497893821797434021199*c_0101_5^9 - 975638829332202887127994436365733639366/534042153391006204978938217\ 97434021199*c_0101_5^7 - 4406722502578617731488116413397463347637/5\ 3404215339100620497893821797434021199*c_0101_5^5 + 1991378799401306129816858799567793007384/53404215339100620497893821\ 797434021199*c_0101_5^3 + 43182572588565726522730594587489586882/53\ 404215339100620497893821797434021199*c_0101_5, c_0101_5^32 - 42*c_0101_5^30 + 709*c_0101_5^28 - 6283*c_0101_5^26 + 32021*c_0101_5^24 - 97310*c_0101_5^22 + 178298*c_0101_5^20 - 188779*c_0101_5^18 + 80099*c_0101_5^16 + 39309*c_0101_5^14 - 55841*c_0101_5^12 + 22438*c_0101_5^10 - 4580*c_0101_5^8 - 3756*c_0101_5^6 + 4241*c_0101_5^4 - 1104*c_0101_5^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB