Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 2033771866] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s362 geometric_solution 4.58356323 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -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 1 1 -2 1 0 0 -1 -1 2 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.978139999401 0.586543452365 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 -1 0 0 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.114075908760 1.129047795381 4 3 1 3 0132 2031 0132 3012 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 -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.815815613281 0.613075910397 2 4 2 1 1302 2310 1230 0132 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 -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.815815613281 0.613075910397 2 5 5 3 0132 0132 3201 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 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.338202214273 0.269845396800 4 4 5 5 2310 0132 2031 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 1 -1 0 0 1 -1 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.973100125018 1.863191385241 ==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' : negation(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_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_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_5' : d['c_0101_5'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), '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_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 386234328020322088911390476517547214467799702446679/148933634272377\ 89231064707824822826318680323472145*c_0101_5^18 + 370776373690395099908492485041778315305285907775067/148933634272377\ 89231064707824822826318680323472145*c_0101_5^17 + 67993266063638763564929340994179130340589041799669651/2978672685447\ 5578462129415649645652637360646944290*c_0101_5^16 - 1924530567150893575620997251032935227666659016482483/59573453708951\ 15692425883129929130527472129388858*c_0101_5^15 - 631837174634239956992012298563619655443635481554937827/297867268544\ 75578462129415649645652637360646944290*c_0101_5^14 - 66525354874781742125889815304957568522742248481006964/1489336342723\ 7789231064707824822826318680323472145*c_0101_5^13 - 4841329100833975422063815879700329564138106416461687567/29786726854\ 475578462129415649645652637360646944290*c_0101_5^12 + 316232892474414919008374580272684217874986282424452242/148933634272\ 37789231064707824822826318680323472145*c_0101_5^11 + 35043704370196541844575835880449590264360999770680309651/2978672685\ 4475578462129415649645652637360646944290*c_0101_5^10 - 26741670772596454259710317078464826182227708443338220659/2978672685\ 4475578462129415649645652637360646944290*c_0101_5^9 - 5440706258505946605921551545975750888353500495533620858/14893363427\ 237789231064707824822826318680323472145*c_0101_5^8 + 21138811401503596918806965315817339773420012254861355463/2978672685\ 4475578462129415649645652637360646944290*c_0101_5^7 - 6746767328288892100476178570913882689581490093030027169/14893363427\ 237789231064707824822826318680323472145*c_0101_5^6 + 1341178450757186479218640556112426302283438222363376684/14893363427\ 237789231064707824822826318680323472145*c_0101_5^5 - 46272282809203867640827868650507003887141653417254095/2978672685447\ 557846212941564964565263736064694429*c_0101_5^4 - 218350826353620576406672969906194479202633280014938306/148933634272\ 37789231064707824822826318680323472145*c_0101_5^3 + 735623351292339606113307487911228312441514906931161751/297867268544\ 75578462129415649645652637360646944290*c_0101_5^2 + 62208268046627567026480096230484388493756166831910823/1489336342723\ 7789231064707824822826318680323472145*c_0101_5 + 20848589410379618001573069046679800231931731794564801/2978672685447\ 5578462129415649645652637360646944290, c_0011_0 - 1, c_0011_2 - 1783532373254109764837142638240581751766110091/2707884259497\ 77986019358324087687751248733154039*c_0101_5^18 + 2635914947260912629936937759270042169414547117/27078842594977798601\ 9358324087687751248733154039*c_0101_5^17 + 156410210080475356713432329626958378650195006827/270788425949777986\ 019358324087687751248733154039*c_0101_5^16 - 103694142120898721704032324051673895065067961251/270788425949777986\ 019358324087687751248733154039*c_0101_5^15 - 1474496208570605703725261613057858358984017977923/27078842594977798\ 6019358324087687751248733154039*c_0101_5^14 + 440687110184741276604859269037222186482151651509/270788425949777986\ 019358324087687751248733154039*c_0101_5^13 - 10779031015054644352995104541710333830113742965012/2707884259497779\ 86019358324087687751248733154039*c_0101_5^12 + 7404009947151818167512474710135688478159502818947/27078842594977798\ 6019358324087687751248733154039*c_0101_5^11 + 82246275901424719275292484231487025845809499886741/2707884259497779\ 86019358324087687751248733154039*c_0101_5^10 - 102988059841604133257000447181291784320191198439735/270788425949777\ 986019358324087687751248733154039*c_0101_5^9 - 6172252656226595716386331613395031869582820699649/27078842594977798\ 6019358324087687751248733154039*c_0101_5^8 + 67076382986622986167683316518299326464827975278476/2707884259497779\ 86019358324087687751248733154039*c_0101_5^7 - 54705250278236101246093438690544666680964901528442/2707884259497779\ 86019358324087687751248733154039*c_0101_5^6 + 17717304079793272989160188110200324009958190222599/2707884259497779\ 86019358324087687751248733154039*c_0101_5^5 + 354852070733066048623928820242089357749527824664/270788425949777986\ 019358324087687751248733154039*c_0101_5^4 - 2416076162230350412105123027416440648805862739729/27078842594977798\ 6019358324087687751248733154039*c_0101_5^3 + 3090535449283189829865146113900069379877435708549/27078842594977798\ 6019358324087687751248733154039*c_0101_5^2 - 429745388295241508759538734761872724267306879635/270788425949777986\ 019358324087687751248733154039*c_0101_5 - 50321306206766291601559698672888338698297929013/2707884259497779860\ 19358324087687751248733154039, c_0101_0 - 309620353678583372969469266001082098353170275/27078842594977\ 7986019358324087687751248733154039*c_0101_5^18 - 169218037268821668469339866841901059806101499/270788425949777986019\ 358324087687751248733154039*c_0101_5^17 + 27854317551504747125835227943901819537257496662/2707884259497779860\ 19358324087687751248733154039*c_0101_5^16 + 36818596719687771609260686148698120645938051357/2707884259497779860\ 19358324087687751248733154039*c_0101_5^15 - 272477508411592109490923453847632814183863574922/270788425949777986\ 019358324087687751248733154039*c_0101_5^14 - 412356391282415595945075661694642572327510647006/270788425949777986\ 019358324087687751248733154039*c_0101_5^13 - 1887050698432749511249186126419424907079501902555/27078842594977798\ 6019358324087687751248733154039*c_0101_5^12 - 2824574289058664650203391887117539887650605483055/27078842594977798\ 6019358324087687751248733154039*c_0101_5^11 + 15251414306690675672960521819864164409848241267949/2707884259497779\ 86019358324087687751248733154039*c_0101_5^10 + 8720928420958135051846242912785758555231121484828/27078842594977798\ 6019358324087687751248733154039*c_0101_5^9 - 28146653871817497819176445214905512064741280421028/2707884259497779\ 86019358324087687751248733154039*c_0101_5^8 + 17046755360966391177150080846454904411147663095641/2707884259497779\ 86019358324087687751248733154039*c_0101_5^7 + 6775052300898877414133259514114266365297438143570/27078842594977798\ 6019358324087687751248733154039*c_0101_5^6 - 13080780264199361873894409165773945151860470800043/2707884259497779\ 86019358324087687751248733154039*c_0101_5^5 + 6976611298396405317752772163925988590201144182741/27078842594977798\ 6019358324087687751248733154039*c_0101_5^4 - 3973735130168758153048035129357509195116473388127/27078842594977798\ 6019358324087687751248733154039*c_0101_5^3 + 1137632471617436698826198076361579520289826767565/27078842594977798\ 6019358324087687751248733154039*c_0101_5^2 + 12749559273253960107650741741586183216428005223/2707884259497779860\ 19358324087687751248733154039*c_0101_5 - 154144487914919826967460302346736128041849385869/270788425949777986\ 019358324087687751248733154039, c_0101_1 - 10863924683496259197751224350815945181848107396/270788425949\ 777986019358324087687751248733154039*c_0101_5^18 + 10617555379331986425217601442136522948070210609/2707884259497779860\ 19358324087687751248733154039*c_0101_5^17 + 956382479069296800842242704337034118225812955659/270788425949777986\ 019358324087687751248733154039*c_0101_5^16 - 152195098426390032717680490403072430670419325478/270788425949777986\ 019358324087687751248733154039*c_0101_5^15 - 8911317830871522153328766922366062045105288614693/27078842594977798\ 6019358324087687751248733154039*c_0101_5^14 - 1715138280552451392167791782273866017814144810194/27078842594977798\ 6019358324087687751248733154039*c_0101_5^13 - 67797047510019690762377869921167716572254829747876/2707884259497779\ 86019358324087687751248733154039*c_0101_5^12 + 10145361193329852994973383896413834314394280981076/2707884259497779\ 86019358324087687751248733154039*c_0101_5^11 + 494635086697568906655790386865663638922663043248277/270788425949777\ 986019358324087687751248733154039*c_0101_5^10 - 384737417861532284183545217027651800415890869256920/270788425949777\ 986019358324087687751248733154039*c_0101_5^9 - 160865137087379722709505267150626242642405320494425/270788425949777\ 986019358324087687751248733154039*c_0101_5^8 + 309985684538934441165236382741699627819916864646583/270788425949777\ 986019358324087687751248733154039*c_0101_5^7 - 188269248355301334465603977458371781222505864021557/270788425949777\ 986019358324087687751248733154039*c_0101_5^6 + 30698736769745513437392233855235263341131363503077/2707884259497779\ 86019358324087687751248733154039*c_0101_5^5 - 2728025924962016646438758019908977085395297868466/27078842594977798\ 6019358324087687751248733154039*c_0101_5^4 - 6179972299490704768329970743574794768392309689309/27078842594977798\ 6019358324087687751248733154039*c_0101_5^3 + 9539283183589193677973583034409207215644449912011/27078842594977798\ 6019358324087687751248733154039*c_0101_5^2 + 2194306220582932486797849463140064540288460953457/27078842594977798\ 6019358324087687751248733154039*c_0101_5 - 12746338483468665461568525926099785889761344247/2707884259497779860\ 19358324087687751248733154039, c_0101_4 + 4136423895898559620972060089579171360326807531/2707884259497\ 77986019358324087687751248733154039*c_0101_5^18 - 4487836095058322461775091718654886845449632528/27078842594977798601\ 9358324087687751248733154039*c_0101_5^17 - 363460879548805960780834564920529009703865091893/270788425949777986\ 019358324087687751248733154039*c_0101_5^16 + 96939875641478929453724233935995709673558206518/2707884259497779860\ 19358324087687751248733154039*c_0101_5^15 + 3365165210316294555197402330269890139848891730383/27078842594977798\ 6019358324087687751248733154039*c_0101_5^14 + 287959746108535172162454441311103248805747158803/270788425949777986\ 019358324087687751248733154039*c_0101_5^13 + 25939813755643194937040830337823064179040592814405/2707884259497779\ 86019358324087687751248733154039*c_0101_5^12 - 6576749037811080711285560491888876952130244257299/27078842594977798\ 6019358324087687751248733154039*c_0101_5^11 - 186335325114466284452530071582268535040759539647452/270788425949777\ 986019358324087687751248733154039*c_0101_5^10 + 166826878053462175583998341123927546168919852818556/270788425949777\ 986019358324087687751248733154039*c_0101_5^9 + 34713750276853287314161422392806070510556849714168/2707884259497779\ 86019358324087687751248733154039*c_0101_5^8 - 117217513142029756785510350983477948306443794497847/270788425949777\ 986019358324087687751248733154039*c_0101_5^7 + 87046901022285929585413604507511824927827248786737/2707884259497779\ 86019358324087687751248733154039*c_0101_5^6 - 26491876186147130375549967424570287231603114872684/2707884259497779\ 86019358324087687751248733154039*c_0101_5^5 + 6019816425912890294353636600064009918403076046917/27078842594977798\ 6019358324087687751248733154039*c_0101_5^4 + 1080345783371888457529408070229522696753399263686/27078842594977798\ 6019358324087687751248733154039*c_0101_5^3 - 3612589324546372479954006752668231851969795176761/27078842594977798\ 6019358324087687751248733154039*c_0101_5^2 - 49428422800909812884312022511619496373075467924/2707884259497779860\ 19358324087687751248733154039*c_0101_5 - 19652864017474232668791274625074592210090584528/2707884259497779860\ 19358324087687751248733154039, c_0101_5^19 - c_0101_5^18 - 88*c_0101_5^17 + 16*c_0101_5^16 + 819*c_0101_5^15 + 139*c_0101_5^14 + 6246*c_0101_5^13 - 1070*c_0101_5^12 - 45443*c_0101_5^11 + 36469*c_0101_5^10 + 13503*c_0101_5^9 - 28687*c_0101_5^8 + 18409*c_0101_5^7 - 3634*c_0101_5^6 + 343*c_0101_5^5 + 654*c_0101_5^4 - 994*c_0101_5^3 - 131*c_0101_5^2 - c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB