Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 1494795643] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s366 geometric_solution 4.58609711 oriented_manifold CS_known 0.0000000000000003 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570105480011 0.124135393618 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 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 0 0 0 0 0 0 0 0 0 0.755230935607 0.240507695273 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 -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.034461657332 0.935562500638 5 2 4 4 0132 0132 2310 3120 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392463125722 0.730269444572 3 3 2 5 3120 3201 0132 1023 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 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.392463125722 0.730269444572 3 5 5 4 0132 1230 3012 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.428995681898 1.062487094707 ==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' : negation(d['1']), 's_1_5' : negation(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_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_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : 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' : d['c_0011_1'], 'c_1001_4' : negation(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_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(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_4, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 116723005562239004329887056882410631993609105/727383159590683443697\ 3442486384722107122144*c_0101_5^20 + 375425602237288147163475671641529614176777037/727383159590683443697\ 3442486384722107122144*c_0101_5^19 + 662994126856443457293676731343691663460455063/727383159590683443697\ 3442486384722107122144*c_0101_5^18 - 1424638574152459144588900849259718074327091037/18184578989767086092\ 43360621596180526780536*c_0101_5^17 - 1614628793297983483678545697657417323219992125/22730723737208857615\ 5420077699522565847567*c_0101_5^16 + 10503300645051375045395354290620437590792012097/7273831595906834436\ 973442486384722107122144*c_0101_5^15 + 46089011049632866727799045416070210848356397477/6612574178097122215\ 43040226034974737011104*c_0101_5^14 + 4146894280861589507249665926255309361488058891/90922894948835430462\ 1680310798090263390268*c_0101_5^13 - 967837439100938405102222519656072352473633562789/363691579795341721\ 8486721243192361053561072*c_0101_5^12 + 66337293796878915941352157638315835676998415909/3636915797953417218\ 486721243192361053561072*c_0101_5^11 + 4565717679880015735706095078414837890207212715237/72738315959068344\ 36973442486384722107122144*c_0101_5^10 - 606842713801164183759945424891401342870293450493/363691579795341721\ 8486721243192361053561072*c_0101_5^9 - 3134195530559674068932193325843607789150206544749/36369157979534172\ 18486721243192361053561072*c_0101_5^8 + 261543675979274821667513071701949591115037805165/661257417809712221\ 543040226034974737011104*c_0101_5^7 + 1970301790763927836339214681489412647929413082145/36369157979534172\ 18486721243192361053561072*c_0101_5^6 - 2671885497027755379599775644602597617628395213225/72738315959068344\ 36973442486384722107122144*c_0101_5^5 - 721148219693761617322842556419402394690026185887/727383159590683443\ 6973442486384722107122144*c_0101_5^4 + 109832872920002563013277512383025722296230676801/909228949488354304\ 621680310798090263390268*c_0101_5^3 - 14979940696226572717185014730773884649558690257/1818457898976708609\ 243360621596180526780536*c_0101_5^2 - 2795372221724127987301124896838656756961623517/22730723737208857615\ 5420077699522565847567*c_0101_5 + 555232954834068343222678775480124\ 903358198768/227307237372088576155420077699522565847567, c_0011_0 - 1, c_0011_1 + 276380821404598954368187406011029856736879/90922894948835430\ 4621680310798090263390268*c_0101_5^20 + 1823069934837849026834634361332594244249643/18184578989767086092433\ 60621596180526780536*c_0101_5^19 + 3308435436082986546626383057238727891088175/18184578989767086092433\ 60621596180526780536*c_0101_5^18 - 26647595630990425003594233179481014912179801/1818457898976708609243\ 360621596180526780536*c_0101_5^17 - 30840994409274757857539894059162958330293544/2273072373720885761554\ 20077699522565847567*c_0101_5^16 + 14329201904615746614240383878624072315833815/9092289494883543046216\ 80310798090263390268*c_0101_5^15 + 217662671291254378206727773725502673340669301/165314354452428055385\ 760056508743684252776*c_0101_5^14 + 352099475443759135461215567733903695911723383/181845789897670860924\ 3360621596180526780536*c_0101_5^13 - 1131761857067033134296147601489733088775066468/22730723737208857615\ 5420077699522565847567*c_0101_5^12 - 42182909285714370018220145853416229576687019/9092289494883543046216\ 80310798090263390268*c_0101_5^11 + 2663751849240317083195611491725546784457649035/22730723737208857615\ 5420077699522565847567*c_0101_5^10 - 4059885971369062578112692716963132842160974283/18184578989767086092\ 43360621596180526780536*c_0101_5^9 - 14656908070753891614449639543834263657553687809/9092289494883543046\ 21680310798090263390268*c_0101_5^8 + 127338897353369893950671417988111671220674395/206642943065535069232\ 20007063592960531597*c_0101_5^7 + 186345949191777957044602423124789\ 90564477411703/1818457898976708609243360621596180526780536*c_0101_5\ ^6 - 1364406918445480298417586537088970987329826406/227307237372088\ 576155420077699522565847567*c_0101_5^5 - 3739132716476701067156451635749704987908056103/18184578989767086092\ 43360621596180526780536*c_0101_5^4 + 3618351708552927538542914184146743902525014225/18184578989767086092\ 43360621596180526780536*c_0101_5^3 - 24271258997797385666478863187383207639839503/4546144747441771523108\ 40155399045131695134*c_0101_5^2 - 909697358449462978300270867102716\ 82060640387/454614474744177152310840155399045131695134*c_0101_5 + 7512143648715984772021061903360157974169457/22730723737208857615542\ 0077699522565847567, c_0011_4 - 20072611926175468321661119356148016452473/454614474744177152\ 310840155399045131695134*c_0101_5^20 - 34172604271824835672680125893765755098282/2273072373720885761554200\ 77699522565847567*c_0101_5^19 - 12748880634280414836561014134784538\ 2477835/454614474744177152310840155399045131695134*c_0101_5^18 + 953965927598859963926154829598419373807083/454614474744177152310840\ 155399045131695134*c_0101_5^17 + 4530816115990677622582351364885144\ 368522492/227307237372088576155420077699522565847567*c_0101_5^16 - 34511499907886753814096673789986477460997/2273072373720885761554200\ 77699522565847567*c_0101_5^15 - 35921947942730803674871312284762341\ 3472882/1878572209686682447565455187599360048327*c_0101_5^14 - 11059980109026887048078973059801177752936442/2273072373720885761554\ 20077699522565847567*c_0101_5^13 + 163039548671340701292132113128067642810067362/227307237372088576155\ 420077699522565847567*c_0101_5^12 + 38139653115907760329662240682162810753897797/4546144747441771523108\ 40155399045131695134*c_0101_5^11 - 767786599680267123828003021852586830441110105/454614474744177152310\ 840155399045131695134*c_0101_5^10 + 64951246205679366754698235877719634705752917/4546144747441771523108\ 40155399045131695134*c_0101_5^9 + 106594475021984177469146621492348\ 3840178716543/454614474744177152310840155399045131695134*c_0101_5^8 - 13259324501060840055854470602311713278964026/20664294306553506923\ 220007063592960531597*c_0101_5^7 - 698057617547363079058922734031937761813945907/454614474744177152310\ 840155399045131695134*c_0101_5^6 + 159710098489230108833339786741407416941263044/227307237372088576155\ 420077699522565847567*c_0101_5^5 + 160434109729142201012033199217980961331918909/454614474744177152310\ 840155399045131695134*c_0101_5^4 - 55947205286211488192280960257975679216967996/2273072373720885761554\ 20077699522565847567*c_0101_5^3 - 243094181456205711544217308729397\ 5065456104/227307237372088576155420077699522565847567*c_0101_5^2 + 11460964500649950967824593424197757205424341/4546144747441771523108\ 40155399045131695134*c_0101_5 - 80513058100885812752061399151918711\ 7758850/227307237372088576155420077699522565847567, c_0101_0 + 1364031776534231631076230480500452111151963/3636915797953417\ 218486721243192361053561072*c_0101_5^20 + 4543743188951527545260734909270101346707867/36369157979534172184867\ 21243192361053561072*c_0101_5^19 + 8327623148468444590365374022383539978027365/36369157979534172184867\ 21243192361053561072*c_0101_5^18 - 16357122870185689656094388669437121859262309/9092289494883543046216\ 80310798090263390268*c_0101_5^17 - 152721880052516657735231705903983940238884677/909228949488354304621\ 680310798090263390268*c_0101_5^16 + 49969953594791021910531472328646295221271571/3636915797953417218486\ 721243192361053561072*c_0101_5^15 + 536679032574086316091246989770019787467387451/330628708904856110771\ 520113017487368505552*c_0101_5^14 + 132513608762883909800457610513593745949973323/454614474744177152310\ 840155399045131695134*c_0101_5^13 - 11124620745270796267644284114358621672124218425/1818457898976708609\ 243360621596180526780536*c_0101_5^12 - 446756110237392481676066403124578340965085969/181845789897670860924\ 3360621596180526780536*c_0101_5^11 + 52349160107040664778816047575547525912615963767/3636915797953417218\ 486721243192361053561072*c_0101_5^10 - 4220512270539049343901973011063325567724738741/18184578989767086092\ 43360621596180526780536*c_0101_5^9 - 36062702336649174294751976686139266960378814013/1818457898976708609\ 243360621596180526780536*c_0101_5^8 + 2319726952045864394570199245014493061734278775/33062870890485611077\ 1520113017487368505552*c_0101_5^7 + 23056317990834788728754223212339363632470811177/1818457898976708609\ 243360621596180526780536*c_0101_5^6 - 25611624242950694854086972458326017113159288727/3636915797953417218\ 486721243192361053561072*c_0101_5^5 - 9534422328172248864969027810250544636534339425/36369157979534172184\ 86721243192361053561072*c_0101_5^4 + 1080530978398635063264823642575246571879296125/45461447474417715231\ 0840155399045131695134*c_0101_5^3 - 18021804973953314429116118910059254958285489/4546144747441771523108\ 40155399045131695134*c_0101_5^2 - 109718316293574022709784595187737\ 578567505867/454614474744177152310840155399045131695134*c_0101_5 + 8876528580635369680845835540007541892044235/22730723737208857615542\ 0077699522565847567, c_0101_3 + 102100030198018145302143724883175970269759/45461447474417715\ 2310840155399045131695134*c_0101_5^20 + 1334076902475417376220246451621762330595317/18184578989767086092433\ 60621596180526780536*c_0101_5^19 + 2394880536959859369588506753279982609769037/18184578989767086092433\ 60621596180526780536*c_0101_5^18 - 19792550178469796478701131731367391902242093/1818457898976708609243\ 360621596180526780536*c_0101_5^17 - 22716185917539681904698754705033070011849644/2273072373720885761554\ 20077699522565847567*c_0101_5^16 + 6805907689090405035078643530415313152827843/45461447474417715231084\ 0155399045131695134*c_0101_5^15 + 161057935728985944533072638759202\ 609459192007/165314354452428055385760056508743684252776*c_0101_5^14 + 205952012586524680701144596609897070201823331/1818457898976708609\ 243360621596180526780536*c_0101_5^13 - 1681755630723189625810483233189253973356199159/45461447474417715231\ 0840155399045131695134*c_0101_5^12 + 63633265787694963387221693955840682995692779/9092289494883543046216\ 80310798090263390268*c_0101_5^11 + 7923493565092124322725225192894865250338635487/90922894948835430462\ 1680310798090263390268*c_0101_5^10 - 3438137885003034828944860913984900445300883867/18184578989767086092\ 43360621596180526780536*c_0101_5^9 - 10896203502648668778934199097193774734922838723/9092289494883543046\ 21680310798090263390268*c_0101_5^8 + 403794390375800813894081923136137468089228963/826571772262140276928\ 80028254371842126388*c_0101_5^7 + 138142591976176890918500238282382\ 94869790146383/1818457898976708609243360621596180526780536*c_0101_5\ ^6 - 4231386760118434227161047945368470471907539247/909228949488354\ 304621680310798090263390268*c_0101_5^5 - 2700368113754480315710209113822255268932704965/18184578989767086092\ 43360621596180526780536*c_0101_5^4 + 2781317197825659639177849027315561286731764749/18184578989767086092\ 43360621596180526780536*c_0101_5^3 - 26509794490246352776690647738142088569284079/4546144747441771523108\ 40155399045131695134*c_0101_5^2 - 698055715759522497327776960918472\ 70298673971/454614474744177152310840155399045131695134*c_0101_5 + 5927133748530577792354886577865572470406585/22730723737208857615542\ 0077699522565847567, c_0101_5^21 + 3*c_0101_5^20 + 5*c_0101_5^19 - 50*c_0101_5^18 - 432*c_0101_5^17 + 185*c_0101_5^16 + 4317*c_0101_5^15 - 654*c_0101_5^14 - 16578*c_0101_5^13 + 4726*c_0101_5^12 + 38625*c_0101_5^11 - 18828*c_0101_5^10 - 50902*c_0101_5^9 + 36075*c_0101_5^8 + 27740*c_0101_5^7 - 29805*c_0101_5^6 - 909*c_0101_5^5 + 8574*c_0101_5^4 - 2124*c_0101_5^3 - 608*c_0101_5^2 + 304*c_0101_5 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB