Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 3330759205] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2091 geometric_solution 5.60002666 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.262108417422 0.201518731826 2 0 3 0 0132 2310 0132 0132 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 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.340060400197 1.642023355677 1 4 5 3 0132 0132 0132 1230 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 -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.664385145568 1.229279924585 2 5 4 1 3012 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664385145568 1.229279924585 3 2 4 4 2310 0132 2031 1302 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 1 -1 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.405346405447 0.373074765578 6 6 3 2 0132 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0.163831614743 1.077475822769 5 6 5 6 0132 2310 2310 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.726456537122 0.624347574354 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : 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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_4'], '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_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 2416471117496152635986353747838938580/11557922009078599379690081590\ 3927853*c_0101_4^26 - 13296877094010603101125361600488351177/115579\ 220090785993796900815903927853*c_0101_4^25 + 40470018398878462068479685841450561675/1155792200907859937969008159\ 03927853*c_0101_4^24 + 281214621176966679015893273833843445122/1155\ 79220090785993796900815903927853*c_0101_4^23 - 167068746903950162263107695668490274977/115579220090785993796900815\ 903927853*c_0101_4^22 - 2185531720027383321405737337738181755557/11\ 5579220090785993796900815903927853*c_0101_4^21 - 713163250514705467409267434187900867650/115579220090785993796900815\ 903927853*c_0101_4^20 + 7952655408297399571861468661598846384669/11\ 5579220090785993796900815903927853*c_0101_4^19 + 703796916984118295365776549517445902789/105072018264350903451728014\ 45811623*c_0101_4^18 - 13274185933562824996661113720147193770918/11\ 5579220090785993796900815903927853*c_0101_4^17 - 23834431595292201786147108047238109870846/1155792200907859937969008\ 15903927853*c_0101_4^16 + 4871681500906013665777317844464150316650/\ 115579220090785993796900815903927853*c_0101_4^15 + 33901635422390931454213355418303011232264/1155792200907859937969008\ 15903927853*c_0101_4^14 + 14014581734849081835283000721458250373430\ /115579220090785993796900815903927853*c_0101_4^13 - 23964625270004698604293798963918613041962/1155792200907859937969008\ 15903927853*c_0101_4^12 - 39938969270525353493567954057841371925/22\ 3557485668831709471761732889609*c_0101_4^11 + 8676386746171722068288942176099006133957/11557922009078599379690081\ 5903927853*c_0101_4^10 + 13182626587554999822095878369444950852450/\ 115579220090785993796900815903927853*c_0101_4^9 - 2048652758909901036356369014779182461198/11557922009078599379690081\ 5903927853*c_0101_4^8 - 5988500580273659510490708447832497501410/11\ 5579220090785993796900815903927853*c_0101_4^7 + 216477119517553549738354466199888160957/115579220090785993796900815\ 903927853*c_0101_4^6 + 2379339661744470581660673566775140185627/115\ 579220090785993796900815903927853*c_0101_4^5 - 13377801743482922867883771180123897930/1155792200907859937969008159\ 03927853*c_0101_4^4 - 576540602466913048889129679569477608982/11557\ 9220090785993796900815903927853*c_0101_4^3 + 120526856540244038327922061756483149843/115579220090785993796900815\ 903927853*c_0101_4^2 + 63547265000783901051370217322603486161/11557\ 9220090785993796900815903927853*c_0101_4 - 16015498806361036433738795446149820583/1155792200907859937969008159\ 03927853, c_0011_0 - 1, c_0011_1 - 29709906039751771171863332866238580/115579220090785993796900\ 815903927853*c_0101_4^26 - 116377551535232100638166323703197881/115\ 579220090785993796900815903927853*c_0101_4^25 + 745003893630070326151086365386821002/115579220090785993796900815903\ 927853*c_0101_4^24 + 2577506340813921597856913041210780123/11557922\ 0090785993796900815903927853*c_0101_4^23 - 7456150010594043781228549340607984756/11557922009078599379690081590\ 3927853*c_0101_4^22 - 21663692157724128748491963717949153136/115579\ 220090785993796900815903927853*c_0101_4^21 + 35546088431427689584955481929148316480/1155792200907859937969008159\ 03927853*c_0101_4^20 + 96160161217001708530156031771579338782/11557\ 9220090785993796900815903927853*c_0101_4^19 - 7595201493356991823251579027628300531/10507201826435090345172801445\ 811623*c_0101_4^18 - 258106939049888250360768791963984079750/115579\ 220090785993796900815903927853*c_0101_4^17 + 84874794665313551989931027766567088002/1155792200907859937969008159\ 03927853*c_0101_4^16 + 442545443013589318086798901566023436528/1155\ 79220090785993796900815903927853*c_0101_4^15 + 22591102162971379327389235929978510055/1155792200907859937969008159\ 03927853*c_0101_4^14 - 504804717363899899367131418508303410706/1155\ 79220090785993796900815903927853*c_0101_4^13 - 163511692320362464108524953013836833206/115579220090785993796900815\ 903927853*c_0101_4^12 + 787536574494814429684881765171028506/223557\ 485668831709471761732889609*c_0101_4^11 + 197121944486572099341758311962651520130/115579220090785993796900815\ 903927853*c_0101_4^10 - 258439385652252794664735477923532884537/115\ 579220090785993796900815903927853*c_0101_4^9 - 114518536852967391836175876084852778953/115579220090785993796900815\ 903927853*c_0101_4^8 + 138640426397103624260796610230128631633/1155\ 79220090785993796900815903927853*c_0101_4^7 + 26066163642796051412356291997364288809/1155792200907859937969008159\ 03927853*c_0101_4^6 - 51097550617146489527863185232500655518/115579\ 220090785993796900815903927853*c_0101_4^5 + 2830752014926329223533258477384904753/11557922009078599379690081590\ 3927853*c_0101_4^4 + 8792360072200807755704517113412191346/11557922\ 0090785993796900815903927853*c_0101_4^3 - 2073492327285794727218826163470122329/11557922009078599379690081590\ 3927853*c_0101_4^2 - 453663765915063354022816217124862780/115579220\ 090785993796900815903927853*c_0101_4 + 274920592466570490727972775246047564/115579220090785993796900815903\ 927853, c_0011_3 + 35128719652012661903731862063887249/115579220090785993796900\ 815903927853*c_0101_4^26 + 97210781528745610793808823016301491/1155\ 79220090785993796900815903927853*c_0101_4^25 - 1083379694771203685060345263926792983/11557922009078599379690081590\ 3927853*c_0101_4^24 - 2253483498959937713246631955829524591/1155792\ 20090785993796900815903927853*c_0101_4^23 + 13213267817835300853805313121152843987/1155792200907859937969008159\ 03927853*c_0101_4^22 + 20269034124088407281686966647730048433/11557\ 9220090785993796900815903927853*c_0101_4^21 - 77804667365761619159814505094393074201/1155792200907859937969008159\ 03927853*c_0101_4^20 - 104876441084764960750645645679977029314/1155\ 79220090785993796900815903927853*c_0101_4^19 + 22057051724683457378612559244402714518/1050720182643509034517280144\ 5811623*c_0101_4^18 + 353958583966656741058414498277636764251/11557\ 9220090785993796900815903927853*c_0101_4^17 - 408796519114329193971739012471768835166/115579220090785993796900815\ 903927853*c_0101_4^16 - 768804025936445726925568108736871970934/115\ 579220090785993796900815903927853*c_0101_4^15 + 317285049790217105554040854517831647790/115579220090785993796900815\ 903927853*c_0101_4^14 + 1055530185642665783110576822668605035220/11\ 5579220090785993796900815903927853*c_0101_4^13 + 23383538707480606489108060067873788863/1155792200907859937969008159\ 03927853*c_0101_4^12 - 1826033887387728088240074029402385453/223557\ 485668831709471761732889609*c_0101_4^11 - 226944550135060603632285463159616119617/115579220090785993796900815\ 903927853*c_0101_4^10 + 607743208754473319860671657365873854077/115\ 579220090785993796900815903927853*c_0101_4^9 + 150862395009485366910382828389493930613/115579220090785993796900815\ 903927853*c_0101_4^8 - 312460278912963747862347052240350120755/1155\ 79220090785993796900815903927853*c_0101_4^7 - 23264746131955824876384916663325146185/1155792200907859937969008159\ 03927853*c_0101_4^6 + 109926204070929536306602663950139198538/11557\ 9220090785993796900815903927853*c_0101_4^5 - 11941980588120289848829268386960911103/1155792200907859937969008159\ 03927853*c_0101_4^4 - 18133135043342164102827648510687914185/115579\ 220090785993796900815903927853*c_0101_4^3 + 4920312126363758398525172838202272570/11557922009078599379690081590\ 3927853*c_0101_4^2 + 891249436703131049299908932290502325/115579220\ 090785993796900815903927853*c_0101_4 - 456349068894637725654297664271824179/115579220090785993796900815903\ 927853, c_0011_5 + 167722357586139939044104918397712333/11557922009078599379690\ 0815903927853*c_0101_4^26 + 812218193435358811352053318914092364/11\ 5579220090785993796900815903927853*c_0101_4^25 - 3459174228400574863355769860834349404/11557922009078599379690081590\ 3927853*c_0101_4^24 - 17793246116837997850900807625790618248/115579\ 220090785993796900815903927853*c_0101_4^23 + 25638731120072463270492202565809047406/1155792200907859937969008159\ 03927853*c_0101_4^22 + 146818192413248306176221238587700574923/1155\ 79220090785993796900815903927853*c_0101_4^21 - 63719659628221283021668946213778750634/1155792200907859937969008159\ 03927853*c_0101_4^20 - 607045528571164206289203698968320140390/1155\ 79220090785993796900815903927853*c_0101_4^19 - 9239400195892531310797773156231969266/10507201826435090345172801445\ 811623*c_0101_4^18 + 1374962999924435912503484489844676093310/11557\ 9220090785993796900815903927853*c_0101_4^17 + 839446005182023475356288200074489276853/115579220090785993796900815\ 903927853*c_0101_4^16 - 1713105955760664062302479943475745662911/11\ 5579220090785993796900815903927853*c_0101_4^15 - 1792106929583758615899149498907598618304/11557922009078599379690081\ 5903927853*c_0101_4^14 + 1119847265801738904684812331053322822399/1\ 15579220090785993796900815903927853*c_0101_4^13 + 2000892609019680866230223241174772545469/11557922009078599379690081\ 5903927853*c_0101_4^12 - 685569790685265992655681490391151615/22355\ 7485668831709471761732889609*c_0101_4^11 - 1420268278270985762997151086456383011990/11557922009078599379690081\ 5903927853*c_0101_4^10 + 102934750172237028417328917340809858651/11\ 5579220090785993796900815903927853*c_0101_4^9 + 723887044109236153538726786887379843191/115579220090785993796900815\ 903927853*c_0101_4^8 - 102906065260136434308228146065968368764/1155\ 79220090785993796900815903927853*c_0101_4^7 - 242091292162422148265669051962658071614/115579220090785993796900815\ 903927853*c_0101_4^6 + 60128881240465217460261929336705093154/11557\ 9220090785993796900815903927853*c_0101_4^5 + 38437393424762002533791771456875652646/1155792200907859937969008159\ 03927853*c_0101_4^4 - 14766266844633615015663585667300872253/115579\ 220090785993796900815903927853*c_0101_4^3 - 1399802746758713398231070006591629746/11557922009078599379690081590\ 3927853*c_0101_4^2 + 1163104011383253093863245053728478559/11557922\ 0090785993796900815903927853*c_0101_4 - 91058510414536129406701279944962217/1155792200907859937969008159039\ 27853, c_0101_0 + 109307390442744014637197171047810014/11557922009078599379690\ 0815903927853*c_0101_4^26 + 485048059038474952022898524863482734/11\ 5579220090785993796900815903927853*c_0101_4^25 - 2473203838128403243227840088828157579/11557922009078599379690081590\ 3927853*c_0101_4^24 - 10713689609144086147494806485619672976/115579\ 220090785993796900815903927853*c_0101_4^23 + 21445482395115559618695788741116605436/1155792200907859937969008159\ 03927853*c_0101_4^22 + 89559836396319241918086884786374164614/11557\ 9220090785993796900815903927853*c_0101_4^21 - 79853415739810780762944727947540711254/1155792200907859937969008159\ 03927853*c_0101_4^20 - 383706670106745291598978777536596800133/1155\ 79220090785993796900815903927853*c_0101_4^19 + 7899703568637197420964718421555707633/10507201826435090345172801445\ 811623*c_0101_4^18 + 939235315614144145168847178140949389677/115579\ 220090785993796900815903927853*c_0101_4^17 + 220723390445901416159862539891928946506/115579220090785993796900815\ 903927853*c_0101_4^16 - 1356227374261851932418373495861407537677/11\ 5579220090785993796900815903927853*c_0101_4^15 - 804938218938417751787714962067392680892/115579220090785993796900815\ 903927853*c_0101_4^14 + 1179107133010516858175054312304037578915/11\ 5579220090785993796900815903927853*c_0101_4^13 + 1117601639046063638060003438917236691542/11557922009078599379690081\ 5903927853*c_0101_4^12 - 1308478301202889267228473798793894810/2235\ 57485668831709471761732889609*c_0101_4^11 - 897696698027527210406379930788848907168/115579220090785993796900815\ 903927853*c_0101_4^10 + 352922109386608533374313937958187906919/115\ 579220090785993796900815903927853*c_0101_4^9 + 464628660479157092235821950936062156944/115579220090785993796900815\ 903927853*c_0101_4^8 - 204529967496542558297621021933594321476/1155\ 79220090785993796900815903927853*c_0101_4^7 - 138439590487286206960729862667988393272/115579220090785993796900815\ 903927853*c_0101_4^6 + 80031257425234099168612667154470992420/11557\ 9220090785993796900815903927853*c_0101_4^5 + 14219265676519663620527211651092412730/1155792200907859937969008159\ 03927853*c_0101_4^4 - 13686333852281771684282808036555250745/115579\ 220090785993796900815903927853*c_0101_4^3 + 1231429526585534973161084646209608895/11557922009078599379690081590\ 3927853*c_0101_4^2 + 712104316312634486268903344855510398/115579220\ 090785993796900815903927853*c_0101_4 - 138614808496472613536312805755280198/115579220090785993796900815903\ 927853, c_0101_3 + 41431238771929574387301814032102891/115579220090785993796900\ 815903927853*c_0101_4^26 + 242150139390263370089265609141223858/115\ 579220090785993796900815903927853*c_0101_4^25 - 634210524550137676195486980125093547/115579220090785993796900815903\ 927853*c_0101_4^24 - 5160582365731549881987509567832115769/11557922\ 0090785993796900815903927853*c_0101_4^23 + 1524314398112743083796591178131246574/11557922009078599379690081590\ 3927853*c_0101_4^22 + 40630314813569623752737910029522230974/115579\ 220090785993796900815903927853*c_0101_4^21 + 23710648013129822337211152891588285804/1155792200907859937969008159\ 03927853*c_0101_4^20 - 149488638519628867086246352383997393950/1155\ 79220090785993796900815903927853*c_0101_4^19 - 16726089776456784800530440472467279139/1050720182643509034517280144\ 5811623*c_0101_4^18 + 247858172476544675974011891882316237455/11557\ 9220090785993796900815903927853*c_0101_4^17 + 541369334846254468886395512481511246621/115579220090785993796900815\ 903927853*c_0101_4^16 - 65422142157037023813736690125572621449/1155\ 79220090785993796900815903927853*c_0101_4^15 - 783607401826671354680971929101259909043/115579220090785993796900815\ 903927853*c_0101_4^14 - 351963779096562333848159065019957693532/115\ 579220090785993796900815903927853*c_0101_4^13 + 587261669984187948364345034119402856975/115579220090785993796900815\ 903927853*c_0101_4^12 + 1015533083898753663111686464888674313/22355\ 7485668831709471761732889609*c_0101_4^11 - 234674418535653944122647576348601454687/115579220090785993796900815\ 903927853*c_0101_4^10 - 359109116713866385219754649453952713678/115\ 579220090785993796900815903927853*c_0101_4^9 + 67044478258502619266321257571390106085/1155792200907859937969008159\ 03927853*c_0101_4^8 + 162200042994610441981056179205916505192/11557\ 9220090785993796900815903927853*c_0101_4^7 - 21902355163299128988788673304460974250/1155792200907859937969008159\ 03927853*c_0101_4^6 - 54659758647271204242136915875362081870/115579\ 220090785993796900815903927853*c_0101_4^5 + 6451492316738753637661068533407079745/11557922009078599379690081590\ 3927853*c_0101_4^4 + 9896336808420140556145378692815639008/11557922\ 0090785993796900815903927853*c_0101_4^3 - 2132711039087325471718287980715010421/11557922009078599379690081590\ 3927853*c_0101_4^2 - 644503767826468682817573330440026833/115579220\ 090785993796900815903927853*c_0101_4 + 233299741893874126021007041141603731/115579220090785993796900815903\ 927853, c_0101_4^27 + 5*c_0101_4^26 - 20*c_0101_4^25 - 110*c_0101_4^24 + 139*c_0101_4^23 + 914*c_0101_4^22 - 263*c_0101_4^21 - 3799*c_0101_4^20 - 1125*c_0101_4^19 + 8595*c_0101_4^18 + 6385*c_0101_4^17 - 10529*c_0101_4^16 - 12987*c_0101_4^15 + 6338*c_0101_4^14 + 14426*c_0101_4^13 - 1075*c_0101_4^12 - 10368*c_0101_4^11 - 469*c_0101_4^10 + 5500*c_0101_4^9 - 18*c_0101_4^8 - 2094*c_0101_4^7 + 217*c_0101_4^6 + 471*c_0101_4^5 - 99*c_0101_4^4 - 52*c_0101_4^3 + 17*c_0101_4^2 + 2*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB