Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 1663238074] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0818 geometric_solution 4.74911358 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 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 1.494330637011 0.370700985187 0 2 2 0 3201 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.958348352436 0.393292583206 3 1 1 4 0132 0132 1023 0132 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 -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.633998164583 0.207683485077 2 4 5 4 0132 0321 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.586919537294 1.345879808475 5 3 2 3 0132 2310 0132 0321 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 -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.586919537294 1.345879808475 4 6 6 3 0132 0132 1023 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 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.055477303040 0.311630547823 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.339495282175 1.161017322844 ==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_0011_4'], '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' : negation(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_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_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), '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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1632092690128887582560629752752038210/13013908030808741627913196215\ 7705273*c_0101_6^17 - 33873630597899902353854707106330003589/130139\ 080308087416279131962157705273*c_0101_6^16 - 16162327500000450662762992040050858658/1001069848523749355993322785\ 8285021*c_0101_6^15 - 17282656541322013190328959767880625167/100106\ 98485237493559933227858285021*c_0101_6^14 + 758799289508500032658351465547907159669/130139080308087416279131962\ 157705273*c_0101_6^13 + 1858976246653855603479298137605028383506/13\ 0139080308087416279131962157705273*c_0101_6^12 - 2642399435339599570790187566297666473981/13013908030808741627913196\ 2157705273*c_0101_6^11 + 91455148457772614173960493082418247705/100\ 10698485237493559933227858285021*c_0101_6^10 - 4569437734536414034671165547802816422480/13013908030808741627913196\ 2157705273*c_0101_6^9 + 8879464339598791572847582230604440601/20429\ 9969086479460406800568536429*c_0101_6^8 + 118288205065362837341070792649000485594/185912971868696308970188517\ 36815039*c_0101_6^7 - 4225495130117651188209445816272143655595/1301\ 39080308087416279131962157705273*c_0101_6^6 + 2284834144608171911461124137800723981991/13013908030808741627913196\ 2157705273*c_0101_6^5 - 599246568666804415017325585432738709295/130\ 139080308087416279131962157705273*c_0101_6^4 - 86399583821191603712907627330879467727/1301390803080874162791319621\ 57705273*c_0101_6^3 + 236090171766371845298075825286951443583/13013\ 9080308087416279131962157705273*c_0101_6^2 - 62504504808264223679663572861451913954/1301390803080874162791319621\ 57705273*c_0101_6 - 5158129855058563301208247101380711777/130139080\ 308087416279131962157705273, c_0011_0 - 1, c_0011_1 + 5313117905986686679562661648490/3740703659329905613082263930\ 9487*c_0101_6^17 + 106126607762229831363702221066202/37407036593299\ 056130822639309487*c_0101_6^16 + 45753313223831126885908614658215/2\ 877464353330696625447895331499*c_0101_6^15 + 10047809341152790923810294895550/2877464353330696625447895331499*c_\ 0101_6^14 - 3480142870519930428606080578314034/37407036593299056130\ 822639309487*c_0101_6^13 - 4772475889597414596710401408041457/37407\ 036593299056130822639309487*c_0101_6^12 + 14482547654138598040386691002327868/3740703659329905613082263930948\ 7*c_0101_6^11 - 493113200706684791400397079573112/28774643533306966\ 25447895331499*c_0101_6^10 + 14800083893900615200596282641909736/37\ 407036593299056130822639309487*c_0101_6^9 - 2253365040892786565401537670566050/2877464353330696625447895331499*\ c_0101_6^8 + 3250674138635130823458834260693408/3740703659329905613\ 0822639309487*c_0101_6^7 + 22663633598087983483184421507414653/3740\ 7036593299056130822639309487*c_0101_6^6 - 13103483155970052013955664482749366/3740703659329905613082263930948\ 7*c_0101_6^5 + 1918985064825529786788475786313428/37407036593299056\ 130822639309487*c_0101_6^4 + 261379896146688795377933659720007/3740\ 7036593299056130822639309487*c_0101_6^3 - 1300847567935710478132487225471802/37407036593299056130822639309487\ *c_0101_6^2 + 405790304214443484548819455294284/3740703659329905613\ 0822639309487*c_0101_6 + 138708012107189443726306352251542/37407036\ 593299056130822639309487, c_0011_4 + 12479520534252607059055750161843/374070365932990561308226393\ 09487*c_0101_6^17 + 257993776395381587830623653936488/3740703659329\ 9056130822639309487*c_0101_6^16 + 121822089555681590423199365599697\ /2877464353330696625447895331499*c_0101_6^15 + 119130596638641899920989155213063/2877464353330696625447895331499*c\ _0101_6^14 - 6193994341578249983558525943975034/3740703659329905613\ 0822639309487*c_0101_6^13 - 14113660056380245730606505936468975/374\ 07036593299056130822639309487*c_0101_6^12 + 22025281199524970001558352837287823/3740703659329905613082263930948\ 7*c_0101_6^11 - 642412467564364816012626739356800/28774643533306966\ 25447895331499*c_0101_6^10 + 33882269894903907866566954471012806/37\ 407036593299056130822639309487*c_0101_6^9 - 3509657209115574201057721912507207/2877464353330696625447895331499*\ c_0101_6^8 - 7643711026670519044531183877588024/3740703659329905613\ 0822639309487*c_0101_6^7 + 36781702396905539454690764243477856/3740\ 7036593299056130822639309487*c_0101_6^6 - 17279032493147695410862323809489785/3740703659329905613082263930948\ 7*c_0101_6^5 + 2602648589429091632344053059815395/37407036593299056\ 130822639309487*c_0101_6^4 + 1238178189303798614928705324034322/374\ 07036593299056130822639309487*c_0101_6^3 - 2030675438176340483536313946137427/37407036593299056130822639309487\ *c_0101_6^2 + 427975146208352504222954868966992/3740703659329905613\ 0822639309487*c_0101_6 + 168876250554607470959179896598781/37407036\ 593299056130822639309487, c_0101_0 - 1330863430051560390548950202314/3740703659329905613082263930\ 9487*c_0101_6^17 - 25395753964531809473450471957371/374070365932990\ 56130822639309487*c_0101_6^16 - 9501357367499905097093931401581/287\ 7464353330696625447895331499*c_0101_6^15 + 10604626248940472938224258511621/2877464353330696625447895331499*c_\ 0101_6^14 + 1154243586009317250673894031363887/37407036593299056130\ 822639309487*c_0101_6^13 + 842268686961204594011779528322295/374070\ 36593299056130822639309487*c_0101_6^12 - 5236375105349043803848456386646607/37407036593299056130822639309487\ *c_0101_6^11 + 181182891768712948782427444158154/287746435333069662\ 5447895331499*c_0101_6^10 - 4096281885208909182528757625190943/3740\ 7036593299056130822639309487*c_0101_6^9 + 816383393207179599797325313347828/2877464353330696625447895331499*c\ _0101_6^8 - 2633775039829006185771369684407815/37407036593299056130\ 822639309487*c_0101_6^7 - 7376354021039374105430336466708839/374070\ 36593299056130822639309487*c_0101_6^6 + 4742233124970167184934599308082450/37407036593299056130822639309487\ *c_0101_6^5 - 1160571507576812753264082046127939/374070365932990561\ 30822639309487*c_0101_6^4 + 159326487950173111030907812124882/37407\ 036593299056130822639309487*c_0101_6^3 + 544267462337382780784769850262193/37407036593299056130822639309487*\ c_0101_6^2 - 138261437000566616219426154494083/37407036593299056130\ 822639309487*c_0101_6 - 50414998459448014251797845654997/3740703659\ 3299056130822639309487, c_0101_2 + 1967297996904413974920771839896/3740703659329905613082263930\ 9487*c_0101_6^17 + 38090141642486381450959241280286/374070365932990\ 56130822639309487*c_0101_6^16 + 15002165662175142350328542180421/28\ 77464353330696625447895331499*c_0101_6^15 - 8493139235763342761845818638787/2877464353330696625447895331499*c_0\ 101_6^14 - 1472293514119145984377957584000070/374070365932990561308\ 22639309487*c_0101_6^13 - 1188752855239487958760437347958927/374070\ 36593299056130822639309487*c_0101_6^12 + 6908966555338838115472614555469898/37407036593299056130822639309487\ *c_0101_6^11 - 319652556638964038182084786461982/287746435333069662\ 5447895331499*c_0101_6^10 + 5667456318626082809137741973200353/3740\ 7036593299056130822639309487*c_0101_6^9 - 1082252652820374289768003146238726/2877464353330696625447895331499*\ c_0101_6^8 + 4735457115266444536903126157526929/3740703659329905613\ 0822639309487*c_0101_6^7 + 10355207230293727175602531684972883/3740\ 7036593299056130822639309487*c_0101_6^6 - 8080380543047725188432574779483264/37407036593299056130822639309487\ *c_0101_6^5 + 1508232567391750546704742972001143/374070365932990561\ 30822639309487*c_0101_6^4 + 94767967223727272109696201445910/374070\ 36593299056130822639309487*c_0101_6^3 - 667619581096185832445433790894533/37407036593299056130822639309487*\ c_0101_6^2 + 334846439370624614260683445785240/37407036593299056130\ 822639309487*c_0101_6 + 50794376507637926174779125466601/3740703659\ 3299056130822639309487, c_0101_3 + 8173997828123782297010985191039/3740703659329905613082263930\ 9487*c_0101_6^17 + 164855378676722696554955466588247/37407036593299\ 056130822639309487*c_0101_6^16 + 73072918611500204807894599905285/2\ 877464353330696625447895331499*c_0101_6^15 + 34440123123192436281181575843435/2877464353330696625447895331499*c_\ 0101_6^14 - 4851820423510669958648621215940951/37407036593299056130\ 822639309487*c_0101_6^13 - 7628403139957179984263187977240422/37407\ 036593299056130822639309487*c_0101_6^12 + 19828508029774791402754421877498800/3740703659329905613082263930948\ 7*c_0101_6^11 - 766052314530281658041923902852806/28774643533306966\ 25447895331499*c_0101_6^10 + 23216926416982874725725715914516478/37\ 407036593299056130822639309487*c_0101_6^9 - 3170053034736643692800066308640892/2877464353330696625447895331499*\ c_0101_6^8 + 4807212463141401775437175665483364/3740703659329905613\ 0822639309487*c_0101_6^7 + 30349701118623133322146757028918344/3740\ 7036593299056130822639309487*c_0101_6^6 - 19149634814293460276197742389649532/3740703659329905613082263930948\ 7*c_0101_6^5 + 3938287045111731625710027890723816/37407036593299056\ 130822639309487*c_0101_6^4 + 5803580702542120485584850294051/374070\ 36593299056130822639309487*c_0101_6^3 - 1730060560441981249485102020525410/37407036593299056130822639309487\ *c_0101_6^2 + 648268019737479656316538209503592/3740703659329905613\ 0822639309487*c_0101_6 + 143619248457936298276533333203622/37407036\ 593299056130822639309487, c_0101_6^18 + 20*c_0101_6^17 + 113*c_0101_6^16 + 39*c_0101_6^15 - 578*c_0101_6^14 - 797*c_0101_6^13 + 2514*c_0101_6^12 - 1871*c_0101_6^11 + 3221*c_0101_6^10 - 5516*c_0101_6^9 + 1904*c_0101_6^8 + 3244*c_0101_6^7 - 3336*c_0101_6^6 + 1220*c_0101_6^5 - 102*c_0101_6^4 - 215*c_0101_6^3 + 141*c_0101_6^2 - 12*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB