Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 964207682] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3286 geometric_solution 6.41168737 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 -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.366939569756 0.714844220826 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 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 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.365633475524 0.884551492249 3 0 4 5 3201 0132 3201 0132 0 0 0 0 0 1 -1 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 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.365633475524 0.884551492249 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.181445405023 1.151324855520 2 6 1 6 2310 0132 0132 1023 0 0 0 0 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 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.881225521517 1.133586299931 5 5 2 1 1302 2031 0132 0132 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 0 0 0 0 0 0 0.595836925636 0.914158577136 6 4 6 4 2031 0132 1302 1023 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 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.481242747333 0.191742848442 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(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_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 5772784723239661950820191265069105/18443325282408254381020386644190\ 7*c_0101_2*c_0110_6^19 - 161081180234898495620082479351132967/36886\ 6505648165087620407732883814*c_0101_2*c_0110_6^18 + 256810686342376397535965609596694101/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^17 + 193021293062737445376376848703133046/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^16 - 1294944426085470731250366779849665748/18443325282408254381020386644\ 1907*c_0101_2*c_0110_6^15 - 32786220077844847836852452573714778/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^14 + 1456121947956818452949078957265054234/18443325282408254381020386644\ 1907*c_0101_2*c_0110_6^13 - 1281023835614180606906980515170210477/1\ 84433252824082543810203866441907*c_0101_2*c_0110_6^12 + 424464421034003612020316479784250697/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^11 + 7578065533941024682587509121479173641/36\ 8866505648165087620407732883814*c_0101_2*c_0110_6^10 - 682200278531803539269206339874489087/368866505648165087620407732883\ 814*c_0101_2*c_0110_6^9 - 3613101332653182765627460667172498188/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^8 - 1546927099673938502508329788249685933/36886650564816508762040773288\ 3814*c_0101_2*c_0110_6^7 + 2724062662548529253931244495977671787/36\ 8866505648165087620407732883814*c_0101_2*c_0110_6^6 + 1652579671952980531454937401038255749/36886650564816508762040773288\ 3814*c_0101_2*c_0110_6^5 - 219495902525049275551908811222146627/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^4 - 368789606575153370091490901636373247/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^3 + 106797562068415805813446439067383545/3688\ 66505648165087620407732883814*c_0101_2*c_0110_6^2 + 22574063419540649663109448214327343/3688665056481650876204077328838\ 14*c_0101_2*c_0110_6 - 63369970120758392281534868232393025/36886650\ 5648165087620407732883814*c_0101_2, c_0011_0 - 1, c_0011_4 - 2450276960793967280087811151497285/1844332528240825438102038\ 66441907*c_0101_2*c_0110_6^19 + 31062203106326768594527108255268672\ /184433252824082543810203866441907*c_0101_2*c_0110_6^18 - 70217461370310698262361527856727190/1844332528240825438102038664419\ 07*c_0101_2*c_0110_6^17 - 160258258407601567753723479052309760/1844\ 33252824082543810203866441907*c_0101_2*c_0110_6^16 + 309942949002228778372181394695030157/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^15 + 390811021682417297893090557571939822/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^14 + 17682242134041206323519497183979771/1844332528240825438102038664419\ 07*c_0101_2*c_0110_6^13 + 554211124974946030071351733633227367/1844\ 33252824082543810203866441907*c_0101_2*c_0110_6^12 + 487036528608931124465505442654454870/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^11 - 774265808820268868159373951702621228/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^10 - 908220587696360198120896063370810264/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^9 + 99277072004947008279009234300667435/18443\ 3252824082543810203866441907*c_0101_2*c_0110_6^8 + 462955945090647874554616570325561187/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^7 + 160419279827031367248411350400374853/1844\ 33252824082543810203866441907*c_0101_2*c_0110_6^6 - 122593231619440959194403014062152892/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^5 - 91607683446446182292999342308266263/18443\ 3252824082543810203866441907*c_0101_2*c_0110_6^4 + 2276421131397878840931993527920593/18443325282408254381020386644190\ 7*c_0101_2*c_0110_6^3 - 4440432484313724562524589042760011/18443325\ 2824082543810203866441907*c_0101_2*c_0110_6^2 - 8116801821692237924182069560536887/18443325282408254381020386644190\ 7*c_0101_2*c_0110_6 - 1226552195288921224960068350694765/1844332528\ 24082543810203866441907*c_0101_2, c_0011_5 + 3505202206914607894928105029804235/1844332528240825438102038\ 66441907*c_0101_2*c_0110_6^19 - 44477768057606257451119919965818237\ /184433252824082543810203866441907*c_0101_2*c_0110_6^18 + 101022870174464469680719296988455515/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^17 + 227539325730729828071541965402533640/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^16 - 444871909334634816441747064794904828/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^15 - 551536601154028110580320918397334165/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^14 - 24435882539409594549018404821562323/1844332528240825438102038664419\ 07*c_0101_2*c_0110_6^13 - 796992328207107335559411061636388528/1844\ 33252824082543810203866441907*c_0101_2*c_0110_6^12 - 684902081623081489613944607756909400/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^11 + 1106982789287902769261020623088925189/18\ 4433252824082543810203866441907*c_0101_2*c_0110_6^10 + 1281024796128952015698111224400586122/18443325282408254381020386644\ 1907*c_0101_2*c_0110_6^9 - 142143131884136357128676385359874142/184\ 433252824082543810203866441907*c_0101_2*c_0110_6^8 - 651435701435581251501380690424310359/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^7 - 228981680845382402189577083816328961/1844\ 33252824082543810203866441907*c_0101_2*c_0110_6^6 + 171874125338784500264361151340137839/184433252824082543810203866441\ 907*c_0101_2*c_0110_6^5 + 128851696206116945802945432632427257/1844\ 33252824082543810203866441907*c_0101_2*c_0110_6^4 - 2511271090625700337240802176663802/18443325282408254381020386644190\ 7*c_0101_2*c_0110_6^3 + 7406035237034814383048454236697679/18443325\ 2824082543810203866441907*c_0101_2*c_0110_6^2 + 11297204209599575257291568355363342/1844332528240825438102038664419\ 07*c_0101_2*c_0110_6 + 1713851441956434505680423456010143/184433252\ 824082543810203866441907*c_0101_2, c_0101_0 - 2625497236746537123159057613150635/1844332528240825438102038\ 66441907*c_0110_6^19 + 33253456607323867935880206108846017/18443325\ 2824082543810203866441907*c_0110_6^18 - 74831736963520620071758318749054975/1844332528240825438102038664419\ 07*c_0110_6^17 - 172918970391583519767187698859125114/1844332528240\ 82543810203866441907*c_0110_6^16 + 330966946398409218300973611962030538/184433252824082543810203866441\ 907*c_0110_6^15 + 424094244475605705575730097181019758/184433252824\ 082543810203866441907*c_0110_6^14 + 20220295456648437322020726287290515/1844332528240825438102038664419\ 07*c_0110_6^13 + 590696926188957527013642053882227162/1844332528240\ 82543810203866441907*c_0110_6^12 + 528483271760459609559613976035385837/184433252824082543810203866441\ 907*c_0110_6^11 - 830158788415832623824110940648097914/184433252824\ 082543810203866441907*c_0110_6^10 - 986444054354155583451458068281612887/184433252824082543810203866441\ 907*c_0110_6^9 + 103663150336415248730915491669534331/1844332528240\ 82543810203866441907*c_0110_6^8 + 505567826281869112562436145355232\ 143/184433252824082543810203866441907*c_0110_6^7 + 177015495334684695033649781270538242/184433252824082543810203866441\ 907*c_0110_6^6 - 132807170808701459271301628066486458/1844332528240\ 82543810203866441907*c_0110_6^5 - 100987159576115809823026891370311\ 446/184433252824082543810203866441907*c_0110_6^4 + 1906816343617983806782107053897783/18443325282408254381020386644190\ 7*c_0110_6^3 - 4277132956188048858799596305378206/18443325282408254\ 3810203866441907*c_0110_6^2 - 8613773948808046243714122974317294/18\ 4433252824082543810203866441907*c_0110_6 - 1156378311799973649762854330426491/18443325282408254381020386644190\ 7, c_0101_1 + 1849121648031730135499492258822940/1844332528240825438102038\ 66441907*c_0110_6^19 - 23509173035692821555166353641686738/18443325\ 2824082543810203866441907*c_0110_6^18 + 53845134327929338437105901328021233/1844332528240825438102038664419\ 07*c_0110_6^17 + 119058989400178633638693853941589666/1844332528240\ 82543810203866441907*c_0110_6^16 - 238491182755107930132037126039634418/184433252824082543810203866441\ 907*c_0110_6^15 - 286557557863588697621234819821044726/184433252824\ 082543810203866441907*c_0110_6^14 - 2151062989666025374981784671360418/18443325282408254381020386644190\ 7*c_0110_6^13 - 417302454013838301435644350698398587/18443325282408\ 2543810203866441907*c_0110_6^12 - 351056989276057378061367440461261\ 483/184433252824082543810203866441907*c_0110_6^11 + 599195826694524269777871128879498908/184433252824082543810203866441\ 907*c_0110_6^10 + 664204530577465791527117653811724677/184433252824\ 082543810203866441907*c_0110_6^9 - 100092154338199315372596682758549143/184433252824082543810203866441\ 907*c_0110_6^8 - 348403501974553316580445383204806441/1844332528240\ 82543810203866441907*c_0110_6^7 - 111105779243308060782566053012049\ 523/184433252824082543810203866441907*c_0110_6^6 + 97000571826578639001304614906495769/1844332528240825438102038664419\ 07*c_0110_6^5 + 67524306305040392557926223564816624/184433252824082\ 543810203866441907*c_0110_6^4 - 4128366335585994018981217734393270/\ 184433252824082543810203866441907*c_0110_6^3 + 3236214405126915407913467855113969/18443325282408254381020386644190\ 7*c_0110_6^2 + 5825609255996302314091955328852246/18443325282408254\ 3810203866441907*c_0110_6 + 622497537250175591579273606831284/18443\ 3252824082543810203866441907, c_0101_2^2 + 491623698659322585828788002458770/184433252824082543810203\ 866441907*c_0110_6^19 - 6240531467326996030569945461381949/18443325\ 2824082543810203866441907*c_0110_6^18 + 14203640081613994888904314866341698/1844332528240825438102038664419\ 07*c_0110_6^17 + 31777320823483463936518131967568437/18443325282408\ 2543810203866441907*c_0110_6^16 - 624002661922976294940570742019843\ 43/184433252824082543810203866441907*c_0110_6^15 - 76636439237059676518160003548419168/1844332528240825438102038664419\ 07*c_0110_6^14 - 3742824542658821835079142143010456/184433252824082\ 543810203866441907*c_0110_6^13 - 1129556507329141525418181926317800\ 04/184433252824082543810203866441907*c_0110_6^12 - 95487146294004650062351032744260501/1844332528240825438102038664419\ 07*c_0110_6^11 + 154584118978158418233689677730051122/1844332528240\ 82543810203866441907*c_0110_6^10 + 177133193999587782137945415890619731/184433252824082543810203866441\ 907*c_0110_6^9 - 18713032984984640208092648294469330/18443325282408\ 2543810203866441907*c_0110_6^8 - 8861392018762083432995710420445553\ 4/184433252824082543810203866441907*c_0110_6^7 - 32537347757183859931140814829884716/1844332528240825438102038664419\ 07*c_0110_6^6 + 23116414524331494793727957142545467/184433252824082\ 543810203866441907*c_0110_6^5 + 17880061900516434485217582990446093\ /184433252824082543810203866441907*c_0110_6^4 - 281035700932702066031991229759347/184433252824082543810203866441907\ *c_0110_6^3 + 1120849774573739978942569685568469/184433252824082543\ 810203866441907*c_0110_6^2 + 1666680750184087940450554845873512/184\ 433252824082543810203866441907*c_0110_6 + 138388480322487484005082737164624/184433252824082543810203866441907\ , c_0110_6^20 - 61/5*c_0110_6^19 + 113/5*c_0110_6^18 + 396/5*c_0110_6^17 - 478/5*c_0110_6^16 - 1102/5*c_0110_6^15 - 82*c_0110_6^14 - 1142/5*c_0110_6^13 - 1533/5*c_0110_6^12 + 1118/5*c_0110_6^11 + 2614/5*c_0110_6^10 + 666/5*c_0110_6^9 - 1056/5*c_0110_6^8 - 777/5*c_0110_6^7 + 20*c_0110_6^6 + 309/5*c_0110_6^5 + 83/5*c_0110_6^4 + 6/5*c_0110_6^3 + 21/5*c_0110_6^2 + 2*c_0110_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB