Magma V2.19-8 Tue Aug 20 2013 16:16:46 on localhost [Seed = 1141233804] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1052 geometric_solution 4.92686849 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 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 -0.375379061916 2.997074187011 0 4 0 4 0132 0132 2310 2310 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.535845961485 0.684955255941 5 3 6 0 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.118985193914 0.716386347699 2 5 0 6 1023 3201 0132 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 1 -1 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.118985193914 0.716386347699 1 1 4 4 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434686640064 0.051742861732 2 5 3 5 0132 2310 2310 3201 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 1 0 -1 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225621288391 1.358421207182 6 6 3 2 1302 2031 0132 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.275196806291 0.564250327432 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_1100_0'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_0110_4']), '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_2, c_0011_6, c_0101_0, c_0101_2, c_0110_4, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 5862104236306168475667287253215296969708509588577/22421337728981694\ 43783295960389451103437652206022*c_1100_0^18 + 23720938700098676439981254364976812469633225421291/1121066886449084\ 721891647980194725551718826103011*c_1100_0^17 - 14946341619205376806961668990839326112986899297183/2491259747664632\ 71531477328932161233715294689558*c_1100_0^16 + 18306289822813439381413000053824448058085676626621/2242133772898169\ 443783295960389451103437652206022*c_1100_0^15 + 293666399681029612029025982533957006829816175604951/747377924299389\ 814594431986796483701145884068674*c_1100_0^14 - 645173627360644795929673793183667843307026576749516/112106688644908\ 4721891647980194725551718826103011*c_1100_0^13 - 2596741052904375267675982002601420615152851896245349/22421337728981\ 69443783295960389451103437652206022*c_1100_0^12 + 1356696176792819980102114080019592395507602039204290/37368896214969\ 4907297215993398241850572942034337*c_1100_0^11 - 1159874599124905651269907563725829417489141126622579/22421337728981\ 69443783295960389451103437652206022*c_1100_0^10 - 9262798728602737244834621042199766145109076984174873/11210668864490\ 84721891647980194725551718826103011*c_1100_0^9 + 20804173282369172292779508964895491959686894657533249/2242133772898\ 169443783295960389451103437652206022*c_1100_0^8 + 2174331586835644084462340353162988395089972102062731/11210668864490\ 84721891647980194725551718826103011*c_1100_0^7 - 2320722185713476457566187531593168236239777702366981/24912597476646\ 3271531477328932161233715294689558*c_1100_0^6 + 11129303596125896427809928385815732868379659457691437/2242133772898\ 169443783295960389451103437652206022*c_1100_0^5 + 1201358562567150089735704807293563694424887986917361/22421337728981\ 69443783295960389451103437652206022*c_1100_0^4 - 919855945775056565782813489991935571428070352389639/112106688644908\ 4721891647980194725551718826103011*c_1100_0^3 - 891160017837205705857424252057690748901110333319971/224213377289816\ 9443783295960389451103437652206022*c_1100_0^2 + 501197818830950264489237650449474105832545113915869/112106688644908\ 4721891647980194725551718826103011*c_1100_0 - 325749830577070502886688462249866373748195896406/303812164349345453\ 0871674743075136996527984019, c_0011_0 - 1, c_0011_2 + 8414951582550971436006758745093602883510318664/9114364930480\ 363592615024229225410989583952057*c_1100_0^18 + 48641708211417028783948524001756623389544730627/9114364930480363592\ 615024229225410989583952057*c_1100_0^17 - 110651916701043202804963473868163583013701994184/303812164349345453\ 0871674743075136996527984019*c_1100_0^16 + 614280451195479757843105145666008865100491117255/911436493048036359\ 2615024229225410989583952057*c_1100_0^15 + 234489671405311437555378679384596876920404530713/303812164349345453\ 0871674743075136996527984019*c_1100_0^14 - 4481151514129869029954502066140820609421769657935/91143649304803635\ 92615024229225410989583952057*c_1100_0^13 + 3264369361687387269000044036222615555119029427796/91143649304803635\ 92615024229225410989583952057*c_1100_0^12 + 4930866672408394225484730662015405283338979445041/30381216434934545\ 30871674743075136996527984019*c_1100_0^11 - 34429007917663280028580422893210016197364744908026/9114364930480363\ 592615024229225410989583952057*c_1100_0^10 + 6675040342876461926176793402798063109705368460565/91143649304803635\ 92615024229225410989583952057*c_1100_0^9 + 73236006292603704355932082524752743363389508252759/9114364930480363\ 592615024229225410989583952057*c_1100_0^8 - 115732371130797071339574383934186825112864454698639/911436493048036\ 3592615024229225410989583952057*c_1100_0^7 + 17113814648163021725677885523089787572442360583083/3038121643493454\ 530871674743075136996527984019*c_1100_0^6 + 55250835191013541888536220111884945501848798801681/9114364930480363\ 592615024229225410989583952057*c_1100_0^5 - 97903542455206316542020812302683483597739758612646/9114364930480363\ 592615024229225410989583952057*c_1100_0^4 + 67715046179822416863152032373925711956579627912678/9114364930480363\ 592615024229225410989583952057*c_1100_0^3 - 25250031059223972049285813360293140080837782436205/9114364930480363\ 592615024229225410989583952057*c_1100_0^2 + 4786835927612677418426104876739793255894298542683/91143649304803635\ 92615024229225410989583952057*c_1100_0 - 102673821016133506198747083012798412373580261210/303812164349345453\ 0871674743075136996527984019, c_0011_6 - 646567932091216374736052142245146543763599/52252278452561850\ 5567564308274116321136499*c_1100_0^18 - 3775646150970456626175387344999839109645131/52252278452561850556756\ 4308274116321136499*c_1100_0^17 + 843936305318672935870713326825002\ 5815076882/174174261508539501855854769424705440378833*c_1100_0^16 - 45418909773081325170417842151252212093276477/5225227845256185055675\ 64308274116321136499*c_1100_0^15 - 19193289403592996898441924171352875060205582/1741742615085395018558\ 54769424705440378833*c_1100_0^14 + 341040504563933972167603423959904632761265520/522522784525618505567\ 564308274116321136499*c_1100_0^13 - 225136151212865509266940406796229763220093326/522522784525618505567\ 564308274116321136499*c_1100_0^12 - 386097841889746528949538761476008455694413318/174174261508539501855\ 854769424705440378833*c_1100_0^11 + 2560922192554844686158995750555679718381297102/52252278452561850556\ 7564308274116321136499*c_1100_0^10 - 308581018394113114249840421984012095182533965/522522784525618505567\ 564308274116321136499*c_1100_0^9 - 5654714429896248395204636616053167414500853921/52252278452561850556\ 7564308274116321136499*c_1100_0^8 + 8434956515713992924696661584149957721580621756/52252278452561850556\ 7564308274116321136499*c_1100_0^7 - 1100802782925599227994994255930707871382585597/17417426150853950185\ 5854769424705440378833*c_1100_0^6 - 4405362194644920634844063092926040692796974647/52252278452561850556\ 7564308274116321136499*c_1100_0^5 + 7095636681560427647934418124976055850855784853/52252278452561850556\ 7564308274116321136499*c_1100_0^4 - 4690060538907353702634454359977079041112945221/52252278452561850556\ 7564308274116321136499*c_1100_0^3 + 1680909062373614841117735039484699325951258141/52252278452561850556\ 7564308274116321136499*c_1100_0^2 - 305241070929952632265523904681669577720046915/522522784525618505567\ 564308274116321136499*c_1100_0 + 6140809798830130092921931223068786\ 087422809/174174261508539501855854769424705440378833, c_0101_0 + 25553494193577761402604832034947/783536170744359497566637423\ 983779*c_1100_0^18 + 485850813135344290538964982997341/783536170744\ 359497566637423983779*c_1100_0^17 + 383871867551747225501378501197280/261178723581453165855545807994593\ *c_1100_0^16 - 10235324630629689998153138399369092/7835361707443594\ 97566637423983779*c_1100_0^15 + 6314597007106663462137250983406000/\ 261178723581453165855545807994593*c_1100_0^14 + 26786167547108826129400152689374763/7835361707443594975666374239837\ 79*c_1100_0^13 - 146951348678329013425455986593900549/7835361707443\ 59497566637423983779*c_1100_0^12 + 23628417047935619378097401543176756/2611787235814531658555458079945\ 93*c_1100_0^11 + 527087819158736883099133043446770980/7835361707443\ 59497566637423983779*c_1100_0^10 - 960453318165658994732513472566769803/783536170744359497566637423983\ 779*c_1100_0^9 - 215305913727819717229820289063799820/7835361707443\ 59497566637423983779*c_1100_0^8 + 240356259272583576791000487160615\ 8002/783536170744359497566637423983779*c_1100_0^7 - 879334179729805913992403465115668454/261178723581453165855545807994\ 593*c_1100_0^6 + 168187683427844718013543350517557635/7835361707443\ 59497566637423983779*c_1100_0^5 + 207923775272522965066583512059031\ 4156/783536170744359497566637423983779*c_1100_0^4 - 2095040977513304789772914393688895522/78353617074435949756663742398\ 3779*c_1100_0^3 + 968446820983352442879447848613656074/783536170744\ 359497566637423983779*c_1100_0^2 - 214562086110192113314020675002323261/783536170744359497566637423983\ 779*c_1100_0 + 5021202718361576760885145966541749/26117872358145316\ 5855545807994593, c_0101_2 - 13105548043083492857794496439970072733387881997/911436493048\ 0363592615024229225410989583952057*c_1100_0^18 - 79598983391584791655025601057644237897283342977/9114364930480363592\ 615024229225410989583952057*c_1100_0^17 + 164331776193098683335781064764283068596070952890/303812164349345453\ 0871674743075136996527984019*c_1100_0^16 - 814649209596834970527527371803461074394599760992/911436493048036359\ 2615024229225410989583952057*c_1100_0^15 - 433019078154829458075007441093281679272770805357/303812164349345453\ 0871674743075136996527984019*c_1100_0^14 + 6523315785130977910851879881769885506347034951780/91143649304803635\ 92615024229225410989583952057*c_1100_0^13 - 3220558766483452588282997873625022941397300634503/91143649304803635\ 92615024229225410989583952057*c_1100_0^12 - 7818546860796502530713149041311050612168460659185/30381216434934545\ 30871674743075136996527984019*c_1100_0^11 + 46223059437589843686990077432981558184985975969874/9114364930480363\ 592615024229225410989583952057*c_1100_0^10 + 1498223865535630292362689223374156638881140827962/91143649304803635\ 92615024229225410989583952057*c_1100_0^9 - 109287750545183444068733538215988065162395097101127/911436493048036\ 3592615024229225410989583952057*c_1100_0^8 + 147365217912045297657850578014978467117675005479798/911436493048036\ 3592615024229225410989583952057*c_1100_0^7 - 15384075199116163315368613986226379517401151324913/3038121643493454\ 530871674743075136996527984019*c_1100_0^6 - 86143773665095975842619344885580076288070692674414/9114364930480363\ 592615024229225410989583952057*c_1100_0^5 + 123812504794942692541245601757747675822113712382122/911436493048036\ 3592615024229225410989583952057*c_1100_0^4 - 77981092848384363889421645033714877583909938231007/9114364930480363\ 592615024229225410989583952057*c_1100_0^3 + 27063329859807763431656294524396187133644898879877/9114364930480363\ 592615024229225410989583952057*c_1100_0^2 - 4826171769206555147971027179995534404361899777795/91143649304803635\ 92615024229225410989583952057*c_1100_0 + 99372481404531384874622320088717034101141767360/3038121643493454530\ 871674743075136996527984019, c_0110_4 + 81642241279213157257870219866407461718384/174174261508539501\ 855854769424705440378833*c_1100_0^18 + 522326344643639714241921967025846344505444/174174261508539501855854\ 769424705440378833*c_1100_0^17 - 2890338368803104629326214452340573\ 081850063/174174261508539501855854769424705440378833*c_1100_0^16 + 4209409843957335012324685430215639993216606/17417426150853950185585\ 4769424705440378833*c_1100_0^15 + 902373863547022730484944880118314\ 6852471283/174174261508539501855854769424705440378833*c_1100_0^14 - 37056044619713308341819825155527129366789573/1741742615085395018558\ 54769424705440378833*c_1100_0^13 + 9385998343914591358916733655469886208454112/17417426150853950185585\ 4769424705440378833*c_1100_0^12 + 143385960924490657033350428643060\ 010272639958/174174261508539501855854769424705440378833*c_1100_0^11 - 239674508131964340510487687747812680767552368/1741742615085395018\ 55854769424705440378833*c_1100_0^10 - 64545474717944013031680843820479758112071368/1741742615085395018558\ 54769424705440378833*c_1100_0^9 + 621550574019186401934962695175344\ 177393452996/174174261508539501855854769424705440378833*c_1100_0^8 - 728610586283377026899979372954098686501254630/174174261508539501855\ 854769424705440378833*c_1100_0^7 + 154504076889677093397733478367632128424369463/174174261508539501855\ 854769424705440378833*c_1100_0^6 + 475905527068024828970069610849951837050525873/174174261508539501855\ 854769424705440378833*c_1100_0^5 - 613883572517405366658108435781239640156933908/174174261508539501855\ 854769424705440378833*c_1100_0^4 + 378674611169249757902809049644932222806426176/174174261508539501855\ 854769424705440378833*c_1100_0^3 - 134443999389620903446019952160442963558759282/174174261508539501855\ 854769424705440378833*c_1100_0^2 + 25696437107596211848769825294586664883997888/1741742615085395018558\ 54769424705440378833*c_1100_0 - 18215027746563989795383169959603057\ 22566694/174174261508539501855854769424705440378833, c_1100_0^19 + 86/17*c_1100_0^18 - 744/17*c_1100_0^17 + 1708/17*c_1100_0^16 + 606/17*c_1100_0^15 - 10172/17*c_1100_0^14 + 12811/17*c_1100_0^13 + 26121/17*c_1100_0^12 - 90980/17*c_1100_0^11 + 59339/17*c_1100_0^10 + 143714/17*c_1100_0^9 - 336125/17*c_1100_0^8 + 255012/17*c_1100_0^7 + 51538/17*c_1100_0^6 - 275690/17*c_1100_0^5 + 264958/17*c_1100_0^4 - 137347/17*c_1100_0^3 + 41299/17*c_1100_0^2 - 6519/17*c_1100_0 + 369/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB