Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1831661963] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0762 geometric_solution 4.70379854 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 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 1.731382092730 0.353260447776 0 2 3 0 0132 0132 0132 3201 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 0 0 0 1 0 -1 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.959194511736 0.840267119579 4 1 3 3 0132 0132 1302 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284681667654 0.632280542679 2 2 4 1 2031 2310 2310 0132 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 -1 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284681667654 0.632280542679 2 3 5 5 0132 3201 2310 0132 0 0 0 0 0 1 -1 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 -1 1 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.507401301910 0.516166900727 6 4 4 6 0132 3201 0132 3201 0 0 0 0 0 -1 0 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 1 0 -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.221208663692 0.739074797440 5 5 6 6 0132 2310 1230 3012 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 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 2.269244383649 0.489188104782 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : 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' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1838828242055681570357250/337844147111194233420689*c_0101_6^16 + 3810695705587950367971185/337844147111194233420689*c_0101_6^15 + 15122524723350540649783801/337844147111194233420689*c_0101_6^14 - 15703378281614099142165153/337844147111194233420689*c_0101_6^13 - 31138455082305681152622103/337844147111194233420689*c_0101_6^12 - 18661279693146143313901929/337844147111194233420689*c_0101_6^11 + 5223021634374942900195129/337844147111194233420689*c_0101_6^10 + 1019684482722966014368407/337844147111194233420689*c_0101_6^9 + 42453442366448821796582218/337844147111194233420689*c_0101_6^8 + 65464385504859740255576428/337844147111194233420689*c_0101_6^7 - 85292481558754239717465376/337844147111194233420689*c_0101_6^6 - 142336586189809142381371243/337844147111194233420689*c_0101_6^5 - 170305569943230819485539636/337844147111194233420689*c_0101_6^4 - 80204671962526505623213474/337844147111194233420689*c_0101_6^3 + 43666675029774735033613951/337844147111194233420689*c_0101_6^2 + 11881517379967115777117510/337844147111194233420689*c_0101_6 - 1265374919120845378247726/337844147111194233420689, c_0011_0 - 1, c_0011_3 - 174832776984689601361935/337844147111194233420689*c_0101_6^1\ 6 + 359925518772047501623934/337844147111194233420689*c_0101_6^15 + 1639557753854768155062988/337844147111194233420689*c_0101_6^14 - 1990761750749101304738021/337844147111194233420689*c_0101_6^13 - 4482326484453837655560728/337844147111194233420689*c_0101_6^12 + 1146471425238823621650750/337844147111194233420689*c_0101_6^11 + 3481722046442259795438962/337844147111194233420689*c_0101_6^10 - 2138584969617647227195175/337844147111194233420689*c_0101_6^9 + 1991200560960905338236749/337844147111194233420689*c_0101_6^8 + 9353289995129450710107564/337844147111194233420689*c_0101_6^7 - 12412654095855036253217234/337844147111194233420689*c_0101_6^6 - 21037238048339951277929240/337844147111194233420689*c_0101_6^5 + 582473997340460249233831/337844147111194233420689*c_0101_6^4 + 4744005600896293180278122/337844147111194233420689*c_0101_6^3 + 625940868445342264933939/337844147111194233420689*c_0101_6^2 + 210534668507764193461751/337844147111194233420689*c_0101_6 - 324107127830581013362969/337844147111194233420689, c_0011_5 - 153239104277001688976690/337844147111194233420689*c_0101_6^1\ 6 + 314919308637191051299706/337844147111194233420689*c_0101_6^15 + 1419339818354407091743366/337844147111194233420689*c_0101_6^14 - 1690379242162816450096659/337844147111194233420689*c_0101_6^13 - 3793904717751412396707889/337844147111194233420689*c_0101_6^12 + 716832870764504899577336/337844147111194233420689*c_0101_6^11 + 2792711245481190965973515/337844147111194233420689*c_0101_6^10 - 1698592408572917560198462/337844147111194233420689*c_0101_6^9 + 1856770998970122411514481/337844147111194233420689*c_0101_6^8 + 7944424825419499740707870/337844147111194233420689*c_0101_6^7 - 10331338554107387026975342/337844147111194233420689*c_0101_6^6 - 17799590789336852932672440/337844147111194233420689*c_0101_6^5 - 1133666788075770204751747/337844147111194233420689*c_0101_6^4 + 3004360264143283073092377/337844147111194233420689*c_0101_6^3 + 489686952516068803390983/337844147111194233420689*c_0101_6^2 + 172606043417103227445821/337844147111194233420689*c_0101_6 - 324590428113848017873113/337844147111194233420689, c_0101_0 - 1368947540532742511152210/337844147111194233420689*c_0101_6^\ 16 + 3694892445564789049664169/337844147111194233420689*c_0101_6^15 + 10395407735749985307413313/337844147111194233420689*c_0101_6^14 - 22010192875326728875736159/337844147111194233420689*c_0101_6^13 - 20528662200507801399357292/337844147111194233420689*c_0101_6^12 + 20749534006264295515988398/337844147111194233420689*c_0101_6^11 + 13528663145983783431966548/337844147111194233420689*c_0101_6^10 - 24300043118964329095136300/337844147111194233420689*c_0101_6^9 + 30971042994811521795600005/337844147111194233420689*c_0101_6^8 + 52437880499962906724346727/337844147111194233420689*c_0101_6^7 - 128309796153768592475123634/337844147111194233420689*c_0101_6^6 - 80816152474482538900135655/337844147111194233420689*c_0101_6^5 + 48481194018540746851165872/337844147111194233420689*c_0101_6^4 + 5203491642738378217474424/337844147111194233420689*c_0101_6^3 + 1952744807022157116347506/337844147111194233420689*c_0101_6^2 - 1262215115141541597882333/337844147111194233420689*c_0101_6 - 1117176834696449359052318/337844147111194233420689, c_0101_1 + 667305643252340119179275/337844147111194233420689*c_0101_6^1\ 6 - 1721685847389892453316810/337844147111194233420689*c_0101_6^15 - 5321791843285783169775410/337844147111194233420689*c_0101_6^14 + 10248960037297396613931613/337844147111194233420689*c_0101_6^13 + 11537233471730547211010615/337844147111194233420689*c_0101_6^12 - 9642775097660299672132283/337844147111194233420689*c_0101_6^11 - 8113582146151581673072487/337844147111194233420689*c_0101_6^10 + 11705592848374452231421654/337844147111194233420689*c_0101_6^9 - 13481490453108705812410010/337844147111194233420689*c_0101_6^8 - 28217576064089675988529596/337844147111194233420689*c_0101_6^7 + 60628886358075811232591181/337844147111194233420689*c_0101_6^6 + 47874456918099511486497645/337844147111194233420689*c_0101_6^5 - 22781066883626721682511718/337844147111194233420689*c_0101_6^4 - 6211182250744765267512588/337844147111194233420689*c_0101_6^3 + 360985403426236556571699/337844147111194233420689*c_0101_6^2 + 552401726641604022983831/337844147111194233420689*c_0101_6 + 576479084372398750162071/337844147111194233420689, c_0101_4 - 43423505066407745855875/337844147111194233420689*c_0101_6^16 + 77159743938336563634235/337844147111194233420689*c_0101_6^15 + 425636557584484165987146/337844147111194233420689*c_0101_6^14 - 381815496905208273599767/337844147111194233420689*c_0101_6^13 - 1145364384985778635892727/337844147111194233420689*c_0101_6^12 + 10477655622525908531469/337844147111194233420689*c_0101_6^11 + 526181291666874418819827/337844147111194233420689*c_0101_6^10 - 464198333132001530068760/337844147111194233420689*c_0101_6^9 + 657012023065519478201373/337844147111194233420689*c_0101_6^8 + 2560952260024397027035331/337844147111194233420689*c_0101_6^7 - 2671045999419042085225254/337844147111194233420689*c_0101_6^6 - 5348700151619632547065608/337844147111194233420689*c_0101_6^5 - 1253671147943406183246139/337844147111194233420689*c_0101_6^4 - 843727262883518319957172/337844147111194233420689*c_0101_6^3 - 368614882973312427296832/337844147111194233420689*c_0101_6^2 + 667560824501946863103458/337844147111194233420689*c_0101_6 + 11345893917923120559546/337844147111194233420689, c_0101_6^17 - 12/5*c_0101_6^16 - 42/5*c_0101_6^15 + 69/5*c_0101_6^14 + 99/5*c_0101_6^13 - 53/5*c_0101_6^12 - 72/5*c_0101_6^11 + 73/5*c_0101_6^10 - 87/5*c_0101_6^9 - 45*c_0101_6^8 + 411/5*c_0101_6^7 + 87*c_0101_6^6 - 86/5*c_0101_6^5 - 72/5*c_0101_6^4 - 17/5*c_0101_6^3 + 1/5*c_0101_6^2 + c_0101_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB