Magma V2.19-8 Tue Aug 20 2013 16:14:21 on localhost [Seed = 2884253578] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s344 geometric_solution 4.54708562 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 1230 3012 3201 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 -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.233773804314 0.157766091737 0 0 2 2 0132 2310 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.141578611517 1.881496739328 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 0 -1 -1 0 0 1 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.453935412870 0.491119422900 2 4 4 5 0132 0321 1302 0132 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 1 -1 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.666861750816 0.820574589291 3 5 2 3 2031 2310 0132 0321 0 0 0 0 0 0 -1 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 1 -1 1 0 -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.666861750816 0.820574589291 5 5 3 4 1302 2031 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.544004780158 0.334846366702 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : 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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_2, c_0011_4, c_0011_5, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 96060210949501034063040745/4170052048979244594231424*c_0110_5^17 + 21453298116697982778061425/521256506122405574278928*c_0110_5^16 + 1459259195967938204550891727/2085026024489622297115712*c_0110_5^15 - 553164789811860620172002283/2085026024489622297115712*c_0110_5^14 - 30882775926783236184286667731/4170052048979244594231424*c_0110_5^13 - 1600868687145240924482691775/1042513012244811148557856*c_0110_5^1\ 2 + 81659364491815192093724738869/2085026024489622297115712*c_0110_\ 5^11 + 90168694815494411607616018843/4170052048979244594231424*c_01\ 10_5^10 - 461534559410718881567846224229/4170052048979244594231424*\ c_0110_5^9 - 311973309903184969798072235059/41700520489792445942314\ 24*c_0110_5^8 + 91128400337706957353317589807/521256506122405574278\ 928*c_0110_5^7 + 5841695117969619659725599523/651570632653006967848\ 66*c_0110_5^6 - 653465441401057290244715603925/41700520489792445942\ 31424*c_0110_5^5 - 9584104019853141197798230023/1042513012244811148\ 557856*c_0110_5^4 + 238258856407378603781733706001/4170052048979244\ 594231424*c_0110_5^3 - 18488245913925397875900485717/20850260244896\ 22297115712*c_0110_5^2 - 1763789675100669960978157219/2606282530612\ 02787139464*c_0110_5 + 862163241006081325703871893/5212565061224055\ 74278928, c_0011_0 - 1, c_0011_2 + 2611740649305407126865/65157063265300696784866*c_0110_5^17 - 1911123406719147072618/32578531632650348392433*c_0110_5^16 - 80563955529600548112271/65157063265300696784866*c_0110_5^15 + 2055424440020261753467/32578531632650348392433*c_0110_5^14 + 840083310398887566478497/65157063265300696784866*c_0110_5^13 + 221449308205895455063774/32578531632650348392433*c_0110_5^12 - 4287865837781702851721449/65157063265300696784866*c_0110_5^11 - 3806838351783446294378483/65157063265300696784866*c_0110_5^10 + 11277547156702264221474937/65157063265300696784866*c_0110_5^9 + 5981709514269608354800207/32578531632650348392433*c_0110_5^8 - 15893618321272616721585675/65157063265300696784866*c_0110_5^7 - 14861837565842727551152087/65157063265300696784866*c_0110_5^6 + 12965912013422853050142577/65157063265300696784866*c_0110_5^5 + 2319238060945293342657032/32578531632650348392433*c_0110_5^4 - 2483271104185490864720623/32578531632650348392433*c_0110_5^3 - 106431196810171552993974/32578531632650348392433*c_0110_5^2 + 604239878499136008738571/65157063265300696784866*c_0110_5 - 46348515184770843918758/32578531632650348392433, c_0011_4 + 72878464068671802932779/260628253061202787139464*c_0110_5^17 - 15893144557967585324155/32578531632650348392433*c_0110_5^16 - 1109417598594357227535195/130314126530601393569732*c_0110_5^15 + 372277315844487536828873/130314126530601393569732*c_0110_5^14 + 23440211390349797545731273/260628253061202787139464*c_0110_5^13 + 1464400570236294464729821/65157063265300696784866*c_0110_5^12 - 61718338153876017689000809/130314126530601393569732*c_0110_5^11 - 73598949369542168098661953/260628253061202787139464*c_0110_5^10 + 345867619968407368016479479/260628253061202787139464*c_0110_5^9 + 250747327348767007003693709/260628253061202787139464*c_0110_5^8 - 134779108341543698134586245/65157063265300696784866*c_0110_5^7 - 76077663155928119183348801/65157063265300696784866*c_0110_5^6 + 477577427621814081147600487/260628253061202787139464*c_0110_5^5 + 11624270027834927802752579/65157063265300696784866*c_0110_5^4 - 174268190087021546173732311/260628253061202787139464*c_0110_5^3 + 10672987214919961283441611/130314126530601393569732*c_0110_5^2 + 5149274824550917354968903/65157063265300696784866*c_0110_5 - 529151797466488730774984/32578531632650348392433, c_0011_5 - 92591316765995166257659/260628253061202787139464*c_0110_5^17 + 19455367199316295810911/32578531632650348392433*c_0110_5^16 + 1413923440279496572002535/130314126530601393569732*c_0110_5^15 - 383240484987542786210977/130314126530601393569732*c_0110_5^14 - 29791809943847735709868993/260628253061202787139464*c_0110_5^13 - 2320492374336265407043799/65157063265300696784866*c_0110_5^12 + 77926360881792404632305049/130314126530601393569732*c_0110_5^11 + 102679983551487796724849905/260628253061202787139464*c_0110_5^10 - 431149721919516845503105063/260628253061202787139464*c_0110_5^9 - 341718199711848392875855485/260628253061202787139464*c_0110_5^8 + 164953597484373507289036035/65157063265300696784866*c_0110_5^7 + 104223517123778076072569045/65157063265300696784866*c_0110_5^6 - 577793785702396766912190071/260628253061202787139464*c_0110_5^5 - 20195622277696774642336953/65157063265300696784866*c_0110_5^4 + 214802541664931551490341783/260628253061202787139464*c_0110_5^3 - 10618189379798966954869255/130314126530601393569732*c_0110_5^2 - 6447035371860079430350459/65157063265300696784866*c_0110_5 + 636244966435918428884588/32578531632650348392433, c_0101_1 + 109939875043069715293563/260628253061202787139464*c_0110_5^1\ 7 - 92590923423301648126365/130314126530601393569732*c_0110_5^16 - 1678283738025964392944679/130314126530601393569732*c_0110_5^15 + 459669885835932153832607/130314126530601393569732*c_0110_5^14 + 35359130024385840509637357/260628253061202787139464*c_0110_5^13 + 5471232483998092724668843/130314126530601393569732*c_0110_5^12 - 92483542297848341158130257/130314126530601393569732*c_0110_5^11 - 121603517252341088830159765/260628253061202787139464*c_0110_5^10 + 511580728222259128886936701/260628253061202787139464*c_0110_5^9 + 405201500651153118579431011/260628253061202787139464*c_0110_5^8 - 391034984914696388930785897/130314126530601393569732*c_0110_5^7 - 123706256872388737756788283/65157063265300696784866*c_0110_5^6 + 682547616643220188847004895/260628253061202787139464*c_0110_5^5 + 48450613004840991953866437/130314126530601393569732*c_0110_5^4 - 251197118787851016639886727/260628253061202787139464*c_0110_5^3 + 2924173338614890129307262/32578531632650348392433*c_0110_5^2 + 3729368602089163358497145/32578531632650348392433*c_0110_5 - 726183764938410053472087/32578531632650348392433, c_0110_5^18 - 2*c_0110_5^17 - 30*c_0110_5^16 + 18*c_0110_5^15 + 319*c_0110_5^14 - 2*c_0110_5^13 - 1714*c_0110_5^12 - 575*c_0110_5^11 + 5003*c_0110_5^10 + 2217*c_0110_5^9 - 8278*c_0110_5^8 - 2256*c_0110_5^7 + 7629*c_0110_5^6 - 1078*c_0110_5^5 - 2561*c_0110_5^4 + 932*c_0110_5^3 + 204*c_0110_5^2 - 136*c_0110_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB