Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3120047473] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1587 geometric_solution 5.36063661 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 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 1.480714559732 0.532867528105 2 0 0 3 0132 0132 1023 0132 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 1 0 -1 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.402989188050 0.736169516333 1 3 4 5 0132 2310 0132 0132 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 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.117200416038 0.748040312800 4 5 1 2 2310 1023 0132 3201 0 0 0 0 0 1 -1 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 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.117200416038 0.748040312800 4 4 3 2 1230 3012 3201 0132 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 0 0 0 0 0 0 0.207726912344 0.524087391185 3 6 2 6 1023 0132 0132 2310 0 0 0 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 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 2.138669859701 1.124929612649 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 -1 1 0 0 -1 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 0.415684823551 0.328571310414 ==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' : negation(d['c_0101_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 114552545781967664028526641010/247126293383898220602576691*c_0110_6\ ^20 + 956561178719131509762529680918/247126293383898220602576691*c_\ 0110_6^19 + 4431537270089066249193973463205/24712629338389822060257\ 6691*c_0110_6^18 + 18596161130718568704787746846751/247126293383898\ 220602576691*c_0110_6^17 + 66765934979658129037844388767568/2471262\ 93383898220602576691*c_0110_6^16 + 182373116779335776925773027304271/247126293383898220602576691*c_011\ 0_6^15 + 400045820781876378354840492842133/247126293383898220602576\ 691*c_0110_6^14 + 7149878964137535099952836851867/22672137007697084\ 45895199*c_0110_6^13 + 1417368845683897192769548355470995/247126293\ 383898220602576691*c_0110_6^12 + 2381739557572031773621317769566818\ /247126293383898220602576691*c_0110_6^11 + 3515288334959453839530378592304735/247126293383898220602576691*c_01\ 10_6^10 + 4325146566167316040362948258786174/2471262933838982206025\ 76691*c_0110_6^9 + 4338005731803482999085986383081134/2471262933838\ 98220602576691*c_0110_6^8 + 3529478974458470407633834737965443/2471\ 26293383898220602576691*c_0110_6^7 + 2296070815253819106568480465205174/247126293383898220602576691*c_01\ 10_6^6 + 1158985138555414613384580765959600/24712629338389822060257\ 6691*c_0110_6^5 + 438508621002980268976855955419335/247126293383898\ 220602576691*c_0110_6^4 + 120256572986074959053409101911767/2471262\ 93383898220602576691*c_0110_6^3 + 22927424507754236512828676024707/\ 247126293383898220602576691*c_0110_6^2 + 2789801339155749816559490303167/247126293383898220602576691*c_0110_\ 6 + 170373329432843517972200072509/247126293383898220602576691, c_0011_0 - 1, c_0011_3 - 1900154869988831627481770836460/247126293383898220602576691*\ c_0110_6^20 - 11959747951965170286030030292948/24712629338389822060\ 2576691*c_0110_6^19 - 49988344503460130061772826253626/247126293383\ 898220602576691*c_0110_6^18 - 212137107006273917524551317409366/247\ 126293383898220602576691*c_0110_6^17 - 697776844180294721933110310163540/247126293383898220602576691*c_011\ 0_6^16 - 1703061423401160895429001783390164/24712629338389822060257\ 6691*c_0110_6^15 - 3497924339462751378622291649109625/2471262933838\ 98220602576691*c_0110_6^14 - 60554712020732158485443846192782/22672\ 13700769708445895199*c_0110_6^13 - 11687356735702150804120683645860842/247126293383898220602576691*c_0\ 110_6^12 - 18746168283340799111269118720706638/24712629338389822060\ 2576691*c_0110_6^11 - 25510791025812781948328232310904103/247126293\ 383898220602576691*c_0110_6^10 - 2837828973073349785615434858306302\ 7/247126293383898220602576691*c_0110_6^9 - 25654279331386170837652316828779735/247126293383898220602576691*c_0\ 110_6^8 - 18714282600828569525583927540141803/247126293383898220602\ 576691*c_0110_6^7 - 10779364737063283122455064115279636/24712629338\ 3898220602576691*c_0110_6^6 - 4771472639351005085095450644762201/24\ 7126293383898220602576691*c_0110_6^5 - 1583087718159603113916616172326089/247126293383898220602576691*c_01\ 10_6^4 - 383164669702769260319593557374382/247126293383898220602576\ 691*c_0110_6^3 - 64737365007853008088362864593994/24712629338389822\ 0602576691*c_0110_6^2 - 6944363575702252561348519656166/24712629338\ 3898220602576691*c_0110_6 - 362547307516315279805604426167/24712629\ 3383898220602576691, c_0011_4 - 189343686818695806733585956070/247126293383898220602576691*c\ _0110_6^20 - 1240458296977275087422687727566/2471262933838982206025\ 76691*c_0110_6^19 - 5273107960915424827083257483887/247126293383898\ 220602576691*c_0110_6^18 - 22331928833191920559880096116105/2471262\ 93383898220602576691*c_0110_6^17 - 74607754655062260719040590104756/247126293383898220602576691*c_0110\ _6^16 - 186054577429648296090373486219570/2471262933838982206025766\ 91*c_0110_6^15 - 387252120296506676195134509461021/2471262933838982\ 20602576691*c_0110_6^14 - 6748656941888373881762498047392/226721370\ 0769708445895199*c_0110_6^13 - 1310058108626273609492560966294238/2\ 47126293383898220602576691*c_0110_6^12 - 2123211274615676982630530119457969/247126293383898220602576691*c_01\ 10_6^11 - 2944677344002276402493373786063606/2471262933838982206025\ 76691*c_0110_6^10 - 3358617181949477520609825668536094/247126293383\ 898220602576691*c_0110_6^9 - 3120991532118449567810419570182526/247\ 126293383898220602576691*c_0110_6^8 - 2348570709868700118131510588441341/247126293383898220602576691*c_01\ 10_6^7 - 1404252497370579225918845242330455/24712629338389822060257\ 6691*c_0110_6^6 - 649173541578890097498685951233437/247126293383898\ 220602576691*c_0110_6^5 - 225717190558782866150014994620374/2471262\ 93383898220602576691*c_0110_6^4 - 57332755403506328002295104021054/\ 247126293383898220602576691*c_0110_6^3 - 10182761997602203432226270284995/247126293383898220602576691*c_0110\ _6^2 - 1154378931927050053553913887045/247126293383898220602576691*\ c_0110_6 - 64697327366056926574798535929/24712629338389822060257669\ 1, c_0101_0 + 55076548917685511802746920920/247126293383898220602576691*c_\ 0110_6^20 + 333300538802488712273748554336/247126293383898220602576\ 691*c_0110_6^19 + 1364097680007894783191338422904/24712629338389822\ 0602576691*c_0110_6^18 + 5794126974342690010506784918566/2471262933\ 83898220602576691*c_0110_6^17 + 18722779524137028896885233929260/24\ 7126293383898220602576691*c_0110_6^16 + 44409163671542944833663604312653/247126293383898220602576691*c_0110\ _6^15 + 89287299300454231063116282899163/24712629338389822060257669\ 1*c_0110_6^14 + 1527787998752752773040295020503/2267213700769708445\ 895199*c_0110_6^13 + 292096966936988734505125624949819/247126293383\ 898220602576691*c_0110_6^12 + 460824684924631824870338474137783/247\ 126293383898220602576691*c_0110_6^11 + 607185332678895848498374545765366/247126293383898220602576691*c_011\ 0_6^10 + 643070594300554254106734766829336/247126293383898220602576\ 691*c_0110_6^9 + 545432199453633441111843704509293/2471262933838982\ 20602576691*c_0110_6^8 + 365761534015334930142418209946980/24712629\ 3383898220602576691*c_0110_6^7 + 186232573141477062788033586723702/\ 247126293383898220602576691*c_0110_6^6 + 68000867267586379537193333636498/247126293383898220602576691*c_0110\ _6^5 + 16516021521213534825740790882575/247126293383898220602576691\ *c_0110_6^4 + 2249624352594558384945554669537/247126293383898220602\ 576691*c_0110_6^3 + 27125156147110467143056845071/24712629338389822\ 0602576691*c_0110_6^2 - 45369718636509403362280435229/2471262933838\ 98220602576691*c_0110_6 - 5885819428702100113174441035/247126293383\ 898220602576691, c_0101_1 - 47734782200985252883703157540/247126293383898220602576691*c_\ 0110_6^20 - 323940510155570865091175087442/247126293383898220602576\ 691*c_0110_6^19 - 1396766365009595566535596280166/24712629338389822\ 0602576691*c_0110_6^18 - 5906113429258616325745446804979/2471262933\ 83898220602576691*c_0110_6^17 - 19983694933121924126982818349544/24\ 7126293383898220602576691*c_0110_6^16 - 50694001738642399242206076559155/247126293383898220602576691*c_0110\ _6^15 - 106623121303058318503572507941994/2471262933838982206025766\ 91*c_0110_6^14 - 1867867178143376024532685062019/226721370076970844\ 5895199*c_0110_6^13 - 364195506367188140849999973027779/24712629338\ 3898220602576691*c_0110_6^12 - 594850394742008332603845673557862/24\ 7126293383898220602576691*c_0110_6^11 - 836514058114792199530626457214634/247126293383898220602576691*c_011\ 0_6^10 - 971282756812619931039512238038392/247126293383898220602576\ 691*c_0110_6^9 - 920014995236125495472832902810341/2471262933838982\ 20602576691*c_0110_6^8 - 706912018345500170800092468140325/24712629\ 3383898220602576691*c_0110_6^7 - 432971951027921990246115225500852/\ 247126293383898220602576691*c_0110_6^6 - 205641043261193459990351559483870/247126293383898220602576691*c_011\ 0_6^5 - 73547781651238426526574071150973/24712629338389822060257669\ 1*c_0110_6^4 - 19213841681615324314836562654464/2471262933838982206\ 02576691*c_0110_6^3 - 3509887820714203327816896029609/2471262933838\ 98220602576691*c_0110_6^2 - 409212484379921294439177114600/24712629\ 3383898220602576691*c_0110_6 - 23707846901968105961728911361/247126\ 293383898220602576691, c_0101_4 + 1575842128768403934281638795940/247126293383898220602576691*\ c_0110_6^20 + 9966030966654663028925388857172/247126293383898220602\ 576691*c_0110_6^19 + 41736696335331291259893234688794/2471262933838\ 98220602576691*c_0110_6^18 + 177068919526911500302799763136728/2471\ 26293383898220602576691*c_0110_6^17 + 583535077935029876009465204793924/247126293383898220602576691*c_011\ 0_6^16 + 1427907862787742227825331325079845/24712629338389822060257\ 6691*c_0110_6^15 + 2937323357063571093651039153945084/2471262933838\ 98220602576691*c_0110_6^14 + 50889004799967447967984893231886/22672\ 13700769708445895199*c_0110_6^13 + 9828612654575356307531303012001901/247126293383898220602576691*c_01\ 10_6^12 + 15784772250649537538542157882345542/247126293383898220602\ 576691*c_0110_6^11 + 21530702070603541004059398737396492/2471262933\ 83898220602576691*c_0110_6^10 + 24023858011109211503514451211328269\ /247126293383898220602576691*c_0110_6^9 + 21790677029609560047346244176552082/247126293383898220602576691*c_0\ 110_6^8 + 15956748719915674465491377092066847/247126293383898220602\ 576691*c_0110_6^7 + 9233803056494007480667100669805567/247126293383\ 898220602576691*c_0110_6^6 + 4109543029711045137707796243968718/247\ 126293383898220602576691*c_0110_6^5 + 1371529332608059600716437830630778/247126293383898220602576691*c_01\ 10_6^4 + 334010672855751626015834572444617/247126293383898220602576\ 691*c_0110_6^3 + 56800785576839650278586895980081/24712629338389822\ 0602576691*c_0110_6^2 + 6137623864608948160908709100997/24712629338\ 3898220602576691*c_0110_6 + 323369589866595900598812190239/24712629\ 3383898220602576691, c_0110_6^21 + 34/5*c_0110_6^20 + 59/2*c_0110_6^19 + 125*c_0110_6^18 + 4239/10*c_0110_6^17 + 10829/10*c_0110_6^16 + 2297*c_0110_6^15 + 44113/10*c_0110_6^14 + 39604/5*c_0110_6^13 + 13001*c_0110_6^12 + 92291/5*c_0110_6^11 + 21792*c_0110_6^10 + 211419/10*c_0110_6^9 + 167687/10*c_0110_6^8 + 53656/5*c_0110_6^7 + 54319/10*c_0110_6^6 + 21297/10*c_0110_6^5 + 6331/10*c_0110_6^4 + 694/5*c_0110_6^3 + 107/5*c_0110_6^2 + 21/10*c_0110_6 + 1/10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB