Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 2884253639] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s807 geometric_solution 5.36343518 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 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.327408541921 0.210930555615 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 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.514158171626 1.179624283601 1 4 5 3 0132 0132 0132 1230 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 0 0 0 0 0 0 0 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.750504655585 1.250313778169 2 5 4 1 3012 1023 3201 0132 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 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.750504655585 1.250313778169 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173200416057 0.708292181889 3 5 5 2 1023 3201 2310 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.627438376519 0.625415943072 ==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_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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 6283303120588094347398816743160/118099756479274393891285967713*c_01\ 01_4^21 + 319959422344800425853096193902992/59049878239637196945642\ 9838565*c_0101_4^20 - 719627554174235048110151001182456/59049878239\ 6371969456429838565*c_0101_4^19 - 895619728827643220458341843537559\ /590498782396371969456429838565*c_0101_4^18 + 626872457766926953550060175058181/118099756479274393891285967713*c_\ 0101_4^17 - 6550111414910909297294609156591592/59049878239637196945\ 6429838565*c_0101_4^16 + 11019246028563911103556131053193109/590498\ 782396371969456429838565*c_0101_4^15 + 15233766892539426908969343630701192/590498782396371969456429838565*\ c_0101_4^14 - 43998868240967175188947241767353042/59049878239637196\ 9456429838565*c_0101_4^13 + 12982269910324594144119193737094858/590\ 498782396371969456429838565*c_0101_4^12 + 9705355965247230839742890336112366/590498782396371969456429838565*c\ _0101_4^11 + 9632801038239573038620972788553984/5904987823963719694\ 56429838565*c_0101_4^10 - 5284051534371444541619239963688796/590498\ 782396371969456429838565*c_0101_4^9 - 7229695341751139000393892736957779/590498782396371969456429838565*c\ _0101_4^8 + 4113503123683954459479999462829989/59049878239637196945\ 6429838565*c_0101_4^7 - 1815291865600670996656408769476637/59049878\ 2396371969456429838565*c_0101_4^6 + 209451255857275123186534201846878/118099756479274393891285967713*c_\ 0101_4^5 - 399899768562379087199397157189652/1180997564792743938912\ 85967713*c_0101_4^4 + 1223850069640095406701119869394994/5904987823\ 96371969456429838565*c_0101_4^3 - 19999171666249024560340046343946/\ 590498782396371969456429838565*c_0101_4^2 + 232744514015913894064836717632719/590498782396371969456429838565*c_\ 0101_4 - 123680685755908217867099357252569/590498782396371969456429\ 838565, c_0011_0 - 1, c_0011_1 - 13427093934021461538149704292/118099756479274393891285967713\ *c_0101_4^21 + 127590778757524596858075441006/118099756479274393891\ 285967713*c_0101_4^20 - 214804217039698423593556117965/118099756479\ 274393891285967713*c_0101_4^19 - 590165933611798848406012524211/118\ 099756479274393891285967713*c_0101_4^18 + 1091831075706492347655635044835/118099756479274393891285967713*c_01\ 01_4^17 - 1933383834901918908816084946624/1180997564792743938912859\ 67713*c_0101_4^16 + 2716600752306886220832714059292/118099756479274\ 393891285967713*c_0101_4^15 + 9788884664827807330045236051691/11809\ 9756479274393891285967713*c_0101_4^14 - 14523136355429776625772136619655/118099756479274393891285967713*c_0\ 101_4^13 - 6616318553154519244437264772909/118099756479274393891285\ 967713*c_0101_4^12 + 9448801575114793824701163268918/11809975647927\ 4393891285967713*c_0101_4^11 + 5003409245793882931885142366532/1180\ 99756479274393891285967713*c_0101_4^10 - 1310199410619838779432446842204/118099756479274393891285967713*c_01\ 01_4^9 - 3457893348511134351389225601616/11809975647927439389128596\ 7713*c_0101_4^8 + 115952317083815883949776173399/118099756479274393\ 891285967713*c_0101_4^7 + 1081576126309808974208691179673/118099756\ 479274393891285967713*c_0101_4^6 - 233867319238430138548839771996/118099756479274393891285967713*c_010\ 1_4^5 - 495781484025671973656666180985/1180997564792743938912859677\ 13*c_0101_4^4 - 255345502786075216293259003873/11809975647927439389\ 1285967713*c_0101_4^3 + 175375777235404567346116894830/118099756479\ 274393891285967713*c_0101_4^2 + 65829260226471941861163710082/11809\ 9756479274393891285967713*c_0101_4 - 41111251078470970024419325979/118099756479274393891285967713, c_0011_3 - 21489954154324880554165603429/118099756479274393891285967713\ *c_0101_4^21 + 201370738116273703262416746042/118099756479274393891\ 285967713*c_0101_4^20 - 313616206871935397501535766487/118099756479\ 274393891285967713*c_0101_4^19 - 1023483069002555739352795631962/11\ 8099756479274393891285967713*c_0101_4^18 + 1706527194519463294248720324220/118099756479274393891285967713*c_01\ 01_4^17 - 2808284273452384750378606916294/1180997564792743938912859\ 67713*c_0101_4^16 + 3616669346923061099978567855617/118099756479274\ 393891285967713*c_0101_4^15 + 17096235680896821192803293565783/1180\ 99756479274393891285967713*c_0101_4^14 - 22563397123045399928306137156927/118099756479274393891285967713*c_0\ 101_4^13 - 14734949261864157683014345685314/11809975647927439389128\ 5967713*c_0101_4^12 + 18318777411538917871467045387516/118099756479\ 274393891285967713*c_0101_4^11 + 5878915755784356251535626569910/11\ 8099756479274393891285967713*c_0101_4^10 - 670813825126455537549388391616/118099756479274393891285967713*c_010\ 1_4^9 - 4394277354314509711413738353524/118099756479274393891285967\ 713*c_0101_4^8 + 427832439230059586038825832787/1180997564792743938\ 91285967713*c_0101_4^7 + 1007091468100169645962599679994/1180997564\ 79274393891285967713*c_0101_4^6 - 1313093284301056365023656196579/1\ 18099756479274393891285967713*c_0101_4^5 - 676223414895707783495786454859/118099756479274393891285967713*c_010\ 1_4^4 - 275790498917974109703068332713/1180997564792743938912859677\ 13*c_0101_4^3 + 433095197270575789801560901501/11809975647927439389\ 1285967713*c_0101_4^2 + 71678599346589626984815290878/1180997564792\ 74393891285967713*c_0101_4 + 48211460114301087576829473577/11809975\ 6479274393891285967713, c_0101_0 - 45052074489008782630858305062/118099756479274393891285967713\ *c_0101_4^21 + 451808371086198197274354187617/118099756479274393891\ 285967713*c_0101_4^20 - 962417578684311384622024053645/118099756479\ 274393891285967713*c_0101_4^19 - 1429229216018751000370749465420/11\ 8099756479274393891285967713*c_0101_4^18 + 4290564759542949875956822286374/118099756479274393891285967713*c_01\ 01_4^17 - 8838063354999559610053155818237/1180997564792743938912859\ 67713*c_0101_4^16 + 14409449087832619334677305466224/11809975647927\ 4393891285967713*c_0101_4^15 + 24303258705473862275774599810436/118\ 099756479274393891285967713*c_0101_4^14 - 59825413768813713423311354600680/118099756479274393891285967713*c_0\ 101_4^13 + 11066546811392946761602877016981/11809975647927439389128\ 5967713*c_0101_4^12 + 16236668311975060871897331918164/118099756479\ 274393891285967713*c_0101_4^11 + 11091874144744458357593565401636/1\ 18099756479274393891285967713*c_0101_4^10 - 3467816939933202992501768456637/118099756479274393891285967713*c_01\ 01_4^9 - 9117674858871676685038074529032/11809975647927439389128596\ 7713*c_0101_4^8 + 4254975618985519959454920816251/11809975647927439\ 3891285967713*c_0101_4^7 - 2306096473858577034913787532835/11809975\ 6479274393891285967713*c_0101_4^6 + 1076996066250833770291817144616/118099756479274393891285967713*c_01\ 01_4^5 - 2583661672042951636395972089939/11809975647927439389128596\ 7713*c_0101_4^4 + 956501889433307694746317270242/118099756479274393\ 891285967713*c_0101_4^3 + 7685448088541092933707340711/118099756479\ 274393891285967713*c_0101_4^2 + 295595287026443495187632094174/1180\ 99756479274393891285967713*c_0101_4 - 11652679037688343065547520882/118099756479274393891285967713, c_0101_3 - 6838438870110842817542738234/118099756479274393891285967713*\ c_0101_4^21 + 74531978226288725734742328978/11809975647927439389128\ 5967713*c_0101_4^20 - 201456179334035322474781396735/11809975647927\ 4393891285967713*c_0101_4^19 - 130840382019756583573716465753/11809\ 9756479274393891285967713*c_0101_4^18 + 912728594623178900336235686283/118099756479274393891285967713*c_010\ 1_4^17 - 1752992526720107449514247446561/11809975647927439389128596\ 7713*c_0101_4^16 + 3069098918239747575525911258903/1180997564792743\ 93891285967713*c_0101_4^15 + 2535706996625478452721681877799/118099\ 756479274393891285967713*c_0101_4^14 - 13453863752283354193915236802431/118099756479274393891285967713*c_0\ 101_4^13 + 7069665373309654964937915251624/118099756479274393891285\ 967713*c_0101_4^12 + 4702195764734723037990208631994/11809975647927\ 4393891285967713*c_0101_4^11 - 479966562045469047343029999399/11809\ 9756479274393891285967713*c_0101_4^10 - 1091523763886596880172065304294/118099756479274393891285967713*c_01\ 01_4^9 - 2662090668039621541748579666289/11809975647927439389128596\ 7713*c_0101_4^8 + 1457549103961823849443519843425/11809975647927439\ 3891285967713*c_0101_4^7 - 596330123930102881038664653963/118099756\ 479274393891285967713*c_0101_4^6 - 107544985990086642161655385519/118099756479274393891285967713*c_010\ 1_4^5 - 190220168964048211977672883114/1180997564792743938912859677\ 13*c_0101_4^4 + 640595587236019447019550564768/11809975647927439389\ 1285967713*c_0101_4^3 + 147312841200847474418526761765/118099756479\ 274393891285967713*c_0101_4^2 - 2717117134701707577825071510/118099\ 756479274393891285967713*c_0101_4 - 12125485500719328790945494223/118099756479274393891285967713, c_0101_4^22 - 10*c_0101_4^21 + 21*c_0101_4^20 + 33*c_0101_4^19 - 95*c_0101_4^18 + 189*c_0101_4^17 - 310*c_0101_4^16 - 554*c_0101_4^15 + 1318*c_0101_4^14 - 137*c_0101_4^13 - 416*c_0101_4^12 - 371*c_0101_4^11 + 123*c_0101_4^10 + 275*c_0101_4^9 - 89*c_0101_4^8 + 26*c_0101_4^7 - 22*c_0101_4^6 + 57*c_0101_4^5 - 27*c_0101_4^4 - 8*c_0101_4^3 - 7*c_0101_4^2 + 3*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB