Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 3937105417] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0587 geometric_solution 4.60438723 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 0 0 0 0 0 0 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.301842690133 0.185007383575 0 2 2 0 0132 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.988303846259 0.720694823139 1 1 3 3 2310 0132 0132 3201 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 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.110268971677 0.267607640724 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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 1.790129706679 1.533344208242 3 6 5 5 0132 0132 2310 1230 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 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.316326321199 1.121400644625 4 4 6 3 3012 3201 3201 0132 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 -1 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 0.316326321199 1.121400644625 5 4 6 6 2310 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209838636422 0.407185142726 ==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' : 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' : 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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_5']), '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_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], '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_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 36191430393878999818253/964888271954373995*c_0101_5^19 + 410103247796748901876752/964888271954373995*c_0101_5^18 + 1029305851804337860213352/964888271954373995*c_0101_5^17 - 717668447733098687989064/964888271954373995*c_0101_5^16 - 5763110379760961501340502/964888271954373995*c_0101_5^15 - 43201552099370871252333094/964888271954373995*c_0101_5^14 - 52714566111323085434276464/964888271954373995*c_0101_5^13 + 32283956746690146516389808/192977654390874799*c_0101_5^12 + 278395870462351056153551694/964888271954373995*c_0101_5^11 - 126490326006435163361644571/964888271954373995*c_0101_5^10 - 387013375441064288057337739/964888271954373995*c_0101_5^9 - 60452463555355458459000598/964888271954373995*c_0101_5^8 + 31313546921463034359991771/192977654390874799*c_0101_5^7 + 30157593326306916508381263/964888271954373995*c_0101_5^6 - 38889260944363432114962587/964888271954373995*c_0101_5^5 - 3832487837988034522423771/964888271954373995*c_0101_5^4 + 6149452435881292070994374/964888271954373995*c_0101_5^3 - 95770312950131488393802/964888271954373995*c_0101_5^2 - 436842407032377596382764/964888271954373995*c_0101_5 + 50685947303711001881261/964888271954373995, c_0011_0 - 1, c_0011_3 - 195420755980880631550/192977654390874799*c_0101_5^19 - 2210497907699691575512/192977654390874799*c_0101_5^18 - 5511811173386374116085/192977654390874799*c_0101_5^17 + 4006257580766153242723/192977654390874799*c_0101_5^16 + 31092840183334706696606/192977654390874799*c_0101_5^15 + 232625366435909925966228/192977654390874799*c_0101_5^14 + 279701386818267541283793/192977654390874799*c_0101_5^13 - 879417739861945697965195/192977654390874799*c_0101_5^12 - 1488579172069944405074936/192977654390874799*c_0101_5^11 + 720050710231756380841511/192977654390874799*c_0101_5^10 + 2089633120926540316065356/192977654390874799*c_0101_5^9 + 281942428879075230935547/192977654390874799*c_0101_5^8 - 868370410643602622759903/192977654390874799*c_0101_5^7 - 152610227809531241068818/192977654390874799*c_0101_5^6 + 216963520102121365917575/192977654390874799*c_0101_5^5 + 18536204600479988421481/192977654390874799*c_0101_5^4 - 34326498587842889828301/192977654390874799*c_0101_5^3 + 838365945817666960073/192977654390874799*c_0101_5^2 + 2446478090551292054362/192977654390874799*c_0101_5 - 290696517903679827269/192977654390874799, c_0011_5 - 133744770252819235388/192977654390874799*c_0101_5^19 - 1513931432351409551074/192977654390874799*c_0101_5^18 - 3784015114349708857746/192977654390874799*c_0101_5^17 + 2715657393379261207250/192977654390874799*c_0101_5^16 + 21305645716939291256398/192977654390874799*c_0101_5^15 + 159352980920839601442774/192977654390874799*c_0101_5^14 + 192670047958507020927488/192977654390874799*c_0101_5^13 - 600752399746778287105112/192977654390874799*c_0101_5^12 - 1023346596681226957123343/192977654390874799*c_0101_5^11 + 487087999430070245237038/192977654390874799*c_0101_5^10 + 1433421018497828215010751/192977654390874799*c_0101_5^9 + 199821597744239419252156/192977654390874799*c_0101_5^8 - 592417112588707174848274/192977654390874799*c_0101_5^7 - 105656797872183814888891/192977654390874799*c_0101_5^6 + 147830044060656675985767/192977654390874799*c_0101_5^5 + 12848642293076915001843/192977654390874799*c_0101_5^4 - 23347185776250660644267/192977654390874799*c_0101_5^3 + 548833720357834827149/192977654390874799*c_0101_5^2 + 1657488530200512224465/192977654390874799*c_0101_5 - 196378133793307561271/192977654390874799, c_0101_0 + 303014947115779084203/192977654390874799*c_0101_5^19 + 3429599113705042224789/192977654390874799*c_0101_5^18 + 8574052486346360583957/192977654390874799*c_0101_5^17 - 6106143909204981417892/192977654390874799*c_0101_5^16 - 48143673210131013444403/192977654390874799*c_0101_5^15 - 361135747479472023177571/192977654390874799*c_0101_5^14 - 436767438890924970121328/192977654390874799*c_0101_5^13 + 1355627604109645536783188/192977654390874799*c_0101_5^12 + 2312427793684360235691753/192977654390874799*c_0101_5^11 - 1081472139146369112265747/192977654390874799*c_0101_5^10 - 3221724261879577988053285/192977654390874799*c_0101_5^9 - 476119447089735790645200/192977654390874799*c_0101_5^8 + 1310078056614088841198974/192977654390874799*c_0101_5^7 + 242674933649153772484217/192977654390874799*c_0101_5^6 - 325315409498064329961567/192977654390874799*c_0101_5^5 - 30239339519982735203616/192977654390874799*c_0101_5^4 + 51300732626352665430219/192977654390874799*c_0101_5^3 - 974170821204803886089/192977654390874799*c_0101_5^2 - 3635526515061299219280/192977654390874799*c_0101_5 + 426030401548799693066/192977654390874799, c_0101_1 + 54307678975238928156/192977654390874799*c_0101_5^19 + 618458600789690599620/192977654390874799*c_0101_5^18 + 1580418679432541199427/192977654390874799*c_0101_5^17 - 976886187045484789368/192977654390874799*c_0101_5^16 - 8672648174342683866036/192977654390874799*c_0101_5^15 - 65322434644166206078350/192977654390874799*c_0101_5^14 - 82945215189245675653716/192977654390874799*c_0101_5^13 + 236387638009607969532520/192977654390874799*c_0101_5^12 + 429287299588467866763757/192977654390874799*c_0101_5^11 - 162197727921739072450278/192977654390874799*c_0101_5^10 - 581276598984367140324750/192977654390874799*c_0101_5^9 - 123383402994443541209749/192977654390874799*c_0101_5^8 + 217708196846170520092055/192977654390874799*c_0101_5^7 + 52009089352595959811147/192977654390874799*c_0101_5^6 - 53197500492455532427468/192977654390874799*c_0101_5^5 - 7102663508225174466925/192977654390874799*c_0101_5^4 + 8363762267090805742132/192977654390874799*c_0101_5^3 + 60359961448393257622/192977654390874799*c_0101_5^2 - 583307242176737751901/192977654390874799*c_0101_5 + 64385446678813541730/192977654390874799, c_0101_2 - 256250028856296528054/192977654390874799*c_0101_5^19 - 2891198061320645018926/192977654390874799*c_0101_5^18 - 7150855137243645418555/192977654390874799*c_0101_5^17 + 5389586138187089564509/192977654390874799*c_0101_5^16 + 40477415633470699000448/192977654390874799*c_0101_5^15 + 304089590664119551729489/192977654390874799*c_0101_5^14 + 358900292674422644722279/192977654390874799*c_0101_5^13 - 1156293998044834375154964/192977654390874799*c_0101_5^12 - 1913978728974657150933401/192977654390874799*c_0101_5^11 + 967476995218188713802373/192977654390874799*c_0101_5^10 + 2683968216545368957762549/192977654390874799*c_0101_5^9 + 332575213172993423737688/192977654390874799*c_0101_5^8 - 1107835691392179977153747/192977654390874799*c_0101_5^7 - 182941712401733606033599/192977654390874799*c_0101_5^6 + 274463096314644926906018/192977654390874799*c_0101_5^5 + 21365351708894285849946/192977654390874799*c_0101_5^4 - 42905035956265272691508/192977654390874799*c_0101_5^3 + 1190763576991399255435/192977654390874799*c_0101_5^2 + 3015262521210332914528/192977654390874799*c_0101_5 - 359393217347184416322/192977654390874799, c_0101_5^20 + 12*c_0101_5^19 + 36*c_0101_5^18 - c_0101_5^17 - 173*c_0101_5^16 - 1300*c_0101_5^15 - 2252*c_0101_5^14 + 3506*c_0101_5^13 + 10703*c_0101_5^12 + 1587*c_0101_5^11 - 13169*c_0101_5^10 - 8810*c_0101_5^9 + 3377*c_0101_5^8 + 3806*c_0101_5^7 - 556*c_0101_5^6 - 849*c_0101_5^5 + 107*c_0101_5^4 + 115*c_0101_5^3 - 15*c_0101_5^2 - 7*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB