Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 661044209] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1505 geometric_solution 5.31095516 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 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 1 0 -1 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.591476781985 0.882406279057 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 1 -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 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.990735228691 0.883568048239 4 3 0 1 2310 3201 0132 3012 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 0 1 -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.990735228691 0.883568048239 1 5 2 5 0132 0132 2310 1023 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 -1 0 1 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.877660779304 0.482506124709 4 1 2 4 3012 0132 3201 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562873843111 0.798963790144 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.726981375958 0.159841927870 5 6 5 6 0132 1302 1023 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 -1 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.642299984079 0.061289770466 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_1, c_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 693560283612841358806185873446529633156985/673333181540011412966446\ 024941668686399488*c_0101_6^18 + 2015283015680833533316325363097499\ 944856241/168333295385002853241611506235417171599872*c_0101_6^17 + 6449761695398066222486588686173478325721179/22444439384667047098881\ 5341647222895466496*c_0101_6^16 - 211485072621368312179239157036305\ 25910849123/673333181540011412966446024941668686399488*c_0101_6^15 - 12290240155689968901344637112315294583185559/7481479794889015699627\ 1780549074298488832*c_0101_6^14 - 176812018102869616147335977113765\ 829545889743/224444393846670470988815341647222895466496*c_0101_6^13 + 97015964978909476280084835010110212739380107/16833329538500285324\ 1611506235417171599872*c_0101_6^12 - 648509012850525735848401970608385605499308375/673333181540011412966\ 446024941668686399488*c_0101_6^11 + 107206464530144083852104429863984863996735093/210416619231253566552\ 01438279427146449984*c_0101_6^10 - 659910454440490261201852763030538963877531703/336666590770005706483\ 223012470834343199744*c_0101_6^9 + 811201121455902823082609848473799134444643991/168333295385002853241\ 611506235417171599872*c_0101_6^8 - 3061468877690426549602428349482514165376694881/67333318154001141296\ 6446024941668686399488*c_0101_6^7 - 3434722218268575437167352434711925134153423/55647370375207554790615\ 37396212137904128*c_0101_6^6 - 100383336773090571094069457214584931\ 084180901/336666590770005706483223012470834343199744*c_0101_6^5 - 1418565833780261896615901142369939611749792061/67333318154001141296\ 6446024941668686399488*c_0101_6^4 + 33175984981268812365379128968907190232938603/3740739897444507849813\ 5890274537149244416*c_0101_6^3 - 3917619221890276871928995987953940\ 3209000445/74814797948890156996271780549074298488832*c_0101_6^2 - 73761217901365869836197684787335368179649763/6733331815400114129664\ 46024941668686399488*c_0101_6 + 54291829539470742006127407379990786\ 06320479/74814797948890156996271780549074298488832, c_0011_0 - 1, c_0011_1 - 1962903492981281152766463599649/3001907533474525498562827341\ 78046*c_0101_6^18 - 10951474107080860714550465433573/15009537667372\ 6274928141367089023*c_0101_6^17 - 44877460612240450736892352162035/\ 300190753347452549856282734178046*c_0101_6^16 + 77162823299467796061711375835515/300190753347452549856282734178046*\ c_0101_6^15 + 267005543318701098419229787587899/3001907533474525498\ 56282734178046*c_0101_6^14 + 1381544166263081668249353189186711/300\ 190753347452549856282734178046*c_0101_6^13 - 842606717615900693064757849269546/150095376673726274928141367089023\ *c_0101_6^12 + 2866917822725921627558095759156547/30019075334745254\ 9856282734178046*c_0101_6^11 - 5532502006064505740114998001342661/1\ 50095376673726274928141367089023*c_0101_6^10 + 4477866831408071819977616332072091/15009537667372627492814136708902\ 3*c_0101_6^9 - 7271921141556228115865621591976405/15009537667372627\ 4928141367089023*c_0101_6^8 + 14912992167340247814929067396379529/3\ 00190753347452549856282734178046*c_0101_6^7 - 568587850324079903908102881714241/27290068486132049986934794016186*\ c_0101_6^6 + 1872153886785259389887089373159673/1500953766737262749\ 28141367089023*c_0101_6^5 + 3734561320877250911697560802917173/3001\ 90753347452549856282734178046*c_0101_6^4 - 1863130275842679576632318637274318/15009537667372627492814136708902\ 3*c_0101_6^3 + 3122281875743043801025470942539169/30019075334745254\ 9856282734178046*c_0101_6^2 - 1259329067708667039145146563725051/30\ 0190753347452549856282734178046*c_0101_6 + 351678984468699881792954982681763/300190753347452549856282734178046\ , c_0101_1 - 71986170679859563227002235214345881/298209494375359363027231\ 2681324708964*c_0101_6^18 - 207193721079839751897052299237491028/74\ 5523735938398407568078170331177241*c_0101_6^17 - 1929651052232984457507289736796322689/29820949437535936302723126813\ 24708964*c_0101_6^16 + 2265865388500641964782585030777885627/298209\ 4943753593630272312681324708964*c_0101_6^15 + 10920522045124777057061805574297306555/2982094943753593630272312681\ 324708964*c_0101_6^14 + 54329105372840213651328910745297362985/2982\ 094943753593630272312681324708964*c_0101_6^13 - 11078316197053686461943946436659410105/7455237359383984075680781703\ 31177241*c_0101_6^12 + 81165505681000662527804735636717252687/29820\ 94943753593630272312681324708964*c_0101_6^11 - 93585366134530451276649431712825550498/7455237359383984075680781703\ 31177241*c_0101_6^10 + 95103241765418471104276935000097973587/14910\ 47471876796815136156340662354482*c_0101_6^9 - 105288302156325236757704000155558403542/745523735938398407568078170\ 331177241*c_0101_6^8 + 401137310125788360069522467591617248941/2982\ 094943753593630272312681324708964*c_0101_6^7 - 5386496933765948275431478479208967763/27109954034123578457021024375\ 6791724*c_0101_6^6 + 48048052870098378392614642532484158913/1491047\ 471876796815136156340662354482*c_0101_6^5 + 132615133140513756238509971159139499529/298209494375359363027231268\ 1324708964*c_0101_6^4 - 36368342191050537893320172558057645603/1491\ 047471876796815136156340662354482*c_0101_6^3 + 64122574888571879834534451044520616089/2982094943753593630272312681\ 324708964*c_0101_6^2 - 10751465933308030748331875084103049905/29820\ 94943753593630272312681324708964*c_0101_6 + 3141905588143488691860939556186560857/29820949437535936302723126813\ 24708964, c_0101_2 + 5258957685068082806953749384946862129/5725622292006899770122\ 84034814344121088*c_0101_6^18 + 13858419921579288542709415276998484\ 969/143140557300172494253071008703586030272*c_0101_6^17 + 27605198781429827855884388961935579907/1908540764002299923374280116\ 04781373696*c_0101_6^16 - 293039944590745343992569601002268349131/5\ 72562229200689977012284034814344121088*c_0101_6^15 - 200532476794010233925689297268941896989/190854076400229992337428011\ 604781373696*c_0101_6^14 - 1059156386308874877783092797835093300695\ /190854076400229992337428011604781373696*c_0101_6^13 + 1735206973637066896944879488434255282739/14314055730017249425307100\ 8703586030272*c_0101_6^12 - 983805473607437068764763878124540004073\ 5/572562229200689977012284034814344121088*c_0101_6^11 + 1014961228969687558176513838501887836213/17892569662521561781633876\ 087948253784*c_0101_6^10 - 2018655198904125476890993300462431706687\ 9/286281114600344988506142017407172060544*c_0101_6^9 + 11676173126380332694451196548941033810591/1431405573001724942530710\ 08703586030272*c_0101_6^8 - 539032681291649552962239629126396113645\ 69/572562229200689977012284034814344121088*c_0101_6^7 + 3063530684290085047130446468275018160835/52051111745517270637480366\ 801304011008*c_0101_6^6 - 4487198230139529580569936577221471868925/\ 286281114600344988506142017407172060544*c_0101_6^5 - 9863381977049984859773392984606689886933/57256222920068997701228403\ 4814344121088*c_0101_6^4 + 2257623484494599088254846343597528452793\ /95427038200114996168714005802390686848*c_0101_6^3 - 3921187210647913208360298015780478171839/19085407640022999233742801\ 1604781373696*c_0101_6^2 + 4815506466379591017083505096170140203445\ /572562229200689977012284034814344121088*c_0101_6 - 240489918787391434893187515097877212235/190854076400229992337428011\ 604781373696, c_0101_4 + 8687742780750766376830706200947438949/5725622292006899770122\ 84034814344121088*c_0101_6^18 + 25338289979825267401004144451674559\ 485/143140557300172494253071008703586030272*c_0101_6^17 + 82229776257932875104778160108072287071/1908540764002299923374280116\ 04781373696*c_0101_6^16 - 255502363215732727258556803247411161799/5\ 72562229200689977012284034814344121088*c_0101_6^15 - 467554756626487429227758093687496150081/190854076400229992337428011\ 604781373696*c_0101_6^14 - 2237042410842839049108884520379430098243\ /190854076400229992337428011604781373696*c_0101_6^13 + 1148543126397101056168016586115143268879/14314055730017249425307100\ 8703586030272*c_0101_6^12 - 781121944694575161914526427030547633130\ 7/572562229200689977012284034814344121088*c_0101_6^11 + 1338144331695170159244525569366824738561/17892569662521561781633876\ 087948253784*c_0101_6^10 - 7399174647934137691992486040000366419467\ /286281114600344988506142017407172060544*c_0101_6^9 + 9980333258929648282759096686755872896299/14314055730017249425307100\ 8703586030272*c_0101_6^8 - 3796223268706514921802814333040254222750\ 1/572562229200689977012284034814344121088*c_0101_6^7 - 606726955062355937473977814871887894241/520511117455172706374803668\ 01304011008*c_0101_6^6 - 1936685342308176224380837581771792994465/2\ 86281114600344988506142017407172060544*c_0101_6^5 - 16955532922557134882811495134595123178073/5725622292006899770122840\ 34814344121088*c_0101_6^4 + 122907680645697768513117282751375727873\ 3/95427038200114996168714005802390686848*c_0101_6^3 - 1365491833095234663204177170297075759691/19085407640022999233742801\ 1604781373696*c_0101_6^2 - 209830787621127831712053402953684923207/\ 572562229200689977012284034814344121088*c_0101_6 + 80375476741115967537550477201422076601/1908540764002299923374280116\ 04781373696, c_0101_5 + 123407578994445322559577671263106659/59641898875071872605446\ 25362649417928*c_0101_6^18 + 348751693482817875864708798537981043/1\ 491047471876796815136156340662354482*c_0101_6^17 + 3005695185017961719300750902649143347/59641898875071872605446253626\ 49417928*c_0101_6^16 - 4637049181463170734752361284745879465/596418\ 9887507187260544625362649417928*c_0101_6^15 - 18028827018376326664676949982437123877/5964189887507187260544625362\ 649417928*c_0101_6^14 - 88942511629616044163108825242293672887/5964\ 189887507187260544625362649417928*c_0101_6^13 + 24077915210706641707985673928843101793/1491047471876796815136156340\ 662354482*c_0101_6^12 - 151363490246077993918176192396369522805/596\ 4189887507187260544625362649417928*c_0101_6^11 + 83127832247983352587503128940781662278/7455237359383984075680781703\ 31177241*c_0101_6^10 - 227922020256042213086400424631557728081/2982\ 094943753593630272312681324708964*c_0101_6^9 + 190673019076790818855417335483483774025/149104747187679681513615634\ 0662354482*c_0101_6^8 - 815690368541537925521645729567443345827/596\ 4189887507187260544625362649417928*c_0101_6^7 + 20750163443242307594152533909374275841/5421990806824715691404204875\ 13583448*c_0101_6^6 - 76923899661040905501174608543601438843/298209\ 4943753593630272312681324708964*c_0101_6^5 - 199511729690619752680124098785071365119/596418988750718726054462536\ 2649417928*c_0101_6^4 + 83501050483361783613234926903230627081/2982\ 094943753593630272312681324708964*c_0101_6^3 - 133665868445462306964621323248783272559/596418988750718726054462536\ 2649417928*c_0101_6^2 + 37746453243823757859025527982015065191/5964\ 189887507187260544625362649417928*c_0101_6 - 7725891118951372630669084861281645427/59641898875071872605446253626\ 49417928, c_0101_6^19 + 11*c_0101_6^18 + 21*c_0101_6^17 - 44*c_0101_6^16 - 132*c_0101_6^15 - 678*c_0101_6^14 + 985*c_0101_6^13 - 1531*c_0101_6^12 + 5783*c_0101_6^11 - 5374*c_0101_6^10 + 7658*c_0101_6^9 - 8453*c_0101_6^8 + 4082*c_0101_6^7 - 1955*c_0101_6^6 - 1499*c_0101_6^5 + 1875*c_0101_6^4 - 1683*c_0101_6^3 + 650*c_0101_6^2 - 174*c_0101_6 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB