Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 492601803] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1500 geometric_solution 5.30891606 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.006884991101 0.800191539604 0 2 3 0 0132 0132 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 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.209590935168 0.539091872149 3 1 4 5 2310 0132 0132 0132 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 -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.069418497369 0.606830361556 4 6 2 1 0213 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723311198260 1.605804573765 3 5 5 2 0213 2031 1230 0132 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 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.637210001902 0.450570548137 4 6 2 4 1302 1302 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.851477867726 0.952657817416 6 3 6 5 2310 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.148522132274 0.952657817416 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(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_3'], 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0110_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_6']), 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : 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_4, c_0011_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 12817201839620188058599704284202631453/9643292730609839961993617394\ 5123670*c_0110_5^18 + 245749408616267801777503284586258783379/19286\ 5854612196799239872347890247340*c_0110_5^17 + 641798752518712576076123729667421499947/192865854612196799239872347\ 890247340*c_0110_5^16 - 2765227447973019294608382422649078341605/38\ 573170922439359847974469578049468*c_0110_5^15 - 35557717494751903163843228293073944784317/1928658546121967992398723\ 47890247340*c_0110_5^14 - 2892144195570122261812765864554150719918/\ 6888066236149885687138298138937405*c_0110_5^13 - 15644732816940860911363556696664005610181/9643292730609839961993617\ 394512367*c_0110_5^12 - 485621715654303109380357024094015818063689/\ 192865854612196799239872347890247340*c_0110_5^11 - 43451133739169409585113879784005174064461/2755226494459954274855319\ 2555749620*c_0110_5^10 - 90971144893899514102906673990406625481782/\ 48216463653049199809968086972561835*c_0110_5^9 - 320347854083187028287934964626419389327561/964329273060983996199361\ 73945123670*c_0110_5^8 - 7509305437602178757632735851971184586931/4\ 592044157433257124758865425958270*c_0110_5^7 + 315551875530850176285139108238640416846137/192865854612196799239872\ 347890247340*c_0110_5^6 + 45692823106126449658432209900920118566271\ 1/192865854612196799239872347890247340*c_0110_5^5 + 19125925096333906295629608940883126391785/1928658546121967992398723\ 4789024734*c_0110_5^4 - 78308790557803226292365389489999109491/1377\ 613247229977137427659627787481*c_0110_5^3 - 1112560949407269012742602601679000030951/55104529889199085497106385\ 11149924*c_0110_5^2 - 169956611436697021482283258501530315411/23810\ 59933483911101726819109756140*c_0110_5 - 184793137509456522562703846441134771957/214295394013551999155413719\ 87805260, c_0011_0 - 1, c_0011_3 - 5143731639483576769561667814121217/6122725543244342833011820\ 56794436*c_0110_5^18 - 61833811054013953455250467159586363/76534069\ 2905542854126477570993045*c_0110_5^17 - 108490082608092644783211625303876261/510227128603695236084318380662\ 030*c_0110_5^16 + 6927983690289322944642990031047099211/15306813858\ 11085708252955141986090*c_0110_5^15 + 12034299986230239978914956173221169481/1020454257207390472168636761\ 324060*c_0110_5^14 + 20522614758880568406749074132831952059/7653406\ 92905542854126477570993045*c_0110_5^13 + 315913798424424128241554242132467477367/306136277162217141650591028\ 3972180*c_0110_5^12 + 123904316176699559611470757506644868437/76534\ 0692905542854126477570993045*c_0110_5^11 + 21018085456787319933360575121652858175/2040908514414780944337273522\ 64812*c_0110_5^10 + 30724495918198100032262727818878325947/25511356\ 4301847618042159190331015*c_0110_5^9 + 18105809915306243122536436987463856857/8503785476728253934738639677\ 7005*c_0110_5^8 + 330916191502190165660180850088480143937/306136277\ 1622171416505910283972180*c_0110_5^7 - 157527131673532654013245764527902902659/153068138581108570825295514\ 1986090*c_0110_5^6 - 156311324869101863505530119564673687617/102045\ 4257207390472168636761324060*c_0110_5^5 - 16664235936502164286418347165737377818/2551135643018476180421591903\ 31015*c_0110_5^4 + 9693831293689156086969203896739795021/3061362771\ 622171416505910283972180*c_0110_5^3 + 6692418032597831744409289459473136549/51022712860369523608431838066\ 2030*c_0110_5^2 + 800103512338173564818308368696226907/170075709534\ 565078694772793554010*c_0110_5 + 1956329037524702841181688839860567\ 39/340151419069130157389545587108020, c_0011_4 + 15623654818818562092860812289498363/765340692905542854126477\ 570993045*c_0110_5^18 + 149794628770029659858063945312717497/765340\ 692905542854126477570993045*c_0110_5^17 + 391359489021367608497809893947894731/765340692905542854126477570993\ 045*c_0110_5^16 - 1123460014519706738359734573628556989/10204542572\ 0739047216863676132406*c_0110_5^15 - 7226399555324872957547866209826550117/25511356430184761804215919033\ 1015*c_0110_5^14 - 49404546288577355787791596223377296077/765340692\ 905542854126477570993045*c_0110_5^13 - 76316126436513619704463451679389303821/3061362771622171416505910283\ 97218*c_0110_5^12 - 592535427750723335284427317666267589479/1530681\ 385811085708252955141986090*c_0110_5^11 - 186143363612384409267742534430853030146/765340692905542854126477570\ 993045*c_0110_5^10 - 222345965258858893889694278840574427244/765340\ 692905542854126477570993045*c_0110_5^9 - 781416283510605310849404897813831832807/153068138581108570825295514\ 1986090*c_0110_5^8 - 386303629233312869283094040912264007197/153068\ 1385811085708252955141986090*c_0110_5^7 + 191507447388474010405316764837132307221/765340692905542854126477570\ 993045*c_0110_5^6 + 557883743792918267036662331372801042921/1530681\ 385811085708252955141986090*c_0110_5^5 + 23481574610577642184536912917324977316/1530681385811085708252955141\ 98609*c_0110_5^4 - 424218765071437519087027785795410963/51022712860\ 369523608431838066203*c_0110_5^3 - 528814065202008021297338827464602421/170075709534565078694772793554\ 01*c_0110_5^2 - 2823368950856548018692697517046337481/2551135643018\ 47618042159190331015*c_0110_5 - 22929056840029388995774203303263193\ 7/170075709534565078694772793554010, c_0011_5 - 7939486866906713973187608152699288/7653406929055428541264775\ 70993045*c_0110_5^18 - 16980900615640009954325131903033073/17007570\ 9534565078694772793554010*c_0110_5^17 - 403095317646723011185169420060025241/153068138581108570825295514198\ 6090*c_0110_5^16 + 4275738363580957411852587209381438369/7653406929\ 05542854126477570993045*c_0110_5^15 + 2483886496387049042458902680812750391/17007570953456507869477279355\ 4010*c_0110_5^14 + 25437047567819349104384524130411049164/765340692\ 905542854126477570993045*c_0110_5^13 + 65149772811177031856973011448941740181/5102271286036952360843183806\ 62030*c_0110_5^12 + 51256161410980396836017972118647659906/25511356\ 4301847618042159190331015*c_0110_5^11 + 197279182956520713962003279596830347627/153068138581108570825295514\ 1986090*c_0110_5^10 + 114576475826444150848378059939207844627/76534\ 0692905542854126477570993045*c_0110_5^9 + 80783152972605997565304790331581180987/3061362771622171416505910283\ 97218*c_0110_5^8 + 4616809628414067828101119259417786983/3401514190\ 6913015738954558710802*c_0110_5^7 - 64256520451761039408297740422115601263/5102271286036952360843183806\ 62030*c_0110_5^6 - 29159189335042874036225152432698694087/153068138\ 581108570825295514198609*c_0110_5^5 - 62998673936964692089608131030213027072/7653406929055428541264775709\ 93045*c_0110_5^4 + 2606495772944415139497361301849471672/7653406929\ 05542854126477570993045*c_0110_5^3 + 2780384855283997185553243363277619479/17007570953456507869477279355\ 4010*c_0110_5^2 + 607226179553571214469166131973217457/102045425720\ 739047216863676132406*c_0110_5 + 6281909766397082346886000132177391\ 9/85037854767282539347386396777005, c_0101_0 + 16018719519006266932307323940491658/765340692905542854126477\ 570993045*c_0110_5^18 + 613892959287796652594213616387116857/306136\ 2771622171416505910283972180*c_0110_5^17 + 533625326048148661860727433416462837/102045425720739047216863676132\ 4060*c_0110_5^16 - 34566521930380402906531804275865840709/306136277\ 1622171416505910283972180*c_0110_5^15 - 17734485702336386213732830170807091369/6122725543244342833011820567\ 94436*c_0110_5^14 - 20202958007600124833622987760257157475/30613627\ 7162217141650591028397218*c_0110_5^13 - 390588924951502880508450913590722941307/153068138581108570825295514\ 1986090*c_0110_5^12 - 1209892156649352408564296327839996702549/3061\ 362771622171416505910283972180*c_0110_5^11 - 251923730887325195982074484384606024493/102045425720739047216863676\ 1324060*c_0110_5^10 - 454091014461427613848450263474762599597/15306\ 81385811085708252955141986090*c_0110_5^9 - 798599871623550271094409052210918851989/153068138581108570825295514\ 1986090*c_0110_5^8 - 130292226270549386981997856033031778473/510227\ 128603695236084318380662030*c_0110_5^7 + 157788040803400535175388503103479774229/612272554324434283301182056\ 794436*c_0110_5^6 + 379048828280585082686710189514030250883/1020454\ 257207390472168636761324060*c_0110_5^5 + 237340324959596306944849984910201495041/153068138581108570825295514\ 1986090*c_0110_5^4 - 13871948540040596178398700911947888051/1530681\ 385811085708252955141986090*c_0110_5^3 - 96847545715458275321294488306847188403/3061362771622171416505910283\ 972180*c_0110_5^2 - 11401854884550115542695342620827689753/10204542\ 57207390472168636761324060*c_0110_5 - 459702420683555889676639616624056147/340151419069130157389545587108\ 020, c_0101_6 - 1493945090682148534101424599490904/2551135643018476180421591\ 90331015*c_0110_5^18 - 19287009590453389020934447371488977/34015141\ 9069130157389545587108020*c_0110_5^17 - 51629774891007392537218495695265191/3401514190691301573895455871080\ 20*c_0110_5^16 + 3210744351646981975854398334913501697/102045425720\ 7390472168636761324060*c_0110_5^15 + 1720561736711123617976916530667023963/20409085144147809443372735226\ 4812*c_0110_5^14 + 1955366153611467592249552167854149051/1020454257\ 20739047216863676132406*c_0110_5^13 + 6207796463933574648277190159016040056/85037854767282539347386396777\ 005*c_0110_5^12 + 119608687941013582301159955914615224597/102045425\ 7207390472168636761324060*c_0110_5^11 + 79326795882425865309109454092915872937/1020454257207390472168636761\ 324060*c_0110_5^10 + 44205506664536263422106835131003585291/5102271\ 28603695236084318380662030*c_0110_5^9 + 39023845395679768764260249898731191031/2551135643018476180421591903\ 31015*c_0110_5^8 + 21319164931450219764860883592008730156/255113564\ 301847618042159190331015*c_0110_5^7 - 4732162307129424189376905707897989825/68030283813826031477909117421\ 604*c_0110_5^6 - 114599104298003565347415624328946785397/1020454257\ 207390472168636761324060*c_0110_5^5 - 25874120474071494372427836035471514143/5102271286036952360843183806\ 62030*c_0110_5^4 + 172722161929566339461494531166957311/17007570953\ 4565078694772793554010*c_0110_5^3 + 9927958932797959476793257337063145989/10204542572073904721686367613\ 24060*c_0110_5^2 + 3760137655377861239664836948973816017/1020454257\ 207390472168636761324060*c_0110_5 + 160858949154123969893573307636439493/340151419069130157389545587108\ 020, c_0110_5^19 + 10*c_0110_5^18 + 29*c_0110_5^17 - 529*c_0110_5^16 - 1610*c_0110_5^15 - 3733*c_0110_5^14 - 13513*c_0110_5^13 - 23992*c_0110_5^12 - 19708*c_0110_5^11 - 19115*c_0110_5^10 - 30866*c_0110_5^9 - 22647*c_0110_5^8 + 7202*c_0110_5^7 + 22910*c_0110_5^6 + 14845*c_0110_5^5 + 2669*c_0110_5^4 - 1694*c_0110_5^3 - 1167*c_0110_5^2 - 288*c_0110_5 - 27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB