Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 1191631724] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0067 geometric_solution 3.62312379 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.804822983003 0.051359586527 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 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.525095602787 0.195443131326 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 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.096223045515 0.078651461764 2 4 4 2 0132 0132 1023 1023 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 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 1.114413013873 0.208822710120 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810363262970 0.415325255192 4 6 6 6 0132 0321 1302 2031 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501882067503 0.506964813574 5 5 4 5 2031 1302 0132 0321 0 0 0 0 0 -1 0 1 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 -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.501882067503 0.506964813574 ==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' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : negation(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' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_1']), '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_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 272013732541400971914121565025/27919071083926837402445097779*c_0101\ _4^22 - 897812505118739192192043275027/2791907108392683740244509777\ 9*c_0101_4^21 + 8215173445307914208317758600699/2791907108392683740\ 2445097779*c_0101_4^20 + 16355986162046743330473012748540/279190710\ 83926837402445097779*c_0101_4^19 - 56280815218649755749017053634322/27919071083926837402445097779*c_01\ 01_4^18 - 114836528071480529491047588879703/27919071083926837402445\ 097779*c_0101_4^17 + 22219630069744687418285564882752/3988438726275\ 262486063585397*c_0101_4^16 + 436997539433711400895534288748065/279\ 19071083926837402445097779*c_0101_4^15 - 121442188772327047995878636115005/27919071083926837402445097779*c_0\ 101_4^14 - 160001088755375926741985742633990/3988438726275262486063\ 585397*c_0101_4^13 - 595083839295003224454265550660422/279190710839\ 26837402445097779*c_0101_4^12 + 1845043787791309868951381162937923/\ 27919071083926837402445097779*c_0101_4^11 + 2330216443118814616962868504739726/27919071083926837402445097779*c_\ 0101_4^10 - 1382672707181742850089861542082541/27919071083926837402\ 445097779*c_0101_4^9 - 3658883175538166512123973740973005/279190710\ 83926837402445097779*c_0101_4^8 - 471449963942498083252942259469802\ /27919071083926837402445097779*c_0101_4^7 + 2652124181970449839720095849498241/27919071083926837402445097779*c_\ 0101_4^6 + 1391852415887300121159342333150231/279190710839268374024\ 45097779*c_0101_4^5 - 95891438556637529560182459805493/398843872627\ 5262486063585397*c_0101_4^4 - 57194868271135408316504146716373/2538\ 097371266076127495008889*c_0101_4^3 - 19099793250875325602872701632839/27919071083926837402445097779*c_01\ 01_4^2 + 44043251579578214188811282167077/2791907108392683740244509\ 7779*c_0101_4 - 10302041415349222258661787390417/279190710839268374\ 02445097779, c_0011_0 - 1, c_0011_2 - 287494932169257630372203010/362585338752296589642144127*c_01\ 01_4^22 - 1095010744708944571807644094/362585338752296589642144127*\ c_0101_4^21 + 7307149196164076279238566488/362585338752296589642144\ 127*c_0101_4^20 + 17787087321988940792034240034/3625853387522965896\ 42144127*c_0101_4^19 - 30085743279361604908402680176/36258533875229\ 6589642144127*c_0101_4^18 - 84019460182572199291753241507/362585338\ 752296589642144127*c_0101_4^17 + 44377592593546470539695950717/3625\ 85338752296589642144127*c_0101_4^16 + 242028601141554897123950369025/362585338752296589642144127*c_0101_4\ ^15 + 83097527404687880237731216571/362585338752296589642144127*c_0\ 101_4^14 - 469327736695075195563417130763/3625853387522965896421441\ 27*c_0101_4^13 - 537326401272885039997354379121/3625853387522965896\ 42144127*c_0101_4^12 + 456294724775850067343347516822/3625853387522\ 96589642144127*c_0101_4^11 + 1046795830061529002110280652104/362585\ 338752296589642144127*c_0101_4^10 + 27569594738196711226217943584/362585338752296589642144127*c_0101_4^\ 9 - 930221895264692728785786476453/362585338752296589642144127*c_01\ 01_4^8 - 399154377005224898685051552103/362585338752296589642144127\ *c_0101_4^7 + 348396075027787140295890935989/3625853387522965896421\ 44127*c_0101_4^6 + 244470632912196895987820219774/36258533875229658\ 9642144127*c_0101_4^5 - 44021323856932907774421843425/3625853387522\ 96589642144127*c_0101_4^4 - 42136720929689664099355430222/362585338\ 752296589642144127*c_0101_4^3 + 8311108671514298699065486293/362585\ 338752296589642144127*c_0101_4^2 + 2504239879973286841536581889/362585338752296589642144127*c_0101_4 - 648678706322338013463736490/362585338752296589642144127, c_0011_6 + 38333415042532149181768571/362585338752296589642144127*c_010\ 1_4^22 + 142560839430328437547589590/362585338752296589642144127*c_\ 0101_4^21 - 986538386819461645304520423/362585338752296589642144127\ *c_0101_4^20 - 2279077933124746276622628009/36258533875229658964214\ 4127*c_0101_4^19 + 4204410400516338502090381245/3625853387522965896\ 42144127*c_0101_4^18 + 10734305642958943030330304840/36258533875229\ 6589642144127*c_0101_4^17 - 6814986419003605445021771461/3625853387\ 52296589642144127*c_0101_4^16 - 31202402335105158302241986100/36258\ 5338752296589642144127*c_0101_4^15 - 8440775551087017216301038021/362585338752296589642144127*c_0101_4^1\ 4 + 62171943607174841515407544524/362585338752296589642144127*c_010\ 1_4^13 + 65807218247469515092420250544/362585338752296589642144127*\ c_0101_4^12 - 64824050020904659884240805249/36258533875229658964214\ 4127*c_0101_4^11 - 131328934771264343588571399209/36258533875229658\ 9642144127*c_0101_4^10 + 5870956711524804645238411969/3625853387522\ 96589642144127*c_0101_4^9 + 118434826116528632940643533817/36258533\ 8752296589642144127*c_0101_4^8 + 44061877418922395408349348443/3625\ 85338752296589642144127*c_0101_4^7 - 46362387436237397597767376295/362585338752296589642144127*c_0101_4^\ 6 - 28731166520857861916002474519/362585338752296589642144127*c_010\ 1_4^5 + 7715507025266713777292447182/362585338752296589642144127*c_\ 0101_4^4 + 5028223036001731522145338558/362585338752296589642144127\ *c_0101_4^3 - 1832436626214285971979381574/362585338752296589642144\ 127*c_0101_4^2 - 482721311706658680875377703/3625853387522965896421\ 44127*c_0101_4 + 136359163599687657850804633/3625853387522965896421\ 44127, c_0101_0 + 1979406430967748932394730036/362585338752296589642144127*c_0\ 101_4^22 + 6890298722483896516573694775/362585338752296589642144127\ *c_0101_4^21 - 52832123243460903080531801531/3625853387522965896421\ 44127*c_0101_4^20 - 106255216907679103860091280731/3625853387522965\ 89642144127*c_0101_4^19 + 248236379895260110994294715813/3625853387\ 52296589642144127*c_0101_4^18 + 515966770403162157184518450073/3625\ 85338752296589642144127*c_0101_4^17 - 494917985649885915659215274058/362585338752296589642144127*c_0101_4\ ^16 - 1590283077804772145583858896956/362585338752296589642144127*c\ _0101_4^15 - 43676295874360845709328701099/362585338752296589642144\ 127*c_0101_4^14 + 3476724397926758001879961264416/36258533875229658\ 9642144127*c_0101_4^13 + 2727479007660599419391458168081/3625853387\ 52296589642144127*c_0101_4^12 - 4417707862395056421159753596081/362\ 585338752296589642144127*c_0101_4^11 - 6411688123501895883747692477715/362585338752296589642144127*c_0101_\ 4^10 + 2103446048906892605388399554199/362585338752296589642144127*\ c_0101_4^9 + 6794821118798202505053802974539/3625853387522965896421\ 44127*c_0101_4^8 + 944725499825593151474205818075/36258533875229658\ 9642144127*c_0101_4^7 - 3492214456173612760409228655013/36258533875\ 2296589642144127*c_0101_4^6 - 1218088293811274700853855370064/36258\ 5338752296589642144127*c_0101_4^5 + 851999386734719774662854380036/362585338752296589642144127*c_0101_4\ ^4 + 327099852604592374851613035687/362585338752296589642144127*c_0\ 101_4^3 - 120820991641564765584208970407/36258533875229658964214412\ 7*c_0101_4^2 - 18141592648605200149507374076/3625853387522965896421\ 44127*c_0101_4 + 8155554046930890211715239324/362585338752296589642\ 144127, c_0101_1 + 1325808596758913274014864868/362585338752296589642144127*c_0\ 101_4^22 + 3204768695256320102614535807/362585338752296589642144127\ *c_0101_4^21 - 41000972304852524780430656918/3625853387522965896421\ 44127*c_0101_4^20 - 36373259920889241008221888029/36258533875229658\ 9642144127*c_0101_4^19 + 259230480668793115150619511821/36258533875\ 2296589642144127*c_0101_4^18 + 216333631454385045854635577439/36258\ 5338752296589642144127*c_0101_4^17 - 762054806543510009043837638278/362585338752296589642144127*c_0101_4\ ^16 - 932890802232130253408054884521/362585338752296589642144127*c_\ 0101_4^15 + 1162433424394371679019415703451/36258533875229658964214\ 4127*c_0101_4^14 + 2965273275455826706013937471291/3625853387522965\ 89642144127*c_0101_4^13 - 307976653688156788226334864452/3625853387\ 52296589642144127*c_0101_4^12 - 5970833735719818077822935650007/362\ 585338752296589642144127*c_0101_4^11 - 2708444037767761845096949553304/362585338752296589642144127*c_0101_\ 4^10 + 6733181038925637750851814298989/362585338752296589642144127*\ c_0101_4^9 + 5782718635473133650787559684307/3625853387522965896421\ 44127*c_0101_4^8 - 3508998727141615470942139238240/3625853387522965\ 89642144127*c_0101_4^7 - 5108927580887290682887347905689/3625853387\ 52296589642144127*c_0101_4^6 + 208868575055067496998258096902/36258\ 5338752296589642144127*c_0101_4^5 + 1934208459765016102071648963913/362585338752296589642144127*c_0101_\ 4^4 + 322358537999514417733071585116/362585338752296589642144127*c_\ 0101_4^3 - 248808754734081202417049840131/3625853387522965896421441\ 27*c_0101_4^2 - 12230175810726174657661887027/362585338752296589642\ 144127*c_0101_4 + 16492945179556647319084913606/3625853387522965896\ 42144127, c_0101_3 - 1098286021719003109092077887/362585338752296589642144127*c_0\ 101_4^22 - 4127542282914957254794644084/362585338752296589642144127\ *c_0101_4^21 + 28110700787617168225218668565/3625853387522965896421\ 44127*c_0101_4^20 + 66484804154147468683499404934/36258533875229658\ 9642144127*c_0101_4^19 - 117923073570993097281250896276/36258533875\ 2296589642144127*c_0101_4^18 - 314341403909481926275954707815/36258\ 5338752296589642144127*c_0101_4^17 + 183146140740547636616843780885/362585338752296589642144127*c_0101_4\ ^16 + 911864210188226722347163579790/362585338752296589642144127*c_\ 0101_4^15 + 277501130367874254311194228768/362585338752296589642144\ 127*c_0101_4^14 - 1795963380092888679664065707547/36258533875229658\ 9642144127*c_0101_4^13 - 1968421621669987301208369085176/3625853387\ 52296589642144127*c_0101_4^12 + 1815071162173114344047071517296/362\ 585338752296589642144127*c_0101_4^11 + 3898074633691635733558998592273/362585338752296589642144127*c_0101_\ 4^10 - 44451629661948967304883263916/362585338752296589642144127*c_\ 0101_4^9 - 3514800294949384671528564171903/362585338752296589642144\ 127*c_0101_4^8 - 1391491128683923618121859729774/362585338752296589\ 642144127*c_0101_4^7 + 1358346100578277158388851536829/362585338752\ 296589642144127*c_0101_4^6 + 884688480772676374820224786938/3625853\ 38752296589642144127*c_0101_4^5 - 189798042923975253531458556787/36\ 2585338752296589642144127*c_0101_4^4 - 156350527176947589446535171979/362585338752296589642144127*c_0101_4\ ^3 + 33314974243988511317311213889/362585338752296589642144127*c_01\ 01_4^2 + 8641428189872925909402946681/362585338752296589642144127*c\ _0101_4 - 2310989631475487036646532604/362585338752296589642144127, c_0101_4^23 + 4*c_0101_4^22 - 26*c_0101_4^21 - 72*c_0101_4^20 + 125*c_0101_4^19 + 400*c_0101_4^18 - 216*c_0101_4^17 - 1277*c_0101_4^16 - 339*c_0101_4^15 + 2694*c_0101_4^14 + 2808*c_0101_4^13 - 3207*c_0101_4^12 - 6815*c_0101_4^11 + 614*c_0101_4^10 + 8240*c_0101_4^9 + 3285*c_0101_4^8 - 4811*c_0101_4^7 - 3771*c_0101_4^6 + 912*c_0101_4^5 + 1485*c_0101_4^4 + 115*c_0101_4^3 - 175*c_0101_4^2 - 2*c_0101_4 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB