Magma V2.19-8 Tue Aug 20 2013 16:18:37 on localhost [Seed = 2193825713] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2793 geometric_solution 6.02600790 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 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 -1 0 1 1 0 -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.369375667166 0.866089511950 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 -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.224296539669 1.382328399764 4 5 4 0 0132 0132 2031 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 -1 0 0 1 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.568073286127 0.859855480851 5 5 0 4 2103 2031 0132 2031 0 0 0 0 0 0 0 0 1 0 -1 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 -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.612620125536 1.100301340773 2 3 6 2 0132 1302 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.436860686695 1.084513091514 3 2 3 6 1302 0132 2103 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.132805600867 0.958956733807 5 6 6 4 3120 1230 3012 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 0.867194399133 0.958956733807 ==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_6'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1010_4']), 'c_1100_3' : negation(d['c_1010_4']), 'c_1100_2' : negation(d['c_1010_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], '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_2'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_3, c_0011_6, c_0101_0, c_0101_6, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 5619925326523936244516283229/3597121121083799455786639193*c_1010_4^\ 16 + 21700746628904978161656443304/3597121121083799455786639193*c_1\ 010_4^15 - 88642817728883666817475015898/35971211210837994557866391\ 93*c_1010_4^14 + 558495518318749407359547712078/3597121121083799455\ 786639193*c_1010_4^13 - 2269314369961785162567213011610/35971211210\ 83799455786639193*c_1010_4^12 + 5927319706551635991667533949136/359\ 7121121083799455786639193*c_1010_4^11 - 11217987117855904146666169685997/3597121121083799455786639193*c_101\ 0_4^10 + 15959938200003253955218364667029/3597121121083799455786639\ 193*c_1010_4^9 - 15172067018260398486148670685437/35971211210837994\ 55786639193*c_1010_4^8 + 3922999738066400884316599659122/3597121121\ 083799455786639193*c_1010_4^7 + 11141122134805569629134214427397/35\ 97121121083799455786639193*c_1010_4^6 - 15568971065558432291206530768213/3597121121083799455786639193*c_101\ 0_4^5 + 8027300214428665550106672597969/359712112108379945578663919\ 3*c_1010_4^4 - 786003828188851048118562556129/359712112108379945578\ 6639193*c_1010_4^3 - 873326690885942953459641382053/359712112108379\ 9455786639193*c_1010_4^2 + 845654095972735336559771656896/359712112\ 1083799455786639193*c_1010_4 - 75883963088223374518676366653/359712\ 1121083799455786639193, c_0011_0 - 1, c_0011_2 + 3837638808379462844421656/87734661489848767214308273*c_1010_\ 4^16 - 18120931211851758099145235/87734661489848767214308273*c_1010\ _4^15 + 74955162528617128104615896/87734661489848767214308273*c_101\ 0_4^14 - 441117130317170165904803992/87734661489848767214308273*c_1\ 010_4^13 + 1908838249338066451281121263/87734661489848767214308273*\ c_1010_4^12 - 5566729555600697127662560082/877346614898487672143082\ 73*c_1010_4^11 + 11939544762398071357514128899/87734661489848767214\ 308273*c_1010_4^10 - 19747362326376858119379005437/8773466148984876\ 7214308273*c_1010_4^9 + 24396774131093422079193794386/8773466148984\ 8767214308273*c_1010_4^8 - 18935027196114653152299938740/8773466148\ 9848767214308273*c_1010_4^7 + 3091431611467865841089757194/87734661\ 489848767214308273*c_1010_4^6 + 11930113441930371802931237294/87734\ 661489848767214308273*c_1010_4^5 - 15990885321404910396764468838/87734661489848767214308273*c_1010_4^4 + 11303550920300777153880445279/87734661489848767214308273*c_1010_4\ ^3 - 5481345549852574921121256246/87734661489848767214308273*c_1010\ _4^2 + 1643502043711918456216541358/87734661489848767214308273*c_10\ 10_4 - 268592396875484495051712281/87734661489848767214308273, c_0011_3 - 192966380927415557/46526333995960525627*c_1010_4^16 + 560987314780741887/46526333995960525627*c_1010_4^15 - 2544594411944988220/46526333995960525627*c_1010_4^14 + 16985559149637701257/46526333995960525627*c_1010_4^13 - 62534562446629549898/46526333995960525627*c_1010_4^12 + 148614860509790774195/46526333995960525627*c_1010_4^11 - 266101894384149302568/46526333995960525627*c_1010_4^10 + 360800131795875678058/46526333995960525627*c_1010_4^9 - 311798392297461019118/46526333995960525627*c_1010_4^8 + 44131340204103630948/46526333995960525627*c_1010_4^7 + 197489761908288244018/46526333995960525627*c_1010_4^6 - 234259936897284190231/46526333995960525627*c_1010_4^5 + 162755673837444942689/46526333995960525627*c_1010_4^4 - 69084801750679149335/46526333995960525627*c_1010_4^3 + 12812660729507159635/46526333995960525627*c_1010_4^2 - 22342587524175598229/46526333995960525627*c_1010_4 + 28136239159944172586/46526333995960525627, c_0011_6 + 2385662924156913763890093/87734661489848767214308273*c_1010_\ 4^16 - 11255932753881197763767014/87734661489848767214308273*c_1010\ _4^15 + 47164183527821870384590746/87734661489848767214308273*c_101\ 0_4^14 - 276252849178514572806957014/87734661489848767214308273*c_1\ 010_4^13 + 1194645994278387758081783137/87734661489848767214308273*\ c_1010_4^12 - 3514441619690473955536651803/877346614898487672143082\ 73*c_1010_4^11 + 7641340917178408490051367801/877346614898487672143\ 08273*c_1010_4^10 - 12832128761176272299551325663/87734661489848767\ 214308273*c_1010_4^9 + 16186631645944703883966944384/87734661489848\ 767214308273*c_1010_4^8 - 13188545316823441120389738422/87734661489\ 848767214308273*c_1010_4^7 + 3211094651176960404509353745/877346614\ 89848767214308273*c_1010_4^6 + 7193648236188776069919590069/8773466\ 1489848767214308273*c_1010_4^5 - 10919513369108661039950645923/8773\ 4661489848767214308273*c_1010_4^4 + 8114336622944142529348232014/87734661489848767214308273*c_1010_4^3 - 3845419256938991794520232271/87734661489848767214308273*c_1010_4^2 + 1168151307893554266969338122/87734661489848767214308273*c_1010_4 - 196214712102436728382338351/87734661489848767214308273, c_0101_0 + 25738203278347058932416/1487028160844894359564547*c_1010_4^1\ 6 - 133803234595833029586428/1487028160844894359564547*c_1010_4^15 + 545699045084809201103551/1487028160844894359564547*c_1010_4^14 - 3139506883364781535916009/1487028160844894359564547*c_1010_4^13 + 13956590559477352209075713/1487028160844894359564547*c_1010_4^12 - 41891356772516930198089520/1487028160844894359564547*c_1010_4^11 + 91534244895434256336107366/1487028160844894359564547*c_1010_4^10 - 153039865611034208921310752/1487028160844894359564547*c_1010_4^9 + 190714181561606916860211702/1487028160844894359564547*c_1010_4^8 - 148503267419751313447859406/1487028160844894359564547*c_1010_4^7 + 16902231732461181166641540/1487028160844894359564547*c_1010_4^6 + 111158945567504782878405852/1487028160844894359564547*c_1010_4^5 - 138678967489531718839210023/1487028160844894359564547*c_1010_4^4 + 83011766009115044623063838/1487028160844894359564547*c_1010_4^3 - 29443109063716532557606059/1487028160844894359564547*c_1010_4^2 + 5688787652308779500490891/1487028160844894359564547*c_1010_4 + 869243766810144308327011/1487028160844894359564547, c_0101_6 - 2051314324012202848529658/87734661489848767214308273*c_1010_\ 4^16 + 8689875132311186954857318/87734661489848767214308273*c_1010_\ 4^15 - 35301118850711752448914362/87734661489848767214308273*c_1010\ _4^14 + 216557376908239410184089672/87734661489848767214308273*c_10\ 10_4^13 - 906410022175382397806954594/87734661489848767214308273*c_\ 1010_4^12 + 2480719198643776800953656716/87734661489848767214308273\ *c_1010_4^11 - 4955783350281817412252779161/87734661489848767214308\ 273*c_1010_4^10 + 7559994006603743820576148921/87734661489848767214\ 308273*c_1010_4^9 - 8215900432053386793923820693/877346614898487672\ 14308273*c_1010_4^8 + 4409330161884300388132343019/8773466148984876\ 7214308273*c_1010_4^7 + 2285440509372538477846128485/87734661489848\ 767214308273*c_1010_4^6 - 6108588650788768719112699653/877346614898\ 48767214308273*c_1010_4^5 + 4917011310671717783833799616/8773466148\ 9848767214308273*c_1010_4^4 - 2209387234088319172807741274/87734661\ 489848767214308273*c_1010_4^3 + 741039085463157612426876208/8773466\ 1489848767214308273*c_1010_4^2 - 52133294708213747235794484/8773466\ 1489848767214308273*c_1010_4 + 4112645487409896381274575/8773466148\ 9848767214308273, c_1010_4^17 - 5*c_1010_4^16 + 21*c_1010_4^15 - 121*c_1010_4^14 + 532*c_1010_4^13 - 1605*c_1010_4^12 + 3581*c_1010_4^11 - 6193*c_1010_4^10 + 8157*c_1010_4^9 - 7276*c_1010_4^8 + 2825*c_1010_4^7 + 2483*c_1010_4^6 - 5099*c_1010_4^5 + 4509*c_1010_4^4 - 2646*c_1010_4^3 + 1052*c_1010_4^2 - 280*c_1010_4 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB