Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 3465499154] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1778 geometric_solution 5.45829572 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.484827344254 0.642409634173 0 1 1 3 0132 1230 3012 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484827344254 0.642409634173 3 0 5 5 1230 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.704412231250 2.220353551028 4 2 1 0 3012 3012 1230 0132 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 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.759737459661 0.947376880516 4 4 0 3 1230 3012 0132 1230 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 1 1 0 -1 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.251518221708 0.991759047992 6 2 2 6 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.144972064842 0.194149975174 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.585186577813 0.792943262928 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], '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_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 280929262182495105516188/1852937829303606846865*c_0101_6^19 - 1071374145878388406930513/1852937829303606846865*c_0101_6^18 + 7851529953406101640298619/1852937829303606846865*c_0101_6^17 + 1384269539133582154209418/1852937829303606846865*c_0101_6^16 - 13791549580014677159291024/370587565860721369373*c_0101_6^15 + 47006454295342114569623786/1852937829303606846865*c_0101_6^14 + 327468275021525915163353159/1852937829303606846865*c_0101_6^13 - 106930684317740464295245987/1852937829303606846865*c_0101_6^12 - 144368428070585404006749462/370587565860721369373*c_0101_6^11 + 40810388840193628773983718/1852937829303606846865*c_0101_6^10 + 877181510287258174871150558/1852937829303606846865*c_0101_6^9 + 52015265727102460733506136/1852937829303606846865*c_0101_6^8 - 588589332106584483907252938/1852937829303606846865*c_0101_6^7 - 61028915381087425004860214/1852937829303606846865*c_0101_6^6 + 191750521575307453825478172/1852937829303606846865*c_0101_6^5 + 7691675287152310336492231/370587565860721369373*c_0101_6^4 - 25303148595750204036578908/1852937829303606846865*c_0101_6^3 - 1828846802407396857606277/370587565860721369373*c_0101_6^2 + 76725475220866148261602/1852937829303606846865*c_0101_6 + 328068133807266153914721/1852937829303606846865, c_0011_0 - 1, c_0011_3 - 1267543267908121627137/370587565860721369373*c_0101_6^19 - 4927251942638375651900/370587565860721369373*c_0101_6^18 + 35023628898746269309671/370587565860721369373*c_0101_6^17 + 8586482661230487608762/370587565860721369373*c_0101_6^16 - 309772495956954448339226/370587565860721369373*c_0101_6^15 + 191573543366553748487558/370587565860721369373*c_0101_6^14 + 1483613906681309289824347/370587565860721369373*c_0101_6^13 - 385619155486290164778792/370587565860721369373*c_0101_6^12 - 3237537171791720057542464/370587565860721369373*c_0101_6^11 + 25081900114505295625609/370587565860721369373*c_0101_6^10 + 3891666881206909237708791/370587565860721369373*c_0101_6^9 + 358208755388693013545223/370587565860721369373*c_0101_6^8 - 2606094029566197826666811/370587565860721369373*c_0101_6^7 - 313624205746302967202314/370587565860721369373*c_0101_6^6 + 859094257177684541073095/370587565860721369373*c_0101_6^5 + 167874453815050074884665/370587565860721369373*c_0101_6^4 - 116373822556619712339171/370587565860721369373*c_0101_6^3 - 39641923976102820058548/370587565860721369373*c_0101_6^2 + 737698574316794534053/370587565860721369373*c_0101_6 + 1775265579439101941892/370587565860721369373, c_0011_5 - 1859842820884316610682/370587565860721369373*c_0101_6^19 - 7276145185600622295241/370587565860721369373*c_0101_6^18 + 51178513204566362609970/370587565860721369373*c_0101_6^17 + 13801884313896427537655/370587565860721369373*c_0101_6^16 - 453210964636055088297685/370587565860721369373*c_0101_6^15 + 269027180480861984020728/370587565860721369373*c_0101_6^14 + 2175963242760314661328348/370587565860721369373*c_0101_6^13 - 498864407675901665320250/370587565860721369373*c_0101_6^12 - 4731523296360135443410980/370587565860721369373*c_0101_6^11 - 128150399827874900815763/370587565860721369373*c_0101_6^10 + 5626613347099349915840289/370587565860721369373*c_0101_6^9 + 724235990299388720337508/370587565860721369373*c_0101_6^8 - 3700560438737359958102794/370587565860721369373*c_0101_6^7 - 586334590271829964876376/370587565860721369373*c_0101_6^6 + 1184960677749106451796523/370587565860721369373*c_0101_6^5 + 282976410146477284870893/370587565860721369373*c_0101_6^4 - 155831337488044103368084/370587565860721369373*c_0101_6^3 - 58698785099686681077702/370587565860721369373*c_0101_6^2 + 1709511810205920156836/370587565860721369373*c_0101_6 + 2504285913506477069250/370587565860721369373, c_0101_0 - 1267543267908121627137/370587565860721369373*c_0101_6^19 - 4927251942638375651900/370587565860721369373*c_0101_6^18 + 35023628898746269309671/370587565860721369373*c_0101_6^17 + 8586482661230487608762/370587565860721369373*c_0101_6^16 - 309772495956954448339226/370587565860721369373*c_0101_6^15 + 191573543366553748487558/370587565860721369373*c_0101_6^14 + 1483613906681309289824347/370587565860721369373*c_0101_6^13 - 385619155486290164778792/370587565860721369373*c_0101_6^12 - 3237537171791720057542464/370587565860721369373*c_0101_6^11 + 25081900114505295625609/370587565860721369373*c_0101_6^10 + 3891666881206909237708791/370587565860721369373*c_0101_6^9 + 358208755388693013545223/370587565860721369373*c_0101_6^8 - 2606094029566197826666811/370587565860721369373*c_0101_6^7 - 313624205746302967202314/370587565860721369373*c_0101_6^6 + 859094257177684541073095/370587565860721369373*c_0101_6^5 + 167874453815050074884665/370587565860721369373*c_0101_6^4 - 116373822556619712339171/370587565860721369373*c_0101_6^3 - 39641923976102820058548/370587565860721369373*c_0101_6^2 + 737698574316794534053/370587565860721369373*c_0101_6 + 2145853145299823311265/370587565860721369373, c_0101_1 + 3729421251704986409370/370587565860721369373*c_0101_6^19 + 14615741306625435429811/370587565860721369373*c_0101_6^18 - 103006308852877419904976/370587565860721369373*c_0101_6^17 - 30242082723150921507758/370587565860721369373*c_0101_6^16 + 921716552842175111340843/370587565860721369373*c_0101_6^15 - 530702169577767764969590/370587565860721369373*c_0101_6^14 - 4479851525302844921623931/370587565860721369373*c_0101_6^13 + 1044670498774841635769658/370587565860721369373*c_0101_6^12 + 10017018836564841396801170/370587565860721369373*c_0101_6^11 + 197906356620384375763466/370587565860721369373*c_0101_6^10 - 12319006339806650169629243/370587565860721369373*c_0101_6^9 - 1548860241454411861752123/370587565860721369373*c_0101_6^8 + 8502508871366992423860482/370587565860721369373*c_0101_6^7 + 1320626747118828320961780/370587565860721369373*c_0101_6^6 - 2951044408814005447030133/370587565860721369373*c_0101_6^5 - 625390953598867417039037/370587565860721369373*c_0101_6^4 + 417601895511164027272098/370587565860721369373*c_0101_6^3 + 142641787620969593247679/370587565860721369373*c_0101_6^2 - 6110838629460175428657/370587565860721369373*c_0101_6 - 6741616593565448711749/370587565860721369373, c_0101_2 + 3577822249697527493643/370587565860721369373*c_0101_6^19 + 13830064013182298020012/370587565860721369373*c_0101_6^18 - 99219424542469923277718/370587565860721369373*c_0101_6^17 - 22376368694458807600093/370587565860721369373*c_0101_6^16 + 876179946413187358430527/370587565860721369373*c_0101_6^15 - 557870781154184381723013/370587565860721369373*c_0101_6^14 - 4188017975777823323774334/370587565860721369373*c_0101_6^13 + 1173854006193156426802898/370587565860721369373*c_0101_6^12 + 9177494888270116433210617/370587565860721369373*c_0101_6^11 - 211285418374524169809219/370587565860721369373*c_0101_6^10 - 11076676378880337389890719/370587565860721369373*c_0101_6^9 - 901152178267543346325671/370587565860721369373*c_0101_6^8 + 7426770344529191353793209/370587565860721369373*c_0101_6^7 + 839132747148029929627130/370587565860721369373*c_0101_6^6 - 2441561530752622356227962/370587565860721369373*c_0101_6^5 - 466556574550206903899013/370587565860721369373*c_0101_6^4 + 329200869499663463695372/370587565860721369373*c_0101_6^3 + 111448665234985213457394/370587565860721369373*c_0101_6^2 - 3696505577675941605196/370587565860721369373*c_0101_6 - 4961164311822384757971/370587565860721369373, c_0101_6^20 + 3*c_0101_6^19 - 31*c_0101_6^18 + 18*c_0101_6^17 + 248*c_0101_6^16 - 367*c_0101_6^15 - 1017*c_0101_6^14 + 1318*c_0101_6^13 + 2203*c_0101_6^12 - 2206*c_0101_6^11 - 2883*c_0101_6^10 + 2326*c_0101_6^9 + 2102*c_0101_6^8 - 1470*c_0101_6^7 - 768*c_0101_6^6 + 412*c_0101_6^5 + 176*c_0101_6^4 - 43*c_0101_6^3 - 24*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB