Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 3734979097] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2169 geometric_solution 5.63986232 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 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 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.539700429275 1.056731252855 3 3 4 0 0132 0321 0132 0132 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 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.242163808666 0.455304539032 4 3 0 5 1302 3201 0132 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 -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.027820028441 0.673419557255 1 6 2 1 0132 0132 2310 0321 0 0 0 0 0 0 0 0 0 0 0 0 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 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.104172887487 0.573084806018 6 2 5 1 3012 2031 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.127576662450 0.660828658158 5 4 2 5 3201 3201 0132 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.190049489880 0.662565344694 6 3 6 4 2310 0132 3201 1230 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.441157600068 1.026410729336 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_1']), 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : negation(d['c_0011_1']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0011_5, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 4375197360555982026948137163785057/16331012404755592845173646629120\ 00*c_0101_5^16 + 861167070796722237410585640788693/6532404961902237\ 1380694586516480*c_0101_5^15 + 562220691280826980286105932337429/25\ 517206882430613820583822858000*c_0101_5^14 - 46508236903582457998221938133985707/4082753101188898211293411657280\ 00*c_0101_5^13 - 310922573062294693806337546757160773/1633101240475\ 559284517364662912000*c_0101_5^12 + 9878195553290110979119826676321467/13064809923804474276138917303296\ *c_0101_5^11 + 954223433427488579347803841955363799/163310124047555\ 9284517364662912000*c_0101_5^10 - 221625979643335809846423447852265\ 3863/816550620237779642258682331456000*c_0101_5^9 - 214278080063045716639284961260281827/102068827529722455282335291432\ 000*c_0101_5^8 + 1487301472504585848576208912244894913/204137655059\ 444910564670582864000*c_0101_5^7 + 6349507890152753382912191811693595241/16331012404755592845173646629\ 12000*c_0101_5^6 - 17424520438687141086056100449882925269/163310124\ 0475559284517364662912000*c_0101_5^5 + 4021948297194191189586061515443108333/16331012404755592845173646629\ 12000*c_0101_5^4 + 7814827817289377837980233795319170413/1633101240\ 475559284517364662912000*c_0101_5^3 - 969159978288548731140891210576829793/163310124047555928451736466291\ 2000*c_0101_5^2 - 4612054780093959341407212681345113/65324049619022\ 37138069458651648*c_0101_5 - 109365775364674821370928712324753751/1\ 633101240475559284517364662912000, c_0011_0 - 1, c_0011_1 - 1274747194036557966975684129/25517206882430613820583822858*c\ _0101_5^16 + 6890777521080439190801307385/2551720688243061382058382\ 2858*c_0101_5^15 + 7472651250598978877855298973/2551720688243061382\ 0583822858*c_0101_5^14 - 29714403038749897623751699719/127586034412\ 15306910291911429*c_0101_5^13 - 32287495018749623552281814272/12758\ 603441215306910291911429*c_0101_5^12 + 202434772092804344368196775517/12758603441215306910291911429*c_0101\ _5^11 + 52909575533620684162242391444/12758603441215306910291911429\ *c_0101_5^10 - 1433835588083107418860073558311/25517206882430613820\ 583822858*c_0101_5^9 - 379690954618896755433996499957/2551720688243\ 0613820583822858*c_0101_5^8 + 1988502094196857181420582267529/12758\ 603441215306910291911429*c_0101_5^7 + 96714825618452979691753245519/12758603441215306910291911429*c_0101_\ 5^6 - 3018537787790933390921968405457/12758603441215306910291911429\ *c_0101_5^5 + 1794324385502797466395117265017/127586034412153069102\ 91911429*c_0101_5^4 + 893761918788138104099829263884/12758603441215\ 306910291911429*c_0101_5^3 - 716487278421018339959397456935/1275860\ 3441215306910291911429*c_0101_5^2 - 198414397734235445286934689047/25517206882430613820583822858*c_0101\ _5 + 65905211226274159474250114701/12758603441215306910291911429, c_0011_2 + 1797870255805819329789987177/25517206882430613820583822858*c\ _0101_5^16 - 9678352382186065464091173279/2551720688243061382058382\ 2858*c_0101_5^15 - 10538614000984900503802704797/255172068824306138\ 20583822858*c_0101_5^14 + 41247752338247757477781319845/12758603441\ 215306910291911429*c_0101_5^13 + 45634168422970096282128980312/1275\ 8603441215306910291911429*c_0101_5^12 - 279917151481142267958240023000/12758603441215306910291911429*c_0101\ _5^11 - 73749185756974914832894405552/12758603441215306910291911429\ *c_0101_5^10 + 1958406136772371673971715373991/25517206882430613820\ 583822858*c_0101_5^9 + 540221363088853773885316638369/2551720688243\ 0613820583822858*c_0101_5^8 - 2693223021308795163328845084225/12758\ 603441215306910291911429*c_0101_5^7 - 125370913125743599807238406011/12758603441215306910291911429*c_0101\ _5^6 + 3976303524067531462754687257915/1275860344121530691029191142\ 9*c_0101_5^5 - 2558339931069178968088720633129/12758603441215306910\ 291911429*c_0101_5^4 - 933543737852569985150029328162/1275860344121\ 5306910291911429*c_0101_5^3 + 821232109867769389508066366909/127586\ 03441215306910291911429*c_0101_5^2 + 126769908893588931698417866211/25517206882430613820583822858*c_0101\ _5 - 67699783387037480053383085301/12758603441215306910291911429, c_0011_4 - 418543774800855836536799999/12758603441215306910291911429*c_\ 0101_5^16 + 4820914083873580111938433151/25517206882430613820583822\ 858*c_0101_5^15 + 1692802485103149501875034366/12758603441215306910\ 291911429*c_0101_5^14 - 41121500222461307487475864437/2551720688243\ 0613820583822858*c_0101_5^13 - 29384642473101098578462710503/255172\ 06882430613820583822858*c_0101_5^12 + 284076758145594145680377193849/25517206882430613820583822858*c_0101\ _5^11 - 17827697677481189134083042675/25517206882430613820583822858\ *c_0101_5^10 - 987320633933665168664447234865/255172068824306138205\ 83822858*c_0101_5^9 + 29453281870395981103084557883/127586034412153\ 06910291911429*c_0101_5^8 + 2779086707544152769094461079771/2551720\ 6882430613820583822858*c_0101_5^7 - 709483049034957699700165640663/25517206882430613820583822858*c_0101\ _5^6 - 4221999438417359997382201914585/2551720688243061382058382285\ 8*c_0101_5^5 + 3578010104509330076968411987727/25517206882430613820\ 583822858*c_0101_5^4 + 666602435388769664325542232933/2551720688243\ 0613820583822858*c_0101_5^3 - 1331471016813282502072419310719/25517\ 206882430613820583822858*c_0101_5^2 - 27856783736647556890718255253/25517206882430613820583822858*c_0101_\ 5 + 70819359417887513021330861769/12758603441215306910291911429, c_0011_5 - 2151421280253232910389640291/25517206882430613820583822858*c\ _0101_5^16 + 5756424936650637068636054556/1275860344121530691029191\ 1429*c_0101_5^15 + 12999577602679651608670829007/255172068824306138\ 20583822858*c_0101_5^14 - 98411650729111517840388077913/25517206882\ 430613820583822858*c_0101_5^13 - 112467758058439592948392437087/255\ 17206882430613820583822858*c_0101_5^12 + 667131271397092331319669369203/25517206882430613820583822858*c_0101\ _5^11 + 198813765506331015673617058437/2551720688243061382058382285\ 8*c_0101_5^10 - 1171260471151747732228130985072/1275860344121530691\ 0291911429*c_0101_5^9 - 722256271475997893072555686535/255172068824\ 30613820583822858*c_0101_5^8 + 6438074811310693532320244163245/2551\ 7206882430613820583822858*c_0101_5^7 + 512223884229597785803247967193/25517206882430613820583822858*c_0101\ _5^6 - 9541949633803357950809665045605/2551720688243061382058382285\ 8*c_0101_5^5 + 5821231642618254767708157500475/25517206882430613820\ 583822858*c_0101_5^4 + 2457843001589517984072039340189/255172068824\ 30613820583822858*c_0101_5^3 - 1934655210529901833785188240739/2551\ 7206882430613820583822858*c_0101_5^2 - 98573400232463776513967772503/12758603441215306910291911429*c_0101_\ 5 + 74853502844224428217931395480/12758603441215306910291911429, c_0101_4 - 468753139352985182861795483/25517206882430613820583822858*c_\ 0101_5^16 + 2620160828283711801660867923/25517206882430613820583822\ 858*c_0101_5^15 + 2324505620053508653353222109/25517206882430613820\ 583822858*c_0101_5^14 - 11296113205152449073912585587/1275860344121\ 5306910291911429*c_0101_5^13 - 9980286275307283248000872825/1275860\ 3441215306910291911429*c_0101_5^12 + 77603016810026236487729699678/12758603441215306910291911429*c_0101_\ 5^11 + 6773220539216181862400598841/12758603441215306910291911429*c\ _0101_5^10 - 547567872662610616432405356347/25517206882430613820583\ 822858*c_0101_5^9 - 44948890174294783267556976013/25517206882430613\ 820583822858*c_0101_5^8 + 766664051092416891012772473539/1275860344\ 1215306910291911429*c_0101_5^7 - 94928776488674590646676879408/1275\ 8603441215306910291911429*c_0101_5^6 - 1177717105868653709181611314901/12758603441215306910291911429*c_010\ 1_5^5 + 866658836920647804325854610126/1275860344121530691029191142\ 9*c_0101_5^4 + 294021058813859764411380724367/127586034412153069102\ 91911429*c_0101_5^3 - 395974065432799294240713247677/12758603441215\ 306910291911429*c_0101_5^2 + 6299803828779425151205790109/255172068\ 82430613820583822858*c_0101_5 + 40476595010932076402276516300/12758\ 603441215306910291911429, c_0101_5^17 - 5*c_0101_5^16 - 8*c_0101_5^15 + 44*c_0101_5^14 + 69*c_0101_5^13 - 295*c_0101_5^12 - 207*c_0101_5^11 + 1078*c_0101_5^10 + 736*c_0101_5^9 - 2952*c_0101_5^8 - 1353*c_0101_5^7 + 4557*c_0101_5^6 - 1029*c_0101_5^5 - 2389*c_0101_5^4 + 569*c_0101_5^3 + 530*c_0101_5^2 - 57*c_0101_5 - 40 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB