Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 2017059992] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1975 geometric_solution 5.54900919 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1.497001750949 0.231745731844 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.146165011105 0.327293405648 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702598871919 0.451287936189 2 4 6 5 0132 0321 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711999285780 0.958373407848 6 5 2 3 1023 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.711999285780 0.958373407848 5 5 3 4 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399176933639 0.601881546690 6 4 6 3 2310 1023 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.143739308211 0.975044668233 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 71426076677407337200661/4493339700169909012708*c_0101_3^15 + 113273911178477617507961/4493339700169909012708*c_0101_3^14 + 584643788824648241226341/4493339700169909012708*c_0101_3^13 + 165462206250727389631416/1123334925042477253177*c_0101_3^12 - 9023473142445654975641141/4493339700169909012708*c_0101_3^11 - 3143326895805847583128085/1123334925042477253177*c_0101_3^10 - 3741432997106755448775423/1123334925042477253177*c_0101_3^9 - 12738755046112686306425089/1123334925042477253177*c_0101_3^8 + 12631599644741787975174816/1123334925042477253177*c_0101_3^7 + 93830659740649031320184455/4493339700169909012708*c_0101_3^6 - 45268974230837486766362971/4493339700169909012708*c_0101_3^5 + 1519081376210880215960353/2246669850084954506354*c_0101_3^4 + 2397347143626087897479432/1123334925042477253177*c_0101_3^3 - 11417270854968642798590547/4493339700169909012708*c_0101_3^2 + 43585160533994384525377/2246669850084954506354*c_0101_3 + 318256378937374470023393/2246669850084954506354, c_0011_0 - 1, c_0011_1 - 564840748856926890295/4493339700169909012708*c_0101_3^15 - 1211363146203728236659/4493339700169909012708*c_0101_3^14 - 1325169421742985766423/1123334925042477253177*c_0101_3^13 - 8180999064746014164655/4493339700169909012708*c_0101_3^12 + 33400725044758608807323/2246669850084954506354*c_0101_3^11 + 34216276778589316574031/1123334925042477253177*c_0101_3^10 + 194973241533417049598327/4493339700169909012708*c_0101_3^9 + 254991433334622561040193/2246669850084954506354*c_0101_3^8 - 58218634164381249973013/2246669850084954506354*c_0101_3^7 - 808991063331273294737117/4493339700169909012708*c_0101_3^6 - 104244006089332168868703/4493339700169909012708*c_0101_3^5 - 66871470764680500027417/4493339700169909012708*c_0101_3^4 - 97900110158121841023315/4493339700169909012708*c_0101_3^3 + 18891889566913750698083/4493339700169909012708*c_0101_3^2 + 4857896849982208678103/1123334925042477253177*c_0101_3 - 636501371114383255155/4493339700169909012708, c_0011_4 + 85372982100653526400/1123334925042477253177*c_0101_2*c_0101_\ 3^15 + 645214833434016520805/4493339700169909012708*c_0101_2*c_0101\ _3^14 + 762137683654122269955/1123334925042477253177*c_0101_2*c_010\ 1_3^13 + 1053316096666691619363/1123334925042477253177*c_0101_2*c_0\ 101_3^12 - 41351473921623471824291/4493339700169909012708*c_0101_2*\ c_0101_3^11 - 71826172201847192113003/4493339700169909012708*c_0101\ _2*c_0101_3^10 - 100438225038946169948345/4493339700169909012708*c_\ 0101_2*c_0101_3^9 - 71962972490923917916751/1123334925042477253177*\ c_0101_2*c_0101_3^8 + 68525484587307523653551/224666985008495450635\ 4*c_0101_2*c_0101_3^7 + 109778840453761173654056/112333492504247725\ 3177*c_0101_2*c_0101_3^6 - 62409343358873843373357/4493339700169909\ 012708*c_0101_2*c_0101_3^5 + 41995032886617785562595/22466698500849\ 54506354*c_0101_2*c_0101_3^4 + 68347738155124361678829/449333970016\ 9909012708*c_0101_2*c_0101_3^3 - 8011634226091555719825/11233349250\ 42477253177*c_0101_2*c_0101_3^2 + 738614418878717392555/44933397001\ 69909012708*c_0101_2*c_0101_3 - 2121409909954561154507/449333970016\ 9909012708*c_0101_2, c_0011_5 - 633771067013739770145/4493339700169909012708*c_0101_2*c_0101\ _3^15 - 203809406736652889689/1123334925042477253177*c_0101_2*c_010\ 1_3^14 - 1202045841881682325019/1123334925042477253177*c_0101_2*c_0\ 101_3^13 - 4128860450608656970553/4493339700169909012708*c_0101_2*c\ _0101_3^12 + 82588091406908505307891/4493339700169909012708*c_0101_\ 2*c_0101_3^11 + 88913299298401215441173/4493339700169909012708*c_01\ 01_2*c_0101_3^10 + 22561013656662842852740/1123334925042477253177*c\ _0101_2*c_0101_3^9 + 195430755385491408384913/224666985008495450635\ 4*c_0101_2*c_0101_3^8 - 153510970002334120279768/112333492504247725\ 3177*c_0101_2*c_0101_3^7 - 775480058698372733880591/449333970016990\ 9012708*c_0101_2*c_0101_3^6 + 326455774475233678921253/224666985008\ 4954506354*c_0101_2*c_0101_3^5 - 23824019719873699080553/4493339700\ 169909012708*c_0101_2*c_0101_3^4 - 11131053843529139034420/1123334925042477253177*c_0101_2*c_0101_3^3 + 133965314703900108852737/4493339700169909012708*c_0101_2*c_0101_3^2 - 12120459417220869401957/4493339700169909012708*c_0101_2*c_0101_3 - 2703716559941477835298/1123334925042477253177*c_0101_2, c_0101_0 - 416420541147460704465/8986679400339818025416*c_0101_2*c_0101\ _3^15 - 1414923438996642414191/8986679400339818025416*c_0101_2*c_01\ 01_3^14 - 600661906065957013749/1123334925042477253177*c_0101_2*c_0\ 101_3^13 - 10535656749653284972773/8986679400339818025416*c_0101_2*\ c_0101_3^12 + 5451656766497318936596/1123334925042477253177*c_0101_\ 2*c_0101_3^11 + 82553322525758373852095/4493339700169909012708*c_01\ 01_2*c_0101_3^10 + 242954513502856526455799/8986679400339818025416*\ c_0101_2*c_0101_3^9 + 256239242983611272008999/44933397001699090127\ 08*c_0101_2*c_0101_3^8 + 163235233141784808400325/44933397001699090\ 12708*c_0101_2*c_0101_3^7 - 881357848072208612276291/89866794003398\ 18025416*c_0101_2*c_0101_3^6 - 710542340642776742884295/89866794003\ 39818025416*c_0101_2*c_0101_3^5 + 136665184094498250505381/89866794\ 00339818025416*c_0101_2*c_0101_3^4 - 210141040897779945366127/8986679400339818025416*c_0101_2*c_0101_3^3 - 25945395933145500119295/8986679400339818025416*c_0101_2*c_0101_3^\ 2 + 30155886831669859361449/4493339700169909012708*c_0101_2*c_0101_\ 3 - 15000590827679886487191/8986679400339818025416*c_0101_2, c_0101_2^2 - 16397324983084008858/1123334925042477253177*c_0101_3^15 + 6213440598711963835/1123334925042477253177*c_0101_3^14 - 84233801334991775833/1123334925042477253177*c_0101_3^13 + 118411245878181298870/1123334925042477253177*c_0101_3^12 + 2374255411858156905178/1123334925042477253177*c_0101_3^11 - 1123545180034133690472/1123334925042477253177*c_0101_3^10 - 2013710297565680028876/1123334925042477253177*c_0101_3^9 + 4096383554900259069073/1123334925042477253177*c_0101_3^8 - 35797195685665761704972/1123334925042477253177*c_0101_3^7 + 71122085734531346514/1123334925042477253177*c_0101_3^6 + 45465432775628038977956/1123334925042477253177*c_0101_3^5 - 17111058037151509351956/1123334925042477253177*c_0101_3^4 + 9199982475809827474499/1123334925042477253177*c_0101_3^3 + 1936699637113705402756/1123334925042477253177*c_0101_3^2 - 2189598767734910544828/1123334925042477253177*c_0101_3 - 582773907046997097302/1123334925042477253177, c_0101_3^16 + 2*c_0101_3^15 + 9*c_0101_3^14 + 13*c_0101_3^13 - 121*c_0101_3^12 - 226*c_0101_3^11 - 301*c_0101_3^10 - 839*c_0101_3^9 + 356*c_0101_3^8 + 1461*c_0101_3^7 - 64*c_0101_3^6 + 4*c_0101_3^5 + 184*c_0101_3^4 - 80*c_0101_3^3 - 29*c_0101_3^2 + 5*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB