Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 559988173] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0687 geometric_solution 4.65258587 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 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 -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.637148257122 0.091197548584 2 0 2 0 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 -1 1 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.824867506561 0.128940214559 1 3 1 3 0132 0132 1023 1023 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 1 -1 -1 0 1 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.774490888042 0.429103924255 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.144866748501 0.767351894582 3 5 5 6 0132 1230 0213 0132 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 -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.648294772701 0.651306097475 6 4 4 3 0132 0213 3012 0132 0 0 0 0 0 -1 0 1 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 0 0 1 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.648294772701 0.651306097475 5 6 4 6 0132 2310 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 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.818790421624 0.434463879916 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], '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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), '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_1'], 'c_1001_4' : d['c_0011_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 55729853947551804845831880215/186362740695552041571312749*c_0101_5^\ 18 + 145584416918199301063173190407/186362740695552041571312749*c_0\ 101_5^17 - 1904829832465451247731598845621/186362740695552041571312\ 749*c_0101_5^16 + 8091724775061532390970775248079/18636274069555204\ 1571312749*c_0101_5^15 - 24195166133972812697008496912860/186362740\ 695552041571312749*c_0101_5^14 + 106595882023687624617367697821078/\ 186362740695552041571312749*c_0101_5^13 - 321124331079291055249448271428153/186362740695552041571312749*c_010\ 1_5^12 + 462119293409962534966630974285413/186362740695552041571312\ 749*c_0101_5^11 - 156286852223374381515490220043717/186362740695552\ 041571312749*c_0101_5^10 - 402942560701530663586733816105236/186362\ 740695552041571312749*c_0101_5^9 + 555957234629888838530244371836678/186362740695552041571312749*c_010\ 1_5^8 - 250683231086708854887488701038231/1863627406955520415713127\ 49*c_0101_5^7 - 10414564411635466703663650158646/186362740695552041\ 571312749*c_0101_5^6 + 59948342081028619947430927276833/18636274069\ 5552041571312749*c_0101_5^5 - 35315113990575691043373761488239/1863\ 62740695552041571312749*c_0101_5^4 + 10412003395198801607858882241542/186362740695552041571312749*c_0101\ _5^3 + 1038488070404928633096787586109/186362740695552041571312749*\ c_0101_5^2 - 1523817364024063664714702493176/1863627406955520415713\ 12749*c_0101_5 + 291712553251770933225170679271/1863627406955520415\ 71312749, c_0011_0 - 1, c_0011_1 + 82782203471172132906191935/2093963378601708332261941*c_0101_\ 5^18 - 185615036734200172433634764/2093963378601708332261941*c_0101\ _5^17 + 2756543058601681063722963128/2093963378601708332261941*c_01\ 01_5^16 - 10990395007269133244335976488/2093963378601708332261941*c\ _0101_5^15 + 31732399203967228994334750422/209396337860170833226194\ 1*c_0101_5^14 - 146050171812685998694133125283/20939633786017083322\ 61941*c_0101_5^13 + 421389697014012509630820155348/2093963378601708\ 332261941*c_0101_5^12 - 523192762204376816741960614259/209396337860\ 1708332261941*c_0101_5^11 + 17826316738681586292014821882/209396337\ 8601708332261941*c_0101_5^10 + 629548637961411716093299603887/20939\ 63378601708332261941*c_0101_5^9 - 591220431840013350016289305622/20\ 93963378601708332261941*c_0101_5^8 + 121870641167940780685399189725/2093963378601708332261941*c_0101_5^7 + 87380955678222640485836708900/2093963378601708332261941*c_0101_5^\ 6 - 60467506262070614769777897711/2093963378601708332261941*c_0101_\ 5^5 + 25409058256309915632942840334/2093963378601708332261941*c_010\ 1_5^4 - 3301546089336163070687673469/2093963378601708332261941*c_01\ 01_5^3 - 3938129039921252845297094813/2093963378601708332261941*c_0\ 101_5^2 + 906130832324169519961053786/2093963378601708332261941*c_0\ 101_5 + 108293213620790280526961183/2093963378601708332261941, c_0011_5 + 133891084269452506406375900/2093963378601708332261941*c_0101\ _5^18 - 301501600985457474995760827/2093963378601708332261941*c_010\ 1_5^17 + 4460517999708097948831400853/2093963378601708332261941*c_0\ 101_5^16 - 17817437871569649398276774233/2093963378601708332261941*\ c_0101_5^15 + 51469787360421337298682270592/20939633786017083322619\ 41*c_0101_5^14 - 236626772940952972122311701076/2093963378601708332\ 261941*c_0101_5^13 + 683584054290387390926584106122/209396337860170\ 8332261941*c_0101_5^12 - 851553342629767188769621765037/20939633786\ 01708332261941*c_0101_5^11 + 33789748147768287636341108092/20939633\ 78601708332261941*c_0101_5^10 + 1020829448869109763660096849637/209\ 3963378601708332261941*c_0101_5^9 - 964285463563976542112833720017/2093963378601708332261941*c_0101_5^8 + 201368114260227713264169615193/2093963378601708332261941*c_0101_5\ ^7 + 141873926879143177540666163540/2093963378601708332261941*c_010\ 1_5^6 - 98629109132217895050865313602/2093963378601708332261941*c_0\ 101_5^5 + 41442868441619617153824230800/2093963378601708332261941*c\ _0101_5^4 - 5509114405119573608450148891/2093963378601708332261941*\ c_0101_5^3 - 6424287002889140313124310185/2093963378601708332261941\ *c_0101_5^2 + 1489567683208905206509203479/209396337860170833226194\ 1*c_0101_5 + 178486940053753365012673781/2093963378601708332261941, c_0101_0 - 156590689265761715183885853/2093963378601708332261941*c_0101\ _5^18 + 357997076628140851678939292/2093963378601708332261941*c_010\ 1_5^17 - 5225041284044828488117058300/2093963378601708332261941*c_0\ 101_5^16 + 21011424791506193806415265746/2093963378601708332261941*\ c_0101_5^15 - 60788651901428734319779949320/20939633786017083322619\ 41*c_0101_5^14 + 278388910237947299016601163565/2093963378601708332\ 261941*c_0101_5^13 - 807808219492003879433414028280/209396337860170\ 8332261941*c_0101_5^12 + 1017451322168345108022855346129/2093963378\ 601708332261941*c_0101_5^11 - 58332162737028337036869472894/2093963\ 378601708332261941*c_0101_5^10 - 1206243916027765579770852059076/20\ 93963378601708332261941*c_0101_5^9 + 1160437751967599010808034465317/2093963378601708332261941*c_0101_5^\ 8 - 251049554448069743380183629597/2093963378601708332261941*c_0101\ _5^7 - 169369063455138989926803074980/2093963378601708332261941*c_0\ 101_5^6 + 119022399333331999202842385423/2093963378601708332261941*\ c_0101_5^5 - 49890955375664233091569479247/209396337860170833226194\ 1*c_0101_5^4 + 7062086710279743026895229765/20939633786017083322619\ 41*c_0101_5^3 + 7745086238154335359228842327/2093963378601708332261\ 941*c_0101_5^2 - 1845901904708866579045438626/209396337860170833226\ 1941*c_0101_5 - 221476254362965572125568207/20939633786017083322619\ 41, c_0101_1 - 146221073805034906926419221/2093963378601708332261941*c_0101\ _5^18 + 326958864879618063783786752/2093963378601708332261941*c_010\ 1_5^17 - 4867765887499299125776661313/2093963378601708332261941*c_0\ 101_5^16 + 19383974822946694398300377940/2093963378601708332261941*\ c_0101_5^15 - 55956596725219633510065553624/20939633786017083322619\ 41*c_0101_5^14 + 257716450269960338988169909200/2093963378601708332\ 261941*c_0101_5^13 - 742973861250073651929961138536/209396337860170\ 8332261941*c_0101_5^12 + 920800384946091824075068399206/20939633786\ 01708332261941*c_0101_5^11 - 28997348867386956414533629370/20939633\ 78601708332261941*c_0101_5^10 - 1109372809625770900751539833058/209\ 3963378601708332261941*c_0101_5^9 + 1039112231006891917026340493089/2093963378601708332261941*c_0101_5^\ 8 - 213457385515496238528574237710/2093963378601708332261941*c_0101\ _5^7 - 153315724572888746510816191706/2093963378601708332261941*c_0\ 101_5^6 + 106094655819209800001237438926/2093963378601708332261941*\ c_0101_5^5 - 44637837439771543494456672030/209396337860170833226194\ 1*c_0101_5^4 + 5767320628373064385001189152/20939633786017083322619\ 41*c_0101_5^3 + 6901825998923195933958106444/2093963378601708332261\ 941*c_0101_5^2 - 1581805971391962187031394138/209396337860170833226\ 1941*c_0101_5 - 189489555323130034043917950/20939633786017083322619\ 41, c_0101_3 - 195810175173976541983813483/2093963378601708332261941*c_0101\ _5^18 + 441306230326733291971258767/2093963378601708332261941*c_010\ 1_5^17 - 6523943480712372976421254986/2093963378601708332261941*c_0\ 101_5^16 + 26069317713752555653684607675/2093963378601708332261941*\ c_0101_5^15 - 75314930732311111548126630456/20939633786017083322619\ 41*c_0101_5^14 + 346175216520233712376897153929/2093963378601708332\ 261941*c_0101_5^13 - 1000302129907210966846284593812/20939633786017\ 08332261941*c_0101_5^12 + 1246917112928551368769688699583/209396337\ 8601708332261941*c_0101_5^11 - 50871268044509637915806435555/209396\ 3378601708332261941*c_0101_5^10 - 1493699325784888344163215712816/2\ 093963378601708332261941*c_0101_5^9 + 1412672674481320363661252220690/2093963378601708332261941*c_0101_5^\ 8 - 295799564975213438265724055322/2093963378601708332261941*c_0101\ _5^7 - 207720036686096862452924083391/2093963378601708332261941*c_0\ 101_5^6 + 144577720424597433663896547230/2093963378601708332261941*\ c_0101_5^5 - 60720681471145489914703843117/209396337860170833226194\ 1*c_0101_5^4 + 8107051761784793714681663490/20939633786017083322619\ 41*c_0101_5^3 + 9407858844075084866342041651/2093963378601708332261\ 941*c_0101_5^2 - 2189873774239668483266944827/209396337860170833226\ 1941*c_0101_5 - 262188584352993739494608338/20939633786017083322619\ 41, c_0101_5^19 - 3*c_0101_5^18 + 35*c_0101_5^17 - 158*c_0101_5^16 + 484*c_0101_5^15 - 2055*c_0101_5^14 + 6428*c_0101_5^13 - 10181*c_0101_5^12 + 5014*c_0101_5^11 + 7432*c_0101_5^10 - 12907*c_0101_5^9 + 6897*c_0101_5^8 - 69*c_0101_5^7 - 1529*c_0101_5^6 + 861*c_0101_5^5 - 273*c_0101_5^4 - 17*c_0101_5^3 + 47*c_0101_5^2 - 7*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB