Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 1090575660] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s810 geometric_solution 5.36604980 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.261841825530 0.207019495788 2 0 3 0 0132 2310 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388077178451 1.651020494089 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 -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.553126849299 1.006394230616 2 5 4 1 3012 3201 3201 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553126849299 1.006394230616 3 2 5 5 2310 0132 3012 1230 0 0 0 0 0 -1 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 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.551460635184 0.565328740401 4 4 3 2 3012 1230 2310 0132 0 0 0 0 0 -1 0 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 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.671638135146 1.287498057640 ==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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : negation(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_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_0011_3'], 'c_1100_4' : d['c_0101_0'], '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_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 78749887845593322999297823/588080595375400243205798400*c_0101_4^18 - 41473045722990170429746429/58808059537540024320579840*c_0101_4^17 + 183205397043844827740715963/196026865125133414401932800*c_0101_4^16 + 41700470905318690384915727/4900671628128335360048320*c_0101_4^15 + 495112446910554885071549887/58808059537540024320579840*c_0101_4^14 - 1096154296186463213830730823/39205373025026682880386560*c_0101_4^13 - 49513800517070704120153136693/588080595375400243205798400*c_0101_\ 4^12 - 12775822568364063145951712/1148594912842578600011325*c_0101_\ 4^11 + 44512207733030377366588621043/147020148843850060801449600*c_\ 0101_4^10 + 100994545521144913898529177841/588080595375400243205798\ 400*c_0101_4^9 - 64826561022407601630469408547/73510074421925030400\ 724800*c_0101_4^8 - 35261483950278021122335683469/14702014884385006\ 0801449600*c_0101_4^7 + 98541421110743208756783471581/4900671628128\ 3353600483200*c_0101_4^6 - 24289074094419929756397164953/7351007442\ 1925030400724800*c_0101_4^5 - 38416810109719399689325483537/1837751\ 8605481257600181200*c_0101_4^4 + 1412684908517405569895660359/91887\ 5930274062880009060*c_0101_4^3 + 265347395137349389387779194/114859\ 4912842578600011325*c_0101_4^2 - 163794331825577689298070499/229718\ 982568515720002265*c_0101_4 + 605640173004259563389023957/229718982\ 5685157200022650, c_0011_0 - 1, c_0011_1 + 8638365088279207417797/24503358140641676800241600*c_0101_4^1\ 8 + 20684600345268641734141/9801343256256670720096640*c_0101_4^17 - 1522438344638768709771/1531459883790104800015100*c_0101_4^16 - 229166865077572205957911/9801343256256670720096640*c_0101_4^15 - 11869149721389277011607/306291976758020960003020*c_0101_4^14 + 118155462040164757312223/2450335814064167680024160*c_0101_4^13 + 12781741522780315942147949/49006716281283353600483200*c_0101_4^12 + 10383772548608785107176607/49006716281283353600483200*c_0101_4^11 - 4114894915210853856742047/6125839535160419200060400*c_0101_4^10 - 23287013528310851122555879/24503358140641676800241600*c_0101_4^9 + 83894899475286435617334433/49006716281283353600483200*c_0101_4^8 + 11817428539697416324240541/6125839535160419200060400*c_0101_4^7 - 50444371848014296064292589/12251679070320838400120800*c_0101_4^6 - 14432522028821233212023981/6125839535160419200060400*c_0101_4^5 + 3193489826162499217655623/765729941895052400007550*c_0101_4^4 - 84834977124582031345661/153145988379010480001510*c_0101_4^3 - 1380628381983396515073261/765729941895052400007550*c_0101_4^2 + 19723955809713337612837/30629197675802096000302*c_0101_4 + 358278639436243964305758/382864970947526200003775, c_0011_3 - 22085428693271263420837/24503358140641676800241600*c_0101_4^\ 18 - 10656388878851840301541/1960268651251334144019328*c_0101_4^17 + 12930217796071941654059/6125839535160419200060400*c_0101_4^16 + 115622775606744560448311/1960268651251334144019328*c_0101_4^15 + 7861238598585447057126/76572994189505240000755*c_0101_4^14 - 272355089438594232683883/2450335814064167680024160*c_0101_4^13 - 32290804099227133661249969/49006716281283353600483200*c_0101_4^12 - 28398241287137078673336147/49006716281283353600483200*c_0101_4^11 + 1243545086594354520184169/765729941895052400007550*c_0101_4^10 + 60003254579095298694458219/24503358140641676800241600*c_0101_4^9 - 202778993453259318815869053/49006716281283353600483200*c_0101_4^8 - 31101712113259422855475361/6125839535160419200060400*c_0101_4^7 + 121379855391820164529915039/12251679070320838400120800*c_0101_4^6 + 39439051472957857306801681/6125839535160419200060400*c_0101_4^5 - 15552307084594710054626911/1531459883790104800015100*c_0101_4^4 + 26241428809877625254027/30629197675802096000302*c_0101_4^3 + 7044349319995843949901707/1531459883790104800015100*c_0101_4^2 - 218403204311503228686753/153145988379010480001510*c_0101_4 - 321916794308096366226943/382864970947526200003775, c_0011_5 + 88991365588738514716511/196026865125133414401932800*c_0101_4\ ^18 + 41873598973457213439999/19602686512513341440193280*c_0101_4^1\ 7 - 934444989078814048324393/196026865125133414401932800*c_0101_4^1\ 6 - 17703764231008289181411/612583953516041920006040*c_0101_4^15 - 257255859355729553702031/19602686512513341440193280*c_0101_4^14 + 5091059295240792975368881/39205373025026682880386560*c_0101_4^13 + 54481844102644946389398921/196026865125133414401932800*c_0101_4^12 - 6758566617628288970549443/49006716281283353600483200*c_0101_4^11 - 15810139538848771778064079/12251679070320838400120800*c_0101_4^10 - 67073438471953440546660157/196026865125133414401932800*c_0101_4^9 + 183462980535947841811360513/49006716281283353600483200*c_0101_4^8 + 20564136964758781932294853/49006716281283353600483200*c_0101_4^7 - 197520709499868434841890293/24503358140641676800241600*c_0101_4^6 + 24547179316182436778992513/12251679070320838400120800*c_0101_4^5 + 52919471091646045509503159/6125839535160419200060400*c_0101_4^4 - 698651641518314157160593/153145988379010480001510*c_0101_4^3 - 223571475236032360245188/382864970947526200003775*c_0101_4^2 + 239937708123690610222693/153145988379010480001510*c_0101_4 - 201113589579333610513522/382864970947526200003775, c_0101_0 - 23329186314500273003229/39205373025026682880386560*c_0101_4^\ 18 - 30902181888994002350113/9801343256256670720096640*c_0101_4^17 + 148979010610344988695143/39205373025026682880386560*c_0101_4^16 + 710928164334441290140451/19602686512513341440193280*c_0101_4^15 + 748952029597385083694761/19602686512513341440193280*c_0101_4^14 - 836853602075434660027959/7841074605005336576077312*c_0101_4^13 - 13327476711437082661258993/39205373025026682880386560*c_0101_4^12 - 1390827169060802315403501/19602686512513341440193280*c_0101_4^11 + 1416419348279906120108029/1225167907032083840012080*c_0101_4^10 + 4243687800859049927917427/7841074605005336576077312*c_0101_4^9 - 70264083948251570405971187/19602686512513341440193280*c_0101_4^8 - 3285509320706170232744877/9801343256256670720096640*c_0101_4^7 + 40037197881157494656651703/4900671628128335360048320*c_0101_4^6 - 465628726335113387384693/153145988379010480001510*c_0101_4^5 - 9222704502951149050773193/1225167907032083840012080*c_0101_4^4 + 5671416247997329051699657/612583953516041920006040*c_0101_4^3 - 101155378719195764139919/306291976758020960003020*c_0101_4^2 - 510530259124334887757601/153145988379010480001510*c_0101_4 + 117800053387111224060663/76572994189505240000755, c_0101_4^19 + 6*c_0101_4^18 - 3*c_0101_4^17 - 68*c_0101_4^16 - 110*c_0101_4^15 + 155*c_0101_4^14 + 771*c_0101_4^13 + 564*c_0101_4^12 - 2116*c_0101_4^11 - 2891*c_0101_4^10 + 5400*c_0101_4^9 + 6344*c_0101_4^8 - 13072*c_0101_4^7 - 8016*c_0101_4^6 + 15936*c_0101_4^5 - 512*c_0101_4^4 - 8576*c_0101_4^3 + 3584*c_0101_4^2 + 1536*c_0101_4 - 1024 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB