Magma V2.19-8 Tue Aug 20 2013 16:17:02 on localhost [Seed = 3600239108] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1280 geometric_solution 5.17441219 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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.501497242810 0.285557636715 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 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 0 0 0 1.076573995019 0.371479850959 3 1 1 4 0132 0132 1023 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 0 0 0 -1 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 0.652682094061 0.339580942240 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.567111516929 0.372513233213 6 3 2 5 1023 1302 0132 1023 0 0 0 0 0 0 -1 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 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.567111516929 0.372513233213 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997638425335 1.182603305135 6 4 6 3 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.683779664955 0.508801030182 ==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_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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), '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_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 18940592272133819462619680163350837/1560693125849348815369854188901\ 3824*c_0110_4^13 + 3632260653275508528294506439813641/1114780804178\ 106296692752992072416*c_0110_4^12 + 13110656618746337901697132431052101/2229561608356212593385505984144\ 832*c_0110_4^11 + 839680598910537439660720213835370041/156069312584\ 93488153698541889013824*c_0110_4^10 + 31694817343816637766326896215713613159/1560693125849348815369854188\ 9013824*c_0110_4^9 + 26698674842691040338652111723707610059/2229561\ 608356212593385505984144832*c_0110_4^8 - 53295917125119958922889507848702458391/5573904020890531483463764960\ 36208*c_0110_4^7 + 3191413729489623555840635493024610038005/1560693\ 1258493488153698541889013824*c_0110_4^6 - 654074447098281811739849210032388750575/390173281462337203842463547\ 2253456*c_0110_4^5 - 21321621418418754648765250628544372121/1560693\ 1258493488153698541889013824*c_0110_4^4 + 1252512626442923314231809133506196648237/15606931258493488153698541\ 889013824*c_0110_4^3 - 30467091856472113932051075513103188817/97543\ 3203655843009606158868063364*c_0110_4^2 - 30947100232793561277715649025881979643/3901732814623372038424635472\ 253456*c_0110_4 + 2398653396307591715422466560617691937/48771660182\ 7921504803079434031682, c_0011_0 - 1, c_0011_1 - 11223794791537095793385077403/837551317939974678206425989536\ *c_0110_4^13 - 4055113900699485275263302597/10469391474249683477580\ 3248692*c_0110_4^12 - 62890302589905812853797401513/837551317939974\ 678206425989536*c_0110_4^11 - 517332576946961879151233429941/837551\ 317939974678206425989536*c_0110_4^10 - 18903829535397783935562945394499/837551317939974678206425989536*c_0\ 110_4^9 - 114730886046023540732870238109213/83755131793997467820642\ 5989536*c_0110_4^8 + 428768569323077770905445934311657/418775658969\ 987339103212994768*c_0110_4^7 - 1736275103986932186373452010502267/\ 837551317939974678206425989536*c_0110_4^6 + 658203958912434564911687618619737/418775658969987339103212994768*c_\ 0110_4^5 + 101811662019355073963005583395939/8375513179399746782064\ 25989536*c_0110_4^4 - 664115480116472238450038682641357/83755131793\ 9974678206425989536*c_0110_4^3 + 115226002171333308983936145345993/\ 418775658969987339103212994768*c_0110_4^2 + 2112232654217326908386226544704/26173478685624208693950812173*c_011\ 0_4 - 1176229335686331254826833410739/26173478685624208693950812173\ , c_0011_4 + 8912460653117572956378958477/837551317939974678206425989536*\ c_0110_4^13 + 2822383563626983988582259899/104693914742496834775803\ 248692*c_0110_4^12 + 38018635840221184402948402711/8375513179399746\ 78206425989536*c_0110_4^11 + 382775995068984514275067773379/8375513\ 17939974678206425989536*c_0110_4^10 + 14840546752912981042328415390549/837551317939974678206425989536*c_0\ 110_4^9 + 85601013811623631226489020265427/837551317939974678206425\ 989536*c_0110_4^8 - 359087202681325241771891409439691/4187756589699\ 87339103212994768*c_0110_4^7 + 1589919667482207838916733929807053/8\ 37551317939974678206425989536*c_0110_4^6 - 677981168529600669972092091544219/418775658969987339103212994768*c_\ 0110_4^5 + 27184892965508912151910784286675/83755131793997467820642\ 5989536*c_0110_4^4 + 638193198783570132531772127424771/837551317939\ 974678206425989536*c_0110_4^3 - 129235313228869904176877774461903/4\ 18775658969987339103212994768*c_0110_4^2 - 3895538833711649714142589425445/52346957371248417387901624346*c_011\ 0_4 + 1232738977521977361038167728915/26173478685624208693950812173\ , c_0101_0 + 63956304294411534826860791619/167510263587994935641285197907\ 2*c_0110_4^13 + 92181864869715042106131975471/837551317939974678206\ 425989536*c_0110_4^12 + 354251709391266831372578351433/167510263587\ 9949356412851979072*c_0110_4^11 + 2932883610039732860872983006691/1\ 675102635879949356412851979072*c_0110_4^10 + 107663265158932497654644606685273/1675102635879949356412851979072*c\ _0110_4^9 + 652767401914521174745268269815339/167510263587994935641\ 2851979072*c_0110_4^8 - 1224078973397681834381840194987509/41877565\ 8969987339103212994768*c_0110_4^7 + 9896164341955605968691856502992255/1675102635879949356412851979072*\ c_0110_4^6 - 464201557824332256863322110116295/10469391474249683477\ 5803248692*c_0110_4^5 - 658527888394798854669003134807083/167510263\ 5879949356412851979072*c_0110_4^4 + 3743304037164747387999329417618927/1675102635879949356412851979072*\ c_0110_4^3 - 77637666593891778513764969725159/104693914742496834775\ 803248692*c_0110_4^2 - 24277895548613402125585810363237/10469391474\ 2496834775803248692*c_0110_4 + 3155192029793137919104034423777/2617\ 3478685624208693950812173, c_0101_2 + 913293857970989015299961349/26173478685624208693950812173*c_\ 0110_4^13 + 42494815925909015623570305913/4187756589699873391032129\ 94768*c_0110_4^12 + 41146305713441452619794727781/20938782948499366\ 9551606497384*c_0110_4^11 + 673208281960534400112375723919/41877565\ 8969987339103212994768*c_0110_4^10 + 24618403718573323725317338082829/418775658969987339103212994768*c_0\ 110_4^9 + 149784734497667686183588608508203/41877565896998733910321\ 2994768*c_0110_4^8 - 1114426698803071223526399475243179/41877565896\ 9987339103212994768*c_0110_4^7 + 558980482501800205575139864247099/\ 104693914742496834775803248692*c_0110_4^6 - 1658232329704245030503091488697087/418775658969987339103212994768*c\ _0110_4^5 - 41032619799938918322439161357523/1046939147424968347758\ 03248692*c_0110_4^4 + 836995093225482813554299963122863/41877565896\ 9987339103212994768*c_0110_4^3 - 268808313123401009874984706770539/\ 418775658969987339103212994768*c_0110_4^2 - 21917594970062888707122077757505/104693914742496834775803248692*c_0\ 110_4 + 2706541364978094431262326765364/261734786856242086939508121\ 73, c_0101_3 - 8950857070472396985254275903/837551317939974678206425989536*\ c_0110_4^13 - 6384703934071124375626574567/209387829484993669551606\ 497384*c_0110_4^12 - 49503027824608221038291878445/8375513179399746\ 78206425989536*c_0110_4^11 - 412103972104595901226870302413/8375513\ 17939974678206425989536*c_0110_4^10 - 15064039323004048833558098065515/837551317939974678206425989536*c_0\ 110_4^9 - 90955888826095296120196429801013/837551317939974678206425\ 989536*c_0110_4^8 + 343362865581345426794284879595723/4187756589699\ 87339103212994768*c_0110_4^7 - 1414107253543480115546084136694351/8\ 37551317939974678206425989536*c_0110_4^6 + 559386421218585747835197086224291/418775658969987339103212994768*c_\ 0110_4^5 + 26297923840494223654083240648903/83755131793997467820642\ 5989536*c_0110_4^4 - 536207136020070286970800691384229/837551317939\ 974678206425989536*c_0110_4^3 + 104508636895294392997392991686299/4\ 18775658969987339103212994768*c_0110_4^2 + 1599118778776760540170772380557/26173478685624208693950812173*c_011\ 0_4 - 1038088802033096595062026858097/26173478685624208693950812173\ , c_0110_4^14 + 2*c_0110_4^13 + 3*c_0110_4^12 + 41*c_0110_4^11 + 1643*c_0110_4^10 + 8721*c_0110_4^9 - 85556*c_0110_4^8 + 222389*c_0110_4^7 - 252936*c_0110_4^6 + 91991*c_0110_4^5 + 68573*c_0110_4^4 - 71800*c_0110_4^3 + 11024*c_0110_4^2 + 8704*c_0110_4 - 2816 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB