Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 1478083768] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1971 geometric_solution 5.54788269 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 -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.512516771038 0.339838124754 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 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 1.132204578571 0.558816087353 1 4 4 5 0132 0132 3201 0132 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 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 0 0 0 0.799966898262 0.478485850378 5 4 4 1 0132 2310 1023 0132 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 -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.799966898262 0.478485850378 2 2 3 3 2310 0132 1023 3201 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 -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 1.079329251268 0.550682693350 3 6 2 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.029005879700 0.538268341870 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773538765392 0.289861615957 ==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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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_1'], 'c_1100_5' : negation(d['c_0011_1']), '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' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], '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' : d['c_0011_1'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_6']), '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' : negation(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_3'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(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_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1503777562960250682732117653459/310254359602060778444829598848*c_01\ 01_6^16 + 14248155524608250336388238030291/310254359602060778444829\ 598848*c_0101_6^15 - 41534463630955960088355993402931/1034181198673\ 53592814943199616*c_0101_6^14 + 179888953235954317980470391455417/1\ 03418119867353592814943199616*c_0101_6^13 - 191156806240348749400315084085971/103418119867353592814943199616*c_\ 0101_6^12 - 675852013981218705826802285174959/103418119867353592814\ 943199616*c_0101_6^11 + 6384332048366690735323158291962731/31025435\ 9602060778444829598848*c_0101_6^10 - 4694162283843951086111539986580105/155127179801030389222414799424*c\ _0101_6^9 + 3201154585569337655763874422568395/10341811986735359281\ 4943199616*c_0101_6^8 - 7024077434566056420919492203172157/31025435\ 9602060778444829598848*c_0101_6^7 + 605415785882698587518816633694355/51709059933676796407471599808*c_0\ 101_6^6 - 1131933712145111906402527001765195/3102543596020607784448\ 29598848*c_0101_6^5 - 54502009563444916403836078863313/310254359602\ 060778444829598848*c_0101_6^4 + 252611515066605339991148620201/4273\ 47602757659474441914048*c_0101_6^3 - 64953267684789830450554139606071/310254359602060778444829598848*c_0\ 101_6^2 - 110502385135995919068895789301/94016472606685084377221090\ 56*c_0101_6 - 1805767560456531437480955259529/310254359602060778444\ 829598848, c_0011_0 - 1, c_0011_1 + 628569828247580965233/3534602682770292748312*c_0101_6^16 - 3085645716719030529023/1767301341385146374156*c_0101_6^15 + 54093749768800689393599/3534602682770292748312*c_0101_6^14 - 60790434542664969178465/883650670692573187078*c_0101_6^13 + 314659622964478496951817/3534602682770292748312*c_0101_6^12 + 387264933265013897841051/1767301341385146374156*c_0101_6^11 - 2959691023061168726082073/3534602682770292748312*c_0101_6^10 + 4775617861449144900152491/3534602682770292748312*c_0101_6^9 - 656590170318284609852369/441825335346286593539*c_0101_6^8 + 4271008241461145262487877/3534602682770292748312*c_0101_6^7 - 2590318114294581700884827/3534602682770292748312*c_0101_6^6 + 563830305468215465039151/1767301341385146374156*c_0101_6^5 - 276599922411874985525929/3534602682770292748312*c_0101_6^4 + 12343837554994038685603/3534602682770292748312*c_0101_6^3 + 865683217683384826947/441825335346286593539*c_0101_6^2 + 3591070356947937772909/3534602682770292748312*c_0101_6 + 88243249293340089775/1767301341385146374156, c_0101_0 + 39539619495187117662151/213843462307602711272876*c_0101_6^16 - 803095068976424471973309/427686924615205422545752*c_0101_6^15 + 3536213961631188764395759/213843462307602711272876*c_0101_6^14 - 32943959516957394049627655/427686924615205422545752*c_0101_6^13 + 12598339619301017752883861/106921731153801355636438*c_0101_6^12 + 81677056509501327213195591/427686924615205422545752*c_0101_6^11 - 200413923032187916681725771/213843462307602711272876*c_0101_6^10 + 731858071706290712555175547/427686924615205422545752*c_0101_6^9 - 897210610221463955989028257/427686924615205422545752*c_0101_6^8 + 204388806251554743104243015/106921731153801355636438*c_0101_6^7 - 568728671886027143655134259/427686924615205422545752*c_0101_6^6 + 301779963665850446398352957/427686924615205422545752*c_0101_6^5 - 56595667353857409537685837/213843462307602711272876*c_0101_6^4 + 227847326582002092753691/3534602682770292748312*c_0101_6^3 - 3535717384850718578801353/427686924615205422545752*c_0101_6^2 + 9992317686645645212093/9720157377618305057858*c_0101_6 - 370768549146553891763429/427686924615205422545752, c_0101_1 - 530177400951847656057/1767301341385146374156*c_0101_6^16 + 5163800643702139178887/1767301341385146374156*c_0101_6^15 - 45233621578903310113343/1767301341385146374156*c_0101_6^14 + 201678906030742891764599/1767301341385146374156*c_0101_6^13 - 250668512311925119993627/1767301341385146374156*c_0101_6^12 - 667948415808568605684877/1767301341385146374156*c_0101_6^11 + 2436256393538412841862345/1767301341385146374156*c_0101_6^10 - 962695960268775736424149/441825335346286593539*c_0101_6^9 + 4195471465875489946255861/1767301341385146374156*c_0101_6^8 - 3383380891480759623810423/1767301341385146374156*c_0101_6^7 + 507967229040615619289475/441825335346286593539*c_0101_6^6 - 881942690995707356358727/1767301341385146374156*c_0101_6^5 + 219244142811636384733397/1767301341385146374156*c_0101_6^4 - 2974355420067974206164/441825335346286593539*c_0101_6^3 - 5522219128452048131783/1767301341385146374156*c_0101_6^2 - 3150675302887327741971/1767301341385146374156*c_0101_6 + 2009249616127245072983/1767301341385146374156, c_0101_3 + 165095762017719394301/883650670692573187078*c_0101_6^16 - 6172045507052661425159/3534602682770292748312*c_0101_6^15 + 6744674797033876186778/441825335346286593539*c_0101_6^14 - 230421258031628610357329/3534602682770292748312*c_0101_6^13 + 112733813091283299135899/1767301341385146374156*c_0101_6^12 + 902532625768203036724573/3534602682770292748312*c_0101_6^11 - 663344428230480657535355/883650670692573187078*c_0101_6^10 + 3808076581422355493675635/3534602682770292748312*c_0101_6^9 - 3961184987630121261419815/3534602682770292748312*c_0101_6^8 + 1510255368552150635655867/1767301341385146374156*c_0101_6^7 - 1723433752624462855623387/3534602682770292748312*c_0101_6^6 + 731599279478316976853183/3534602682770292748312*c_0101_6^5 - 22335988783059893453823/441825335346286593539*c_0101_6^4 + 35566168161794611643131/3534602682770292748312*c_0101_6^3 - 18266231357639736010471/3534602682770292748312*c_0101_6^2 + 4914866252829505490267/1767301341385146374156*c_0101_6 + 68748056543207402217/3534602682770292748312, c_0101_4 - 74308087848201239768683/213843462307602711272876*c_0101_6^16 + 718112275331093070859577/213843462307602711272876*c_0101_6^15 - 6290931591042223210814555/213843462307602711272876*c_0101_6^14 + 27841820461049328178759467/213843462307602711272876*c_0101_6^13 - 33473049379490544385700825/213843462307602711272876*c_0101_6^12 - 94245430759652431062867915/213843462307602711272876*c_0101_6^11 + 332646837981051408030315525/213843462307602711272876*c_0101_6^10 - 261512846367730310467327427/106921731153801355636438*c_0101_6^9 + 571295767280992727960748063/213843462307602711272876*c_0101_6^8 - 458191030907312433044705383/213843462307602711272876*c_0101_6^7 + 136336786267770246515343799/106921731153801355636438*c_0101_6^6 - 117128977771522761057456417/213843462307602711272876*c_0101_6^5 + 27902924983261174499831337/213843462307602711272876*c_0101_6^4 - 4884677253192368935607/883650670692573187078*c_0101_6^3 - 797097436602739160362065/213843462307602711272876*c_0101_6^2 - 41661198438352134797849/19440314755236610115716*c_0101_6 + 104024820200085396809359/213843462307602711272876, c_0101_6^17 - 10*c_0101_6^16 + 88*c_0101_6^15 - 404*c_0101_6^14 + 584*c_0101_6^13 + 1084*c_0101_6^12 - 4868*c_0101_6^11 + 8663*c_0101_6^10 - 10429*c_0101_6^9 + 9326*c_0101_6^8 - 6389*c_0101_6^7 + 3339*c_0101_6^6 - 1234*c_0101_6^5 + 299*c_0101_6^4 - 45*c_0101_6^3 + 14*c_0101_6^2 - 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB