Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2294879341] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0786 geometric_solution 4.72680193 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 -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.536900725948 0.476120251434 3 2 2 0 0132 3012 2031 0132 0 0 0 0 0 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 1 -1 0 0 -1 1 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.688327534988 0.719456690885 1 3 0 1 1230 3201 0132 1302 0 0 0 0 0 0 -1 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 -1 0 1 1 0 -1 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.688327534988 0.719456690885 1 4 2 4 0132 0132 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.978172741857 1.009400607555 5 3 5 3 0132 0132 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734181491945 0.379805116584 4 6 4 6 0132 0132 1023 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.807454846028 0.114015512873 6 5 6 5 2310 0132 3201 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.849746271757 0.061702206109 ==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_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 383840656624111822702801262092924788799457431/152811174231374394673\ 6380806500756598678297*c_0101_6^23 + 3993436684646684942677766248668848795602987521/15281117423137439467\ 36380806500756598678297*c_0101_6^22 - 17717937297811317611264810106025552014825812704/1528111742313743946\ 736380806500756598678297*c_0101_6^21 - 142032248343135321616169279182751497240323442197/152811174231374394\ 6736380806500756598678297*c_0101_6^20 + 440186754105994727681099498789246862227360188079/152811174231374394\ 6736380806500756598678297*c_0101_6^19 + 31906854345502733634529498345523652901299362263/3727101810521326699\ 3570263573189185333617*c_0101_6^18 - 3926379758595364994129360201318351433883732185219/15281117423137439\ 46736380806500756598678297*c_0101_6^17 - 3850986590301452411998838805004459596536217196724/15281117423137439\ 46736380806500756598678297*c_0101_6^16 + 12514605046200382544722660260735987187387633094269/1528111742313743\ 946736380806500756598678297*c_0101_6^15 + 3322270600481300824541139631690475170495646179380/15281117423137439\ 46736380806500756598678297*c_0101_6^14 - 14089209980808820446164767668539834350592950395804/1528111742313743\ 946736380806500756598678297*c_0101_6^13 - 1672680100974705655488224171002325651067619732122/15281117423137439\ 46736380806500756598678297*c_0101_6^12 + 6496568725361868984212482933754693538996938622059/15281117423137439\ 46736380806500756598678297*c_0101_6^11 + 24548377300783179809126971188872606913795977418/3727101810521326699\ 3570263573189185333617*c_0101_6^10 - 1701222661963490117343840526905613905837860133485/15281117423137439\ 46736380806500756598678297*c_0101_6^9 - 510576285736029909557967676604662090383477745554/152811174231374394\ 6736380806500756598678297*c_0101_6^8 + 13005321202013833785888752419797213629287753807/3727101810521326699\ 3570263573189185333617*c_0101_6^7 + 60724861258202214971069613875063198186568749814/1528111742313743946\ 736380806500756598678297*c_0101_6^6 - 127965891189854557001714222039456191952337006455/152811174231374394\ 6736380806500756598678297*c_0101_6^5 + 17585893522822164103790673907553917016660109491/1528111742313743946\ 736380806500756598678297*c_0101_6^4 + 9677462402806073405771649594724662168605268620/15281117423137439467\ 36380806500756598678297*c_0101_6^3 - 2233496896218230597492644277031731185867750555/15281117423137439467\ 36380806500756598678297*c_0101_6^2 - 1499175758376873019739256955771886368842505589/15281117423137439467\ 36380806500756598678297*c_0101_6 + 528899321008875289641162059152978099831426500/152811174231374394673\ 6380806500756598678297, c_0011_0 - 1, c_0011_1 + 3388029514784584018492125407946594802751301/1528111742313743\ 946736380806500756598678297*c_0101_6^23 + 35570410415842462891185453791471768018821259/1528111742313743946736\ 380806500756598678297*c_0101_6^22 - 152870057403083460871891827405892541630672331/152811174231374394673\ 6380806500756598678297*c_0101_6^21 - 1266713771984681988293510268298677465229710156/15281117423137439467\ 36380806500756598678297*c_0101_6^20 + 3758447326216794141095478779578477069166923575/15281117423137439467\ 36380806500756598678297*c_0101_6^19 + 289067520259801979427106291837937986843773784/372710181052132669935\ 70263573189185333617*c_0101_6^18 - 33365872470187961307255792359772909676334472706/1528111742313743946\ 736380806500756598678297*c_0101_6^17 - 36694680599121280586796004759822612605913540200/1528111742313743946\ 736380806500756598678297*c_0101_6^16 + 105522290459931085845513830208060267091193431228/152811174231374394\ 6736380806500756598678297*c_0101_6^15 + 38091531196241098189478303611588653218077280030/1528111742313743946\ 736380806500756598678297*c_0101_6^14 - 116300554438662357964435957108428332064155826325/152811174231374394\ 6736380806500756598678297*c_0101_6^13 - 25037773913250655663378951889240286863727647198/1528111742313743946\ 736380806500756598678297*c_0101_6^12 + 50527377248104648172158870641004851926111578425/1528111742313743946\ 736380806500756598678297*c_0101_6^11 + 324668295512530678367649812450488004888292733/372710181052132669935\ 70263573189185333617*c_0101_6^10 - 12081533317417220237766092933131310627003712677/1528111742313743946\ 736380806500756598678297*c_0101_6^9 - 5311558206517027079492093462652789652103320933/15281117423137439467\ 36380806500756598678297*c_0101_6^8 + 92843980019787267734558816402673559941343562/3727101810521326699357\ 0263573189185333617*c_0101_6^7 + 7636331652361747404860602931067742\ 60215076683/1528111742313743946736380806500756598678297*c_0101_6^6 - 920158179986617556595599962301717880604143415/152811174231374394673\ 6380806500756598678297*c_0101_6^5 + 60781775079282828377622193126033088905079945/1528111742313743946736\ 380806500756598678297*c_0101_6^4 + 68871485694847905566127823288074696149387558/1528111742313743946736\ 380806500756598678297*c_0101_6^3 - 7159501348010571721166130308591361803410389/15281117423137439467363\ 80806500756598678297*c_0101_6^2 - 125101306067207877171626894920197\ 89272560848/1528111742313743946736380806500756598678297*c_0101_6 + 3319230544801553433493571342431914192063568/15281117423137439467363\ 80806500756598678297, c_0101_0 - 1081459959817437837083786524472409083408835/1528111742313743\ 946736380806500756598678297*c_0101_6^23 - 11218547724736065347240944974708808528958716/1528111742313743946736\ 380806500756598678297*c_0101_6^22 + 50289120798099642992019116343687421539896726/1528111742313743946736\ 380806500756598678297*c_0101_6^21 + 398994863705756657674416322324934779048462593/152811174231374394673\ 6380806500756598678297*c_0101_6^20 - 1253117109830551691783075493533493427191798499/15281117423137439467\ 36380806500756598678297*c_0101_6^19 - 89288970786965139742170019247550549546997006/3727101810521326699357\ 0263573189185333617*c_0101_6^18 + 111874860075597101204873458671286\ 35317926376939/1528111742313743946736380806500756598678297*c_0101_6\ ^17 + 10672460136722772037244194177935719796095981069/1528111742313\ 743946736380806500756598678297*c_0101_6^16 - 35708191417524022594803800691865632782066760187/1528111742313743946\ 736380806500756598678297*c_0101_6^15 - 9141250769429399208202272074907637965331756439/15281117423137439467\ 36380806500756598678297*c_0101_6^14 + 40469698312640201280419626342135933201514982480/1528111742313743946\ 736380806500756598678297*c_0101_6^13 + 5568731286180779328077049095446029985607502890/15281117423137439467\ 36380806500756598678297*c_0101_6^12 - 19304826895075534529194890385078863367459919236/1528111742313743946\ 736380806500756598678297*c_0101_6^11 - 107593557432469788230132071560410960754541250/372710181052132669935\ 70263573189185333617*c_0101_6^10 + 5286024229213413409419033899577940153149134574/15281117423137439467\ 36380806500756598678297*c_0101_6^9 + 2244199487518973303421791109220148645933830453/15281117423137439467\ 36380806500756598678297*c_0101_6^8 - 35206478900549641365118216531310115757273087/3727101810521326699357\ 0263573189185333617*c_0101_6^7 - 3285265584207354507938667940019493\ 40980509501/1528111742313743946736380806500756598678297*c_0101_6^6 + 288352255332377688082992604397880724105715890/152811174231374394673\ 6380806500756598678297*c_0101_6^5 - 17469071658433645578069277711383468210593847/1528111742313743946736\ 380806500756598678297*c_0101_6^4 - 28660338393603844188897823519275782545572290/1528111742313743946736\ 380806500756598678297*c_0101_6^3 - 345201829563567425451658214853492467497613/152811174231374394673638\ 0806500756598678297*c_0101_6^2 + 4880451002889189601105021037083314\ 805972106/1528111742313743946736380806500756598678297*c_0101_6 - 1994517239953752323683813253022732952700392/15281117423137439467363\ 80806500756598678297, c_0101_1 - 2370081763361487197032068628152495825517984/1528111742313743\ 946736380806500756598678297*c_0101_6^23 - 24437419553071022690448857203627545431205659/1528111742313743946736\ 380806500756598678297*c_0101_6^22 + 111825765989611660412474128408328582311455827/152811174231374394673\ 6380806500756598678297*c_0101_6^21 + 868247658063045071031624911034776569608535859/152811174231374394673\ 6380806500756598678297*c_0101_6^20 - 2804449988764588544075173154196121500607725313/15281117423137439467\ 36380806500756598678297*c_0101_6^19 - 192097452109308623225806664449017060745992443/372710181052132669935\ 70263573189185333617*c_0101_6^18 + 25103369503849394188232401655887278858281631153/1528111742313743946\ 736380806500756598678297*c_0101_6^17 + 22053176222311038199289039078994157135583316400/1528111742313743946\ 736380806500756598678297*c_0101_6^16 - 80407487967810265598438192798328886954936180471/1528111742313743946\ 736380806500756598678297*c_0101_6^15 - 15422435088738494072905712605669243469565886032/1528111742313743946\ 736380806500756598678297*c_0101_6^14 + 91685138853581472083348552493983855386188821209/1528111742313743946\ 736380806500756598678297*c_0101_6^13 + 5744727557642431701213396638482724268416046193/15281117423137439467\ 36380806500756598678297*c_0101_6^12 - 43709418576068669134042260230347198572934441189/1528111742313743946\ 736380806500756598678297*c_0101_6^11 - 125601034965703823193187539071840880492342735/372710181052132669935\ 70263573189185333617*c_0101_6^10 + 11518252476979965961480522870598311225148224822/1528111742313743946\ 736380806500756598678297*c_0101_6^9 + 2849015821497530525012392722368517481751830719/15281117423137439467\ 36380806500756598678297*c_0101_6^8 - 84778729228493378188680165344083429345474718/3727101810521326699357\ 0263573189185333617*c_0101_6^7 - 1779560686037196054267306958473629\ 22693890044/1528111742313743946736380806500756598678297*c_0101_6^6 + 846503914881853596434227708035654284169443052/152811174231374394673\ 6380806500756598678297*c_0101_6^5 - 149324711458208841938638615202354571210722789/152811174231374394673\ 6380806500756598678297*c_0101_6^4 - 66621034187004005134495688725935777918703991/1528111742313743946736\ 380806500756598678297*c_0101_6^3 + 21294618981894057528624589117563515764197622/1528111742313743946736\ 380806500756598678297*c_0101_6^2 + 8298762607964859521126833772689493890155242/15281117423137439467363\ 80806500756598678297*c_0101_6 - 45158996496808954004290255775469311\ 62767213/1528111742313743946736380806500756598678297, c_0101_4 + 2800845128029978355261437794310323952392411/1528111742313743\ 946736380806500756598678297*c_0101_6^23 + 28760218366075445044954344850636160650307510/1528111742313743946736\ 380806500756598678297*c_0101_6^22 - 133389428680012276161361731259790973965025163/152811174231374394673\ 6380806500756598678297*c_0101_6^21 - 1020593113528356524705806288893117055855624587/15281117423137439467\ 36380806500756598678297*c_0101_6^20 + 3358562696348735262504284043356510207455410063/15281117423137439467\ 36380806500756598678297*c_0101_6^19 + 223714388820536170841829108224881842996832712/372710181052132669935\ 70263573189185333617*c_0101_6^18 - 30085412306183900764045390819542180011401683050/1528111742313743946\ 736380806500756598678297*c_0101_6^17 - 24851973210305772944765171468188057322327205435/1528111742313743946\ 736380806500756598678297*c_0101_6^16 + 96368994681947543247117051427942774689119995882/1528111742313743946\ 736380806500756598678297*c_0101_6^15 + 14338981605280231948773622451550862829693056848/1528111742313743946\ 736380806500756598678297*c_0101_6^14 - 110045238005657374922385633492725303916759320260/152811174231374394\ 6736380806500756598678297*c_0101_6^13 - 2432611044919875783677568451393531832402867542/15281117423137439467\ 36380806500756598678297*c_0101_6^12 + 53446313178708110774404020076613914006467681396/1528111742313743946\ 736380806500756598678297*c_0101_6^11 + 109826473740894389555130255608171108936479630/372710181052132669935\ 70263573189185333617*c_0101_6^10 - 15021840104633036219015018456746499238171745261/1528111742313743946\ 736380806500756598678297*c_0101_6^9 - 3513367661494526932294612515962182201628866604/15281117423137439467\ 36380806500756598678297*c_0101_6^8 + 111841448042551523636575791453256081133959180/372710181052132669935\ 70263573189185333617*c_0101_6^7 + 314718024495619869168629580801142\ 744660998279/1528111742313743946736380806500756598678297*c_0101_6^6 - 1059997658115014341189888495393194743026538481/152811174231374394\ 6736380806500756598678297*c_0101_6^5 + 162842641818994447013953093145352951788911024/152811174231374394673\ 6380806500756598678297*c_0101_6^4 + 80474986056824004375139382177563567227618601/1528111742313743946736\ 380806500756598678297*c_0101_6^3 - 18892376470791847819966573374522065657259974/1528111742313743946736\ 380806500756598678297*c_0101_6^2 - 9681931169842786309244650728765692096626290/15281117423137439467363\ 80806500756598678297*c_0101_6 + 50702989431985031406532069448574095\ 77587680/1528111742313743946736380806500756598678297, c_0101_5 + 1214721054572389806945814218274918737207342/1528111742313743\ 946736380806500756598678297*c_0101_6^23 + 12271559731872677820375517287654202029020478/1528111742313743946736\ 380806500756598678297*c_0101_6^22 - 60060788760949318690083045431754726953914707/1528111742313743946736\ 380806500756598678297*c_0101_6^21 - 434555672783656603697850138111189498426052639/152811174231374394673\ 6380806500756598678297*c_0101_6^20 + 1535600723156392557410796817494056136589622955/15281117423137439467\ 36380806500756598678297*c_0101_6^19 + 92471107664465189275012156542132914746557284/3727101810521326699357\ 0263573189185333617*c_0101_6^18 - 138353873413843714838568104234893\ 24979827773366/1528111742313743946736380806500756598678297*c_0101_6\ ^17 - 9175595978643203786158155270567595179249387142/15281117423137\ 43946736380806500756598678297*c_0101_6^16 + 44695503150208386925653374719157637370858536861/1528111742313743946\ 736380806500756598678297*c_0101_6^15 + 1467868684040001805274116914950978358196255701/15281117423137439467\ 36380806500756598678297*c_0101_6^14 - 52264298978258281949017930804893654257238117040/1528111742313743946\ 736380806500756598678297*c_0101_6^13 + 3179603040640732486784442272202306011914994359/15281117423137439467\ 36380806500756598678297*c_0101_6^12 + 27197182792253348327703580168585115905859710492/1528111742313743946\ 736380806500756598678297*c_0101_6^11 + 33642443177874627100662845071878557865927787/3727101810521326699357\ 0263573189185333617*c_0101_6^10 - 828017125915538083402218379379534\ 9483910001143/1528111742313743946736380806500756598678297*c_0101_6^\ 9 - 1878096364944866609572110684127303520153397463/1528111742313743\ 946736380806500756598678297*c_0101_6^8 + 59690253758180855813251045724271135338838436/3727101810521326699357\ 0263573189185333617*c_0101_6^7 + 2278673431177146613485241404979707\ 30289034506/1528111742313743946736380806500756598678297*c_0101_6^6 - 524844762032131611733222713936406883477904708/152811174231374394673\ 6380806500756598678297*c_0101_6^5 + 58849728205154914859558874636774140557506595/1528111742313743946736\ 380806500756598678297*c_0101_6^4 + 43404192143735258662212712326182054800703677/1528111742313743946736\ 380806500756598678297*c_0101_6^3 - 4948268175863969190252659815599596277264234/15281117423137439467363\ 80806500756598678297*c_0101_6^2 - 627639857494052820288101911207390\ 2400657255/1528111742313743946736380806500756598678297*c_0101_6 + 2526125936180117864897658970326169197835530/15281117423137439467363\ 80806500756598678297, c_0101_6^24 + 11*c_0101_6^23 - 40*c_0101_6^22 - 398*c_0101_6^21 + 928*c_0101_6^20 + 4108*c_0101_6^19 - 8240*c_0101_6^18 - 16289*c_0101_6^17 + 26995*c_0101_6^16 + 28642*c_0101_6^15 - 32702*c_0101_6^14 - 27002*c_0101_6^13 + 15538*c_0101_6^12 + 13316*c_0101_6^11 - 3307*c_0101_6^10 - 4230*c_0101_6^9 + 674*c_0101_6^8 + 1065*c_0101_6^7 - 267*c_0101_6^6 - 168*c_0101_6^5 + 60*c_0101_6^4 + 10*c_0101_6^3 - 8*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB