Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 1377029823] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1948 geometric_solution 5.53487468 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 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.210429853427 0.167677692011 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.096031379591 2.203811210260 3 1 1 4 0132 3201 0132 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 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.373451955129 0.430468104592 2 5 4 6 0132 0132 1302 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518841571661 0.635052841049 3 6 2 5 2031 2310 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 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 -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.518841571661 0.635052841049 5 3 4 5 3012 0132 0132 1230 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 1.228475390923 0.944332377540 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -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 1 0 0 -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.392176254137 0.589060612797 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 1/2, c_0011_0 - 1, c_0011_2 + 1, c_0011_4 - 1, c_0011_6 - 1, c_0101_0 - c_0101_5, c_0101_1 - 1, c_0101_5^2 - 2 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 7979540204882904129212381696301/243533314543270134291766471139*c_01\ 01_5^30 + 142166579160996856644320613906008/24353331454327013429176\ 6471139*c_0101_5^28 - 755864727034710071848889597878562/24353331454\ 3270134291766471139*c_0101_5^26 + 170396887894109921206556871107154\ 4/243533314543270134291766471139*c_0101_5^24 - 864789772070333521431391070858565/243533314543270134291766471139*c_\ 0101_5^22 - 2586515592586304823347049953325050/24353331454327013429\ 1766471139*c_0101_5^20 - 8314092203563456962407609172709599/2435333\ 14543270134291766471139*c_0101_5^18 + 15544422463400936590899879567403945/243533314543270134291766471139*\ c_0101_5^16 + 53171849800979413822255459466550302/24353331454327013\ 4291766471139*c_0101_5^14 - 4481921071733797577644430234216397/2435\ 33314543270134291766471139*c_0101_5^12 - 30269048236354063481700394268012483/243533314543270134291766471139*\ c_0101_5^10 + 4570999081854818910844738609941486/243533314543270134\ 291766471139*c_0101_5^8 - 159985184423763842838953674500819/2435333\ 14543270134291766471139*c_0101_5^6 - 708567994375248717443942607987522/243533314543270134291766471139*c_\ 0101_5^4 + 157415814901573315177948245277605/2435333145432701342917\ 66471139*c_0101_5^2 + 50007970581149286116247768604243/243533314543\ 270134291766471139, c_0011_0 - 1, c_0011_2 - 1315448068723283390239910419/243533314543270134291766471139*\ c_0101_5^30 + 24120117350336156851267851465/24353331454327013429176\ 6471139*c_0101_5^28 - 137939872545873885176279194718/24353331454327\ 0134291766471139*c_0101_5^26 + 365823561296895073749732018549/24353\ 3314543270134291766471139*c_0101_5^24 - 390369088406266477294960104428/243533314543270134291766471139*c_010\ 1_5^22 - 150480437786133453708180272314/243533314543270134291766471\ 139*c_0101_5^20 - 1149200395079168123032466610942/24353331454327013\ 4291766471139*c_0101_5^18 + 2745983613789204434955469936783/2435333\ 14543270134291766471139*c_0101_5^16 + 6248805587682234088063035141572/243533314543270134291766471139*c_01\ 01_5^14 - 3518687620180675037924073545993/2435333145432701342917664\ 71139*c_0101_5^12 + 4320957461164530235981636055780/243533314543270\ 134291766471139*c_0101_5^10 + 4312694236585217603115168800466/24353\ 3314543270134291766471139*c_0101_5^8 - 6191384283559100400692003635972/243533314543270134291766471139*c_01\ 01_5^6 - 45421716243951333308837185719/2435333145432701342917664711\ 39*c_0101_5^4 + 191679021462092699554665764612/24353331454327013429\ 1766471139*c_0101_5^2 - 66226666146022816389312272557/2435333145432\ 70134291766471139, c_0011_4 - 7570799084908640960529146087/243533314543270134291766471139*\ c_0101_5^30 + 137291477242137157855322404332/2435333145432701342917\ 66471139*c_0101_5^28 - 761916256483784240796578114005/2435333145432\ 70134291766471139*c_0101_5^26 + 1878440050120479275668212711867/243\ 533314543270134291766471139*c_0101_5^24 - 1516688204983994768141321714265/243533314543270134291766471139*c_01\ 01_5^22 - 1766031772709526577778039280336/2435333145432701342917664\ 71139*c_0101_5^20 - 7393479505017997075560412743208/243533314543270\ 134291766471139*c_0101_5^18 + 16781986428907590699821489100818/2435\ 33314543270134291766471139*c_0101_5^16 + 43708729697522186184218873238784/243533314543270134291766471139*c_0\ 101_5^14 - 16385499927493668177037152491764/24353331454327013429176\ 6471139*c_0101_5^12 - 15588693519641860992639856029210/243533314543\ 270134291766471139*c_0101_5^10 + 12213702330182894418793917989311/2\ 43533314543270134291766471139*c_0101_5^8 - 7390441681418191392857618585803/243533314543270134291766471139*c_01\ 01_5^6 - 508929591771990968923416400180/243533314543270134291766471\ 139*c_0101_5^4 + 201439611927902978747992746477/2435333145432701342\ 91766471139*c_0101_5^2 + 77775971809817485799786210900/243533314543\ 270134291766471139, c_0011_6 - 12261463914582662625142807549/243533314543270134291766471139\ *c_0101_5^30 + 218169611507177148259311780182/243533314543270134291\ 766471139*c_0101_5^28 - 1156306715241211515419694282819/24353331454\ 3270134291766471139*c_0101_5^26 + 2589537196092390678238822152274/2\ 43533314543270134291766471139*c_0101_5^24 - 1254143314906534958201574214797/243533314543270134291766471139*c_01\ 01_5^22 - 4056643164880528823494681381640/2435333145432701342917664\ 71139*c_0101_5^20 - 12775348859878600987583572207232/24353331454327\ 0134291766471139*c_0101_5^18 + 23545518040775360840539224185376/243\ 533314543270134291766471139*c_0101_5^16 + 82274033091062230615052535665993/243533314543270134291766471139*c_0\ 101_5^14 - 5501158798712028758673181039303/243533314543270134291766\ 471139*c_0101_5^12 - 46420531685819885229441531508706/2435333145432\ 70134291766471139*c_0101_5^10 + 7897585558001064339646745444184/243\ 533314543270134291766471139*c_0101_5^8 - 339755910296257923558713081543/243533314543270134291766471139*c_010\ 1_5^6 - 2079446712843989601039821936741/243533314543270134291766471\ 139*c_0101_5^4 + 604226298324665458124363683754/2435333145432701342\ 91766471139*c_0101_5^2 + 52776104929011700653011974595/243533314543\ 270134291766471139, c_0101_0 + 73397120638102333319482614235/243533314543270134291766471139\ *c_0101_5^31 - 1315016439443728489735862249827/24353331454327013429\ 1766471139*c_0101_5^29 + 7085525883472659233585452816502/2435333145\ 43270134291766471139*c_0101_5^27 - 16408152093455361083723243204000/243533314543270134291766471139*c_0\ 101_5^25 + 9751337708334731687767643208586/243533314543270134291766\ 471139*c_0101_5^23 + 22382011989504062561547980183035/2435333145432\ 70134291766471139*c_0101_5^21 + 74732835842454338740509802154961/24\ 3533314543270134291766471139*c_0101_5^19 - 150313704409226732860134818369070/243533314543270134291766471139*c_\ 0101_5^17 - 472865559445140399199197996018198/243533314543270134291\ 766471139*c_0101_5^15 + 84290964383938190845871111745031/2435333145\ 43270134291766471139*c_0101_5^13 + 264165526756696021741726110375527/243533314543270134291766471139*c_\ 0101_5^11 - 59631204757208002404085967695060/2435333145432701342917\ 66471139*c_0101_5^9 + 10918433314599977783882283288736/243533314543\ 270134291766471139*c_0101_5^7 + 1124033430070886089747225910058/243\ 533314543270134291766471139*c_0101_5^5 - 1134472043239378212814592152782/243533314543270134291766471139*c_01\ 01_5^3 - 226448348313519813775535801737/243533314543270134291766471\ 139*c_0101_5, c_0101_1 - 294185293284944841371061337/243533314543270134291766471139*c\ _0101_5^30 + 5087170568989255161916044854/2435333145432701342917664\ 71139*c_0101_5^28 - 24498072803075167041650669961/24353331454327013\ 4291766471139*c_0101_5^26 + 37191550673049973354012354032/243533314\ 543270134291766471139*c_0101_5^24 + 58908344999478956191407627174/243533314543270134291766471139*c_0101\ _5^22 - 239287884182965022663116445333/2435333145432701342917664711\ 39*c_0101_5^20 - 300659432313056084515206733275/2435333145432701342\ 91766471139*c_0101_5^18 + 612219436678791298583954861734/2435333145\ 43270134291766471139*c_0101_5^16 + 2955974798541262676838273741950/243533314543270134291766471139*c_01\ 01_5^14 - 333992771644372684219131106583/24353331454327013429176647\ 1139*c_0101_5^12 - 5428866075890974908515282247792/2435333145432701\ 34291766471139*c_0101_5^10 - 587119952589361816102053612540/2435333\ 14543270134291766471139*c_0101_5^8 + 2765840852798085441004432939531/243533314543270134291766471139*c_01\ 01_5^6 - 69231625832369109014918081689/2435333145432701342917664711\ 39*c_0101_5^4 - 90593817984841508010418497633/243533314543270134291\ 766471139*c_0101_5^2 + 181276419650661808565949699834/2435333145432\ 70134291766471139, c_0101_5^32 - 18*c_0101_5^30 + 98*c_0101_5^28 - 231*c_0101_5^26 + 148*c_0101_5^24 + 303*c_0101_5^22 + 984*c_0101_5^20 - 2139*c_0101_5^18 - 6304*c_0101_5^16 + 1773*c_0101_5^14 + 3679*c_0101_5^12 - 1232*c_0101_5^10 + 133*c_0101_5^8 + 66*c_0101_5^6 - 31*c_0101_5^4 - 4*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB