Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 3768679469] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2270 geometric_solution 5.69251497 oriented_manifold CS_known -0.0000000000000000 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 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.526119000949 0.271836342793 2 0 3 0 0132 2310 0132 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 1 -1 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.973667993280 0.503297070301 1 4 3 5 0132 0132 3012 0132 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 -1 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 0 0 0 0.919324058724 0.837798288136 5 2 4 1 3201 1230 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 1 -1 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.919324058724 0.837798288136 4 2 3 4 3012 0132 1023 1230 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 1 0 -1 1 0 -1 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.370289839600 0.806823465415 6 6 2 3 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626261667995 1.339481073929 5 6 6 5 0132 3201 2310 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.693802843436 0.441507682683 ==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' : negation(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' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 1266692508806401177413247888442891/7582518353814038382137659615080*\ c_0101_0*c_0101_3^15 - 42843561108190459424771534477021/28083401310\ 4223643782876282040*c_0101_0*c_0101_3^14 - 15886354082399277023559383286939649/3791259176907019191068829807540\ *c_0101_0*c_0101_3^13 - 9511094576933471427929653498118855/37912591\ 7690701919106882980754*c_0101_0*c_0101_3^12 + 109021415568900182551777150624007099/758251835381403838213765961508\ 0*c_0101_0*c_0101_3^11 + 10280157683990746999078066823587429/842502\ 039312670931348628846120*c_0101_0*c_0101_3^10 + 183405488153872942112192096566612583/505501223587602558809177307672\ *c_0101_0*c_0101_3^9 + 404423664206788386569237209993808267/9478147\ 94226754797767207451885*c_0101_0*c_0101_3^8 - 53387036850227128490183855204477240/189562958845350959553441490377*\ c_0101_0*c_0101_3^7 - 763699095709720249372574308364235803/15165036\ 70762807676427531923016*c_0101_0*c_0101_3^6 + 3599424840429210759247885603021525/168500407862534186269725769224*c\ _0101_0*c_0101_3^5 + 184670201627109512295754583189047303/947814794\ 226754797767207451885*c_0101_0*c_0101_3^4 - 23766564999952948345887203633003837/3791259176907019191068829807540\ *c_0101_0*c_0101_3^3 - 223768479494871976994239968639327289/7582518\ 353814038382137659615080*c_0101_0*c_0101_3^2 + 12645060691674559855160004239665673/7582518353814038382137659615080\ *c_0101_0*c_0101_3 - 11535799752689847009715380068296739/7582518353\ 814038382137659615080*c_0101_0, c_0011_0 - 1, c_0011_1 + 207781630187396049002811493/7800944808450656771746563390*c_0\ 101_3^15 - 333984181257124457060697191/7800944808450656771746563390\ *c_0101_3^14 - 2506308787587636188611036402/39004724042253283858732\ 81695*c_0101_3^13 - 2768736620662288201387143194/780094480845065677\ 174656339*c_0101_3^12 + 37908087530306763369091863107/7800944808450\ 656771746563390*c_0101_3^11 - 2127944607714140375107930669/26003149\ 36150218923915521130*c_0101_3^10 + 30141297317980307562950206923/520062987230043784783104226*c_0101_3^\ 9 + 107981419275053613929041757179/3900472404225328385873281695*c_0\ 101_3^8 - 57206629639666377498236870729/780094480845065677174656339\ *c_0101_3^7 - 59745447626474843634635423731/15601889616901313543493\ 12678*c_0101_3^6 + 57782476831855739245024201967/156018896169013135\ 4349312678*c_0101_3^5 + 20843053873856716601805535462/1300157468075\ 109461957760565*c_0101_3^4 - 15767763643747611497048655852/13001574\ 68075109461957760565*c_0101_3^3 + 3658812066361115439809434521/2600\ 314936150218923915521130*c_0101_3^2 - 382713694817593986298967667/2600314936150218923915521130*c_0101_3 - 3603532757340129443796217877/7800944808450656771746563390, c_0011_3 - 1259380324438940729532409789/15601889616901313543493126780*c\ _0101_0*c_0101_3^15 + 888694867011208149445136303/15601889616901313\ 543493126780*c_0101_0*c_0101_3^14 + 15931232567866605059563907821/7800944808450656771746563390*c_0101_0\ *c_0101_3^13 + 9780429772324428890191485247/78009448084506567717465\ 6339*c_0101_0*c_0101_3^12 - 69967656614495125718084782841/156018896\ 16901313543493126780*c_0101_0*c_0101_3^11 - 39548669323423951864493570543/5200629872300437847831042260*c_0101_0\ *c_0101_3^10 - 183008202599929148462974700449/104012597446008756956\ 6208452*c_0101_0*c_0101_3^9 - 1892298400652065723307375428987/78009\ 44808450656771746563390*c_0101_0*c_0101_3^8 + 152828797966245694712321700209/1560188961690131354349312678*c_0101_\ 0*c_0101_3^7 + 847193031060400220542586900635/312037792338026270869\ 8625356*c_0101_0*c_0101_3^6 + 91307732543518650708989958157/3120377\ 923380262708698625356*c_0101_0*c_0101_3^5 - 261416271599053104182268844031/2600314936150218923915521130*c_0101_\ 0*c_0101_3^4 - 12051395852110129110523784672/1300157468075109461957\ 760565*c_0101_0*c_0101_3^3 + 94752295342014285339614455127/52006298\ 72300437847831042260*c_0101_0*c_0101_3^2 + 1099143698173179614282456071/5200629872300437847831042260*c_0101_0*\ c_0101_3 + 6294900503655463959882045671/156018896169013135434931267\ 80*c_0101_0, c_0011_5 + 66203440318272557564975447/2228841373843044791927589540*c_01\ 01_0*c_0101_3^15 - 16702315506742726188806341/557210343460761197981\ 897385*c_0101_0*c_0101_3^14 - 831996107642859743668019813/111442068\ 6921522395963794770*c_0101_0*c_0101_3^13 - 976523901018081252893084491/222884137384304479192758954*c_0101_0*c_\ 0101_3^12 + 6872540748870241706793513973/22288413738430447919275895\ 40*c_0101_0*c_0101_3^11 + 908502742886954576269007607/3714735623071\ 74131987931590*c_0101_0*c_0101_3^10 + 9414463285030583227035703505/148589424922869652795172636*c_0101_0*c\ _0101_3^9 + 155536131073878024853971183847/222884137384304479192758\ 9540*c_0101_0*c_0101_3^8 - 29593676820599184865534862357/4457682747\ 68608958385517908*c_0101_0*c_0101_3^7 - 9628824564907017996996870917/111442068692152239596379477*c_0101_0*c\ _0101_3^6 + 12507174548978461430842617649/4457682747686089583855179\ 08*c_0101_0*c_0101_3^5 + 31607188269281834425973620151/742947124614\ 348263975863180*c_0101_0*c_0101_3^4 - 8117018751572563835021103211/742947124614348263975863180*c_0101_0*c\ _0101_3^3 - 3474394308543683140843744943/37147356230717413198793159\ 0*c_0101_0*c_0101_3^2 + 1310387314826279127234560157/74294712461434\ 8263975863180*c_0101_0*c_0101_3 - 194575235448261756201510442/55721\ 0343460761197981897385*c_0101_0, c_0101_0^2 - 207781630187396049002811493/7800944808450656771746563390*c\ _0101_3^15 + 333984181257124457060697191/78009448084506567717465633\ 90*c_0101_3^14 + 2506308787587636188611036402/390047240422532838587\ 3281695*c_0101_3^13 + 2768736620662288201387143194/7800944808450656\ 77174656339*c_0101_3^12 - 37908087530306763369091863107/78009448084\ 50656771746563390*c_0101_3^11 + 2127944607714140375107930669/260031\ 4936150218923915521130*c_0101_3^10 - 30141297317980307562950206923/520062987230043784783104226*c_0101_3^\ 9 - 107981419275053613929041757179/3900472404225328385873281695*c_0\ 101_3^8 + 57206629639666377498236870729/780094480845065677174656339\ *c_0101_3^7 + 59745447626474843634635423731/15601889616901313543493\ 12678*c_0101_3^6 - 57782476831855739245024201967/156018896169013135\ 4349312678*c_0101_3^5 - 20843053873856716601805535462/1300157468075\ 109461957760565*c_0101_3^4 + 15767763643747611497048655852/13001574\ 68075109461957760565*c_0101_3^3 - 3658812066361115439809434521/2600\ 314936150218923915521130*c_0101_3^2 + 382713694817593986298967667/2600314936150218923915521130*c_0101_3 - 4197412051110527327950345513/7800944808450656771746563390, c_0101_1 - 8916205720928691254507253/520062987230043784783104226*c_0101\ _3^15 + 7105183774570133026900875/260031493615021892391552113*c_010\ 1_3^14 + 106022593678455852052564460/260031493615021892391552113*c_\ 0101_3^13 + 597653860976726356880034560/260031493615021892391552113\ *c_0101_3^12 - 1531366743414047025007259027/52006298723004378478310\ 4226*c_0101_3^11 + 354290752952184738371744563/26003149361502189239\ 1552113*c_0101_3^10 - 19846063922204775454413354631/520062987230043\ 784783104226*c_0101_3^9 - 9503260475438229564860756321/520062987230\ 043784783104226*c_0101_3^8 + 17260289868534452400233861203/52006298\ 7230043784783104226*c_0101_3^7 + 3860899243431026546097610646/26003\ 1493615021892391552113*c_0101_3^6 - 5927358757523576866888026585/520062987230043784783104226*c_0101_3^5 + 858541709371151100985845905/520062987230043784783104226*c_0101_3^\ 4 + 2539579320529781605522894249/520062987230043784783104226*c_0101\ _3^3 - 688849911662935836601607390/260031493615021892391552113*c_01\ 01_3^2 + 623944852139829574173550519/520062987230043784783104226*c_\ 0101_3 + 54148719655720551926352698/260031493615021892391552113, c_0101_3^16 - c_0101_3^15 - 25*c_0101_3^14 - 148*c_0101_3^13 + 99*c_0101_3^12 + 65*c_0101_3^11 + 2166*c_0101_3^10 + 2366*c_0101_3^9 - 1899*c_0101_3^8 - 2860*c_0101_3^7 + 380*c_0101_3^6 + 1144*c_0101_3^5 - 135*c_0101_3^4 - 168*c_0101_3^3 + 24*c_0101_3^2 - 11*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB