Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 2800171642] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1798 geometric_solution 5.46848224 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 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 0 1 -1 -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.538584419161 0.207227435871 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 0 0 0 -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.006176688516 0.768248320153 4 1 5 3 0132 0132 0132 1230 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 -1 1 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.049538570881 0.910095220846 2 5 1 4 3012 3201 0132 1023 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 1 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.049538570881 0.910095220846 2 4 4 3 0132 3201 2310 1023 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 -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.015478237463 0.748379543937 6 6 3 2 0132 3201 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 0 1 -1 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.550592135049 0.994398515581 5 6 5 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.808064792203 0.476242840856 ==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_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_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' : 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_2']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_5']), '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_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2438627700419815392810572912940177/1895118566270143208392966876928*\ c_0101_5^20 + 2782210096240703738710274107608615/189511856627014320\ 8392966876928*c_0101_5^19 - 5284268646182099817752720034288111/9475\ 59283135071604196483438464*c_0101_5^18 + 7831849020054543532440834066574955/947559283135071604196483438464*c\ _0101_5^17 - 21260933852043459297890414766847769/189511856627014320\ 8392966876928*c_0101_5^16 + 29658367639211256705841188823297141/189\ 5118566270143208392966876928*c_0101_5^15 + 1949426602410284920124516380180091/1895118566270143208392966876928*\ c_0101_5^14 - 17921615364688093068869046117637031/18951185662701432\ 08392966876928*c_0101_5^13 + 1189062841114107761164747219300099/296\ 11227597970987631140107452*c_0101_5^12 - 126839134535825318359836776943300573/189511856627014320839296687692\ 8*c_0101_5^11 + 131695392982694046430694465708371909/18951185662701\ 43208392966876928*c_0101_5^10 - 12615083360345327183799497371187728\ 7/1895118566270143208392966876928*c_0101_5^9 + 18512813233908756759898955951097665/1895118566270143208392966876928\ *c_0101_5^8 + 56677534277458634855693389368034835/18951185662701432\ 08392966876928*c_0101_5^7 - 95809931419388180394563988862610347/189\ 5118566270143208392966876928*c_0101_5^6 + 46114880584218037968840499751015101/947559283135071604196483438464*\ c_0101_5^5 - 11464218737252112072274117865438721/473779641567535802\ 098241719232*c_0101_5^4 + 13879787867988712172377990398825443/18951\ 18566270143208392966876928*c_0101_5^3 + 3245625747949936397656459823150929/1895118566270143208392966876928*\ c_0101_5^2 - 3169690474407948735872362757349625/1895118566270143208\ 392966876928*c_0101_5 + 455467505224147691786710974408023/189511856\ 6270143208392966876928, c_0011_0 - 1, c_0011_3 - 22827617796001380940775508600447/236889820783767901049120859\ 616*c_0101_5^20 + 23121104192355328707184050048273/2368898207837679\ 01049120859616*c_0101_5^19 - 48254483430143181164509958801577/11844\ 4910391883950524560429808*c_0101_5^18 + 67332706009561160739192411214229/118444910391883950524560429808*c_0\ 101_5^17 - 183913759536003976426753120180199/2368898207837679010491\ 20859616*c_0101_5^16 + 256674994568863089772494721049139/2368898207\ 83767901049120859616*c_0101_5^15 + 47609983470002028271348696538021/236889820783767901049120859616*c_0\ 101_5^14 - 156608739028176264347314713426769/2368898207837679010491\ 20859616*c_0101_5^13 + 43435203945469681271787545828417/14805613798\ 985493815570053726*c_0101_5^12 - 1101437326294845853745295475238083\ /236889820783767901049120859616*c_0101_5^11 + 1106968963259009926801157492826403/236889820783767901049120859616*c\ _0101_5^10 - 1061008552272445945995366824575833/2368898207837679010\ 49120859616*c_0101_5^9 + 56752469135981238661389756420599/236889820\ 783767901049120859616*c_0101_5^8 + 518524798017330783871807535404029/236889820783767901049120859616*c_\ 0101_5^7 - 834813830747907013161136075322365/2368898207837679010491\ 20859616*c_0101_5^6 + 383965224725175966840875803213651/11844491039\ 1883950524560429808*c_0101_5^5 - 86674745733061502994178719061155/5\ 9222455195941975262280214904*c_0101_5^4 + 99337485343474700563071264482909/236889820783767901049120859616*c_0\ 101_5^3 + 38968561299865155862591016167191/236889820783767901049120\ 859616*c_0101_5^2 - 23530765433691175733609239325223/23688982078376\ 7901049120859616*c_0101_5 + 2448432253463646024386981371153/2368898\ 20783767901049120859616, c_0011_5 - 12298023457925825422810834131879/236889820783767901049120859\ 616*c_0101_5^20 + 12567716809661688091360112285433/2368898207837679\ 01049120859616*c_0101_5^19 - 26003888193432993235225248381249/11844\ 4910391883950524560429808*c_0101_5^18 + 36472518618701087769576101442749/118444910391883950524560429808*c_0\ 101_5^17 - 99394913859521824427969401755791/23688982078376790104912\ 0859616*c_0101_5^16 + 138707454757638329294809641631403/23688982078\ 3767901049120859616*c_0101_5^15 + 24880380520093355918271424676093/\ 236889820783767901049120859616*c_0101_5^14 - 85413742642227328575819831143289/236889820783767901049120859616*c_0\ 101_5^13 + 23406520560141646365566546792095/14805613798985493815570\ 053726*c_0101_5^12 - 595940837783709694602204846467851/236889820783\ 767901049120859616*c_0101_5^11 + 599371513774552801550391785013819/\ 236889820783767901049120859616*c_0101_5^10 - 573129532213416658680614628154865/236889820783767901049120859616*c_\ 0101_5^9 + 33284402100315547560134715926991/23688982078376790104912\ 0859616*c_0101_5^8 + 281581582846959466941039113772821/236889820783\ 767901049120859616*c_0101_5^7 - 450784399733097180701833335973157/2\ 36889820783767901049120859616*c_0101_5^6 + 207513073883500734594222777489467/118444910391883950524560429808*c_\ 0101_5^5 - 47171013082513282654053517038755/59222455195941975262280\ 214904*c_0101_5^4 + 53415276264747042834151243569589/23688982078376\ 7901049120859616*c_0101_5^3 + 20693743275990317861837601434479/2368\ 89820783767901049120859616*c_0101_5^2 - 12876234281900864968802334675215/236889820783767901049120859616*c_0\ 101_5 + 1377942432417907299440871950521/236889820783767901049120859\ 616, c_0101_0 - 31191084313166450305557321309567/473779641567535802098241719\ 232*c_0101_5^20 + 30733720087541290288253188113969/4737796415675358\ 02098241719232*c_0101_5^19 - 65538523310751963687619754219241/23688\ 9820783767901049120859616*c_0101_5^18 + 90307862534847598357154451432597/236889820783767901049120859616*c_0\ 101_5^17 - 246730921204132083143939134504199/4737796415675358020982\ 41719232*c_0101_5^16 + 344848072835084777982841908596211/4737796415\ 67535802098241719232*c_0101_5^15 + 73149442287185957421905180877477/473779641567535802098241719232*c_0\ 101_5^14 - 210377748054416473770448796724241/4737796415675358020982\ 41719232*c_0101_5^13 + 58896373719332621037805008865083/29611227597\ 970987631140107452*c_0101_5^12 - 1480234651787688730232891274233859\ /473779641567535802098241719232*c_0101_5^11 + 1475248418664217020275167317772419/473779641567535802098241719232*c\ _0101_5^10 - 1416074137387591238294095915782969/4737796415675358020\ 98241719232*c_0101_5^9 + 48792820727747240748591683230135/473779641\ 567535802098241719232*c_0101_5^8 + 701758504245293320488768687720701/473779641567535802098241719232*c_\ 0101_5^7 - 1116212096815766958568579870185885/473779641567535802098\ 241719232*c_0101_5^6 + 510800558709172175587979336403955/2368898207\ 83767901049120859616*c_0101_5^5 - 113328253813852535706049656233331\ /118444910391883950524560429808*c_0101_5^4 + 129281594743757338347443476951837/473779641567535802098241719232*c_\ 0101_5^3 + 52287036561603226303961064796631/47377964156753580209824\ 1719232*c_0101_5^2 - 29809653145831334112176669412551/4737796415675\ 35802098241719232*c_0101_5 + 2689890867874272986570873646993/473779\ 641567535802098241719232, c_0101_1 - 8538216157128985292332335429981/5922245519594197526228021490\ 4*c_0101_5^20 + 1173508039655579810839864620078/7402806899492746907\ 785026863*c_0101_5^19 - 4590946218065875222540613385327/74028068994\ 92746907785026863*c_0101_5^18 + 26706209076448254877679936162149/29\ 611227597970987631140107452*c_0101_5^17 - 72682992174040015564665691002423/59222455195941975262280214904*c_01\ 01_5^16 + 25350358982033630680291000643963/148056137989854938155700\ 53726*c_0101_5^15 + 10248697651182433448898379207325/59222455195941\ 975262280214904*c_0101_5^14 - 15307561689667339951359616630983/1480\ 5613798985493815570053726*c_0101_5^13 + 132195635275275651265694598382311/29611227597970987631140107452*c_0\ 101_5^12 - 433832720740049655245664095077443/5922245519594197526228\ 0214904*c_0101_5^11 + 55796316367788023281398220418361/740280689949\ 2746907785026863*c_0101_5^10 - 427944146426909089357677573033425/59\ 222455195941975262280214904*c_0101_5^9 + 25737975346463061419926847263709/29611227597970987631140107452*c_01\ 01_5^8 + 196328372480884134002364950655763/592224551959419752622802\ 14904*c_0101_5^7 - 163967890017801824485389782789689/29611227597970\ 987631140107452*c_0101_5^6 + 155861276277034751146915875913153/2961\ 1227597970987631140107452*c_0101_5^5 - 75549811808217286605449791084615/29611227597970987631140107452*c_01\ 01_5^4 + 45380145147627567079311318344345/5922245519594197526228021\ 4904*c_0101_5^3 + 1512335575015252931214510666209/74028068994927469\ 07785026863*c_0101_5^2 - 10240985663277877824246359010755/592224551\ 95941975262280214904*c_0101_5 + 690617955414224766606280138561/2961\ 1227597970987631140107452, c_0101_2 + 1970926619382302825694456632403/1184449103918839505245604298\ 08*c_0101_5^20 - 2008859950669326995762361018549/118444910391883950\ 524560429808*c_0101_5^19 + 4189312308780401062387920618309/59222455\ 195941975262280214904*c_0101_5^18 - 5850264689254993633605840351145/59222455195941975262280214904*c_010\ 1_5^17 + 16094000844979220319617048145483/1184449103918839505245604\ 29808*c_0101_5^16 - 22401046112434392356052365754575/11844491039188\ 3950524560429808*c_0101_5^15 - 3728769603545376025012717055361/1184\ 44910391883950524560429808*c_0101_5^14 + 13246906029955953220106862994421/118444910391883950524560429808*c_0\ 101_5^13 - 3766094342232425536636508237539/740280689949274690778502\ 6863*c_0101_5^12 + 95567765585051744260846209482711/118444910391883\ 950524560429808*c_0101_5^11 - 97231810793267506652252629437311/1184\ 44910391883950524560429808*c_0101_5^10 + 93368172797712122856610352201125/118444910391883950524560429808*c_0\ 101_5^9 - 6759499694465261350605335885747/1184449103918839505245604\ 29808*c_0101_5^8 - 43471630850887164991551036374793/118444910391883\ 950524560429808*c_0101_5^7 + 72712427755109598643856860661905/11844\ 4910391883950524560429808*c_0101_5^6 - 33557894263108083379727932635623/59222455195941975262280214904*c_01\ 01_5^5 + 7858063235709401990252792503779/29611227597970987631140107\ 452*c_0101_5^4 - 9450876260298217298913720498873/118444910391883950\ 524560429808*c_0101_5^3 - 3104935250877719536971926820243/118444910\ 391883950524560429808*c_0101_5^2 + 1857716421196948335440262017211/118444910391883950524560429808*c_01\ 01_5 - 266225796449370614542436504997/11844491039188395052456042980\ 8, c_0101_5^21 - 4/3*c_0101_5^20 + 41/9*c_0101_5^19 - 196/27*c_0101_5^18 + 269/27*c_0101_5^17 - 374/27*c_0101_5^16 + 14/9*c_0101_5^15 + 202/27*c_0101_5^14 - 881/27*c_0101_5^13 + 1567/27*c_0101_5^12 - 1730/27*c_0101_5^11 + 560/9*c_0101_5^10 - 476/27*c_0101_5^9 - 586/27*c_0101_5^8 + 394/9*c_0101_5^7 - 409/9*c_0101_5^6 + 706/27*c_0101_5^5 - 253/27*c_0101_5^4 - 2/9*c_0101_5^3 + 14/9*c_0101_5^2 - 4/9*c_0101_5 + 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB