Magma V2.19-8 Tue Aug 20 2013 16:16:52 on localhost [Seed = 2362249309] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1126 geometric_solution 4.99345656 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481725276841 0.121522670320 2 0 2 0 0132 2310 1023 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 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.566603012094 0.370816779816 1 3 1 4 0132 0132 1023 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.293820837854 2.143540145485 5 2 6 5 0132 0132 0132 1023 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 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.185560743919 0.397923871463 5 6 2 5 2310 0132 0132 3201 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 1 0 -1 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.185560743919 0.397923871463 3 4 4 3 0132 2310 3201 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.037429170981 2.064175335528 6 4 6 3 2310 0132 3201 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 -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.173724513628 1.488363274934 ==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' : 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' : 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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : 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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], '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_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 51312154559742800890584058818549173882961025776020386664207695/5744\ 549848396766852962296459013960568235549036743365910679167394*c_1001\ _3^15 + 17104361048232641361901343146384363766203940121289428775861\ 571/30884676604283692757861808919429895528148113100770784466017029*\ c_1001_3^14 - 16088818646436929628859508806941236441709399968273211\ 776790999247/287227492419838342648114822950698028411777451837168295\ 5339583697*c_1001_3^13 + 112800729106387986438171448806115884060582\ 004822181317489207163747/574454984839676685296229645901396056823554\ 9036743365910679167394*c_1001_3^12 - 2779126975424807685069983910951482081767147581862829697680584907/16\ 8957348482257848616538131147469428477516148139510762078799041*c_100\ 1_3^11 + 8388140812875367664459074267370658818067662961247658810956\ 4572549/95742497473279447549371607650232676137259150612389431844652\ 7899*c_1001_3^10 - 987193110984550816123974327665912489399673862019\ 865017497109146544/957424974732794475493716076502326761372591506123\ 894318446527899*c_1001_3^9 + 86957145997287818083311149544811015820\ 0369453424703583528464487563/27354999278079842156963316471495050324\ 9311858892541233841865114*c_1001_3^8 - 8825613598265696626588771547261321181042994238063142389743203530501\ /2872274924198383426481148229506980284117774518371682955339583697*c\ _1001_3^7 + 5372687707352930388732869632172064956166872615209337502\ 01586224501/3379146969645156972330762622949388569550322962790215241\ 57598082*c_1001_3^6 - 260137838012055985509049695629433787687269340\ 34163851713113586065781/2872274924198383426481148229506980284117774\ 518371682955339583697*c_1001_3^5 + 4856472728096406447842579808245384146011645667382578825666415392285\ 0/2872274924198383426481148229506980284117774518371682955339583697*\ c_1001_3^4 - 464405007116111587278188971481796794067239578617437521\ 237178799032/926540298128510782735854267582896865844443393023123533\ 98051087*c_1001_3^3 - 211523197837041949697625592496271645968273750\ 9543071578017858673581/57445498483967668529622964590139605682355490\ 36743365910679167394*c_1001_3^2 - 933068629730778385240099954313876\ 951997775281588337941641517839603/820649978342395264708899494144851\ 509747935576677623701525595342*c_1001_3 + 430057809952410017416204385306512183632047888061383720622089155975/\ 337914696964515697233076262294938856955032296279021524157598082, c_0011_0 - 1, c_0011_1 - 17827035530321192247270872146115249916985301209208535/370764\ 42502141287824563996301836609277488731213410305481413*c_1001_3^15 + 1131269037910984595056744340795269909274490430283845568/37076442502\ 141287824563996301836609277488731213410305481413*c_1001_3^14 - 12751368720776174880771244703643111911860881754472312629/3707644250\ 2141287824563996301836609277488731213410305481413*c_1001_3^13 + 53148136378529959521542958154344924102413134979853854943/3707644250\ 2141287824563996301836609277488731213410305481413*c_1001_3^12 - 4027304289788487085801827792924794392379943692088320050/21809672060\ 08311048503764488343329957499337130200606204789*c_1001_3^11 + 160526519856730666936264754300315790939403795624678380439/370764425\ 02141287824563996301836609277488731213410305481413*c_1001_3^10 - 2295221390465843731231415532168436467266524023606385825428/37076442\ 502141287824563996301836609277488731213410305481413*c_1001_3^9 + 8926322435054748852295457840414754827126173874498034168086/37076442\ 502141287824563996301836609277488731213410305481413*c_1001_3^8 - 11298475722384495521373676876793618794841706203306563504086/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^7 + 155165185919347170293413824807767106182065867152826135144/218096720\ 6008311048503764488343329957499337130200606204789*c_1001_3^6 - 17478002541271604696725200513793472254343245715559828838090/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^5 + 48232342700874446679147550207709838144680567148636151649198/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^4 - 13447011334463272977230895331698497925720378258151046757144/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^3 - 17215115179437166990810123007653551741027753268659753912393/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^2 - 1004310848094014875174454085477866888287179798133273087313/37076442\ 502141287824563996301836609277488731213410305481413*c_1001_3 - 922206767159840784263187862588699317862862757965531519822/218096720\ 6008311048503764488343329957499337130200606204789, c_0011_4 + 191106824409932197932985951861154525056798869789576365/37076\ 442502141287824563996301836609277488731213410305481413*c_1001_3^15 - 11831958343342806124788025787175575464509281757860078913/3707644250\ 2141287824563996301836609277488731213410305481413*c_1001_3^14 + 118824408309808399000106562930747513394729591285430845355/370764425\ 02141287824563996301836609277488731213410305481413*c_1001_3^13 - 411324090313028958041156883398361664082543170663695174880/370764425\ 02141287824563996301836609277488731213410305481413*c_1001_3^12 + 19633157182624854606739664142842263603733121822874972759/2180967206\ 008311048503764488343329957499337130200606204789*c_1001_3^11 - 1909623258150521769483564725453863717891240613305343130671/37076442\ 502141287824563996301836609277488731213410305481413*c_1001_3^10 + 21925599476168337697702760173559951589529322374514463987116/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^9 - 66253013809364668269389651389126413902300434706084118042642/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^8 + 63254032488200989213031616459322816090252570689334411298667/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^7 - 2284820720783767664602301172001750006584274866923564732886/21809672\ 06008311048503764488343329957499337130200606204789*c_1001_3^6 + 196342772420069475138827523709810509510383802124850128558567/370764\ 42502141287824563996301836609277488731213410305481413*c_1001_3^5 - 338326725425652985928432480866029384334842500865043384860850/370764\ 42502141287824563996301836609277488731213410305481413*c_1001_3^4 + 101435836724748721232330345717417951135382026410423511250739/370764\ 42502141287824563996301836609277488731213410305481413*c_1001_3^3 - 24606639250585489061082813693628160064194460356637921903201/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^2 + 11664222145121067138644898274186486797170903721084598156546/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3 - 879160034103538073512643618551019464730072039062375023536/218096720\ 6008311048503764488343329957499337130200606204789, c_0101_0 + 221817814019040495704046655833980710344777263798807854/37076\ 442502141287824563996301836609277488731213410305481413*c_1001_3^15 - 13680313689173065464494428099631924456146106403058169966/3707644250\ 2141287824563996301836609277488731213410305481413*c_1001_3^14 + 134605700721704125635090263507197720596677188970767596219/370764425\ 02141287824563996301836609277488731213410305481413*c_1001_3^13 - 442587219826686936926483412090582969443953539196214007069/370764425\ 02141287824563996301836609277488731213410305481413*c_1001_3^12 + 14909651379833469952519553311832820999332640762138041372/2180967206\ 008311048503764488343329957499337130200606204789*c_1001_3^11 - 2055441006908329349211573501325660726234202062499862257898/37076442\ 502141287824563996301836609277488731213410305481413*c_1001_3^10 + 24896694248641103573080805284278428694725054017466969720432/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^9 - 70639363906788997525199174616401058913672074681857599942328/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^8 + 51292920029149151385604810219038774606686305866855063205011/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^7 - 971997108927015092645795129755609459535944640831797989551/218096720\ 6008311048503764488343329957499337130200606204789*c_1001_3^6 + 213294034151777488372269811369678291591104175503023739246883/370764\ 42502141287824563996301836609277488731213410305481413*c_1001_3^5 - 347257930257352020230089231993264848640181964760916128645554/370764\ 42502141287824563996301836609277488731213410305481413*c_1001_3^4 - 11480162622406271970495153128540905148360190606532263236022/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^3 + 48054338277131724140263064994124867101613244700940496640388/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^2 + 59566132878161330768031320419352959613448355576969999470294/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3 - 1570786972203672253492246471953512982055063523595676799218/21809672\ 06008311048503764488343329957499337130200606204789, c_0101_1 - 42351574211998858089036927910742951828925655958280740/370764\ 42502141287824563996301836609277488731213410305481413*c_1001_3^15 + 2641978145202079454196745134567614094876283151972113717/37076442502\ 141287824563996301836609277488731213410305481413*c_1001_3^14 - 27527531673428158940178754092352033130481545732264041764/3707644250\ 2141287824563996301836609277488731213410305481413*c_1001_3^13 + 101314107139434930278307851444029864196921945570124896610/370764425\ 02141287824563996301836609277488731213410305481413*c_1001_3^12 - 5632125082646068965494179111666132817670835845340738725/21809672060\ 08311048503764488343329957499337130200606204789*c_1001_3^11 + 393248922851309617136781538965236243285079589634029006373/370764425\ 02141287824563996301836609277488731213410305481413*c_1001_3^10 - 5031869969494604053253521164457322827985278514808728174719/37076442\ 502141287824563996301836609277488731213410305481413*c_1001_3^9 + 16609589122957420902702516443965649803390620202013163099576/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^8 - 17007503377960423549706028713100438608721730802774391574123/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^7 + 300913044853979803473121995670864944446922435997044139625/218096720\ 6008311048503764488343329957499337130200606204789*c_1001_3^6 - 41080570511394506523434504439037789753549050169629324946283/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^5 + 90825156837002489387022534891102433625497934313334391243514/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^4 - 23732594026835383460014287295886421104781106418257521077858/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^3 - 34877415642121008059822548320288403882764738894651650991469/3707644\ 2502141287824563996301836609277488731213410305481413*c_1001_3^2 - 2599695046158838491504065529962642600806812592932077386490/37076442\ 502141287824563996301836609277488731213410305481413*c_1001_3 + 867820576758499599775067116484730025844126119858013984755/218096720\ 6008311048503764488343329957499337130200606204789, c_0101_5 - 7977488912773681369030888836982809676545068692879145/2180967\ 206008311048503764488343329957499337130200606204789*c_1001_3^15 + 497331256950218625301042897748135465592720472063409570/218096720600\ 8311048503764488343329957499337130200606204789*c_1001_3^14 - 5170214890532458557871626910452062882685805377607256359/21809672060\ 08311048503764488343329957499337130200606204789*c_1001_3^13 + 1128457550062503024736978514467313412725284043239561263/12829218858\ 8724179323750852255489997499961007658859188517*c_1001_3^12 - 20148735024595495232542030240761148566425582660614403078/2180967206\ 008311048503764488343329957499337130200606204789*c_1001_3^11 + 81831512537868991953877819388294776740248686672555666218/2180967206\ 008311048503764488343329957499337130200606204789*c_1001_3^10 - 947435991241095731249819202805939423865791663465496978587/218096720\ 6008311048503764488343329957499337130200606204789*c_1001_3^9 + 3143614125238209663034484745236380177632694580360282322505/21809672\ 06008311048503764488343329957499337130200606204789*c_1001_3^8 - 3618708431422499128537058236545691844735772118663629668148/21809672\ 06008311048503764488343329957499337130200606204789*c_1001_3^7 + 2142386379602841076447271487264933129913500193042748699553/21809672\ 06008311048503764488343329957499337130200606204789*c_1001_3^6 - 8491379919589947163265600413412507999120007100627657210751/21809672\ 06008311048503764488343329957499337130200606204789*c_1001_3^5 + 17828052711515294091375073970504868648730314464145844182577/2180967\ 206008311048503764488343329957499337130200606204789*c_1001_3^4 - 9235086259088325386677786913728682361848644820832014968416/21809672\ 06008311048503764488343329957499337130200606204789*c_1001_3^3 + 751490517358643901497724942370908823996151046734651198198/218096720\ 6008311048503764488343329957499337130200606204789*c_1001_3^2 - 2356754726295628240898046846254810947663805557921308125912/21809672\ 06008311048503764488343329957499337130200606204789*c_1001_3 + 70507372934390313244829723319844439341735971910344781965/1282921885\ 88724179323750852255489997499961007658859188517, c_1001_3^16 - 62*c_1001_3^15 + 627*c_1001_3^14 - 2196*c_1001_3^13 + 1823*c_1001_3^12 - 9753*c_1001_3^11 + 115389*c_1001_3^10 - 355502*c_1001_3^9 + 340635*c_1001_3^8 - 169090*c_1001_3^7 + 1007033*c_1001_3^6 - 1888780*c_1001_3^5 + 533014*c_1001_3^4 + 84090*c_1001_3^3 + 124369*c_1001_3^2 - 142986*c_1001_3 - 3689 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB