Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 4105529740] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3312 geometric_solution 6.44482090 oriented_manifold CS_known -0.0000000000000011 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 1 -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.401836572912 0.433331023386 2 0 3 0 0132 2310 0132 0132 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 1 -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 1.447588178423 0.807422018016 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.571982740858 0.578258014340 6 5 4 1 0132 0132 1023 0132 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 0 0 0 1 0 0 -1 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.571982740858 0.578258014340 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657661950156 0.818159997255 5 3 5 2 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 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.548741951810 0.886404995835 3 6 2 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -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 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.832593459768 0.830783329467 ==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' : 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' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1859190371143974653896900465615110/16384670127719702185974900181420\ 07*c_0101_4^29 - 13464640685542931121678514593889275/16384670127719\ 70218597490018142007*c_0101_4^27 - 27313311375366032349992654135300872/1638467012771970218597490018142\ 007*c_0101_4^25 + 162470832925890157958733266326296971/163846701277\ 1970218597490018142007*c_0101_4^23 + 2258593614141062356252878335203519664/16384670127719702185974900181\ 42007*c_0101_4^21 - 11396591295908461542293352359574170555/16384670\ 12771970218597490018142007*c_0101_4^19 + 7561135332368869664375762794154230339/16384670127719702185974900181\ 42007*c_0101_4^17 + 10036992744532152534904255190447643476/16384670\ 12771970218597490018142007*c_0101_4^15 - 8445185230234320806612570987967062196/16384670127719702185974900181\ 42007*c_0101_4^13 + 5429973332457472249809087780200050601/163846701\ 2771970218597490018142007*c_0101_4^11 + 4109248819465473098593625671904736049/16384670127719702185974900181\ 42007*c_0101_4^9 - 2972264848597763047724017360600615221/1638467012\ 771970218597490018142007*c_0101_4^7 + 470437049569497514889898880373958310/163846701277197021859749001814\ 2007*c_0101_4^5 - 85723131255710721003824983350888753/1638467012771\ 970218597490018142007*c_0101_4^3 - 79204756888420035781151185588691845/1638467012771970218597490018142\ 007*c_0101_4, c_0011_0 - 1, c_0011_1 + 143141690273375233572183123802/23077000179886904487288591804\ 817*c_0101_4^28 - 931865093451556381976353986957/230770001798869044\ 87288591804817*c_0101_4^26 - 2893005671910751327771700273978/230770\ 00179886904487288591804817*c_0101_4^24 + 11215099219680449123801285308369/23077000179886904487288591804817*c\ _0101_4^22 + 183354983506662967051790181722212/23077000179886904487\ 288591804817*c_0101_4^20 - 753092959232280311475692945554025/230770\ 00179886904487288591804817*c_0101_4^18 - 96273233359935177821347015190016/23077000179886904487288591804817*c\ _0101_4^16 + 1413778126365793187794340352502617/2307700017988690448\ 7288591804817*c_0101_4^14 - 342796692838454652629723378350155/23077\ 000179886904487288591804817*c_0101_4^12 - 95252250976369264758183073399259/23077000179886904487288591804817*c\ _0101_4^10 + 809114794068423722902496658532783/23077000179886904487\ 288591804817*c_0101_4^8 - 169544178504525999002864853236874/2307700\ 0179886904487288591804817*c_0101_4^6 - 138593913249809454188020558977184/23077000179886904487288591804817*\ c_0101_4^4 + 91706354538682114927647143756489/230770001798869044872\ 88591804817*c_0101_4^2 - 28917895119890184348764882432752/230770001\ 79886904487288591804817, c_0011_3 + 2707368634516279432329371901415/2307700017988690448728859180\ 4817*c_0101_4^29 - 22005059066772867759444783833743/230770001798869\ 04487288591804817*c_0101_4^27 - 21789833317057251215373719520805/23\ 077000179886904487288591804817*c_0101_4^25 + 267200984850151465991960610040108/23077000179886904487288591804817*\ c_0101_4^23 + 3071318078314567352093120605610075/230770001798869044\ 87288591804817*c_0101_4^21 - 19452685352917256751343699682192967/23\ 077000179886904487288591804817*c_0101_4^19 + 26448849189417929019201658148798487/2307700017988690448728859180481\ 7*c_0101_4^17 + 910456539627098155861580204126032/23077000179886904\ 487288591804817*c_0101_4^15 - 21903851312739098610103496960471039/2\ 3077000179886904487288591804817*c_0101_4^13 + 21542382645145103284669130002662518/2307700017988690448728859180481\ 7*c_0101_4^11 - 4517009666044742823326834395850328/2307700017988690\ 4487288591804817*c_0101_4^9 - 7165207698210370062894539441323248/23\ 077000179886904487288591804817*c_0101_4^7 + 5446346293087748158421317468977645/23077000179886904487288591804817\ *c_0101_4^5 - 1923631028621327151000846262464208/230770001798869044\ 87288591804817*c_0101_4^3 + 405301154207370513897149311884772/23077\ 000179886904487288591804817*c_0101_4, c_0101_0 + 4557101819875213559925074938780/2307700017988690448728859180\ 4817*c_0101_4^29 - 35948504647474590123410110674781/230770001798869\ 04487288591804817*c_0101_4^27 - 44848170658350858376611707246144/23\ 077000179886904487288591804817*c_0101_4^25 + 435732837826207424710605572356918/23077000179886904487288591804817*\ c_0101_4^23 + 5268716014422962931156108653989049/230770001798869044\ 87288591804817*c_0101_4^21 - 31442191983471202629167549416038733/23\ 077000179886904487288591804817*c_0101_4^19 + 37507388331482730118899414432785216/2307700017988690448728859180481\ 7*c_0101_4^17 + 7677459052728068565167065524622344/2307700017988690\ 4487288591804817*c_0101_4^15 - 32337782247792357236089981922521839/\ 23077000179886904487288591804817*c_0101_4^13 + 29996233689618560813446708212641578/2307700017988690448728859180481\ 7*c_0101_4^11 - 2790527104595844588342172119078526/2307700017988690\ 4487288591804817*c_0101_4^9 - 10799851989498832166644442644317151/2\ 3077000179886904487288591804817*c_0101_4^7 + 6894423316851775293615953536760276/23077000179886904487288591804817\ *c_0101_4^5 - 2397968737718756886554450219439627/230770001798869044\ 87288591804817*c_0101_4^3 + 397414628550834379989839989147603/23077\ 000179886904487288591804817*c_0101_4, c_0101_1 - 983300330140028359711045110749/23077000179886904487288591804\ 817*c_0101_4^28 + 7386330038437367490698440845814/23077000179886904\ 487288591804817*c_0101_4^26 + 12442704044332460646340197853737/2307\ 7000179886904487288591804817*c_0101_4^24 - 89215969545800008074462896989066/23077000179886904487288591804817*c\ _0101_4^22 - 1170175712706211675015286218827210/2307700017988690448\ 7288591804817*c_0101_4^20 + 6342158187388620596049794391758206/2307\ 7000179886904487288591804817*c_0101_4^18 - 5724688736537035449339154071074440/23077000179886904487288591804817\ *c_0101_4^16 - 3715312512782080620132246711487948/23077000179886904\ 487288591804817*c_0101_4^14 + 5540335296411291286625558570254956/23\ 077000179886904487288591804817*c_0101_4^12 - 4528642291784924033113396666761292/23077000179886904487288591804817\ *c_0101_4^10 - 992986610432229714599802067216677/230770001798869044\ 87288591804817*c_0101_4^8 + 1909103113288238949535471864698001/2307\ 7000179886904487288591804817*c_0101_4^6 - 807508680237385911967063246950910/23077000179886904487288591804817*\ c_0101_4^4 + 214459718475868986391795163501821/23077000179886904487\ 288591804817*c_0101_4^2 + 15141568851706223210052622427057/23077000\ 179886904487288591804817, c_0101_3 - 882564903180133846933029885278/23077000179886904487288591804\ 817*c_0101_4^28 + 6541016595698087298620027546326/23077000179886904\ 487288591804817*c_0101_4^26 + 11840456388433026870391673328541/2307\ 7000179886904487288591804817*c_0101_4^24 - 79002100450914086546381396788827/23077000179886904487288591804817*c\ _0101_4^22 - 1058447702020732281258962093322377/2307700017988690448\ 7288591804817*c_0101_4^20 + 5587515287286567334507495650096805/2307\ 7000179886904487288591804817*c_0101_4^18 - 4558273338128334357490334520037096/23077000179886904487288591804817\ *c_0101_4^16 - 3889527957432558614613037423116675/23077000179886904\ 487288591804817*c_0101_4^14 + 4657270717625991635219458437742880/23\ 077000179886904487288591804817*c_0101_4^12 - 3538909213732949557688888886566617/23077000179886904487288591804817\ *c_0101_4^10 - 1317489382130352390864781579421864/23077000179886904\ 487288591804817*c_0101_4^8 + 1641655536853406981512479707136328/230\ 77000179886904487288591804817*c_0101_4^6 - 545532991640657207362082483865673/23077000179886904487288591804817*\ c_0101_4^4 + 151971799262973802718667501798169/23077000179886904487\ 288591804817*c_0101_4^2 + 26791036051083739456887606470585/23077000\ 179886904487288591804817, c_0101_4^30 - 8*c_0101_4^28 - 9*c_0101_4^26 + 97*c_0101_4^24 + 1146*c_0101_4^22 - 7032*c_0101_4^20 + 8954*c_0101_4^18 + 1011*c_0101_4^16 - 7489*c_0101_4^14 + 7224*c_0101_4^12 - 1170*c_0101_4^10 - 2451*c_0101_4^8 + 1737*c_0101_4^6 - 637*c_0101_4^4 + 126*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB