Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 3869735469] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1010 geometric_solution 4.89376413 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 0321 0132 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 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.623235835591 1.207971269831 0 2 0 3 0132 3201 0321 2310 0 0 0 0 0 1 -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 -1 0 1 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.623235835591 1.207971269831 4 0 1 4 0132 0132 2310 1023 0 0 0 0 0 1 -1 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.004103819426 0.325816307462 1 5 0 5 3201 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.313669827509 0.441077481184 2 4 4 2 0132 3201 2310 1023 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 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 2.019370221576 1.009868167164 6 3 6 3 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.901041966738 0.292374315077 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603865614015 0.198103102666 ==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' : negation(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' : negation(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_0101_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0110_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0110_3']), 'c_1010_0' : d['c_0110_3']})} 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_3, c_0101_0, c_0101_4, c_0101_5, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 51806810566168708144956273860734885578082443/9975053207754639038701\ 973407002996130177016*c_0110_3^30 - 6337636020477569141937344696251581688236590983/99750532077546390387\ 01973407002996130177016*c_0110_3^28 + 17434912348270773123402581452903226319952485982/1246881650969329879\ 837746675875374516272127*c_0110_3^26 - 167232781639955779205607579158654182076192002439/124688165096932987\ 9837746675875374516272127*c_0110_3^24 + 7423420788750595002686774123528868517518087792333/99750532077546390\ 38701973407002996130177016*c_0110_3^22 - 14221922042246588032786606093059880240000640681079/4987526603877319\ 519350986703501498065088508*c_0110_3^20 + 9991405147732990673573894880340904384323505760496/12468816509693298\ 79837746675875374516272127*c_0110_3^18 - 40718151030216351357860779327943391651120112166735/2493763301938659\ 759675493351750749032544254*c_0110_3^16 + 28156230722003996474897863174997892750846293989932/1246881650969329\ 879837746675875374516272127*c_0110_3^14 - 207601299500167682126757309309128352814803873192205/997505320775463\ 9038701973407002996130177016*c_0110_3^12 + 128315426655015052737711485296831755074206331782281/997505320775463\ 9038701973407002996130177016*c_0110_3^10 - 13239656932765665349159984980583956271214327096129/2493763301938659\ 759675493351750749032544254*c_0110_3^8 + 1759322435123801622118096253574721870388973231331/12468816509693298\ 79837746675875374516272127*c_0110_3^6 - 1093447508745851378951787485685172230182395775945/49875266038773195\ 19350986703501498065088508*c_0110_3^4 + 154067519917228451518578602793484140996632467087/997505320775463903\ 8701973407002996130177016*c_0110_3^2 - 333324608762230829516536944756288114747659209/249376330193865975967\ 5493351750749032544254, c_0011_0 - 1, c_0011_3 - 2693688216855541354220537745746601516026221/9975053207754639\ 038701973407002996130177016*c_0110_3^31 + 329862717026938126293171408202495618474941987/997505320775463903870\ 1973407002996130177016*c_0110_3^29 - 1823367044474551892937221565191469539168539783/24937633019386597596\ 75493351750749032544254*c_0110_3^27 + 8807391600405975059325381719393129713767868968/12468816509693298798\ 37746675875374516272127*c_0110_3^25 - 394424854558108179529209315685009363112254060183/997505320775463903\ 8701973407002996130177016*c_0110_3^23 + 381175044938374959630000136505920524999768204241/249376330193865975\ 9675493351750749032544254*c_0110_3^21 - 2163618567728308208902549154369428026741363932341/49875266038773195\ 19350986703501498065088508*c_0110_3^19 + 4468379601308034240567403894614191952910749265417/49875266038773195\ 19350986703501498065088508*c_0110_3^17 - 6315100892852481257661498130739072504877426150913/49875266038773195\ 19350986703501498065088508*c_0110_3^15 + 11984999521113585360501928596758930715491755862405/9975053207754639\ 038701973407002996130177016*c_0110_3^13 - 7674442712984754211754186532373696931868895266823/99750532077546390\ 38701973407002996130177016*c_0110_3^11 + 1653095066093478302392658576306659261566910442331/49875266038773195\ 19350986703501498065088508*c_0110_3^9 - 464223714935078134214309018833913215156639175413/498752660387731951\ 9350986703501498065088508*c_0110_3^7 + 39014021649961060413502410406183189213766091735/2493763301938659759\ 675493351750749032544254*c_0110_3^5 - 12656604096997937079457089267521174508835563739/9975053207754639038\ 701973407002996130177016*c_0110_3^3 + 26324808202672934703821276116572025131883891/1246881650969329879837\ 746675875374516272127*c_0110_3, c_0101_0 + 372713113809897442517759420698167018288809/12468816509693298\ 79837746675875374516272127*c_0110_3^30 - 91301823985825471303964078558862456850195715/2493763301938659759675\ 493351750749032544254*c_0110_3^28 + 2020596622374158557472454872478846229464344801/24937633019386597596\ 75493351750749032544254*c_0110_3^26 - 19546616490813713432099989639635896320967530069/2493763301938659759\ 675493351750749032544254*c_0110_3^24 + 54795455498494501565121923012796214424541591042/1246881650969329879\ 837746675875374516272127*c_0110_3^22 - 424223109587856553116153400268497395718070950293/249376330193865975\ 9675493351750749032544254*c_0110_3^20 + 1205656035778892099534168663691292389050411842983/24937633019386597\ 59675493351750749032544254*c_0110_3^18 - 1247075330662945024300089502723858419082117676215/12468816509693298\ 79837746675875374516272127*c_0110_3^16 + 3532832372360585479349960692467082498516558623929/24937633019386597\ 59675493351750749032544254*c_0110_3^14 - 3356912721513209448835655656182769512386215916811/24937633019386597\ 59675493351750749032544254*c_0110_3^12 + 1073271364094273679154306726146585943644421136166/12468816509693298\ 79837746675875374516272127*c_0110_3^10 - 918973241737637155051325191153675537097087728117/249376330193865975\ 9675493351750749032544254*c_0110_3^8 + 127111592048086720401880845130143120607770638420/124688165096932987\ 9837746675875374516272127*c_0110_3^6 - 41280108082330590710095597175172196666400050031/2493763301938659759\ 675493351750749032544254*c_0110_3^4 + 3042176299201643990317988993633188191441179147/24937633019386597596\ 75493351750749032544254*c_0110_3^2 - 10878726532953679711807369031262318798801903/1246881650969329879837\ 746675875374516272127, c_0101_4 - 1130398042587929984545182327864736918184559/9975053207754639\ 038701973407002996130177016*c_0110_3^31 + 138372466729215111457357778920607603155562503/997505320775463903870\ 1973407002996130177016*c_0110_3^29 - 1527071896543303074449851405013292621252859289/49875266038773195193\ 50986703501498065088508*c_0110_3^27 + 14711869065838257123016836888744597825410914189/4987526603877319519\ 350986703501498065088508*c_0110_3^25 - 164130940519695100728587114092694002540287825383/997505320775463903\ 8701973407002996130177016*c_0110_3^23 + 79012497888855960358843701032611543050996298358/1246881650969329879\ 837746675875374516272127*c_0110_3^21 - 446537535156174946696962529534502935770206790141/249376330193865975\ 9675493351750749032544254*c_0110_3^19 + 1833139161798779595709881879068932492839870845035/49875266038773195\ 19350986703501498065088508*c_0110_3^17 - 1282012174195654446646531474000952729383168951351/24937633019386597\ 59675493351750749032544254*c_0110_3^15 + 4789193563782423277595917728683711722226380263519/99750532077546390\ 38701973407002996130177016*c_0110_3^13 - 2996772594145036779641762767059095037186276924357/99750532077546390\ 38701973407002996130177016*c_0110_3^11 + 311939523387548218655683063884407028808587512885/249376330193865975\ 9675493351750749032544254*c_0110_3^9 - 165781070899075820796374063604558507371284248949/498752660387731951\ 9350986703501498065088508*c_0110_3^7 + 25030962691930168276015768453216369276103988557/4987526603877319519\ 350986703501498065088508*c_0110_3^5 - 2979467725399792065376679112008108421236848857/99750532077546390387\ 01973407002996130177016*c_0110_3^3 - 10115160275589255134420268749269133398954337/2493763301938659759675\ 493351750749032544254*c_0110_3, c_0101_5 + 2550278647536779977013522514432020127696329/9975053207754639\ 038701973407002996130177016*c_0110_3^31 - 312032883006675875141796941133944402955298633/997505320775463903870\ 1973407002996130177016*c_0110_3^29 + 3436187671601440135724612588080421326704953689/49875266038773195193\ 50986703501498065088508*c_0110_3^27 - 32994044919576007837755212469090711804051182045/4987526603877319519\ 350986703501498065088508*c_0110_3^25 + 366550990874465127015932673323289323235392314277/997505320775463903\ 8701973407002996130177016*c_0110_3^23 - 351401024185196890345582502720221952029636426733/249376330193865975\ 9675493351750749032544254*c_0110_3^21 + 988133267759505997997795401844620624502006098833/249376330193865975\ 9675493351750749032544254*c_0110_3^19 - 4029367764930024944853881527479183608473031527215/49875266038773195\ 19350986703501498065088508*c_0110_3^17 + 2787014857869199093617771419922031593450817176327/24937633019386597\ 59675493351750749032544254*c_0110_3^15 - 10251399026157411415759897633791374912904524252765/9975053207754639\ 038701973407002996130177016*c_0110_3^13 + 6293130706475422050711591306757822508372938225227/99750532077546390\ 38701973407002996130177016*c_0110_3^11 - 640565172180240940224012032122821542299301426825/249376330193865975\ 9675493351750749032544254*c_0110_3^9 + 331550138376428731879134932637371313444626786085/498752660387731951\ 9350986703501498065088508*c_0110_3^7 - 48466685441244362007547286794496013227891731915/4987526603877319519\ 350986703501498065088508*c_0110_3^5 + 5486179388726562042795074074923804431682401099/99750532077546390387\ 01973407002996130177016*c_0110_3^3 + 31055594592336695709873654511222901267836159/2493763301938659759675\ 493351750749032544254*c_0110_3, c_0101_6 - 295228839738709264261572095501680864987431/12468816509693298\ 79837746675875374516272127*c_0110_3^30 + 72247576595124667176387296053684049045639283/2493763301938659759675\ 493351750749032544254*c_0110_3^28 - 1591584407019520442168470534135959390902695499/24937633019386597596\ 75493351750749032544254*c_0110_3^26 + 7644038598460570194576654498942058734546319850/12468816509693298798\ 37746675875374516272127*c_0110_3^24 - 84966837614378756997087608492041743033146248321/2493763301938659759\ 675493351750749032544254*c_0110_3^22 + 326019905714820025677413445138805645452203432765/249376330193865975\ 9675493351750749032544254*c_0110_3^20 - 917466769738139511117585604957120632369037034919/249376330193865975\ 9675493351750749032544254*c_0110_3^18 + 936380656107755175026151445697724910907042684310/124688165096932987\ 9837746675875374516272127*c_0110_3^16 - 1298102309413743120971131251650841759246604395460/12468816509693298\ 79837746675875374516272127*c_0110_3^14 + 2396616340800538736460412325075138149241031142789/24937633019386597\ 59675493351750749032544254*c_0110_3^12 - 740600146437818216690127821128025835073831895293/124688165096932987\ 9837746675875374516272127*c_0110_3^10 + 610257704082339644932022226476333670342341544295/249376330193865975\ 9675493351750749032544254*c_0110_3^8 - 80804345924249137892260633377450292628624119431/1246881650969329879\ 837746675875374516272127*c_0110_3^6 + 12491961482540329166393862325927048568288932982/1246881650969329879\ 837746675875374516272127*c_0110_3^4 - 1759179318252169962425862550609166921008299783/24937633019386597596\ 75493351750749032544254*c_0110_3^2 + 8231255865847247712472071103892840562743487/12468816509693298798377\ 46675875374516272127, c_0110_3^32 - 123*c_0110_3^30 + 2774*c_0110_3^28 - 27622*c_0110_3^26 + 160533*c_0110_3^24 - 644690*c_0110_3^22 + 1909298*c_0110_3^20 - 4173300*c_0110_3^18 + 6444850*c_0110_3^16 - 6905719*c_0110_3^14 + 5146367*c_0110_3^12 - 2671278*c_0110_3^10 + 952156*c_0110_3^8 - 223168*c_0110_3^6 + 31149*c_0110_3^4 - 2020*c_0110_3^2 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB