Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2277907298] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0787 geometric_solution 4.72930194 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.542177485445 0.201869947175 0 2 2 0 3201 0132 1023 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.233109363027 0.361445905099 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588860964181 0.577824519172 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 0 0 1 0 -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 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419912439695 0.377354153309 3 3 2 5 2031 1302 0132 0132 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 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.419912439695 0.377354153309 6 3 4 6 0132 0132 0132 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 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.659243374208 0.793534966490 5 6 6 5 0132 1230 3012 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 0 0 0 0 0 0 0 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.780287006504 0.477768828419 ==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_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' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], '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_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 173027330934502557007975930206547710905433/342603308262480593371430\ 63045273618405*c_0101_6^25 + 86774228135267036103328569255199525259\ 361/6852066165249611867428612609054723681*c_0101_6^24 - 5143770547076641313886846886069880983068673/34260330826248059337143\ 063045273618405*c_0101_6^23 - 1195434558567788862964463770852838657\ 5723466/34260330826248059337143063045273618405*c_0101_6^22 + 10068723046587696722865516133900852415809899/6852066165249611867428\ 612609054723681*c_0101_6^21 + 8940484654594014566183176417917733814\ 5061387/34260330826248059337143063045273618405*c_0101_6^20 - 52426932445755586863358741302757115906725344/6852066165249611867428\ 612609054723681*c_0101_6^19 - 3267063244357303837403683706676366622\ 33657247/34260330826248059337143063045273618405*c_0101_6^18 + 154858277646818316764467559254314615292364852/685206616524961186742\ 8612609054723681*c_0101_6^17 + 879677054027441410207228464160004861\ 721140686/34260330826248059337143063045273618405*c_0101_6^16 - 1749746377605616233999364186849975646193928479/34260330826248059337\ 143063045273618405*c_0101_6^15 - 2875928743335353403974820777677892\ 70476913894/6852066165249611867428612609054723681*c_0101_6^14 + 2855814812852649712367814121890124333145435927/34260330826248059337\ 143063045273618405*c_0101_6^13 + 1288267716625455887403590730053866\ 889588249004/34260330826248059337143063045273618405*c_0101_6^12 - 2833581007757073756643707846421199542771952651/34260330826248059337\ 143063045273618405*c_0101_6^11 - 9697474019770021279780636544869032\ 40653194802/34260330826248059337143063045273618405*c_0101_6^10 + 1971998820472821372431925873922409390835247733/34260330826248059337\ 143063045273618405*c_0101_6^9 + 45754525305356750275908654582764900\ 1909814812/34260330826248059337143063045273618405*c_0101_6^8 - 815350059816778927279746004903724398083985454/342603308262480593371\ 43063045273618405*c_0101_6^7 - 202827050063879613614567906264669890\ 68810833/6852066165249611867428612609054723681*c_0101_6^6 + 113376150653360773731369602281015978859559007/342603308262480593371\ 43063045273618405*c_0101_6^5 + 393937250662340126450677135038458955\ 04981529/34260330826248059337143063045273618405*c_0101_6^4 + 3996453881840672570861189044709156389455446/34260330826248059337143\ 063045273618405*c_0101_6^3 - 10955107892971743474446771646340608174\ 944262/34260330826248059337143063045273618405*c_0101_6^2 - 3104058206069172387135838722096336211775/68520661652496118674286126\ 09054723681*c_0101_6 + 345851134733371284762961423310580297756931/3\ 4260330826248059337143063045273618405, c_0011_0 - 1, c_0011_1 + 2941180671726003033660620113137271843772/6852066165249611867\ 428612609054723681*c_0101_6^25 + 7373579882665822875697208822201953\ 117694/6852066165249611867428612609054723681*c_0101_6^24 - 87438206446257215866850258031478000929326/6852066165249611867428612\ 609054723681*c_0101_6^23 - 2031562451334657013881353642529686493541\ 35/6852066165249611867428612609054723681*c_0101_6^22 + 855825700618067411135329431704337541036795/685206616524961186742861\ 2609054723681*c_0101_6^21 + 151921462558471515322095292070572672574\ 1082/6852066165249611867428612609054723681*c_0101_6^20 - 4456260984808542084218908197681243080579853/68520661652496118674286\ 12609054723681*c_0101_6^19 - 55505919318757643688118313550564057314\ 71490/6852066165249611867428612609054723681*c_0101_6^18 + 13162533368046282531794688170226677666209338/6852066165249611867428\ 612609054723681*c_0101_6^17 + 1494425580943381320527549302612996903\ 6832793/6852066165249611867428612609054723681*c_0101_6^16 - 29744560731409548686799351775716854144344446/6852066165249611867428\ 612609054723681*c_0101_6^15 - 2442231973668502945696851995406735627\ 7152078/6852066165249611867428612609054723681*c_0101_6^14 + 48543222325146411463235892500303137780808784/6852066165249611867428\ 612609054723681*c_0101_6^13 + 2186528163825474471860177661520323159\ 8683587/6852066165249611867428612609054723681*c_0101_6^12 - 48155699165079322105948653505580970968940207/6852066165249611867428\ 612609054723681*c_0101_6^11 - 1645364157821210737496815472770852596\ 9732959/6852066165249611867428612609054723681*c_0101_6^10 + 33508310808642501808377536672882400160214262/6852066165249611867428\ 612609054723681*c_0101_6^9 + 77565691223032647332910186405676449756\ 45624/6852066165249611867428612609054723681*c_0101_6^8 - 13849245460532009794271357714857829975468812/6852066165249611867428\ 612609054723681*c_0101_6^7 - 17156661548849769147425209735556248750\ 10937/6852066165249611867428612609054723681*c_0101_6^6 + 1922371363620614778428379839915033987443894/68520661652496118674286\ 12609054723681*c_0101_6^5 + 668718944727808112168228115343724293739\ 645/6852066165249611867428612609054723681*c_0101_6^4 + 68293406689005473195508807385916070723028/6852066165249611867428612\ 609054723681*c_0101_6^3 - 18598285867561505238714098891813571130886\ 0/6852066165249611867428612609054723681*c_0101_6^2 - 182915199010626118718871739626846054776/685206616524961186742861260\ 9054723681*c_0101_6 + 5800629543456431896453901325213441664244/6852\ 066165249611867428612609054723681, c_0011_4 + 6502929081001007016758715557885118956795/6852066165249611867\ 428612609054723681*c_0101_6^25 + 1629902556577594239571000243031656\ 7854971/6852066165249611867428612609054723681*c_0101_6^24 - 193336570988386763019791937210952138786702/685206616524961186742861\ 2609054723681*c_0101_6^23 - 449065795674367710560880615011496220555\ 675/6852066165249611867428612609054723681*c_0101_6^22 + 1892536497821187277163551872247823982067089/68520661652496118674286\ 12609054723681*c_0101_6^21 + 33579715023738758439772446147207115449\ 62764/6852066165249611867428612609054723681*c_0101_6^20 - 9855131210475249340308129911846643399074518/68520661652496118674286\ 12609054723681*c_0101_6^19 - 12267434129563137553134665027706179262\ 765221/6852066165249611867428612609054723681*c_0101_6^18 + 29111255296547553991607007249656442586605207/6852066165249611867428\ 612609054723681*c_0101_6^17 + 3302813868017506941586486212579861394\ 1518413/6852066165249611867428612609054723681*c_0101_6^16 - 65789038113398208858514419505440272922666747/6852066165249611867428\ 612609054723681*c_0101_6^15 - 5396859661515073594344986534578034820\ 0510749/6852066165249611867428612609054723681*c_0101_6^14 + 107369659244326493521601595761762586519192012/685206616524961186742\ 8612609054723681*c_0101_6^13 + 482977497099191507529429237298002540\ 42541382/6852066165249611867428612609054723681*c_0101_6^12 - 106514368702634146343166297393698802482437668/685206616524961186742\ 8612609054723681*c_0101_6^11 - 363349198169438087197581212296570681\ 76472929/6852066165249611867428612609054723681*c_0101_6^10 + 74120903561910364070389739422644241874589563/6852066165249611867428\ 612609054723681*c_0101_6^9 + 17121516153827411479349822207245696175\ 383233/6852066165249611867428612609054723681*c_0101_6^8 - 30638228412053666967485339573089706731488618/6852066165249611867428\ 612609054723681*c_0101_6^7 - 37835129247223247244231677356217863284\ 92429/6852066165249611867428612609054723681*c_0101_6^6 + 4254847584114154188629422609906689103390104/68520661652496118674286\ 12609054723681*c_0101_6^5 + 147820119569845550215601831662607136654\ 6077/6852066165249611867428612609054723681*c_0101_6^4 + 150274131502443775746357216559348800513840/685206616524961186742861\ 2609054723681*c_0101_6^3 - 4115789332530510947950593731947911391123\ 50/6852066165249611867428612609054723681*c_0101_6^2 - 307117845145802355369004972323813658253/685206616524961186742861260\ 9054723681*c_0101_6 + 12842268366022221771636752438422947197245/685\ 2066165249611867428612609054723681, c_0101_0 + 1232079828382923800034207623915483858008/6852066165249611867\ 428612609054723681*c_0101_6^25 + 3091412349349418963055612336174812\ 008300/6852066165249611867428612609054723681*c_0101_6^24 - 36620272186732652040181278857034317587194/6852066165249611867428612\ 609054723681*c_0101_6^23 - 8517482877578750030388609690225211316008\ 7/6852066165249611867428612609054723681*c_0101_6^22 + 358284705985801616269434126722161472802806/685206616524961186742861\ 2609054723681*c_0101_6^21 + 637016266926993851955622968027074702307\ 349/6852066165249611867428612609054723681*c_0101_6^20 - 1864995388943184692069287555882751284022071/68520661652496118674286\ 12609054723681*c_0101_6^19 - 23279928356840406877218174105471079911\ 27504/6852066165249611867428612609054723681*c_0101_6^18 + 5506928733265696417108591485773542566094937/68520661652496118674286\ 12609054723681*c_0101_6^17 + 62675806491036860537214811065956834797\ 05427/6852066165249611867428612609054723681*c_0101_6^16 - 12441429183252347088039192814776736055658108/6852066165249611867428\ 612609054723681*c_0101_6^15 - 1024542848436683346674236004172677019\ 3761442/6852066165249611867428612609054723681*c_0101_6^14 + 20301721891934961646389081903752377863574099/6852066165249611867428\ 612609054723681*c_0101_6^13 + 9182421893535954330721038508812894115\ 275705/6852066165249611867428612609054723681*c_0101_6^12 - 20134699002950392530063162961458302003849850/6852066165249611867428\ 612609054723681*c_0101_6^11 - 6913555520881236139527275724885381982\ 284650/6852066165249611867428612609054723681*c_0101_6^10 + 14004767656753602535605925551929356127435060/6852066165249611867428\ 612609054723681*c_0101_6^9 + 32611396693362769318595629869611895780\ 05535/6852066165249611867428612609054723681*c_0101_6^8 - 5783913330689710548340317799617810674881629/68520661652496118674286\ 12609054723681*c_0101_6^7 - 721504962765200820433647257413421442952\ 674/6852066165249611867428612609054723681*c_0101_6^6 + 800477315671959231461352121124785530466871/685206616524961186742861\ 2609054723681*c_0101_6^5 + 2793674185866163463855296638705363373221\ 86/6852066165249611867428612609054723681*c_0101_6^4 + 28995717363068610071731223455405617110175/6852066165249611867428612\ 609054723681*c_0101_6^3 - 77566609246445074319830616724626281556238\ /6852066165249611867428612609054723681*c_0101_6^2 - 57208354995017646195283050833224948661/6852066165249611867428612609\ 054723681*c_0101_6 + 2415553099517006710407863985069189380179/68520\ 66165249611867428612609054723681, c_0101_2 - 3162318589240888866572867749022771159661/6852066165249611867\ 428612609054723681*c_0101_6^25 - 7922141383826802000110601480799363\ 453211/6852066165249611867428612609054723681*c_0101_6^24 + 94030368806371732458708800802993682127005/6852066165249611867428612\ 609054723681*c_0101_6^23 + 2182678820410366862178982006429000771018\ 19/6852066165249611867428612609054723681*c_0101_6^22 - 920668122547371871384742547238538841450676/685206616524961186742861\ 2609054723681*c_0101_6^21 - 163202857022200275740585379615198338095\ 3596/6852066165249611867428612609054723681*c_0101_6^20 + 4795116948375156494377817844043582166274882/68520661652496118674286\ 12609054723681*c_0101_6^19 + 59612737614860764813153666769984556411\ 11887/6852066165249611867428612609054723681*c_0101_6^18 - 14166873843085602973582995305521127499835967/6852066165249611867428\ 612609054723681*c_0101_6^17 - 1605018077622037839317022508278533362\ 7638117/6852066165249611867428612609054723681*c_0101_6^16 + 32020257768137627492302426666948187999081376/6852066165249611867428\ 612609054723681*c_0101_6^15 + 2622196158000418536665110817448277661\ 2904296/6852066165249611867428612609054723681*c_0101_6^14 - 52261284008847587906705249672172479256911252/6852066165249611867428\ 612609054723681*c_0101_6^13 - 2345170866192246095657059971047829151\ 4931509/6852066165249611867428612609054723681*c_0101_6^12 + 51850749909019443093102120649375299829968056/6852066165249611867428\ 612609054723681*c_0101_6^11 + 1763731229948440964956469054025735636\ 2345611/6852066165249611867428612609054723681*c_0101_6^10 - 36088680176768968511209117732141592679853129/6852066165249611867428\ 612609054723681*c_0101_6^9 - 83077285571238621762466754748703161361\ 13848/6852066165249611867428612609054723681*c_0101_6^8 + 14922590631731427547283173313455048659253488/6852066165249611867428\ 612609054723681*c_0101_6^7 + 18351627049892439418638940951314243097\ 19303/6852066165249611867428612609054723681*c_0101_6^6 - 2075005411956077831860022083126504504733566/68520661652496118674286\ 12609054723681*c_0101_6^5 - 719720464809530777212757516649926089667\ 697/6852066165249611867428612609054723681*c_0101_6^4 - 72635105346290197048572715297055170809171/6852066165249611867428612\ 609054723681*c_0101_6^3 + 20058181716677713916158336303540015119350\ 3/6852066165249611867428612609054723681*c_0101_6^2 + 158686050863636039797774361055626248872/685206616524961186742861260\ 9054723681*c_0101_6 - 6260321169719100626351855610285356238102/6852\ 066165249611867428612609054723681, c_0101_5 + 5663560359353295987761407316398047663953/6852066165249611867\ 428612609054723681*c_0101_6^25 + 1419206692702118528199879567665250\ 1070077/6852066165249611867428612609054723681*c_0101_6^24 - 168391651074472347872784115793860870791734/685206616524961186742861\ 2609054723681*c_0101_6^23 - 391015303630515996593013614114444442430\ 816/6852066165249611867428612609054723681*c_0101_6^22 + 1648535583142649791149168800552287609482885/68520661652496118674286\ 12609054723681*c_0101_6^21 + 29238059482056459229589581392807349290\ 49328/6852066165249611867428612609054723681*c_0101_6^20 - 8585239013736059089046501019029857366958389/68520661652496118674286\ 12609054723681*c_0101_6^19 - 10680646208722778550978488940596958500\ 850815/6852066165249611867428612609054723681*c_0101_6^18 + 25362182873280031919124914976755665073598665/6852066165249611867428\ 612609054723681*c_0101_6^17 + 2875637400655769367435403870538970103\ 6898507/6852066165249611867428612609054723681*c_0101_6^16 - 57320020896292188941596192493495339216684032/6852066165249611867428\ 612609054723681*c_0101_6^15 - 4698534827787394428891224558643882581\ 2124049/6852066165249611867428612609054723681*c_0101_6^14 + 93550892484361550579770958288988748639775900/6852066165249611867428\ 612609054723681*c_0101_6^13 + 4203707436713800496354837679992898263\ 4302469/6852066165249611867428612609054723681*c_0101_6^12 - 92811002684543919197538556352500040885148299/6852066165249611867428\ 612609054723681*c_0101_6^11 - 3162095087680871181433231567759605554\ 0259984/6852066165249611867428612609054723681*c_0101_6^10 + 64591094827082735321370230073726784259323162/6852066165249611867428\ 612609054723681*c_0101_6^9 + 14898299596419156626155124772298216037\ 296364/6852066165249611867428612609054723681*c_0101_6^8 - 26703534734180412996667738997138747848103996/6852066165249611867428\ 612609054723681*c_0101_6^7 - 32921294706443769663601066209380853491\ 84979/6852066165249611867428612609054723681*c_0101_6^6 + 3710726134439027360708505629035623881226072/68520661652496118674286\ 12609054723681*c_0101_6^5 + 128825465930056841937756819649064715744\ 6079/6852066165249611867428612609054723681*c_0101_6^4 + 130518034930217395969153865522661762153287/685206616524961186742861\ 2609054723681*c_0101_6^3 - 3587860827712587943847405172716704514848\ 47/6852066165249611867428612609054723681*c_0101_6^2 - 284269526700356286642887223019955890950/685206616524961186742861260\ 9054723681*c_0101_6 + 11194120726634790263800307089502431841666/685\ 2066165249611867428612609054723681, c_0101_6^26 + 2*c_0101_6^25 - 31*c_0101_6^24 - 54*c_0101_6^23 + 326*c_0101_6^22 + 369*c_0101_6^21 - 1777*c_0101_6^20 - 1119*c_0101_6^19 + 5432*c_0101_6^18 + 2812*c_0101_6^17 - 12689*c_0101_6^16 - 3176*c_0101_6^15 + 20714*c_0101_6^14 - 934*c_0101_6^13 - 20141*c_0101_6^12 + 2707*c_0101_6^11 + 14228*c_0101_6^10 - 3139*c_0101_6^9 - 6045*c_0101_6^8 + 1804*c_0101_6^7 + 949*c_0101_6^6 - 104*c_0101_6^5 - 92*c_0101_6^4 - 75*c_0101_6^3 + 32*c_0101_6^2 + 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB