Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 3566553091] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1518 geometric_solution 5.31935904 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 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.467325947776 0.461097470267 0 3 2 4 0132 0132 1230 0132 0 0 0 0 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 0 0 0 0 0 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.915728174326 1.069820749905 3 0 4 1 3201 0132 2310 3012 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 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 0 0 0 0 0.915728174326 1.069820749905 3 1 3 2 2031 0132 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.107243770555 1.012630576717 5 2 1 5 0132 3201 0132 1023 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 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.687293464439 0.429001416961 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 1.303558158633 0.397328180769 6 5 5 6 3012 0132 1023 1230 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 0 0 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.576625447925 0.185516452451 ==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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2280611030547373118686822/291684797705333479012459*c_0101_6^19 - 9935850424689689160737124/291684797705333479012459*c_0101_6^18 + 43179635740430973425729859/291684797705333479012459*c_0101_6^17 + 104772432410898345638179298/291684797705333479012459*c_0101_6^16 - 429464760613573954780437120/291684797705333479012459*c_0101_6^15 - 110697941058255414919303524/291684797705333479012459*c_0101_6^14 + 1867276304698204869561009346/291684797705333479012459*c_0101_6^13 - 817768629989327592621600621/291684797705333479012459*c_0101_6^12 - 4059700469685240438037767329/291684797705333479012459*c_0101_6^11 + 1859852533860659625353144379/291684797705333479012459*c_0101_6^10 + 4152730530923210972522676049/291684797705333479012459*c_0101_6^9 - 1395925532107050699045911489/291684797705333479012459*c_0101_6^8 - 2035981140109520971540122177/291684797705333479012459*c_0101_6^7 + 214376393734817336516769640/291684797705333479012459*c_0101_6^6 + 537273595150920862181745788/291684797705333479012459*c_0101_6^5 + 259399306014056802166227446/291684797705333479012459*c_0101_6^4 - 4853967867127624550929558/291684797705333479012459*c_0101_6^3 - 111070066835507826642859119/291684797705333479012459*c_0101_6^2 - 53930110232269870027812000/291684797705333479012459*c_0101_6 - 19248444942017485404263408/291684797705333479012459, c_0011_0 - 1, c_0011_4 - 9977587341622127696926/291684797705333479012459*c_0101_6^19 - 60205455325198127182548/291684797705333479012459*c_0101_6^18 + 123620024272653006663854/291684797705333479012459*c_0101_6^17 + 797328679569681562991492/291684797705333479012459*c_0101_6^16 - 1308583989212189787532779/291684797705333479012459*c_0101_6^15 - 3803799884173314937177096/291684797705333479012459*c_0101_6^14 + 9386953636903845453402973/291684797705333479012459*c_0101_6^13 + 8699327647337857819667293/291684797705333479012459*c_0101_6^12 - 31310375567237227062819223/291684797705333479012459*c_0101_6^11 - 10502802843199892958256147/291684797705333479012459*c_0101_6^10 + 44797090378108336502233214/291684797705333479012459*c_0101_6^9 - 920844909116898317352873/291684797705333479012459*c_0101_6^8 - 31317045990720368803045205/291684797705333479012459*c_0101_6^7 + 8185274478366040082575729/291684797705333479012459*c_0101_6^6 + 9097952151308907326699125/291684797705333479012459*c_0101_6^5 - 3462755181204092396625668/291684797705333479012459*c_0101_6^4 - 156835760367600265706000/291684797705333479012459*c_0101_6^3 + 411487907104326037389035/291684797705333479012459*c_0101_6^2 - 142330003035477700540599/291684797705333479012459*c_0101_6 + 168268076256897408958367/291684797705333479012459, c_0101_0 + 72658794813075394203578/291684797705333479012459*c_0101_6^19 + 272754759947526506570216/291684797705333479012459*c_0101_6^18 - 1526713076868439410165430/291684797705333479012459*c_0101_6^17 - 2349539344507764310505517/291684797705333479012459*c_0101_6^16 + 14895324191090729534491999/291684797705333479012459*c_0101_6^15 - 6217159713369135805183546/291684797705333479012459*c_0101_6^14 - 53753190730015979000463061/291684797705333479012459*c_0101_6^13 + 60528331888175118603031517/291684797705333479012459*c_0101_6^12 + 83065723255633385974190135/291684797705333479012459*c_0101_6^11 - 110808564874727756536523932/291684797705333479012459*c_0101_6^10 - 42513401937339426732235415/291684797705333479012459*c_0101_6^9 + 72724120297796072473942371/291684797705333479012459*c_0101_6^8 + 620772547650467559405359/291684797705333479012459*c_0101_6^7 - 9638140086023432844655462/291684797705333479012459*c_0101_6^6 - 3408909986845241929436108/291684797705333479012459*c_0101_6^5 - 3299698393629959794321702/291684797705333479012459*c_0101_6^4 + 535247239026211234013235/291684797705333479012459*c_0101_6^3 + 1114451484245344647983915/291684797705333479012459*c_0101_6^2 + 759475316927675411572894/291684797705333479012459*c_0101_6 + 53491049956895480186293/291684797705333479012459, c_0101_1 + 5819198698771924988551/291684797705333479012459*c_0101_6^19 - 37014733271593431792964/291684797705333479012459*c_0101_6^18 - 336967690821552639630606/291684797705333479012459*c_0101_6^17 + 1068568290966499967586482/291684797705333479012459*c_0101_6^16 + 2946668368302038121854154/291684797705333479012459*c_0101_6^15 - 12710783033373123719181223/291684797705333479012459*c_0101_6^14 + 2230391330639740189698333/291684797705333479012459*c_0101_6^13 + 47277084205551200107374425/291684797705333479012459*c_0101_6^12 - 47680933868548358879743715/291684797705333479012459*c_0101_6^11 - 67783760708642306405656853/291684797705333479012459*c_0101_6^10 + 93737403432549295502705293/291684797705333479012459*c_0101_6^9 + 22565182693875805234219916/291684797705333479012459*c_0101_6^8 - 60996271484491147772851179/291684797705333479012459*c_0101_6^7 + 13189502024866619332703475/291684797705333479012459*c_0101_6^6 + 4381131414803987017338417/291684797705333479012459*c_0101_6^5 - 614650318767603397414978/291684797705333479012459*c_0101_6^4 + 4261243549466761209754351/291684797705333479012459*c_0101_6^3 - 1669362690785894710081062/291684797705333479012459*c_0101_6^2 - 667682798253948517791403/291684797705333479012459*c_0101_6 + 13763757333023720272579/291684797705333479012459, c_0101_2 + 46917043681383839187306/291684797705333479012459*c_0101_6^19 + 196104135422103880591844/291684797705333479012459*c_0101_6^18 - 930648236739868782315424/291684797705333479012459*c_0101_6^17 - 2009724325095647718969373/291684797705333479012459*c_0101_6^16 + 9403257321700775196763557/291684797705333479012459*c_0101_6^15 + 717244009581931484028779/291684797705333479012459*c_0101_6^14 - 40706937567286306900893698/291684797705333479012459*c_0101_6^13 + 26099238153671465120184866/291684797705333479012459*c_0101_6^12 + 86410044068807256493103698/291684797705333479012459*c_0101_6^11 - 67251625205424058858524261/291684797705333479012459*c_0101_6^10 - 84692400944395463642197587/291684797705333479012459*c_0101_6^9 + 73929244390333905259263989/291684797705333479012459*c_0101_6^8 + 37229969791135493914160948/291684797705333479012459*c_0101_6^7 - 37504277417313784844154940/291684797705333479012459*c_0101_6^6 - 6464632961162403445816592/291684797705333479012459*c_0101_6^5 + 5406075318498986192741158/291684797705333479012459*c_0101_6^4 + 129716911115932308818217/291684797705333479012459*c_0101_6^3 + 1302739991913622336887508/291684797705333479012459*c_0101_6^2 - 70420352830250494127444/291684797705333479012459*c_0101_6 - 172933429866179194532946/291684797705333479012459, c_0101_5 - 15476344945202968057328/291684797705333479012459*c_0101_6^19 - 48648574564136597904582/291684797705333479012459*c_0101_6^18 + 362407347656050587197636/291684797705333479012459*c_0101_6^17 + 305719233692666270784584/291684797705333479012459*c_0101_6^16 - 3515692064618863079287750/291684797705333479012459*c_0101_6^15 + 3300865147152398670886557/291684797705333479012459*c_0101_6^14 + 10894987494076535720526320/291684797705333479012459*c_0101_6^13 - 20933334115656251326207691/291684797705333479012459*c_0101_6^12 - 9009694723693967315980587/291684797705333479012459*c_0101_6^11 + 37284489895599159600996522/291684797705333479012459*c_0101_6^10 - 12355907341543477472388218/291684797705333479012459*c_0101_6^9 - 20113723101310857273563205/291684797705333479012459*c_0101_6^8 + 22808119206967655509586810/291684797705333479012459*c_0101_6^7 - 5651075573891943375085059/291684797705333479012459*c_0101_6^6 - 8198382272235146647846932/291684797705333479012459*c_0101_6^5 + 6807889696304200747617414/291684797705333479012459*c_0101_6^4 - 32375524910421999666808/291684797705333479012459*c_0101_6^3 - 764514020519590292197680/291684797705333479012459*c_0101_6^2 - 15725312716722877257104/291684797705333479012459*c_0101_6 - 227516658449072666074278/291684797705333479012459, c_0101_6^20 + 3*c_0101_6^19 - 24*c_0101_6^18 - 17*c_0101_6^17 + 233*c_0101_6^16 - 237*c_0101_6^15 - 710*c_0101_6^14 + 1424*c_0101_6^13 + 619*c_0101_6^12 - 2588*c_0101_6^11 + 489*c_0101_6^10 + 1769*c_0101_6^9 - 855*c_0101_6^8 - 291*c_0101_6^7 + 170*c_0101_6^6 - 37*c_0101_6^5 + 59*c_0101_6^4 + 9*c_0101_6^3 - 14*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB