Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3187417434] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0810 geometric_solution 4.74475098 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 0 -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 2.349473525272 0.132906120184 0 2 2 0 0132 0132 3201 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 -1 0 1 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 -1.037808223292 0.463357979905 1 1 3 3 2310 0132 0132 3201 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 1 0 -1 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.233097887978 0.232137191892 4 2 5 2 0132 2310 0132 0132 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 0 0 0 0 1 -1 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.996532181889 1.061380924823 3 6 5 5 0132 0132 0213 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 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.327390799901 0.744279144992 4 4 6 3 3201 0213 1023 0132 0 0 0 0 0 1 0 -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 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.327390799901 0.744279144992 6 4 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.050524346406 1.032268641492 ==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' : 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_3'], 'c_1100_5' : negation(d['c_0011_3']), '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_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : 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' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t + 5*c_0101_3^4 - 23*c_0101_3^3 + 23*c_0101_3^2 + 14*c_0101_3 - 18, c_0011_0 - 1, c_0011_3 - c_0101_3^4 + 3*c_0101_3^3 - 3*c_0101_3, c_0011_5 - c_0101_3^2 + c_0101_3 + 1, c_0101_0 + c_0101_3, c_0101_1 - c_0101_3^3 + 2*c_0101_3^2 + c_0101_3 - 1, c_0101_3^5 - 4*c_0101_3^4 + 2*c_0101_3^3 + 5*c_0101_3^2 - 2*c_0101_3 - 1, c_0101_6 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 40230999676350626794325162629249/906490659788670989583572446427*c_0\ 101_6^19 - 642139706600194154424091162127475/9064906597886709895835\ 72446427*c_0101_6^18 + 26565929652168959425884561818653/80220412370\ 67884863571437579*c_0101_6^17 - 593572883405008929332057795861411/9\ 06490659788670989583572446427*c_0101_6^16 - 31371548869024113452905218242069156/906490659788670989583572446427*\ c_0101_6^15 + 87098961134059505971557908381446886/90649065978867098\ 9583572446427*c_0101_6^14 - 57977373618153652802943248685641384/906\ 490659788670989583572446427*c_0101_6^13 - 99719917863941865789867509256911053/906490659788670989583572446427*\ c_0101_6^12 + 157061175947890117167880565863901348/9064906597886709\ 89583572446427*c_0101_6^11 + 55618676734512893147227728596085114/90\ 6490659788670989583572446427*c_0101_6^10 - 215871774805511518907224008095523713/906490659788670989583572446427\ *c_0101_6^9 + 3822762594678012157841246595015533/906490659788670989\ 583572446427*c_0101_6^8 + 181827206088531036652438120418384175/9064\ 90659788670989583572446427*c_0101_6^7 - 52976644465631072926568193084632328/906490659788670989583572446427*\ c_0101_6^6 - 68452411858837588767741890221485854/906490659788670989\ 583572446427*c_0101_6^5 + 34198802553770001278203868706559250/90649\ 0659788670989583572446427*c_0101_6^4 + 8152677620539635517770199003109752/906490659788670989583572446427*c\ _0101_6^3 - 6851627757029790073165975869742255/90649065978867098958\ 3572446427*c_0101_6^2 + 70385777881931024255514989262440/9064906597\ 88670989583572446427*c_0101_6 + 397264665678529115934607668180306/9\ 06490659788670989583572446427, c_0011_0 - 1, c_0011_3 + 276286640508821561038468091828/90649065978867098958357244642\ 7*c_0101_6^19 - 4336549942319174693888518522691/9064906597886709895\ 83572446427*c_0101_6^18 + 172092999818770305883481394292/8022041237\ 067884863571437579*c_0101_6^17 + 1335365490422646688006911957166/90\ 6490659788670989583572446427*c_0101_6^16 - 215811945682863041558720617103735/906490659788670989583572446427*c_\ 0101_6^15 + 538317874024841104102939457662200/906490659788670989583\ 572446427*c_0101_6^14 - 241332430825951784066745241083682/906490659\ 788670989583572446427*c_0101_6^13 - 757375056945549842846385142151477/906490659788670989583572446427*c_\ 0101_6^12 + 827114528653911598082535084551575/906490659788670989583\ 572446427*c_0101_6^11 + 684489194383269146344560736863530/906490659\ 788670989583572446427*c_0101_6^10 - 1278376427089802094048767762129243/906490659788670989583572446427*c\ _0101_6^9 - 442112513608722968103042293671546/906490659788670989583\ 572446427*c_0101_6^8 + 1144083406945394552459548565425466/906490659\ 788670989583572446427*c_0101_6^7 + 93217996938520223798067447572240/906490659788670989583572446427*c_0\ 101_6^6 - 472165548575000656769283938215642/90649065978867098958357\ 2446427*c_0101_6^5 + 7424344154843621337024212285127/90649065978867\ 0989583572446427*c_0101_6^4 + 79877993009866193731175636498940/9064\ 90659788670989583572446427*c_0101_6^3 - 1365331374874683762190603423920/906490659788670989583572446427*c_01\ 01_6^2 - 3695315736347252321602158269685/90649065978867098958357244\ 6427*c_0101_6 + 533373356781373230746635041267/90649065978867098958\ 3572446427, c_0011_5 - 647480908196212806790727938235/90649065978867098958357244642\ 7*c_0101_6^19 + 9821672633682093143879653811394/9064906597886709895\ 83572446427*c_0101_6^18 - 356852775712333303728642819571/8022041237\ 067884863571437579*c_0101_6^17 - 25578076999451288476394777913374/9\ 06490659788670989583572446427*c_0101_6^16 + 498058764021708723112523539837985/906490659788670989583572446427*c_\ 0101_6^15 - 1001249153984894401805291714175183/90649065978867098958\ 3572446427*c_0101_6^14 - 19397489581494337020797608064476/906490659\ 788670989583572446427*c_0101_6^13 + 1934229435756647202356818554109436/906490659788670989583572446427*c\ _0101_6^12 - 1055799125698485146777576404529526/9064906597886709895\ 83572446427*c_0101_6^11 - 2303728412032913800502531127197878/906490\ 659788670989583572446427*c_0101_6^10 + 2054157003247285887075677346380664/906490659788670989583572446427*c\ _0101_6^9 + 2197205168242450288446287110130992/90649065978867098958\ 3572446427*c_0101_6^8 - 1889440683442655732911498057346682/90649065\ 9788670989583572446427*c_0101_6^7 - 1198771354726881816653616704441092/906490659788670989583572446427*c\ _0101_6^6 + 767613199395797828226545782053435/906490659788670989583\ 572446427*c_0101_6^5 + 315608814631737550075789162189014/9064906597\ 88670989583572446427*c_0101_6^4 - 112961327185770522856496486753469\ /906490659788670989583572446427*c_0101_6^3 - 36739977613499835560656837409868/906490659788670989583572446427*c_0\ 101_6^2 + 2261550316760662239753588145524/9064906597886709895835724\ 46427*c_0101_6 + 813305489600910407375394898350/9064906597886709895\ 83572446427, c_0101_0 + 857332782750016837707445050111/90649065978867098958357244642\ 7*c_0101_6^19 - 13390594393247335209450386660900/906490659788670989\ 583572446427*c_0101_6^18 + 523207009055220668749292905822/802204123\ 7067884863571437579*c_0101_6^17 + 11734066897920466283970031042367/\ 906490659788670989583572446427*c_0101_6^16 - 682945668679588281491064132919818/906490659788670989583572446427*c_\ 0101_6^15 + 1620640783630610764974367722589163/90649065978867098958\ 3572446427*c_0101_6^14 - 477249513191013310416157442137876/90649065\ 9788670989583572446427*c_0101_6^13 - 2794070542849046612055808915819180/906490659788670989583572446427*c\ _0101_6^12 + 2632072298760767541044326699138118/9064906597886709895\ 83572446427*c_0101_6^11 + 2746458753351956504435158190851191/906490\ 659788670989583572446427*c_0101_6^10 - 4421372571223579635033435541741979/906490659788670989583572446427*c\ _0101_6^9 - 1970380173932233829425335989006136/90649065978867098958\ 3572446427*c_0101_6^8 + 4308961976715367289431724898383374/90649065\ 9788670989583572446427*c_0101_6^7 + 646735859299400555658397800850514/906490659788670989583572446427*c_\ 0101_6^6 - 2153783137201002010339868718031518/906490659788670989583\ 572446427*c_0101_6^5 + 26996858352299022875457444485896/90649065978\ 8670989583572446427*c_0101_6^4 + 496786432812235927691243070747868/\ 906490659788670989583572446427*c_0101_6^3 - 50404334906627168666751954066081/906490659788670989583572446427*c_0\ 101_6^2 - 40983721264847166283069789743265/906490659788670989583572\ 446427*c_0101_6 + 5765713080978310919324978855414/90649065978867098\ 9583572446427, c_0101_1 - 432823575084381858105655413633/90649065978867098958357244642\ 7*c_0101_6^19 + 6634465237776407937237013182993/9064906597886709895\ 83572446427*c_0101_6^18 - 247822760762788295124119998150/8022041237\ 067884863571437579*c_0101_6^17 - 12797066893459216367901787372798/9\ 06490659788670989583572446427*c_0101_6^16 + 335944102486949439997461890620349/906490659788670989583572446427*c_\ 0101_6^15 - 724083088269742189260036626077166/906490659788670989583\ 572446427*c_0101_6^14 + 93704820219143388748708106261505/9064906597\ 88670989583572446427*c_0101_6^13 + 1312799103968559834476771338374720/906490659788670989583572446427*c\ _0101_6^12 - 948147813825185735491234657932742/90649065978867098958\ 3572446427*c_0101_6^11 - 1432955747483037518966103361805968/9064906\ 59788670989583572446427*c_0101_6^10 + 1690007066943334528900046838928828/906490659788670989583572446427*c\ _0101_6^9 + 1221873427231262308605892519234274/90649065978867098958\ 3572446427*c_0101_6^8 - 1584442100847527782923165452664370/90649065\ 9788670989583572446427*c_0101_6^7 - 543103317140586624452197494768075/906490659788670989583572446427*c_\ 0101_6^6 + 730429409677097164962487475448327/9064906597886709895835\ 72446427*c_0101_6^5 + 92318636090129926873635452095419/906490659788\ 670989583572446427*c_0101_6^4 - 148958627598763096825257295665157/9\ 06490659788670989583572446427*c_0101_6^3 - 3195066656654114690688704387232/906490659788670989583572446427*c_01\ 01_6^2 + 9095635432072840670577903555161/90649065978867098958357244\ 6427*c_0101_6 - 200142020508365209506829501000/90649065978867098958\ 3572446427, c_0101_3 + 916560898153333820603226912280/90649065978867098958357244642\ 7*c_0101_6^19 - 14215018503910571096594377316395/906490659788670989\ 583572446427*c_0101_6^18 + 546754488414948825168057304807/802204123\ 7067884863571437579*c_0101_6^17 + 17168552424878963611468569315569/\ 906490659788670989583572446427*c_0101_6^16 - 718489238900894565796371846269247/906490659788670989583572446427*c_\ 0101_6^15 + 1653723684657662532471762674519964/90649065978867098958\ 3572446427*c_0101_6^14 - 434183766397759480885560726821253/90649065\ 9788670989583572446427*c_0101_6^13 - 2763954822776209594959636861254612/906490659788670989583572446427*c\ _0101_6^12 + 2363546571140065436210235216218650/9064906597886709895\ 83572446427*c_0101_6^11 + 2868759449005368499307136096597892/906490\ 659788670989583572446427*c_0101_6^10 - 4008350632371991024668258870464555/906490659788670989583572446427*c\ _0101_6^9 - 2276120729934861499865373202224565/90649065978867098958\ 3572446427*c_0101_6^8 + 3764795222012236000864477325848369/90649065\ 9788670989583572446427*c_0101_6^7 + 962043064772153274999668630144542/906490659788670989583572446427*c_\ 0101_6^6 - 1704974264149182750437336478938109/906490659788670989583\ 572446427*c_0101_6^5 - 173098434991228463153852559518771/9064906597\ 88670989583572446427*c_0101_6^4 + 335118534063405895640108784377469\ /906490659788670989583572446427*c_0101_6^3 + 4149918730856169365039818196982/906490659788670989583572446427*c_01\ 01_6^2 - 20322058076290216791121458803264/9064906597886709895835724\ 46427*c_0101_6 + 2128354077186217834134833156921/906490659788670989\ 583572446427, c_0101_6^20 - 16*c_0101_6^19 + 75*c_0101_6^18 - 14*c_0101_6^17 - 795*c_0101_6^16 + 2191*c_0101_6^15 - 1344*c_0101_6^14 - 2843*c_0101_6^13 + 4138*c_0101_6^12 + 1860*c_0101_6^11 - 5997*c_0101_6^10 - 302*c_0101_6^9 + 5425*c_0101_6^8 - 1041*c_0101_6^7 - 2429*c_0101_6^6 + 788*c_0101_6^5 + 456*c_0101_6^4 - 184*c_0101_6^3 - 24*c_0101_6^2 + 13*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB