Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 2884253582] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0087 geometric_solution 3.62831798 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 0 0 0 0 0 2.006002921243 0.125146198550 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.705020426956 0.021970293209 0 3 3 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 0 0 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 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.661327012801 0.273897715032 4 2 2 4 0132 0132 1023 3201 0 0 0 0 0 1 0 -1 -1 0 1 0 0 -1 0 1 1 -2 1 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 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.333471075924 0.480855436850 3 3 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 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 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.015883758535 0.512263792435 6 6 4 6 1230 1023 0132 3012 0 0 0 0 0 1 -1 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.988271163180 0.995649371553 5 5 5 4 1023 3012 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.988271163180 0.995649371553 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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_5'], 'c_1100_5' : d['c_0011_5'], '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_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 10372256071921941334074703083378731494/3762325914974731598684140100\ 61031615*c_0101_4^23 - 53722007301903802068363433795282319777/37623\ 2591497473159868414010061031615*c_0101_4^22 + 662411336937245410727848350135370122752/376232591497473159868414010\ 061031615*c_0101_4^21 + 531840873879914774148508294062756772514/376\ 232591497473159868414010061031615*c_0101_4^20 - 9358084372230967597579623902575960736598/37623259149747315986841401\ 0061031615*c_0101_4^19 + 1184928133834408904288513785179506563734/3\ 76232591497473159868414010061031615*c_0101_4^18 + 56955328607295724740724706679245992650491/3762325914974731598684140\ 10061031615*c_0101_4^17 - 29207146070369312768673048209861901827356\ /376232591497473159868414010061031615*c_0101_4^16 - 26952766094646109677394181297058224285302/5374751307106759426691628\ 7151575945*c_0101_4^15 + 28176569164214889509798775083660087661713/\ 75246518299494631973682802012206323*c_0101_4^14 + 74361046165503305235051316346866037873142/7524651829949463197368280\ 2012206323*c_0101_4^13 - 344379251648589570276372847358967054501137\ /376232591497473159868414010061031615*c_0101_4^12 - 451500569717270996552170495036498298234943/376232591497473159868414\ 010061031615*c_0101_4^11 + 9940422988055381117908365533989268629483\ 6/75246518299494631973682802012206323*c_0101_4^10 + 335433350106483550911715224982979972926417/376232591497473159868414\ 010061031615*c_0101_4^9 - 44353448972886181174754948887815945226804\ 1/376232591497473159868414010061031615*c_0101_4^8 - 141161719900045077748883691319532703195241/376232591497473159868414\ 010061031615*c_0101_4^7 + 24161809437587479754904955706750574853004\ 2/376232591497473159868414010061031615*c_0101_4^6 + 25135731827594456465689661824771544721434/3762325914974731598684140\ 10061031615*c_0101_4^5 - 10564694217132901075312514148019118343851/\ 53747513071067594266916287151575945*c_0101_4^4 + 192343949276996164856466879633200826184/752465182994946319736828020\ 12206323*c_0101_4^3 + 2105796674205226848746016450910618170064/7524\ 6518299494631973682802012206323*c_0101_4^2 - 486059814892558328256977917261670434274/376232591497473159868414010\ 061031615*c_0101_4 - 412244426187271335049068592113342735963/376232\ 591497473159868414010061031615, c_0011_0 - 1, c_0011_2 - 1092375491235309242239235208595550/1074950261421351885338325\ 7430315189*c_0101_4^23 - 5300772596955574112473738918061906/1074950\ 2614213518853383257430315189*c_0101_4^22 + 72500462309548285897670863613780967/1074950261421351885338325743031\ 5189*c_0101_4^21 + 39756071640742612009021667634407235/107495026142\ 13518853383257430315189*c_0101_4^20 - 1047759891199199628292262472385668381/10749502614213518853383257430\ 315189*c_0101_4^19 + 294751613997551903024582790358426817/107495026\ 14213518853383257430315189*c_0101_4^18 + 6509281913769884328643339248386752589/10749502614213518853383257430\ 315189*c_0101_4^17 - 3727894935024278022054657113821499343/10749502\ 614213518853383257430315189*c_0101_4^16 - 21968315704466251928897709542741646625/1074950261421351885338325743\ 0315189*c_0101_4^15 + 15627014099477115322310830004496134081/107495\ 02614213518853383257430315189*c_0101_4^14 + 44162832323875320323498306479929330687/1074950261421351885338325743\ 0315189*c_0101_4^13 - 34659568922458894453607016401434441289/107495\ 02614213518853383257430315189*c_0101_4^12 - 55213130619940689212329128031465299134/1074950261421351885338325743\ 0315189*c_0101_4^11 + 45348467278637821991235712950291696070/107495\ 02614213518853383257430315189*c_0101_4^10 + 43372116334703609515801738244823021644/1074950261421351885338325743\ 0315189*c_0101_4^9 - 35820078355056815965172165105577875681/1074950\ 2614213518853383257430315189*c_0101_4^8 - 20813789402311894519593404177573032266/1074950261421351885338325743\ 0315189*c_0101_4^7 + 16225485951812256993764981373965735011/1074950\ 2614213518853383257430315189*c_0101_4^6 + 5633464730323704123375660527159701023/10749502614213518853383257430\ 315189*c_0101_4^5 - 3437094523322075903136697478803700256/107495026\ 14213518853383257430315189*c_0101_4^4 - 757529798416663419999569599374952370/107495026142135188533832574303\ 15189*c_0101_4^3 + 136901177862250741445923613901127996/10749502614\ 213518853383257430315189*c_0101_4^2 + 8421986091374057032580961651185103/10749502614213518853383257430315\ 189*c_0101_4 + 3505699435222111457180201919967468/10749502614213518\ 853383257430315189, c_0011_5 - 940972223187702975455827462551982/10749502614213518853383257\ 430315189*c_0101_4^23 - 5728268940975843912425615584253823/10749502\ 614213518853383257430315189*c_0101_4^22 + 54547990667360351315534122053744330/1074950261421351885338325743031\ 5189*c_0101_4^21 + 95969714591431985018041135736112403/107495026142\ 13518853383257430315189*c_0101_4^20 - 740149221871606994014748746279973115/107495026142135188533832574303\ 15189*c_0101_4^19 - 544783971748827640343044382177626778/1074950261\ 4213518853383257430315189*c_0101_4^18 + 4369911413950669082822141122442721927/10749502614213518853383257430\ 315189*c_0101_4^17 + 1321619862217811870195136294459161317/10749502\ 614213518853383257430315189*c_0101_4^16 - 14114845342994780301149037926447963944/1074950261421351885338325743\ 0315189*c_0101_4^15 - 734249536239188238514062290347004522/10749502\ 614213518853383257430315189*c_0101_4^14 + 27322261767076183460387017252351829773/1074950261421351885338325743\ 0315189*c_0101_4^13 - 2896412589319358522021592839435277276/1074950\ 2614213518853383257430315189*c_0101_4^12 - 32994038498593403345676874484380597907/1074950261421351885338325743\ 0315189*c_0101_4^11 + 6704411253762141045470459525717585489/1074950\ 2614213518853383257430315189*c_0101_4^10 + 25013983297702038608070217873095568283/1074950261421351885338325743\ 0315189*c_0101_4^9 - 6235385329061192032775992988516242826/10749502\ 614213518853383257430315189*c_0101_4^8 - 11499385799676434206600556639831519563/1074950261421351885338325743\ 0315189*c_0101_4^7 + 2674408594998645217739003322497367681/10749502\ 614213518853383257430315189*c_0101_4^6 + 2912969493564945301653408612467573958/10749502614213518853383257430\ 315189*c_0101_4^5 - 286850760423355926981344876627989513/1074950261\ 4213518853383257430315189*c_0101_4^4 - 350634905705272894347815306944399117/107495026142135188533832574303\ 15189*c_0101_4^3 - 71969111072760399705598007544369706/107495026142\ 13518853383257430315189*c_0101_4^2 + 4899803809065473803095134043052249/10749502614213518853383257430315\ 189*c_0101_4 + 3105519626932112224195287548088392/10749502614213518\ 853383257430315189, c_0101_0 + 968554192966330991998152301281959/10749502614213518853383257\ 430315189*c_0101_4^23 + 5923763480930267269602462824526060/10749502\ 614213518853383257430315189*c_0101_4^22 - 56338245091973761197530130085745792/1074950261421351885338325743031\ 5189*c_0101_4^21 - 102749795817360983271976649675200244/10749502614\ 213518853383257430315189*c_0101_4^20 + 778875467127130639252056546044514638/107495026142135188533832574303\ 15189*c_0101_4^19 + 630518439347585357844859637498734064/1074950261\ 4213518853383257430315189*c_0101_4^18 - 4751034604144700334403934682012348992/10749502614213518853383257430\ 315189*c_0101_4^17 - 1859344101193693282483606862421103199/10749502\ 614213518853383257430315189*c_0101_4^16 + 16095785042886832291698948047677888820/1074950261421351885338325743\ 0315189*c_0101_4^15 + 2657026110612815531532252580036814551/1074950\ 2614213518853383257430315189*c_0101_4^14 - 33353562847771198854711681470096789657/1074950261421351885338325743\ 0315189*c_0101_4^13 - 1206614052522978597627179906461086386/1074950\ 2614213518853383257430315189*c_0101_4^12 + 44405341022382323085213174906090798490/1074950261421351885338325743\ 0315189*c_0101_4^11 - 1419423334188831626619563832807303613/1074950\ 2614213518853383257430315189*c_0101_4^10 - 38817771234966025414484431631609232981/1074950261421351885338325743\ 0315189*c_0101_4^9 + 2229668745790002405976523522026445696/10749502\ 614213518853383257430315189*c_0101_4^8 + 22150703098421704097591728533816192005/1074950261421351885338325743\ 0315189*c_0101_4^7 - 1070420285527701829040179452006012252/10749502\ 614213518853383257430315189*c_0101_4^6 - 7896137546513666428791955012447607410/10749502614213518853383257430\ 315189*c_0101_4^5 + 65648719951863591551663093526033874/10749502614\ 213518853383257430315189*c_0101_4^4 + 1571947071973297700247677905117168800/10749502614213518853383257430\ 315189*c_0101_4^3 + 55092948596577531872494686683961756/10749502614\ 213518853383257430315189*c_0101_4^2 - 109162891155325454088222457783189847/107495026142135188533832574303\ 15189*c_0101_4 + 518617668361503268131844246201708/1074950261421351\ 8853383257430315189, c_0101_1 + 1458595475565302945670422759804229/1074950261421351885338325\ 7430315189*c_0101_4^23 + 9254595434308911376280807533578535/1074950\ 2614213518853383257430315189*c_0101_4^22 - 81940076740757298506625329050952444/1074950261421351885338325743031\ 5189*c_0101_4^21 - 167948128959110571478664617099899636/10749502614\ 213518853383257430315189*c_0101_4^20 + 1093998272580633476459327025051901038/10749502614213518853383257430\ 315189*c_0101_4^19 + 1078917930733022647489562735536864240/10749502\ 614213518853383257430315189*c_0101_4^18 - 6388363916930090021075605071391972894/10749502614213518853383257430\ 315189*c_0101_4^17 - 3276389376138832478605586454609725025/10749502\ 614213518853383257430315189*c_0101_4^16 + 20549189434049490189131820513255602351/1074950261421351885338325743\ 0315189*c_0101_4^15 + 4603014584943000450970723811937785769/1074950\ 2614213518853383257430315189*c_0101_4^14 - 39955673320683154755723942557910594722/1074950261421351885338325743\ 0315189*c_0101_4^13 - 1141863345727386820674667642250456455/1074950\ 2614213518853383257430315189*c_0101_4^12 + 48969076216069492396872722665122369386/1074950261421351885338325743\ 0315189*c_0101_4^11 - 5276560495443071797644451548516308348/1074950\ 2614213518853383257430315189*c_0101_4^10 - 38166122985498744078629439987996201477/1074950261421351885338325743\ 0315189*c_0101_4^9 + 7665607107260912555723497990954358522/10749502\ 614213518853383257430315189*c_0101_4^8 + 18362614963858116331595897962075553637/1074950261421351885338325743\ 0315189*c_0101_4^7 - 4667549978729234729798080328272691889/10749502\ 614213518853383257430315189*c_0101_4^6 - 5015347596081474813796137714816727310/10749502614213518853383257430\ 315189*c_0101_4^5 + 1279104993055828256724139239479526628/107495026\ 14213518853383257430315189*c_0101_4^4 + 712897910501886038441635716910672246/107495026142135188533832574303\ 15189*c_0101_4^3 - 137217562914673804547333771912161783/10749502614\ 213518853383257430315189*c_0101_4^2 - 64879441956069560347189431535906815/1074950261421351885338325743031\ 5189*c_0101_4 + 2657892942637198577760077534888280/1074950261421351\ 8853383257430315189, c_0101_3 + 594115440897844943005558103599093/10749502614213518853383257\ 430315189*c_0101_4^23 + 4282502301439556211921320540288201/10749502\ 614213518853383257430315189*c_0101_4^22 - 30212983741715899862725560553991237/1074950261421351885338325743031\ 5189*c_0101_4^21 - 97781734196141577682272714581140502/107495026142\ 13518853383257430315189*c_0101_4^20 + 391472583371684337201850812258456435/107495026142135188533832574303\ 15189*c_0101_4^19 + 830883269943469821292839844590536885/1074950261\ 4213518853383257430315189*c_0101_4^18 - 2276293015876568370172943000899857040/10749502614213518853383257430\ 315189*c_0101_4^17 - 3577016314241726744919867235039406502/10749502\ 614213518853383257430315189*c_0101_4^16 + 7427167330145041501087695489737684211/10749502614213518853383257430\ 315189*c_0101_4^15 + 8792454692556446774243782843953259281/10749502\ 614213518853383257430315189*c_0101_4^14 - 14943519743841934369855363349528730916/1074950261421351885338325743\ 0315189*c_0101_4^13 - 12966009737587711924194013978851617222/107495\ 02614213518853383257430315189*c_0101_4^12 + 19220520242201721619338284974947382140/1074950261421351885338325743\ 0315189*c_0101_4^11 + 11470473423456719345765020004503273499/107495\ 02614213518853383257430315189*c_0101_4^10 - 15743429321162900464946571713136837973/1074950261421351885338325743\ 0315189*c_0101_4^9 - 5651366954933077944845046824761299437/10749502\ 614213518853383257430315189*c_0101_4^8 + 7797468166292487856843006178300674117/10749502614213518853383257430\ 315189*c_0101_4^7 + 1081277401862175856686856090756057584/107495026\ 14213518853383257430315189*c_0101_4^6 - 2020957368722642167849762106363861379/10749502614213518853383257430\ 315189*c_0101_4^5 + 194577843841022466887117637207693454/1074950261\ 4213518853383257430315189*c_0101_4^4 + 197719648999840301592294533112502282/107495026142135188533832574303\ 15189*c_0101_4^3 - 85169865031221317255308432462658878/107495026142\ 13518853383257430315189*c_0101_4^2 - 25578831549180642799685109664342137/1074950261421351885338325743031\ 5189*c_0101_4 + 1751200986987245015773647067356541/1074950261421351\ 8853383257430315189, c_0101_4^24 + 6*c_0101_4^23 - 59*c_0101_4^22 - 100*c_0101_4^21 + 824*c_0101_4^20 + 565*c_0101_4^19 - 5082*c_0101_4^18 - 1348*c_0101_4^17 + 17418*c_0101_4^16 + 548*c_0101_4^15 - 36515*c_0101_4^14 + 4018*c_0101_4^13 + 49061*c_0101_4^12 - 9549*c_0101_4^11 - 42943*c_0101_4^10 + 10215*c_0101_4^9 + 24116*c_0101_4^8 - 5861*c_0101_4^7 - 8185*c_0101_4^6 + 1655*c_0101_4^5 + 1469*c_0101_4^4 - 165*c_0101_4^3 - 94*c_0101_4^2 + 5*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB