Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 3246415150] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0722 geometric_solution 4.67242713 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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.962697209170 0.173874430124 0 2 2 0 3201 0132 1023 0132 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 -1 0 1 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 1.775869506128 0.431101532269 3 1 1 3 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 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.165979290815 0.342053197109 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 1 0 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 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.107671851159 1.045811777466 6 5 3 5 0132 1023 0132 3012 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 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.454059637640 1.082143105648 4 6 4 3 1023 3201 1230 0132 0 0 0 0 0 0 1 -1 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 0 0 0.454059637640 1.082143105648 4 6 5 6 0132 2310 2310 3201 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 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.329696751706 0.785753758400 ==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' : negation(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' : negation(d['1']), 's_2_5' : 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' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 1326694189302984752302125028797386103117/22883397649114326769497324\ 9768251816*c_0101_3*c_0101_6^17 - 295296798422395730131216552192178\ 11135619/228833976491143267694973249768251816*c_0101_3*c_0101_6^16 - 249126466415370179305165418485450563329733/228833976491143267694973\ 249768251816*c_0101_3*c_0101_6^15 + 50375199081818965751495333078215868314930/2860424706139290846187165\ 6221031477*c_0101_3*c_0101_6^14 - 119301997929806547037939477223280\ 51442565/28604247061392908461871656221031477*c_0101_3*c_0101_6^13 + 532653689609344505519638423490546618535443/228833976491143267694973\ 249768251816*c_0101_3*c_0101_6^12 + 2607969034283587270264419407822527998829223/11441698824557163384748\ 6624884125908*c_0101_3*c_0101_6^11 - 7264998878758540856019707191502976966087913/22883397649114326769497\ 3249768251816*c_0101_3*c_0101_6^10 + 2374281805968007742847136199791704964248525/22883397649114326769497\ 3249768251816*c_0101_3*c_0101_6^9 - 6663189803437766179863799849550420876413921/22883397649114326769497\ 3249768251816*c_0101_3*c_0101_6^8 - 1444873004207794061426899779544985534398425/11441698824557163384748\ 6624884125908*c_0101_3*c_0101_6^7 + 333976304894622287095314687732249924393531/114416988245571633847486\ 624884125908*c_0101_3*c_0101_6^6 + 172730108384943973998164873842376785347443/228833976491143267694973\ 249768251816*c_0101_3*c_0101_6^5 + 585383914958119190232990667493182960724689/114416988245571633847486\ 624884125908*c_0101_3*c_0101_6^4 + 392436515469675497707205178819182859143311/228833976491143267694973\ 249768251816*c_0101_3*c_0101_6^3 - 95025765477600901139046380405424608289405/2288339764911432676949732\ 49768251816*c_0101_3*c_0101_6^2 - 242671781611587014900953962764159\ 13630235/114416988245571633847486624884125908*c_0101_3*c_0101_6 - 4892181472866485675003830252804582499041/22883397649114326769497324\ 9768251816*c_0101_3, c_0011_0 - 1, c_0011_1 - 41261793701922038650508470951607524/286042470613929084618716\ 56221031477*c_0101_6^17 - 897441963055158986726340717756949274/2860\ 4247061392908461871656221031477*c_0101_6^16 - 7286189478092849727499133314063942169/28604247061392908461871656221\ 031477*c_0101_6^15 + 16366352253629561811924453636140631066/2860424\ 7061392908461871656221031477*c_0101_6^14 - 10209291283636761860685902182025107680/2860424706139290846187165622\ 1031477*c_0101_6^13 + 19656850808709532073713910073418430832/286042\ 47061392908461871656221031477*c_0101_6^12 + 153194859409551405759560889603228149020/286042470613929084618716562\ 21031477*c_0101_6^11 - 306371516797375535526955592981475225529/2860\ 4247061392908461871656221031477*c_0101_6^10 + 206944145932245192573665727589006824502/286042470613929084618716562\ 21031477*c_0101_6^9 - 273710871632111387169240545854891599601/28604\ 247061392908461871656221031477*c_0101_6^8 + 28837338197408281073995382443869970402/2860424706139290846187165622\ 1031477*c_0101_6^7 + 40299134534251042430497038024972685994/2860424\ 7061392908461871656221031477*c_0101_6^6 - 11165518463983335477210328941967783259/2860424706139290846187165622\ 1031477*c_0101_6^5 + 36983303492514744216637872421559683222/2860424\ 7061392908461871656221031477*c_0101_6^4 - 6418083021076615227835337694544291821/28604247061392908461871656221\ 031477*c_0101_6^3 - 4988071330367000074803634994051169815/286042470\ 61392908461871656221031477*c_0101_6^2 + 665401537635574167328491086343256515/286042470613929084618716562210\ 31477*c_0101_6 + 142960273439024672614836757665073235/2860424706139\ 2908461871656221031477, c_0011_4 - 29026684460730553050265533606897641/286042470613929084618716\ 56221031477*c_0101_3*c_0101_6^17 - 619215919707020425668790231068487688/286042470613929084618716562210\ 31477*c_0101_3*c_0101_6^16 - 4859247953236088770881773993317286521/\ 28604247061392908461871656221031477*c_0101_3*c_0101_6^15 + 13717497997637611072234293790141189016/2860424706139290846187165622\ 1031477*c_0101_3*c_0101_6^14 - 114443172042692833270356883231101441\ 25/28604247061392908461871656221031477*c_0101_3*c_0101_6^13 + 15824332531413217222199686503088771257/2860424706139290846187165622\ 1031477*c_0101_3*c_0101_6^12 + 102408731838188352754282886761650544\ 728/28604247061392908461871656221031477*c_0101_3*c_0101_6^11 - 261770851842553837876367954079544998053/286042470613929084618716562\ 21031477*c_0101_3*c_0101_6^10 + 22414700936040348265810165121754539\ 0299/28604247061392908461871656221031477*c_0101_3*c_0101_6^9 - 234944030054279389677674318398277176409/286042470613929084618716562\ 21031477*c_0101_3*c_0101_6^8 + 917058580619473119518536683375442431\ 65/28604247061392908461871656221031477*c_0101_3*c_0101_6^7 + 36580466453643878732399683459409748401/2860424706139290846187165622\ 1031477*c_0101_3*c_0101_6^6 - 1641088739527075774659412332837763033\ 3/28604247061392908461871656221031477*c_0101_3*c_0101_6^5 + 27206326929295252734373729908280300281/2860424706139290846187165622\ 1031477*c_0101_3*c_0101_6^4 - 1521767888417954924216635399303386163\ 0/28604247061392908461871656221031477*c_0101_3*c_0101_6^3 - 4324916355057642624694302177819367774/28604247061392908461871656221\ 031477*c_0101_3*c_0101_6^2 + 1561004623199059511368696953090440913/\ 28604247061392908461871656221031477*c_0101_3*c_0101_6 + 188091935545071175208314278814541144/286042470613929084618716562210\ 31477*c_0101_3, c_0101_1 + 72674497723094913086734258068096716/286042470613929084618716\ 56221031477*c_0101_3*c_0101_6^17 + 1606031865267275658490988869749646442/28604247061392908461871656221\ 031477*c_0101_3*c_0101_6^16 + 1339167265049186862921800510024842044\ 2/28604247061392908461871656221031477*c_0101_3*c_0101_6^15 - 24197448400153784527626573647794458423/2860424706139290846187165622\ 1031477*c_0101_3*c_0101_6^14 + 915815602195207938160637570506679279\ 5/28604247061392908461871656221031477*c_0101_3*c_0101_6^13 - 30738402401607281821115291873106179051/2860424706139290846187165622\ 1031477*c_0101_3*c_0101_6^12 - 280845940033669805354643773444696945\ 237/28604247061392908461871656221031477*c_0101_3*c_0101_6^11 + 442517784043082111721000848245421537726/286042470613929084618716562\ 21031477*c_0101_3*c_0101_6^10 - 20215358449065743356145839696699931\ 1079/28604247061392908461871656221031477*c_0101_3*c_0101_6^9 + 398972341056926470226796898170421600090/286042470613929084618716562\ 21031477*c_0101_3*c_0101_6^8 + 949003580493575479576528986165584638\ 67/28604247061392908461871656221031477*c_0101_3*c_0101_6^7 - 50223856595753230851051658045727293818/2860424706139290846187165622\ 1031477*c_0101_3*c_0101_6^6 + 392514504239291299096669610223208080/\ 28604247061392908461871656221031477*c_0101_3*c_0101_6^5 - 64604243167093459680642425244404810307/2860424706139290846187165622\ 1031477*c_0101_3*c_0101_6^4 - 1116374411706678199792831732701973649\ 7/28604247061392908461871656221031477*c_0101_3*c_0101_6^3 + 6593170936459291919909094035412064725/28604247061392908461871656221\ 031477*c_0101_3*c_0101_6^2 + 1372102165022174156834576733286442635/\ 28604247061392908461871656221031477*c_0101_3*c_0101_6 + 125889568897500320068667075547799397/286042470613929084618716562210\ 31477*c_0101_3, c_0101_2 + 19371138429051741437051508283260414/286042470613929084618716\ 56221031477*c_0101_6^17 + 423608618616871884266553123138084141/2860\ 4247061392908461871656221031477*c_0101_6^16 + 3471078382999725845490560426906321743/28604247061392908461871656221\ 031477*c_0101_6^15 - 7264474641924083687797451483716883821/28604247\ 061392908461871656221031477*c_0101_6^14 + 4010471955895882130741614325081431370/28604247061392908461871656221\ 031477*c_0101_6^13 - 8908603068713318193485434620801908507/28604247\ 061392908461871656221031477*c_0101_6^12 - 72894216056580129178290126899462048066/2860424706139290846187165622\ 1031477*c_0101_6^11 + 135035088065960684793786463044369632429/28604\ 247061392908461871656221031477*c_0101_6^10 - 82786150111129830588182391230919742287/2860424706139290846187165622\ 1031477*c_0101_6^9 + 121574316372039051040576902419041915754/286042\ 47061392908461871656221031477*c_0101_6^8 - 805903131777073596342323826274413207/286042470613929084618716562210\ 31477*c_0101_6^7 - 16439914079731488299644388861984527974/286042470\ 61392908461871656221031477*c_0101_6^6 + 3317365618114007574005195749803541738/28604247061392908461871656221\ 031477*c_0101_6^5 - 17336626849812879614835737946337389423/28604247\ 061392908461871656221031477*c_0101_6^4 + 899886847873856924353493871422207606/286042470613929084618716562210\ 31477*c_0101_6^3 + 2054458259031478913223211024407700810/2860424706\ 1392908461871656221031477*c_0101_6^2 - 101752471662896710705947179868569102/286042470613929084618716562210\ 31477*c_0101_6 - 29026684460730553050265533606897641/28604247061392\ 908461871656221031477, c_0101_3^2 - 868668139916426566644425484384755/286042470613929084618716\ 56221031477*c_0101_6^17 - 17875517376236313038399169436381554/28604\ 247061392908461871656221031477*c_0101_6^16 - 131038368762431207102210089653590470/286042470613929084618716562210\ 31477*c_0101_6^15 + 529000100840806817310192127321198480/2860424706\ 1392908461871656221031477*c_0101_6^14 - 580226964645049467874880097748821444/286042470613929084618716562210\ 31477*c_0101_6^13 + 586049549993453651552819287906030358/2860424706\ 1392908461871656221031477*c_0101_6^12 + 2776520842135594187854603028976596589/28604247061392908461871656221\ 031477*c_0101_6^11 - 10318245075720494509295516660520969696/2860424\ 7061392908461871656221031477*c_0101_6^10 + 11100197879018922900334512126264925089/2860424706139290846187165622\ 1031477*c_0101_6^9 - 9385118017629231437221517162125284619/28604247\ 061392908461871656221031477*c_0101_6^8 + 6603293641544624302116883315701204418/28604247061392908461871656221\ 031477*c_0101_6^7 + 1300686348706688749650387028618834353/286042470\ 61392908461871656221031477*c_0101_6^6 - 1061041484275971016547550682919845408/28604247061392908461871656221\ 031477*c_0101_6^5 + 620278973605177976355534439877196433/2860424706\ 1392908461871656221031477*c_0101_6^4 - 1044001570979171150534609097424392180/28604247061392908461871656221\ 031477*c_0101_6^3 - 211562212766076955143077512242273705/2860424706\ 1392908461871656221031477*c_0101_6^2 + 109056562549598953781450742945150742/286042470613929084618716562210\ 31477*c_0101_6 + 10793339160942680621363129924730568/28604247061392\ 908461871656221031477, c_0101_6^18 + 22*c_0101_6^17 + 182*c_0101_6^16 - 353*c_0101_6^15 + 144*c_0101_6^14 - 407*c_0101_6^13 - 3835*c_0101_6^12 + 6507*c_0101_6^11 - 3070*c_0101_6^10 + 5242*c_0101_6^9 + 1029*c_0101_6^8 - 1288*c_0101_6^7 - c_0101_6^6 - 823*c_0101_6^5 - 73*c_0101_6^4 + 180*c_0101_6^3 + 17*c_0101_6^2 - 9*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB