Magma V2.19-8 Tue Aug 20 2013 16:18:39 on localhost [Seed = 3768679888] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2819 geometric_solution 6.04361515 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 -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.408081078414 0.780195175282 0 3 5 4 0132 0132 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 -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.831750158391 0.896245603969 3 0 4 5 2310 0132 3201 2310 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 -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.831750158391 0.896245603969 3 1 2 3 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.176276455003 0.853577167628 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 -1 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.955461733596 0.508677637386 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766379762638 0.620090764823 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -1 0 1 -1 0 0 1 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595419429988 0.188252907055 ==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' : negation(d['1']), 's_2_4' : 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' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 842182867458779894656923386701554/122144229998018922581963694769*c_\ 0110_6^21 + 2800266047948193675699650066750083/61072114999009461290\ 9818473845*c_0110_6^20 - 17720873948579789439040225489253843/610721\ 149990094612909818473845*c_0110_6^19 - 85397342411590999512493485958243541/610721149990094612909818473845*\ c_0110_6^18 + 131449717598494985201798199067121002/6107211499900946\ 12909818473845*c_0110_6^17 + 326477812564435657841522036477645452/6\ 10721149990094612909818473845*c_0110_6^16 - 10949677922664977707737910047750744/122144229998018922581963694769*\ c_0110_6^15 + 359236663316292311890052557618021373/6107211499900946\ 12909818473845*c_0110_6^14 + 722819853573670591035125761443027916/6\ 10721149990094612909818473845*c_0110_6^13 - 406379039074581068319844681525864778/122144229998018922581963694769\ *c_0110_6^12 - 764746369941861277591904189915236773/122144229998018\ 922581963694769*c_0110_6^11 - 6247871933148949176150524354290073/12\ 2144229998018922581963694769*c_0110_6^10 + 3246709054888671967994056166438051751/61072114999009461290981847384\ 5*c_0110_6^9 + 1353555557507134738005231084892847099/61072114999009\ 4612909818473845*c_0110_6^8 - 897542665906138674006333584902850469/\ 610721149990094612909818473845*c_0110_6^7 - 603584465562844243337063595020141509/610721149990094612909818473845\ *c_0110_6^6 + 58266863286267198991860216919509801/61072114999009461\ 2909818473845*c_0110_6^5 + 71041513506114120725645131554239371/6107\ 21149990094612909818473845*c_0110_6^4 - 3257503526728356324531217779267061/610721149990094612909818473845*c\ _0110_6^3 + 2295638520862997372787265319182376/61072114999009461290\ 9818473845*c_0110_6^2 + 2915325916133313280106688184256974/61072114\ 9990094612909818473845*c_0110_6 - 552399353183982053954186507014724\ /610721149990094612909818473845, c_0011_0 - 1, c_0011_4 - 13495731287680291994107360564690/122144229998018922581963694\ 769*c_0110_6^21 + 9191547754941923490668073271131/12214422999801892\ 2581963694769*c_0110_6^20 - 57209211342625466156381633229193/122144\ 229998018922581963694769*c_0110_6^19 - 272595943242722177374808196685445/122144229998018922581963694769*c_\ 0110_6^18 + 424387050718303949124529237523064/122144229998018922581\ 963694769*c_0110_6^17 + 1034257310946553380632505287626839/12214422\ 9998018922581963694769*c_0110_6^16 - 184533472571225010574611717164718/122144229998018922581963694769*c_\ 0110_6^15 + 1172141306899101678932762374370711/12214422999801892258\ 1963694769*c_0110_6^14 + 2299489836895600188234511745104475/1221442\ 29998018922581963694769*c_0110_6^13 - 6517252253048156932277895370822082/122144229998018922581963694769*c\ _0110_6^12 - 12105656881232603693614085830784530/122144229998018922\ 581963694769*c_0110_6^11 - 15827785040430713549156633408518/1221442\ 29998018922581963694769*c_0110_6^10 + 10183671108598030716789402567117415/122144229998018922581963694769*\ c_0110_6^9 + 4102730863964140005528053537999113/1221442299980189225\ 81963694769*c_0110_6^8 - 2847981041585340208805460130630951/1221442\ 29998018922581963694769*c_0110_6^7 - 1814730710625143362977143843525680/122144229998018922581963694769*c\ _0110_6^6 + 221675983485073023935685092959172/122144229998018922581\ 963694769*c_0110_6^5 + 216506123587809926797350344533729/1221442299\ 98018922581963694769*c_0110_6^4 - 16471552527456162287566245321473/\ 122144229998018922581963694769*c_0110_6^3 + 6388136313842829556120318614148/122144229998018922581963694769*c_01\ 10_6^2 + 8650728416473830645907427320034/12214422999801892258196369\ 4769*c_0110_6 - 1954575964527561676755421920592/1221442299980189225\ 81963694769, c_0101_0 + 38400384973862482505063394550100/122144229998018922581963694\ 769*c_0110_6^21 - 26232305603581541958852777535880/1221442299980189\ 22581963694769*c_0110_6^20 + 161779188814694645764468075086871/1221\ 44229998018922581963694769*c_0110_6^19 + 775799591602693841717255136733886/122144229998018922581963694769*c_\ 0110_6^18 - 1213957200923523320572531424614435/12214422999801892258\ 1963694769*c_0110_6^17 - 2962225648806994888161481012384544/1221442\ 29998018922581963694769*c_0110_6^16 + 557368349701654601508374061028701/122144229998018922581963694769*c_\ 0110_6^15 - 3257701696959989461609963756236778/12214422999801892258\ 1963694769*c_0110_6^14 - 6517965476252113256291179436833421/1221442\ 29998018922581963694769*c_0110_6^13 + 18676874159507841511829571427895886/122144229998018922581963694769*\ c_0110_6^12 + 34605591526434608086722553453631081/12214422999801892\ 2581963694769*c_0110_6^11 - 439192988836418907527907485453056/12214\ 4229998018922581963694769*c_0110_6^10 - 29960064262729791735190577434037575/122144229998018922581963694769*\ c_0110_6^9 - 12029574924255667291831793604986341/122144229998018922\ 581963694769*c_0110_6^8 + 8541613731931193626022898364189056/122144\ 229998018922581963694769*c_0110_6^7 + 5553271381502815629083529649973411/122144229998018922581963694769*c\ _0110_6^6 - 596665122837703329653328971234987/122144229998018922581\ 963694769*c_0110_6^5 - 673036610077682125621966082783568/1221442299\ 98018922581963694769*c_0110_6^4 + 29213477960686578318793832875480/\ 122144229998018922581963694769*c_0110_6^3 - 21761247947747986397870410651550/122144229998018922581963694769*c_0\ 110_6^2 - 26968509531676504566634358037601/122144229998018922581963\ 694769*c_0110_6 + 5175442050636841982704736470204/12214422999801892\ 2581963694769, c_0101_1 + 23572533708417447767924887850710/122144229998018922581963694\ 769*c_0110_6^21 - 15035522467524111597824749178799/1221442299980189\ 22581963694769*c_0110_6^20 + 99119382772106389894371786632990/12214\ 4229998018922581963694769*c_0110_6^19 + 480816545568196544846450888096301/122144229998018922581963694769*c_\ 0110_6^18 - 721531879657535041680179454460021/122144229998018922581\ 963694769*c_0110_6^17 - 1839291901445920368518946302348506/12214422\ 9998018922581963694769*c_0110_6^16 + 252485370145423149654970746718790/122144229998018922581963694769*c_\ 0110_6^15 - 2036541810127813696401703886223828/12214422999801892258\ 1963694769*c_0110_6^14 - 4119944811686691573914702641561767/1221442\ 29998018922581963694769*c_0110_6^13 + 11229717667596352209936784729459623/122144229998018922581963694769*\ c_0110_6^12 + 21621493343663306177189413364730132/12214422999801892\ 2581963694769*c_0110_6^11 + 862367554825929978531067136281901/12214\ 4229998018922581963694769*c_0110_6^10 - 17739512128516948168777483156632457/122144229998018922581963694769*\ c_0110_6^9 - 7777712016043109477102450061276885/1221442299980189225\ 81963694769*c_0110_6^8 + 4678391738602949526792619904353025/1221442\ 29998018922581963694769*c_0110_6^7 + 3282242401857025207617159313479262/122144229998018922581963694769*c\ _0110_6^6 - 282842745453348917205104173654351/122144229998018922581\ 963694769*c_0110_6^5 - 370319044032866163724805114349554/1221442299\ 98018922581963694769*c_0110_6^4 + 22387936600113406589492688534457/\ 122144229998018922581963694769*c_0110_6^3 - 11330604776627677552847196756461/122144229998018922581963694769*c_0\ 110_6^2 - 15843772930457202005447725952617/122144229998018922581963\ 694769*c_0110_6 + 2857514349146884192355088793886/12214422999801892\ 2581963694769, c_0101_2 - 30656767139548536190959955515310/122144229998018922581963694\ 769*c_0110_6^21 + 20281201783953661620702215558209/1221442299980189\ 22581963694769*c_0110_6^20 - 129325257422546118431321116060353/1221\ 44229998018922581963694769*c_0110_6^19 - 622008707120122911781283088234405/122144229998018922581963694769*c_\ 0110_6^18 + 953095973931579379979291528402152/122144229998018922581\ 963694769*c_0110_6^17 + 2372172334431019720095940329814486/12214422\ 9998018922581963694769*c_0110_6^16 - 381563452633483608223358047279132/122144229998018922581963694769*c_\ 0110_6^15 + 2642665428283217061215537331824309/12214422999801892258\ 1963694769*c_0110_6^14 + 5280715373078224466342160351872156/1221442\ 29998018922581963694769*c_0110_6^13 - 14730305461803028386372875425146888/122144229998018922581963694769*\ c_0110_6^12 - 27814760584081286791003225096780929/12214422999801892\ 2581963694769*c_0110_6^11 - 464917984065881524472600276163068/12214\ 4229998018922581963694769*c_0110_6^10 + 23272219421315233379107297537190828/122144229998018922581963694769*\ c_0110_6^9 + 9751573402985012130510275153614227/1221442299980189225\ 81963694769*c_0110_6^8 - 6371202053250506805896956207784474/1221442\ 29998018922581963694769*c_0110_6^7 - 4257100981543821610696619468885068/122144229998018922581963694769*c\ _0110_6^6 + 440100351155832393561097242527501/122144229998018922581\ 963694769*c_0110_6^5 + 497882228022848207795633820089437/1221442299\ 98018922581963694769*c_0110_6^4 - 31400878110542164619242758480961/\ 122144229998018922581963694769*c_0110_6^3 + 15073734000789028742967552582561/122144229998018922581963694769*c_0\ 110_6^2 + 20376928266819141055136549317330/122144229998018922581963\ 694769*c_0110_6 - 4146609001698597259466980959584/12214422999801892\ 2581963694769, c_0101_3 - 49456404164783666700548112044850/122144229998018922581963694\ 769*c_0110_6^21 + 32495618703316790632454060310225/1221442299980189\ 22581963694769*c_0110_6^20 - 208332772907560025348673025319824/1221\ 44229998018922581963694769*c_0110_6^19 - 1004295652267308122336655089708273/122144229998018922581963694769*c\ _0110_6^18 + 1533713848386236627127445695960216/1221442299980189225\ 81963694769*c_0110_6^17 + 3837503150960497502682963776473125/122144\ 229998018922581963694769*c_0110_6^16 - 598415722555859574525516128008708/122144229998018922581963694769*c_\ 0110_6^15 + 4245683956286077566560424281115751/12214422999801892258\ 1963694769*c_0110_6^14 + 8521230236967637567771714741063970/1221442\ 29998018922581963694769*c_0110_6^13 - 23744179044378624507069362085079583/122144229998018922581963694769*\ c_0110_6^12 - 45023186787818112702199111292194626/12214422999801892\ 2581963694769*c_0110_6^11 - 930650625800863762385608124565410/12214\ 4229998018922581963694769*c_0110_6^10 + 37747658017172695085576007725159755/122144229998018922581963694769*\ c_0110_6^9 + 16128977124595142829329511503954602/122144229998018922\ 581963694769*c_0110_6^8 - 10204062675917221022667709919943693/12214\ 4229998018922581963694769*c_0110_6^7 - 7051670390426867339359994603200389/122144229998018922581963694769*c\ _0110_6^6 + 608339877968014203046876318877356/122144229998018922581\ 963694769*c_0110_6^5 + 813077229058442703497622809712676/1221442299\ 98018922581963694769*c_0110_6^4 - 34798760843031615599492696586176/\ 122144229998018922581963694769*c_0110_6^3 + 26962833195249026796736882212840/122144229998018922581963694769*c_0\ 110_6^2 + 33960553204116683089473519799883/122144229998018922581963\ 694769*c_0110_6 - 6042922020165760075197025902936/12214422999801892\ 2581963694769, c_0110_6^22 + 1/10*c_0110_6^21 + 37/10*c_0110_6^20 + 47/2*c_0110_6^19 - 157/10*c_0110_6^18 - 507/5*c_0110_6^17 - 463/10*c_0110_6^16 - 377/5*c_0110_6^15 - 237*c_0110_6^14 + 3511/10*c_0110_6^13 + 1277*c_0110_6^12 + 702*c_0110_6^11 - 3824/5*c_0110_6^10 - 9101/10*c_0110_6^9 - 319/10*c_0110_6^8 + 3063/10*c_0110_6^7 + 953/10*c_0110_6^6 - 277/10*c_0110_6^5 - 121/10*c_0110_6^4 + 1/10*c_0110_6^3 - 11/10*c_0110_6^2 - 2/5*c_0110_6 + 1/10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB