Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 1916006146] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2928 geometric_solution 6.12684110 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 -1 0 1 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 -1 0 1 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 1.246248291643 1.272412925849 0 2 3 0 0132 0132 0132 1023 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 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 0.258268337889 0.212127478290 4 1 5 6 0132 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716700781917 1.127540863531 5 6 4 1 0132 0132 2310 0132 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 1 -1 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.716700781917 1.127540863531 2 3 4 4 0132 3201 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 1 0 -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.411961229894 1.526444500222 3 5 5 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 0 -1 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709937409899 0.809451180764 6 3 2 6 3012 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771181194924 0.480229171234 ==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_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 38518454071733779239063675319055867159740510/2949850250100269175090\ 8320350514394813561461*c_1001_1^15 + 191500560923098198779707758480367484369332470/294985025010026917509\ 08320350514394813561461*c_1001_1^14 + 183160331000181755931835883381442808495524099/294985025010026917509\ 08320350514394813561461*c_1001_1^13 - 749330403632305407917721096251130728817132013/294985025010026917509\ 08320350514394813561461*c_1001_1^12 - 5709660912946967089444986091876406782800949402/29498502501002691750\ 908320350514394813561461*c_1001_1^11 - 12069952666637625038063578938956423824943850628/2949850250100269175\ 0908320350514394813561461*c_1001_1^10 + 26849103817167849539682188183287807087663238915/2949850250100269175\ 0908320350514394813561461*c_1001_1^9 + 90925319632466465568885403509297540448498645729/2949850250100269175\ 0908320350514394813561461*c_1001_1^8 - 64967123168368698405702726284155680122969216552/2949850250100269175\ 0908320350514394813561461*c_1001_1^7 - 268332117828530667366360081087595730480771655410/294985025010026917\ 50908320350514394813561461*c_1001_1^6 + 105010625989971306164767105148036573408533864058/294985025010026917\ 50908320350514394813561461*c_1001_1^5 + 394158035184063746233622139323915317194419979586/294985025010026917\ 50908320350514394813561461*c_1001_1^4 - 127068051606202927378933258410231777602041535386/294985025010026917\ 50908320350514394813561461*c_1001_1^3 - 312410289599388375701774789224097906335006193198/294985025010026917\ 50908320350514394813561461*c_1001_1^2 + 67616364474509091914974812822429409193175502182/2949850250100269175\ 0908320350514394813561461*c_1001_1 + 112958837208209618595212630242934215915295268853/294985025010026917\ 50908320350514394813561461, c_0011_0 - 1, c_0011_3 + 5443885176896186980850543751826451620/2207806489110298012941\ 270889193503092101*c_1001_1^15 + 1744714814289755540192982279088304\ 6601/2207806489110298012941270889193503092101*c_1001_1^14 - 4710336140142070259113082712465977176/22078064891102980129412708891\ 93503092101*c_1001_1^13 - 96956969367970094100109292342041126573/22\ 07806489110298012941270889193503092101*c_1001_1^12 - 636736945227072786194897331009682291542/220780648911029801294127088\ 9193503092101*c_1001_1^11 - 591069877587029730463545031809400562442\ /2207806489110298012941270889193503092101*c_1001_1^10 + 4801218557019220023717187296140276775878/22078064891102980129412708\ 89193503092101*c_1001_1^9 + 436303256133404316496732838416820374411\ 1/2207806489110298012941270889193503092101*c_1001_1^8 - 16543630827063556749101710851367591649837/2207806489110298012941270\ 889193503092101*c_1001_1^7 - 79865762152669762147067638565899742440\ 30/2207806489110298012941270889193503092101*c_1001_1^6 + 28292629608260711062258175167164223489000/2207806489110298012941270\ 889193503092101*c_1001_1^5 + 22845772361582590908432997535401201288\ 27/2207806489110298012941270889193503092101*c_1001_1^4 - 22486347612326914122469163796833891318748/2207806489110298012941270\ 889193503092101*c_1001_1^3 + 18939407088422953295372451884791207185\ 15/2207806489110298012941270889193503092101*c_1001_1^2 + 6416227075573217412509473726419294790469/22078064891102980129412708\ 89193503092101*c_1001_1 - 463945330548568315207809260855597798145/2\ 207806489110298012941270889193503092101, c_0101_0 + 72177098296992887520584051424651354/879604178928405582845127\ 8443002004351*c_1001_1^15 + 70011452594096794959073207924514605/879\ 6041789284055828451278443002004351*c_1001_1^14 - 413410970004562179850242716554689703/879604178928405582845127844300\ 2004351*c_1001_1^13 - 889415391510264866749243467338875327/87960417\ 89284055828451278443002004351*c_1001_1^12 - 6136812707701611243499228678889782936/87960417892840558284512784430\ 02004351*c_1001_1^11 + 9000890935640206598665078050997616608/879604\ 1789284055828451278443002004351*c_1001_1^10 + 65005586818336742525642048744983994173/8796041789284055828451278443\ 002004351*c_1001_1^9 - 75838950060380738822693084437730488955/87960\ 41789284055828451278443002004351*c_1001_1^8 - 216700398301876548132224785399684609966/879604178928405582845127844\ 3002004351*c_1001_1^7 + 301004270615814086109882301847956515528/879\ 6041789284055828451278443002004351*c_1001_1^6 + 255165823793420870487383525565572604071/879604178928405582845127844\ 3002004351*c_1001_1^5 - 461567685690098950916723793170613120890/879\ 6041789284055828451278443002004351*c_1001_1^4 - 110057253034177135187645775539849783985/879604178928405582845127844\ 3002004351*c_1001_1^3 + 317593696204132250209942062699302738583/879\ 6041789284055828451278443002004351*c_1001_1^2 + 14564001779968239753823654871201472072/8796041789284055828451278443\ 002004351*c_1001_1 - 84570846888788497271656711586155274368/8796041\ 789284055828451278443002004351, c_0101_1 - 160509033070047159153292280518590846/87960417892840558284512\ 78443002004351*c_1001_1^15 - 157456949782744146188118561599129953/8\ 796041789284055828451278443002004351*c_1001_1^14 + 894399305260775021978885307188361621/879604178928405582845127844300\ 2004351*c_1001_1^13 + 1907504269153282550722452800453970433/8796041\ 789284055828451278443002004351*c_1001_1^12 + 13619685277208169510402509646364659077/8796041789284055828451278443\ 002004351*c_1001_1^11 - 19607984569285166462428902682776580772/8796\ 041789284055828451278443002004351*c_1001_1^10 - 142058791996605026477892158050820853193/879604178928405582845127844\ 3002004351*c_1001_1^9 + 170780512668369952463731730508254454314/879\ 6041789284055828451278443002004351*c_1001_1^8 + 469751263513996846838196842792081745502/879604178928405582845127844\ 3002004351*c_1001_1^7 - 680813794599857819011472915981280776631/879\ 6041789284055828451278443002004351*c_1001_1^6 - 536605281556918781170974857297365470626/879604178928405582845127844\ 3002004351*c_1001_1^5 + 1044997410475819495195405275682024190050/87\ 96041789284055828451278443002004351*c_1001_1^4 + 198898074388979524291081811421902720152/879604178928405582845127844\ 3002004351*c_1001_1^3 - 719629952708017195739709710016914928281/879\ 6041789284055828451278443002004351*c_1001_1^2 + 11858511759602203724290961559787181550/8796041789284055828451278443\ 002004351*c_1001_1 + 191964258033458577395299707199672106777/879604\ 1789284055828451278443002004351, c_0101_2 - 20414154714317632908064177055994873780/220780648911029801294\ 1270889193503092101*c_1001_1^15 - 985214134011286449372303142239799\ 80997/2207806489110298012941270889193503092101*c_1001_1^14 - 91726016175383613674179609921285370168/2207806489110298012941270889\ 193503092101*c_1001_1^13 + 387949196030689677981543701423184674943/\ 2207806489110298012941270889193503092101*c_1001_1^12 + 2987836662093136639337030213638136628883/22078064891102980129412708\ 89193503092101*c_1001_1^11 + 61049789675409083281570526626819108190\ 42/2207806489110298012941270889193503092101*c_1001_1^10 - 14138850807400013684474327015495408052060/2207806489110298012941270\ 889193503092101*c_1001_1^9 - 45776828687274764224960360711437737557\ 003/2207806489110298012941270889193503092101*c_1001_1^8 + 33384957799377514374163145617153352698449/2207806489110298012941270\ 889193503092101*c_1001_1^7 + 13485249524813294306984033684058397411\ 0633/2207806489110298012941270889193503092101*c_1001_1^6 - 50620037598575844589898241774390194727228/2207806489110298012941270\ 889193503092101*c_1001_1^5 - 20048136824712500730733891526320115427\ 5867/2207806489110298012941270889193503092101*c_1001_1^4 + 60959406464232256529653891796567839734994/2207806489110298012941270\ 889193503092101*c_1001_1^3 + 16035002929822681160482476428843169950\ 3938/2207806489110298012941270889193503092101*c_1001_1^2 - 33123097993840835821091179700839421454646/2207806489110298012941270\ 889193503092101*c_1001_1 - 5707433143286655779686768230576904272349\ 1/2207806489110298012941270889193503092101, c_0101_4 + 61792590615218349963501565488655134854/220780648911029801294\ 1270889193503092101*c_1001_1^15 + 302317199437892300983843041469503\ 569587/2207806489110298012941270889193503092101*c_1001_1^14 + 284681134470050186418551772963527598183/220780648911029801294127088\ 9193503092101*c_1001_1^13 - 118792123679170489096818028033264203137\ 1/2207806489110298012941270889193503092101*c_1001_1^12 - 9096948231921513752937466355875006018934/22078064891102980129412708\ 89193503092101*c_1001_1^11 - 18873106820676308787759468684483740817\ 869/2207806489110298012941270889193503092101*c_1001_1^10 + 42975066950009500900385754994842378881798/2207806489110298012941270\ 889193503092101*c_1001_1^9 + 14192978943220318279704981094124730491\ 3289/2207806489110298012941270889193503092101*c_1001_1^8 - 102751441023918607687401095044675602363863/220780648911029801294127\ 0889193503092101*c_1001_1^7 - 4190644835224547266971691938184548619\ 18612/2207806489110298012941270889193503092101*c_1001_1^6 + 160162314647266031952176456044848059821095/220780648911029801294127\ 0889193503092101*c_1001_1^5 + 6209355824561597201619437396465420999\ 05400/2207806489110298012941270889193503092101*c_1001_1^4 - 193055397485992013233201874960256665502787/220780648911029801294127\ 0889193503092101*c_1001_1^3 - 4963623709286314138490276522437783382\ 50345/2207806489110298012941270889193503092101*c_1001_1^2 + 104328462763107130067865906883455434395271/220780648911029801294127\ 0889193503092101*c_1001_1 + 180261758997577512502006078723575259652\ 038/2207806489110298012941270889193503092101, c_1001_1^16 + 32/13*c_1001_1^15 - 41/13*c_1001_1^14 - 235/13*c_1001_1^13 - 1370/13*c_1001_1^12 - 239/13*c_1001_1^11 + 12557/13*c_1001_1^10 + 3230/13*c_1001_1^9 - 47449/13*c_1001_1^8 - 1480/13*c_1001_1^7 + 89179/13*c_1001_1^6 - 822*c_1001_1^5 - 92441/13*c_1001_1^4 + 1265*c_1001_1^3 + 52779/13*c_1001_1^2 - 7004/13*c_1001_1 - 13361/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB