Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 206409966] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0559 geometric_solution 4.57636072 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 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 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.902634360480 0.978368902709 0 0 4 3 0132 2310 0132 0132 0 0 0 0 0 1 0 -1 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 1 -1 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.004387823730 0.249764622293 0 0 2 2 2310 0132 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 0 0 0 0 0 0 0 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.248322539915 0.221153219826 4 4 1 5 1230 1023 0132 0132 0 0 0 0 0 -1 1 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 0 0 0 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.409594392560 1.508549962507 3 3 5 1 1023 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.409594392560 1.508549962507 6 6 3 4 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.853258310094 1.398553572552 5 6 6 5 0132 1230 3012 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.021684701580 0.544693296763 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 261976461122961126081617337/13916509112783501280135448*c_1100_1^15 - 4135415311428404919400534383/6958254556391750640067724*c_1100_1^14 + 21457746828354404890351748629/13916509112783501280135448*c_1100_1^1\ 3 + 21373612342844900540361639937/13916509112783501280135448*c_1100\ _1^12 - 80995808964627654487787853293/6958254556391750640067724*c_1\ 100_1^11 + 210575592135980227725707328977/1391650911278350128013544\ 8*c_1100_1^10 + 512860063826497889814957662315/13916509112783501280\ 135448*c_1100_1^9 - 137754947845017268468012176376/1739563639097937\ 660016931*c_1100_1^8 - 4035442359029466302780699589/148047969284930\ 864682292*c_1100_1^7 + 217431067989123366705818813078/1739563639097\ 937660016931*c_1100_1^6 - 69061457595506110919339132856/17395636390\ 97937660016931*c_1100_1^5 - 750822042062092655144067895749/13916509\ 112783501280135448*c_1100_1^4 + 64157874061192932046068977449/17395\ 63639097937660016931*c_1100_1^3 - 10090716976308008075272172701/695\ 8254556391750640067724*c_1100_1^2 - 9924842947508120793326095287/3479127278195875320033862*c_1100_1 - 304635268499480306183260206/1739563639097937660016931, c_0011_0 - 1, c_0011_3 + 8467630862482447119333959/27833018225567002560270896*c_1100_\ 1^15 + 265970630192566425326535561/27833018225567002560270896*c_110\ 0_1^14 - 183869849817116159179233939/6958254556391750640067724*c_11\ 00_1^13 - 546617855432289717621980927/27833018225567002560270896*c_\ 1100_1^12 + 5286289077627326391925414261/27833018225567002560270896\ *c_1100_1^11 - 485423205901271693831220815/173956363909793766001693\ 1*c_1100_1^10 - 14947925130788746405709149317/278330182255670025602\ 70896*c_1100_1^9 + 37817452214375260849245611369/278330182255670025\ 60270896*c_1100_1^8 + 91829408387814610437734287/592191877139723458\ 729168*c_1100_1^7 - 55537910351426092283525928331/27833018225567002\ 560270896*c_1100_1^6 + 29861998337196381301242071493/27833018225567\ 002560270896*c_1100_1^5 + 1074309558536555676080037863/173956363909\ 7937660016931*c_1100_1^4 - 2605448314274530192565573493/34791272781\ 95875320033862*c_1100_1^3 + 1320824819260104249784697909/6958254556\ 391750640067724*c_1100_1^2 + 32282750641991281594705168/17395636390\ 97937660016931*c_1100_1 - 12721976418909426937439017/17395636390979\ 37660016931, c_0011_5 - 4153882037732132650614879/13916509112783501280135448*c_1100_\ 1^15 - 130735173517121682609222455/13916509112783501280135448*c_110\ 0_1^14 + 176156130334015801722967047/6958254556391750640067724*c_11\ 00_1^13 + 281110324895062290378516235/13916509112783501280135448*c_\ 1100_1^12 - 2559052871899012697433579327/13916509112783501280135448\ *c_1100_1^11 + 1840805868883192061337802465/69582545563917506400677\ 24*c_1100_1^10 + 7416785840062997064714782305/139165091127835012801\ 35448*c_1100_1^9 - 17954341897148317996415669991/139165091127835012\ 80135448*c_1100_1^8 - 56147986533859156651926305/296095938569861729\ 364584*c_1100_1^7 + 26360316352792714157773021077/13916509112783501\ 280135448*c_1100_1^6 - 13735479808256181001640416267/13916509112783\ 501280135448*c_1100_1^5 - 4072854034691985952186250271/695825455639\ 1750640067724*c_1100_1^4 + 2426910298551282512784802327/34791272781\ 95875320033862*c_1100_1^3 - 623796193935736594908797453/34791272781\ 95875320033862*c_1100_1^2 - 24880480809968654836117866/173956363909\ 7937660016931*c_1100_1 + 10923117010303984738850027/173956363909793\ 7660016931, c_0101_0 + 185581580594799431/4986501041097714352*c_1100_1^15 + 6418107428956403241/4986501041097714352*c_1100_1^14 + 619977842331663059/1246625260274428588*c_1100_1^13 - 59995074243200365655/4986501041097714352*c_1100_1^12 + 68627285957198630949/4986501041097714352*c_1100_1^11 + 23858090182390392427/623312630137214294*c_1100_1^10 - 802005765735562339981/4986501041097714352*c_1100_1^9 - 306517880168768646791/4986501041097714352*c_1100_1^8 + 2540005433467188055529/4986501041097714352*c_1100_1^7 - 428421380951191080867/4986501041097714352*c_1100_1^6 - 3127307435011268692307/4986501041097714352*c_1100_1^5 + 212267419787523765345/623312630137214294*c_1100_1^4 + 65554593208001558624/311656315068607147*c_1100_1^3 - 259362486998671987799/1246625260274428588*c_1100_1^2 + 8624400654284395215/311656315068607147*c_1100_1 + 3791241285675643375/311656315068607147, c_0101_1 + 2202820642506804350204367/27833018225567002560270896*c_1100_\ 1^15 + 68723337724976965242033989/27833018225567002560270896*c_1100\ _1^14 - 25770522436369119746473597/3479127278195875320033862*c_1100\ _1^13 - 105975399955999977154978551/27833018225567002560270896*c_11\ 00_1^12 + 1412927330822551015765563089/27833018225567002560270896*c\ _1100_1^11 - 574032333469624865869573579/6958254556391750640067724*\ c_1100_1^10 - 3529538312449638503590049645/278330182255670025602708\ 96*c_1100_1^9 + 10720617594302043026093346669/278330182255670025602\ 70896*c_1100_1^8 - 14146752184546883870144765/592191877139723458729\ 168*c_1100_1^7 - 15013424961104119442735595271/27833018225567002560\ 270896*c_1100_1^6 + 10443177158467047272230978649/27833018225567002\ 560270896*c_1100_1^5 + 844757913071930698011944471/6958254556391750\ 640067724*c_1100_1^4 - 793621223299684144240110457/3479127278195875\ 320033862*c_1100_1^3 + 561586527383977013429583163/6958254556391750\ 640067724*c_1100_1^2 - 2056251369476965949005786/173956363909793766\ 0016931*c_1100_1 - 5354591793199461423868997/1739563639097937660016\ 931, c_0101_2 + 1510467365710557467171177/6958254556391750640067724*c_1100_1\ ^15 + 94678281213076362652341299/13916509112783501280135448*c_1100_\ 1^14 - 269155378340767625076844691/13916509112783501280135448*c_110\ 0_1^13 - 22755959291506155558268070/1739563639097937660016931*c_110\ 0_1^12 + 1909419962468062835775438241/13916509112783501280135448*c_\ 1100_1^11 - 2884188258873063873300172451/13916509112783501280135448\ *c_1100_1^10 - 653209946910925756485784291/173956363909793766001693\ 1*c_1100_1^9 + 13944510565367373396581892639/1391650911278350128013\ 5448*c_1100_1^8 + 20069837113133139176862501/2960959385698617293645\ 84*c_1100_1^7 - 20351359403805534650106111537/139165091127835012801\ 35448*c_1100_1^6 + 11633037704860456005953155259/139165091127835012\ 80135448*c_1100_1^5 + 6046388838755535614794250621/1391650911278350\ 1280135448*c_1100_1^4 - 3958324792849404492019289761/69582545563917\ 50640067724*c_1100_1^3 + 265770819090076258571316413/17395636390979\ 37660016931*c_1100_1^2 + 50919048569441470496657191/347912727819587\ 5320033862*c_1100_1 - 10540284521319075193774232/173956363909793766\ 0016931, c_1100_1^16 + 31*c_1100_1^15 - 100*c_1100_1^14 - 37*c_1100_1^13 + 671*c_1100_1^12 - 1152*c_1100_1^11 - 1543*c_1100_1^10 + 5387*c_1100_1^9 - 825*c_1100_1^8 - 7785*c_1100_1^7 + 5839*c_1100_1^6 + 2156*c_1100_1^5 - 3804*c_1100_1^4 + 1000*c_1100_1^3 + 272*c_1100_1^2 - 96*c_1100_1 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB