Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 2160139375] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0680 geometric_solution 4.64897866 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.399189745887 0.132919760736 0 0 2 2 2310 0132 2310 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 1.546745822174 0.683586233359 3 1 1 4 0132 3201 0132 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 -1 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.951036740892 0.218396498739 2 4 5 4 0132 0321 0132 2031 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 -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 0.832712436033 0.601410990212 5 3 2 3 0132 1302 0132 0321 0 0 0 0 0 0 -1 1 -1 0 0 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 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.832712436033 0.601410990212 4 6 6 3 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333243995681 0.256429788296 5 5 6 6 2310 0132 2031 1302 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 0 0 0 0 0.907286609982 1.881543636609 ==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_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 3335920467690125782583650287/291772901909212519185799477*c_0101_6^1\ 9 + 16856298513602986472275075380/291772901909212519185799477*c_010\ 1_6^18 + 25488950322107368342112909654/291772901909212519185799477*\ c_0101_6^17 - 183336230534521770563876156477/2917729019092125191857\ 99477*c_0101_6^16 - 47736377534463903602777046622/29177290190921251\ 9185799477*c_0101_6^15 + 20575185638130710680828327519/100611345485\ 93535144337913*c_0101_6^14 - 82250357283348366432713726277/29177290\ 1909212519185799477*c_0101_6^13 - 452766866883474279784182346603/29\ 1772901909212519185799477*c_0101_6^12 + 219454207304399118112636741427/291772901909212519185799477*c_0101_6\ ^11 + 117631548186137869181727796015/291772901909212519185799477*c_\ 0101_6^10 + 1667736485717107909020440811685/29177290190921251918579\ 9477*c_0101_6^9 - 2113599737606810157538604120870/29177290190921251\ 9185799477*c_0101_6^8 - 5817563323018418584220256727137/29177290190\ 9212519185799477*c_0101_6^7 + 1439868830967955324853333775970/29177\ 2901909212519185799477*c_0101_6^6 + 2624510068099894261943895280039/291772901909212519185799477*c_0101_\ 6^5 - 962725191244617595567107786901/291772901909212519185799477*c_\ 0101_6^4 - 522562457947961609599782465117/2917729019092125191857994\ 77*c_0101_6^3 + 63798989978193034271631207687/291772901909212519185\ 799477*c_0101_6^2 + 40581252388706471549848859508/29177290190921251\ 9185799477*c_0101_6 - 6900577619719327840599375202/2917729019092125\ 19185799477, c_0011_0 - 1, c_0011_2 + 1737483703725741251743456/10061134548593535144337913*c_0101_\ 6^19 - 9207982527673089241953105/10061134548593535144337913*c_0101_\ 6^18 - 11408844977619402847157201/10061134548593535144337913*c_0101\ _6^17 + 100290003697760649569034816/10061134548593535144337913*c_01\ 01_6^16 + 3448169021668942462075110/10061134548593535144337913*c_01\ 01_6^15 - 333153430485932248108600301/10061134548593535144337913*c_\ 0101_6^14 + 116413820726492059743116316/10061134548593535144337913*\ c_0101_6^13 + 275895847838567983948556201/1006113454859353514433791\ 3*c_0101_6^12 - 181810270087847091717233694/10061134548593535144337\ 913*c_0101_6^11 - 64607606485977985198223958/1006113454859353514433\ 7913*c_0101_6^10 - 837997165418341123111188958/10061134548593535144\ 337913*c_0101_6^9 + 1321773894623471546038560021/100611345485935351\ 44337913*c_0101_6^8 + 2910642638908109752495835850/1006113454859353\ 5144337913*c_0101_6^7 - 1695563975950366757952513657/10061134548593\ 535144337913*c_0101_6^6 - 1664428832138055665169058578/100611345485\ 93535144337913*c_0101_6^5 + 945873278689540170589831000/10061134548\ 593535144337913*c_0101_6^4 + 317877678947190885709000276/1006113454\ 8593535144337913*c_0101_6^3 - 146122082968101054302038386/100611345\ 48593535144337913*c_0101_6^2 - 35971362367219201116244676/100611345\ 48593535144337913*c_0101_6 + 5416923283819338552698530/100611345485\ 93535144337913, c_0011_4 + 1743794516506833976941987/10061134548593535144337913*c_0101_\ 6^19 - 9168752089652758593584019/10061134548593535144337913*c_0101_\ 6^18 - 11533392153513204403496165/10061134548593535144337913*c_0101\ _6^17 + 98576255238144508298724559/10061134548593535144337913*c_010\ 1_6^16 + 5760138149370821812476852/10061134548593535144337913*c_010\ 1_6^15 - 317279677470752513260536622/10061134548593535144337913*c_0\ 101_6^14 + 103135113555597008027311191/10061134548593535144337913*c\ _0101_6^13 + 228846939882021749442878368/10061134548593535144337913\ *c_0101_6^12 - 152340333796180366555126272/100611345485935351443379\ 13*c_0101_6^11 - 38931478082299156426528735/10061134548593535144337\ 913*c_0101_6^10 - 866180260297283459264000649/100611345485935351443\ 37913*c_0101_6^9 + 1286778436031016215143989586/1006113454859353514\ 4337913*c_0101_6^8 + 2826436496825271154604873444/10061134548593535\ 144337913*c_0101_6^7 - 1353554785747890665674045395/100611345485935\ 35144337913*c_0101_6^6 - 1277778169242581447849593080/1006113454859\ 3535144337913*c_0101_6^5 + 668107441145390345583940702/100611345485\ 93535144337913*c_0101_6^4 + 174062958438500946517363007/10061134548\ 593535144337913*c_0101_6^3 - 49881898368700456560398185/10061134548\ 593535144337913*c_0101_6^2 - 36467194296197949724337758/10061134548\ 593535144337913*c_0101_6 + 409954006526417813581877/100611345485935\ 35144337913, c_0101_0 - 2002519079835362741475171/10061134548593535144337913*c_0101_\ 6^19 + 8975334168521296614016004/10061134548593535144337913*c_0101_\ 6^18 + 21048223599061939263926209/10061134548593535144337913*c_0101\ _6^17 - 101059375035748173373025545/10061134548593535144337913*c_01\ 01_6^16 - 91867010691579763953738772/10061134548593535144337913*c_0\ 101_6^15 + 339644643157820115721358623/10061134548593535144337913*c\ _0101_6^14 + 160886161586619900321282239/10061134548593535144337913\ *c_0101_6^13 - 296038430393058187109649765/100611345485935351443379\ 13*c_0101_6^12 - 42273729654545418068684431/10061134548593535144337\ 913*c_0101_6^11 + 152735484551738420066140252/100611345485935351443\ 37913*c_0101_6^10 + 1050668930354564916390850041/100611345485935351\ 44337913*c_0101_6^9 - 705992103609388635677515093/10061134548593535\ 144337913*c_0101_6^8 - 4200440086988547440036313867/100611345485935\ 35144337913*c_0101_6^7 - 1203756498960353177876987537/1006113454859\ 3535144337913*c_0101_6^6 + 2111336634637975301059705650/10061134548\ 593535144337913*c_0101_6^5 + 476307745869910107697791944/1006113454\ 8593535144337913*c_0101_6^4 - 714533978283234956474194902/100611345\ 48593535144337913*c_0101_6^3 - 168267960853112126738932982/10061134\ 548593535144337913*c_0101_6^2 + 80710865097504619858268066/10061134\ 548593535144337913*c_0101_6 + 11946804599587384743114862/1006113454\ 8593535144337913, c_0101_1 - 7310115245506477131091612/10061134548593535144337913*c_0101_\ 6^19 + 36883300329742662352500582/10061134548593535144337913*c_0101\ _6^18 + 56306380277465124354405605/10061134548593535144337913*c_010\ 1_6^17 - 402161616184219333712907885/10061134548593535144337913*c_0\ 101_6^16 - 109221432221148267439800248/10061134548593535144337913*c\ _0101_6^15 + 1315727126957572478970949483/1006113454859353514433791\ 3*c_0101_6^14 - 164965865292694951586167555/10061134548593535144337\ 913*c_0101_6^13 - 1021618541715688197232120519/10061134548593535144\ 337913*c_0101_6^12 + 468396952598871233786107080/100611345485935351\ 44337913*c_0101_6^11 + 278338966319139294421266964/1006113454859353\ 5144337913*c_0101_6^10 + 3651654004711785059827315640/1006113454859\ 3535144337913*c_0101_6^9 - 4607136332038756377046176839/10061134548\ 593535144337913*c_0101_6^8 - 12875896050152206775402307535/10061134\ 548593535144337913*c_0101_6^7 + 3138230432483713747389235355/100611\ 34548593535144337913*c_0101_6^6 + 6095757310394047176740435737/1006\ 1134548593535144337913*c_0101_6^5 - 2015726665050104959690317727/10061134548593535144337913*c_0101_6^4 - 1226308204349343103269532483/10061134548593535144337913*c_0101_6^3 + 130984101622272335192932419/10061134548593535144337913*c_0101_6^2 + 94643578193484552107401423/10061134548593535144337913*c_0101_6 + 4995299730147871299238121/10061134548593535144337913, c_0101_3 + 6645881109089279752723207/10061134548593535144337913*c_0101_\ 6^19 - 34517941731618137888869818/10061134548593535144337913*c_0101\ _6^18 - 46354360849155319079530349/10061134548593535144337913*c_010\ 1_6^17 + 373850188690479346506203132/10061134548593535144337913*c_0\ 101_6^16 + 46424736719705591804652444/10061134548593535144337913*c_\ 0101_6^15 - 1217832968203279309126608967/10061134548593535144337913\ *c_0101_6^14 + 321795248684464466098653678/100611345485935351443379\ 13*c_0101_6^13 + 928440388048972845723516850/1006113454859353514433\ 7913*c_0101_6^12 - 553708159698522964843872914/10061134548593535144\ 337913*c_0101_6^11 - 205101006152017285858817212/100611345485935351\ 44337913*c_0101_6^10 - 3286642093185493669420828967/100611345485935\ 35144337913*c_0101_6^9 + 4690061024710928811346720234/1006113454859\ 3535144337913*c_0101_6^8 + 11155924254074877617408917099/1006113454\ 8593535144337913*c_0101_6^7 - 4641831120474992706604735350/10061134\ 548593535144337913*c_0101_6^6 - 5388153078380074291747710112/100611\ 34548593535144337913*c_0101_6^5 + 2553588041321660232117939878/1006\ 1134548593535144337913*c_0101_6^4 + 951054767917243595175790083/10061134548593535144337913*c_0101_6^3 - 251017376615697006180449236/10061134548593535144337913*c_0101_6^2 - 92993025965222246780816341/10061134548593535144337913*c_0101_6 + 4282386597303032660451910/10061134548593535144337913, c_0101_6^20 - 5*c_0101_6^19 - 8*c_0101_6^18 + 55*c_0101_6^17 + 18*c_0101_6^16 - 183*c_0101_6^15 + 13*c_0101_6^14 + 153*c_0101_6^13 - 58*c_0101_6^12 - 51*c_0101_6^11 - 498*c_0101_6^10 + 611*c_0101_6^9 + 1824*c_0101_6^8 - 389*c_0101_6^7 - 978*c_0101_6^6 + 256*c_0101_6^5 + 245*c_0101_6^4 - 24*c_0101_6^3 - 30*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB