Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 2378961232] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0871 geometric_solution 4.77845977 oriented_manifold CS_known -0.0000000000000003 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.675858503991 0.342769577274 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 1 -2 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.014590109835 0.711492368805 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 -1 0 1 -1 0 2 -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.382432764142 0.195168671805 2 4 5 4 0132 1302 0132 0321 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 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.768725656674 0.671637989774 5 3 2 3 0132 0321 0132 2031 0 0 0 0 0 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 1 -1 0 0 0 1 -1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.768725656674 0.671637989774 4 6 6 3 0132 0132 3201 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 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.933033008066 0.323462606350 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.434579020284 0.381628802078 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : 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' : d['1'], 's_1_3' : negation(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' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_4']), '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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0011_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 83616256365589222532416452240/3537638709581282099899254107*c_0101_6\ ^16 + 160632976450590733691281958496/505376958511611728557036301*c_\ 0101_6^15 - 5669900278966078098781513050201/35376387095812820998992\ 54107*c_0101_6^14 - 5620042813151924009992926747409/353763870958128\ 2099899254107*c_0101_6^13 + 12065428409390901748794387353745/505376\ 958511611728557036301*c_0101_6^12 - 215368948811442892442316395374113/3537638709581282099899254107*c_01\ 01_6^11 + 374503730623739988401369393338463/35376387095812820998992\ 54107*c_0101_6^10 - 553441823901807322984533450331012/3537638709581\ 282099899254107*c_0101_6^9 + 598749923934931213714806633750198/3537\ 638709581282099899254107*c_0101_6^8 - 470735359551152145193271585729341/3537638709581282099899254107*c_01\ 01_6^7 + 242748205397038089509150126985587/353763870958128209989925\ 4107*c_0101_6^6 + 9085096246554183687179064171911/35376387095812820\ 99899254107*c_0101_6^5 - 12746008578770012879532847630482/505376958\ 511611728557036301*c_0101_6^4 + 25390937325449735763418783363889/35\ 37638709581282099899254107*c_0101_6^3 + 5559375211480562448792944641801/3537638709581282099899254107*c_0101\ _6^2 - 1003935871196872475249861749376/3537638709581282099899254107\ *c_0101_6 - 164353973481383942257979820473/353763870958128209989925\ 4107, c_0011_0 - 1, c_0011_1 - 22201026878410179349603210/72196708358801675508148043*c_0101\ _6^16 + 298935891884114258278232915/72196708358801675508148043*c_01\ 01_6^15 - 1504869768195706623381773594/72196708358801675508148043*c\ _0101_6^14 - 1539176393540289792086224312/7219670835880167550814804\ 3*c_0101_6^13 + 22788392254586054094199169524/721967083588016755081\ 48043*c_0101_6^12 - 56948589186197768655795725859/72196708358801675\ 508148043*c_0101_6^11 + 95099593660941666344336166659/7219670835880\ 1675508148043*c_0101_6^10 - 137642205560460381172320037923/72196708\ 358801675508148043*c_0101_6^9 + 143280860889499110621748743027/7219\ 6708358801675508148043*c_0101_6^8 - 102060063417830484819079422209/72196708358801675508148043*c_0101_6^\ 7 + 42664813934332662049310238125/72196708358801675508148043*c_0101\ _6^6 + 18096064245884629497591305023/72196708358801675508148043*c_0\ 101_6^5 - 29655500809961565952697552860/72196708358801675508148043*\ c_0101_6^4 + 3128639660309987243905093812/7219670835880167550814804\ 3*c_0101_6^3 + 4562931126551305211377423734/72196708358801675508148\ 043*c_0101_6^2 - 207426145471921214652083765/7219670835880167550814\ 8043*c_0101_6 - 210567150803866207185098652/72196708358801675508148\ 043, c_0011_4 - 135764707998376424610890398/72196708358801675508148043*c_010\ 1_6^16 + 1799520341112120046194774857/72196708358801675508148043*c_\ 0101_6^15 - 8841185817120839323296913463/72196708358801675508148043\ *c_0101_6^14 - 11068631899804984881508649198/7219670835880167550814\ 8043*c_0101_6^13 + 136193936645464581200725676215/72196708358801675\ 508148043*c_0101_6^12 - 322175944559311036643291843021/721967083588\ 01675508148043*c_0101_6^11 + 528138915072866238259680632227/7219670\ 8358801675508148043*c_0101_6^10 - 751721848826812104190304656330/72\ 196708358801675508148043*c_0101_6^9 + 748134207854186872286561496197/72196708358801675508148043*c_0101_6^\ 8 - 502862657053096324612864339302/72196708358801675508148043*c_010\ 1_6^7 + 169980872048776181489799220188/72196708358801675508148043*c\ _0101_6^6 + 149591019235089203324762074471/721967083588016755081480\ 43*c_0101_6^5 - 170274477850041527626527841833/72196708358801675508\ 148043*c_0101_6^4 + 9360633687698537349837858917/721967083588016755\ 08148043*c_0101_6^3 + 27766670737914341429011458245/721967083588016\ 75508148043*c_0101_6^2 - 2129167619531229513242759153/7219670835880\ 1675508148043*c_0101_6 - 1189791201271792849383689431/7219670835880\ 1675508148043, c_0101_0 + 135341587350125558184558109/72196708358801675508148043*c_010\ 1_6^16 - 1786157832411270636386067614/72196708358801675508148043*c_\ 0101_6^15 + 8717324036465372864598600339/72196708358801675508148043\ *c_0101_6^14 + 11458096425363215260288022368/7219670835880167550814\ 8043*c_0101_6^13 - 134774731635773762213711930173/72196708358801675\ 508148043*c_0101_6^12 + 314176908374851960942155893199/721967083588\ 01675508148043*c_0101_6^11 - 513953494283720505916299807134/7219670\ 8358801675508148043*c_0101_6^10 + 730354022371724497384249247690/72\ 196708358801675508148043*c_0101_6^9 - 720642631853954111115677868304/72196708358801675508148043*c_0101_6^\ 8 + 482895956091126773485770676070/72196708358801675508148043*c_010\ 1_6^7 - 161156859127679384926453262813/72196708358801675508148043*c\ _0101_6^6 - 146182932383248309981630983433/721967083588016755081480\ 43*c_0101_6^5 + 159005564170131275555881433029/72196708358801675508\ 148043*c_0101_6^4 - 5846014210266644145059048123/721967083588016755\ 08148043*c_0101_6^3 - 25564516160520177176072831458/721967083588016\ 75508148043*c_0101_6^2 + 1585374771439403132349954928/7219670835880\ 1675508148043*c_0101_6 + 1056858295124119336439084247/7219670835880\ 1675508148043, c_0101_3 - 68125118530476899046076264/72196708358801675508148043*c_0101\ _6^16 + 906525426814591261887478311/72196708358801675508148043*c_01\ 01_6^15 - 4477575720258046445642841006/72196708358801675508148043*c\ _0101_6^14 - 5396268241785623452159701137/7219670835880167550814804\ 3*c_0101_6^13 + 68957077773093531237249677804/721967083588016755081\ 48043*c_0101_6^12 - 164512941276171504322028013965/7219670835880167\ 5508148043*c_0101_6^11 + 268133077013559925621236095339/72196708358\ 801675508148043*c_0101_6^10 - 380969629871915015561407324027/721967\ 08358801675508148043*c_0101_6^9 + 379063226848940280818559602459/72\ 196708358801675508148043*c_0101_6^8 - 249992274101366636446392156582/72196708358801675508148043*c_0101_6^\ 7 + 80249889958033186281774742641/72196708358801675508148043*c_0101\ _6^6 + 81814097202625207595629684243/72196708358801675508148043*c_0\ 101_6^5 - 91086835976369813963357401412/72196708358801675508148043*\ c_0101_6^4 + 3186962273780299486216988516/7219670835880167550814804\ 3*c_0101_6^3 + 16138807415800460302178545690/7219670835880167550814\ 8043*c_0101_6^2 - 951902500995587573382684772/721967083588016755081\ 48043*c_0101_6 - 739540028148716174682004647/7219670835880167550814\ 8043, c_0101_5 - 57091975702127082906166395/72196708358801675508148043*c_0101\ _6^16 + 752382693953092855565974127/72196708358801675508148043*c_01\ 01_6^15 - 3662326850601215000527034327/72196708358801675508148043*c\ _0101_6^14 - 4912803581604384464956271707/7219670835880167550814804\ 3*c_0101_6^13 + 56814345092334751118873034920/721967083588016755081\ 48043*c_0101_6^12 - 131441898824704655402573970216/7219670835880167\ 5508148043*c_0101_6^11 + 213508034937014925921134508725/72196708358\ 801675508148043*c_0101_6^10 - 301710079353184095814147185198/721967\ 08358801675508148043*c_0101_6^9 + 294403773497502316923757342101/72\ 196708358801675508148043*c_0101_6^8 - 192271465401198056472833964875/72196708358801675508148043*c_0101_6^\ 7 + 57849431853476294280408343640/72196708358801675508148043*c_0101\ _6^6 + 67498803565249325977776952759/72196708358801675508148043*c_0\ 101_6^5 - 68180272473373606764249313018/72196708358801675508148043*\ c_0101_6^4 + 680597003972699027091927184/72196708358801675508148043\ *c_0101_6^3 + 12150097169531587035598941450/72196708358801675508148\ 043*c_0101_6^2 - 650830504504446674033599219/7219670835880167550814\ 8043*c_0101_6 - 606607103008236846650768182/72196708358801675508148\ 043, c_0101_6^17 - 14*c_0101_6^16 + 75*c_0101_6^15 + 33*c_0101_6^14 - 1064*c_0101_6^13 + 3121*c_0101_6^12 - 5658*c_0101_6^11 + 8431*c_0101_6^10 - 9627*c_0101_6^9 + 7795*c_0101_6^8 - 3991*c_0101_6^7 - 187*c_0101_6^6 + 2086*c_0101_6^5 - 1005*c_0101_6^4 - 159*c_0101_6^3 + 171*c_0101_6^2 - 2*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB