Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 2311591277] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0624 geometric_solution 4.62270573 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481719729735 0.086090587206 2 0 2 0 0132 2310 1023 0132 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506634519870 0.273420873944 1 3 1 4 0132 0132 1023 0132 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 0 0 0 0 0 0 0 -2 1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.353714367184 3.459772532566 4 2 5 4 3201 0132 0132 3120 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 2 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139554291296 0.653624998837 3 5 2 3 3120 0132 0132 2310 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 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.139554291296 0.653624998837 6 4 6 3 0132 0132 2310 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.526795128508 0.536043735730 5 5 6 6 0132 3201 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 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.551285222382 0.330087274949 ==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' : 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' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['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_6' : d['c_0101_3'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0101_3'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_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' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_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 8 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, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 64750749383073439710418280162482373127502313/8989924833820353414299\ 918792297309677928704*c_1001_3^16 - 93474960605115072543687480643571139226308665/8989924833820353414299\ 918792297309677928704*c_1001_3^15 - 1405977934530773027023870183971759546678798381/89899248338203534142\ 99918792297309677928704*c_1001_3^14 - 12423639196523521918176440319338127628745463003/4494962416910176707\ 149959396148654838964352*c_1001_3^13 - 9968464597995603936422266266666101203869295775/22474812084550883535\ 74979698074327419482176*c_1001_3^12 - 52812422074864907072658347749073421249070577793/4494962416910176707\ 149959396148654838964352*c_1001_3^11 - 864103372730668663745547860882163677113225390633/898992483382035341\ 4299918792297309677928704*c_1001_3^10 - 129890254649234397446732662847303764629523635767/128427497626005048\ 7757131256042472811132672*c_1001_3^9 + 828331763978768281418038559908715296762539314355/224748120845508835\ 3574979698074327419482176*c_1001_3^8 + 1930992470008886219961840242448546968453280242997/89899248338203534\ 14299918792297309677928704*c_1001_3^7 - 196501408011731153455032831392024171124447457563/321068744065012621\ 939282814010618202783168*c_1001_3^6 + 1774808266715414030987383113808499012318723549527/89899248338203534\ 14299918792297309677928704*c_1001_3^5 + 74510591819237457495971671085615849328446270875/3210687440650126219\ 39282814010618202783168*c_1001_3^4 - 2429136510636618403354742661196215901410480837179/89899248338203534\ 14299918792297309677928704*c_1001_3^3 + 1143306679818083429310864260138064447061970507387/89899248338203534\ 14299918792297309677928704*c_1001_3^2 - 282663526022790796620850918091519954596483164163/898992483382035341\ 4299918792297309677928704*c_1001_3 + 2018413820614197961401997964437724322078404929/56187030211377208839\ 3744924518581854870544, c_0011_0 - 1, c_0011_1 - 3200598308671342234663248913379093989985/8026718601625315548\ 4820703502654550695792*c_1001_3^16 - 293288172597870544119539691606227367455/501669912601582221780129396\ 8915909418487*c_1001_3^15 - 693884685020292071406408993803888515429\ 57/80267186016253155484820703502654550695792*c_1001_3^14 - 1229364359009982707994052100412478466884569/80267186016253155484820\ 703502654550695792*c_1001_3^13 - 1993929594202831689868400629139195\ 611317595/80267186016253155484820703502654550695792*c_1001_3^12 - 5182089633738269718661227685668460105755695/80267186016253155484820\ 703502654550695792*c_1001_3^11 - 2133344599570190991254356070623220\ 0430563405/40133593008126577742410351751327275347896*c_1001_3^10 - 45515905639672840110179532808235735516841943/8026718601625315548482\ 0703502654550695792*c_1001_3^9 + 1657106387996443620415410771427907\ 12789259555/80267186016253155484820703502654550695792*c_1001_3^8 + 51599525420677107215192525592174895028656161/4013359300812657774241\ 0351751327275347896*c_1001_3^7 - 1399222250759764157088046991940640\ 05802111607/40133593008126577742410351751327275347896*c_1001_3^6 + 70070600825086892854748537753905643415964493/8026718601625315548482\ 0703502654550695792*c_1001_3^5 + 1208828733489787218474012949331363\ 39911542903/80267186016253155484820703502654550695792*c_1001_3^4 - 57084359085035611707159306033357803322465833/4013359300812657774241\ 0351751327275347896*c_1001_3^3 + 4503935570264125050896583789310598\ 9988576445/80267186016253155484820703502654550695792*c_1001_3^2 - 1143774919650193561140052429286879182303747/10033398252031644435602\ 587937831818836974*c_1001_3 + 4868559811512388547786599751746454485\ 2771/5016699126015822217801293968915909418487, c_0011_4 + 7448830353847049749667884258479613478193/8026718601625315548\ 4820703502654550695792*c_1001_3^16 + 2706695565983798471214766608958635234311/20066796504063288871205175\ 875663637673948*c_1001_3^15 + 1613004687662798453296864844239473405\ 76209/80267186016253155484820703502654550695792*c_1001_3^14 + 2858972491095307527898618862031770084241633/80267186016253155484820\ 703502654550695792*c_1001_3^13 + 4603068928108936265222567578946917\ 235388175/80267186016253155484820703502654550695792*c_1001_3^12 + 11981334564839779738512194286303872683557807/8026718601625315548482\ 0703502654550695792*c_1001_3^11 + 495505238363215332777901601810161\ 24944093487/40133593008126577742410351751327275347896*c_1001_3^10 + 104556414009999777882765607712118835507405979/802671860162531554848\ 20703502654550695792*c_1001_3^9 - 387758697795324542233429299503071\ 755186036403/80267186016253155484820703502654550695792*c_1001_3^8 - 118267862357658068844006191567848484165811755/401335930081265777424\ 10351751327275347896*c_1001_3^7 + 328026109741846292076169174827088\ 858335998621/40133593008126577742410351751327275347896*c_1001_3^6 - 168438250725521552898913886602849911175814209/802671860162531554848\ 20703502654550695792*c_1001_3^5 - 281415960542542852116385028378668\ 720409398495/80267186016253155484820703502654550695792*c_1001_3^4 + 134362748655889456282785974892801803089347675/401335930081265777424\ 10351751327275347896*c_1001_3^3 - 106850092217625879693409632063935\ 138569220217/80267186016253155484820703502654550695792*c_1001_3^2 + 2737570155199085216849634202290695036276725/10033398252031644435602\ 587937831818836974*c_1001_3 - 1251468636183617182920143096271048189\ 22635/5016699126015822217801293968915909418487, c_0101_0 - 2630550142118190010984723920063025266347/8026718601625315548\ 4820703502654550695792*c_1001_3^16 - 1537226066441734120790159446067132090001/40133593008126577742410351\ 751327275347896*c_1001_3^15 - 5582591311886670135078384336021587843\ 3379/80267186016253155484820703502654550695792*c_1001_3^14 - 993372305819053180298773575391340507501209/802671860162531554848207\ 03502654550695792*c_1001_3^13 - 13370483742822841121669908207490799\ 42939811/80267186016253155484820703502654550695792*c_1001_3^12 - 3750045828354244725732737692268490400596039/80267186016253155484820\ 703502654550695792*c_1001_3^11 - 8442317948502405278861550183273372\ 575445055/20066796504063288871205175875663637673948*c_1001_3^10 - 26886575720669632931128328679652864621582477/8026718601625315548482\ 0703502654550695792*c_1001_3^9 + 1480855529646610237106084368654766\ 52261763047/80267186016253155484820703502654550695792*c_1001_3^8 + 11257133268809073692006194240671077981372679/2006679650406328887120\ 5175875663637673948*c_1001_3^7 - 1290113843495586799779174188289809\ 43237839973/40133593008126577742410351751327275347896*c_1001_3^6 + 125418706296968937339127153055538519461429823/802671860162531554848\ 20703502654550695792*c_1001_3^5 + 873781113105943208226642337848689\ 40800762323/80267186016253155484820703502654550695792*c_1001_3^4 - 7936919695341701366479952890143524152898376/50166991260158222178012\ 93968915909418487*c_1001_3^3 + 627774466188677436957166380271216329\ 92299455/80267186016253155484820703502654550695792*c_1001_3^2 - 7701505369756258913152672690129690616160709/40133593008126577742410\ 351751327275347896*c_1001_3 + 1036468868793452917979470536767869314\ 95882/5016699126015822217801293968915909418487, c_0101_3 + 2022914714643265345897246039475916722089/2006679650406328887\ 1205175875663637673948*c_1001_3^16 + 2798280578529010021911730563548403540903/20066796504063288871205175\ 875663637673948*c_1001_3^15 + 1089723961676551405110110716412777175\ 3440/5016699126015822217801293968915909418487*c_1001_3^14 + 773343529517424567828963143695517356038429/200667965040632888712051\ 75875663637673948*c_1001_3^13 + 29884492289838806805237808340047036\ 0453975/5016699126015822217801293968915909418487*c_1001_3^12 + 3162499702240744367076427497296573574322737/20066796504063288871205\ 175875663637673948*c_1001_3^11 + 2668199316024397024756341316538578\ 5157465947/20066796504063288871205175875663637673948*c_1001_3^10 + 13248333880269919114908495299624483525150211/1003339825203164443560\ 2587937831818836974*c_1001_3^9 - 1074120891686773683427524363168181\ 82570960745/20066796504063288871205175875663637673948*c_1001_3^8 - 56868310031493917332122191394242377678513587/2006679650406328887120\ 5175875663637673948*c_1001_3^7 + 1833671564105882962594653490583089\ 52120236111/20066796504063288871205175875663637673948*c_1001_3^6 - 14556701016570974502583973009268707459474260/5016699126015822217801\ 293968915909418487*c_1001_3^5 - 74496561171253936154246154705915184\ 936141767/20066796504063288871205175875663637673948*c_1001_3^4 + 78985215765193098860192394794470673340269287/2006679650406328887120\ 5175875663637673948*c_1001_3^3 - 1683501571229078955744653613314169\ 3149023983/10033398252031644435602587937831818836974*c_1001_3^2 + 3693750976253974042749618237302976319959685/10033398252031644435602\ 587937831818836974*c_1001_3 - 1797269884258502504160654261415283766\ 47979/5016699126015822217801293968915909418487, c_0101_5 + 5646823534054633265053306835927352763037/4013359300812657774\ 2410351751327275347896*c_1001_3^16 + 8177262206301583619324491850155293559005/40133593008126577742410351\ 751327275347896*c_1001_3^15 + 1222457011060044930349992096547632517\ 07683/40133593008126577742410351751327275347896*c_1001_3^14 + 541672958003958224695416094877153062171821/100333982520316444356025\ 87937831818836974*c_1001_3^13 + 43476090696153875552312108957998198\ 1872101/5016699126015822217801293968915909418487*c_1001_3^12 + 1133521798112316636575988515767575761941808/50166991260158222178012\ 93968915909418487*c_1001_3^11 + 75083487158537711289903041410535697\ 261864765/40133593008126577742410351751327275347896*c_1001_3^10 + 78871910493821584529608960693216905421330499/4013359300812657774241\ 0351751327275347896*c_1001_3^9 - 1471222212990624257399700179437552\ 94247486011/20066796504063288871205175875663637673948*c_1001_3^8 - 177630382536190518156983914402418193831532521/401335930081265777424\ 10351751327275347896*c_1001_3^7 + 248803394338368693904359321907813\ 057830116315/20066796504063288871205175875663637673948*c_1001_3^6 - 130718374748129016345319476119931765345171505/401335930081265777424\ 10351751327275347896*c_1001_3^5 - 105651379217573928090743482607183\ 555954661541/20066796504063288871205175875663637673948*c_1001_3^4 + 204811900465040627495126823830114622477546619/401335930081265777424\ 10351751327275347896*c_1001_3^3 - 828925098374771758975326600223164\ 91360355457/40133593008126577742410351751327275347896*c_1001_3^2 + 17346857257304884756245360473784440616405029/4013359300812657774241\ 0351751327275347896*c_1001_3 - 202692082852519676140662029632975770\ 901080/5016699126015822217801293968915909418487, c_1001_3^17 + c_1001_3^16 + 21*c_1001_3^15 + 374*c_1001_3^14 + 444*c_1001_3^13 + 1330*c_1001_3^12 + 12577*c_1001_3^11 + 8009*c_1001_3^10 - 58364*c_1001_3^9 - 8109*c_1001_3^8 + 102180*c_1001_3^7 - 62655*c_1001_3^6 - 26980*c_1001_3^5 + 53059*c_1001_3^4 - 30963*c_1001_3^3 + 9659*c_1001_3^2 - 1664*c_1001_3 + 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB