Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 1916006072] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0975 geometric_solution 4.87027223 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 1 0 0 -1 -1 2 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.922940568130 0.594273578864 0 0 3 2 0132 3201 0132 0132 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 0 1 -1 0 -1 0 0 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.109372042250 1.248673705173 4 3 1 3 0132 2031 0132 3012 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 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.770079596538 0.648914929178 2 4 2 1 1302 2310 1230 0132 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 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.770079596538 0.648914929178 2 5 5 3 0132 0132 3201 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 -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.343808081411 0.221174122720 4 4 6 6 2310 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804815324615 2.678195734692 6 5 6 5 2310 2310 3201 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 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.479843858059 0.356845375982 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : 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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), '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' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), '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_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 129188611752521413341321370123463029/223938946525500981985546052655\ 716*c_0101_1*c_0101_5^13 + 774182637830087053202914958300314341/223\ 938946525500981985546052655716*c_0101_1*c_0101_5^12 + 3232857862648064986592355557217629935/11196947326275049099277302632\ 7858*c_0101_1*c_0101_5^11 - 399419835062037810509647540994803829/77\ 22032638810378689156760436404*c_0101_1*c_0101_5^10 + 10467990933708263185927887305174161079/5598473663137524549638651316\ 3929*c_0101_1*c_0101_5^9 - 206851545382857890644908413166828765773/\ 223938946525500981985546052655716*c_0101_1*c_0101_5^8 - 139028819384015704737068308861437705687/111969473262750490992773026\ 327858*c_0101_1*c_0101_5^7 + 41366581400116258319590000014847733223\ /7722032638810378689156760436404*c_0101_1*c_0101_5^6 - 1130301490042243503522806501728933304855/22393894652550098198554605\ 2655716*c_0101_1*c_0101_5^5 + 8094661898271991147182321399791120160\ 71/223938946525500981985546052655716*c_0101_1*c_0101_5^4 - 103075913404587895737312969744987537891/559847366313752454963865131\ 63929*c_0101_1*c_0101_5^3 + 108785092017807843131384286388380401735\ /223938946525500981985546052655716*c_0101_1*c_0101_5^2 - 7391368046372484456159586014623855131/22393894652550098198554605265\ 5716*c_0101_1*c_0101_5 - 1894265603745168991883598364026853753/1119\ 69473262750490992773026327858*c_0101_1, c_0011_0 - 1, c_0011_2 + 95176774201815921588661271/2820318713955580237091585258*c_01\ 01_1*c_0101_5^13 - 291179121324174812368627151/14101593569777901185\ 45792629*c_0101_1*c_0101_5^12 - 4690743761872587168082704013/282031\ 8713955580237091585258*c_0101_1*c_0101_5^11 + 9131540444019161708698315663/2820318713955580237091585258*c_0101_1*\ c_0101_5^10 - 31977812448567242009908976051/28203187139555802370915\ 85258*c_0101_1*c_0101_5^9 + 156218813709436806467984852343/28203187\ 13955580237091585258*c_0101_1*c_0101_5^8 + 185462025697708188374803141087/2820318713955580237091585258*c_0101_\ 1*c_0101_5^7 - 908926712065221371422132015387/282031871395558023709\ 1585258*c_0101_1*c_0101_5^6 + 474569510620275390871414647911/141015\ 9356977790118545792629*c_0101_1*c_0101_5^5 - 350039120967462854938809187848/1410159356977790118545792629*c_0101_\ 1*c_0101_5^4 + 370739557877720176332069855811/282031871395558023709\ 1585258*c_0101_1*c_0101_5^3 - 122125483431466742818548575895/282031\ 8713955580237091585258*c_0101_1*c_0101_5^2 + 7739802603118107708882557840/1410159356977790118545792629*c_0101_1*\ c_0101_5 + 1099632094685927012816512039/282031871395558023709158525\ 8*c_0101_1, c_0011_6 - 2587622783384343877502963/2820318713955580237091585258*c_010\ 1_1*c_0101_5^13 + 30073489206144294756398207/2820318713955580237091\ 585258*c_0101_1*c_0101_5^12 + 23602968107119992098738565/1410159356\ 977790118545792629*c_0101_1*c_0101_5^11 - 987622654589442461867587387/2820318713955580237091585258*c_0101_1*c\ _0101_5^10 + 938147524399536970364853388/14101593569777901185457926\ 29*c_0101_1*c_0101_5^9 - 8593228502886935889733740403/2820318713955\ 580237091585258*c_0101_1*c_0101_5^8 + 8180575454413603587821446156/1410159356977790118545792629*c_0101_1*\ c_0101_5^7 + 62408217733588277836493773231/282031871395558023709158\ 5258*c_0101_1*c_0101_5^6 - 142284527314383081708365224773/282031871\ 3955580237091585258*c_0101_1*c_0101_5^5 + 106742630870483797477777398383/2820318713955580237091585258*c_0101_\ 1*c_0101_5^4 - 41723651159822706392724056835/1410159356977790118545\ 792629*c_0101_1*c_0101_5^3 + 33474915743383410094733448671/28203187\ 13955580237091585258*c_0101_1*c_0101_5^2 - 5077615820743757407383123123/2820318713955580237091585258*c_0101_1*\ c_0101_5 + 21455224897908101514445784/1410159356977790118545792629*\ c_0101_1, c_0101_0 - 42835302129401339497779973/1410159356977790118545792629*c_01\ 01_5^13 + 263746403744239878390423087/1410159356977790118545792629*\ c_0101_5^12 + 2110315968058289194146091973/141015935697779011854579\ 2629*c_0101_5^11 - 4241505768096376606966898220/1410159356977790118\ 545792629*c_0101_5^10 + 14055767166782709654677162070/1410159356977\ 790118545792629*c_0101_5^9 - 70303918737948785729336242501/14101593\ 56977790118545792629*c_0101_5^8 - 83410837683748068328183358461/141\ 0159356977790118545792629*c_0101_5^7 + 425625740641138434674409735797/1410159356977790118545792629*c_0101_\ 5^6 - 415161843506945129640994150933/1410159356977790118545792629*c\ _0101_5^5 + 259783806509929956046761917250/141015935697779011854579\ 2629*c_0101_5^4 - 140999697246424240077130391616/141015935697779011\ 8545792629*c_0101_5^3 + 31223487310182979902080464121/1410159356977\ 790118545792629*c_0101_5^2 + 2022892673738474465652627940/141015935\ 6977790118545792629*c_0101_5 - 791983194900189670331054551/14101593\ 56977790118545792629, c_0101_1^2 + 42835302129401339497779973/1410159356977790118545792629*c_\ 0101_5^13 - 263746403744239878390423087/141015935697779011854579262\ 9*c_0101_5^12 - 2110315968058289194146091973/1410159356977790118545\ 792629*c_0101_5^11 + 4241505768096376606966898220/14101593569777901\ 18545792629*c_0101_5^10 - 14055767166782709654677162070/14101593569\ 77790118545792629*c_0101_5^9 + 70303918737948785729336242501/141015\ 9356977790118545792629*c_0101_5^8 + 83410837683748068328183358461/1410159356977790118545792629*c_0101_5\ ^7 - 425625740641138434674409735797/1410159356977790118545792629*c_\ 0101_5^6 + 415161843506945129640994150933/1410159356977790118545792\ 629*c_0101_5^5 - 259783806509929956046761917250/1410159356977790118\ 545792629*c_0101_5^4 + 140999697246424240077130391616/1410159356977\ 790118545792629*c_0101_5^3 - 31223487310182979902080464121/14101593\ 56977790118545792629*c_0101_5^2 - 2022892673738474465652627940/1410\ 159356977790118545792629*c_0101_5 - 618176162077600448214738078/1410159356977790118545792629, c_0101_4 - 33066873499243249159730624/1410159356977790118545792629*c_01\ 01_5^13 + 190058369043505615819346751/1410159356977790118545792629*\ c_0101_5^12 + 1699422252416815250413445033/141015935697779011854579\ 2629*c_0101_5^11 - 2535781672658220184494923215/1410159356977790118\ 545792629*c_0101_5^10 + 10199832755657500322972062798/1410159356977\ 790118545792629*c_0101_5^9 - 50648407109429795959812382452/14101593\ 56977790118545792629*c_0101_5^8 - 82909959654000133238174032122/141\ 0159356977790118545792629*c_0101_5^7 + 283343116292806291124346192158/1410159356977790118545792629*c_0101_\ 5^6 - 224172566750868572229970219617/1410159356977790118545792629*c\ _0101_5^5 + 172791232060168512493762000978/141015935697779011854579\ 2629*c_0101_5^4 - 81789377344049209225410596329/1410159356977790118\ 545792629*c_0101_5^3 + 19747425811554791986910180190/14101593569777\ 90118545792629*c_0101_5^2 - 3928221224047033343385923291/1410159356\ 977790118545792629*c_0101_5 - 159595264403300659696776933/141015935\ 6977790118545792629, c_0101_5^14 - 6*c_0101_5^13 - 50*c_0101_5^12 + 90*c_0101_5^11 - 325*c_0101_5^10 + 1604*c_0101_5^9 + 2139*c_0101_5^8 - 9294*c_0101_5^7 + 8826*c_0101_5^6 - 6375*c_0101_5^5 + 3286*c_0101_5^4 - 902*c_0101_5^3 + 84*c_0101_5^2 + 22*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB