Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 829468151] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0303 geometric_solution 4.34341990 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 -1 0 1 -1 0 0 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 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.657407864220 0.090870355020 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 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 0 0 0 0 1 0 -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 2.185311205157 0.615897775052 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 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 1 -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 1.240406115874 0.608306684060 2 4 5 2 0132 0132 0132 1023 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 0 0 0 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.258071689158 0.290105944123 6 3 5 5 0132 0132 3201 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.128294182377 0.830914923796 4 4 6 3 2310 1302 2310 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 -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.128294182377 0.830914923796 4 5 6 6 0132 3201 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 1.818506164481 1.175469796961 ==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_0101_3']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : 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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], '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_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 6025812752765219183318489036652491949/28675796698202918858346943873\ 642849*c_0101_6^22 - 54101025472041234798511153367917663378/2867579\ 6698202918858346943873642849*c_0101_6^21 - 163986724880512509975814892968390812817/286757966982029188583469438\ 73642849*c_0101_6^20 + 666336443364599838652761504299915853619/2867\ 5796698202918858346943873642849*c_0101_6^19 + 927024296589975574404148261569452993263/286757966982029188583469438\ 73642849*c_0101_6^18 - 1783126666318460123787949916526916996891/286\ 75796698202918858346943873642849*c_0101_6^17 - 1442983950211093973304829497802581134784/28675796698202918858346943\ 873642849*c_0101_6^16 - 2189629869275466402871332213670110956257/28\ 675796698202918858346943873642849*c_0101_6^15 - 1346883154447986331365692509760856892363/28675796698202918858346943\ 873642849*c_0101_6^14 + 7758351632407603508887256799532423209693/28\ 675796698202918858346943873642849*c_0101_6^13 + 4873984246062712169107139054479458908032/28675796698202918858346943\ 873642849*c_0101_6^12 + 6606122850637657610223427995155935894610/28\ 675796698202918858346943873642849*c_0101_6^11 + 532843762074120167727292856917004496740/286757966982029188583469438\ 73642849*c_0101_6^10 - 7465316764706722569280514561158095915173/286\ 75796698202918858346943873642849*c_0101_6^9 - 4695249925110378474234082811397535393717/28675796698202918858346943\ 873642849*c_0101_6^8 - 9055005304243255454259301228238846508834/286\ 75796698202918858346943873642849*c_0101_6^7 - 3369280632494251862529385535199595333338/28675796698202918858346943\ 873642849*c_0101_6^6 - 2255325234386909525212063519616957308413/286\ 75796698202918858346943873642849*c_0101_6^5 - 1714257759301699166585146222469961311007/28675796698202918858346943\ 873642849*c_0101_6^4 + 415035224669558340799732456269586281581/2867\ 5796698202918858346943873642849*c_0101_6^3 - 368605768468332582285749886670423202884/286757966982029188583469438\ 73642849*c_0101_6^2 + 118663790999024815040256392732481239493/28675\ 796698202918858346943873642849*c_0101_6 + 1346399162527616249718461782084371067/28675796698202918858346943873\ 642849, c_0011_0 - 1, c_0011_2 - 3240200949628345017257228484749170/2867579669820291885834694\ 3873642849*c_0101_6^22 + 34466752759444310963109949330741872/286757\ 96698202918858346943873642849*c_0101_6^21 + 42071162737056417556980280411739538/2867579669820291885834694387364\ 2849*c_0101_6^20 - 525122624378884119277122004569096599/28675796698\ 202918858346943873642849*c_0101_6^19 + 46954958911826142360898970528417384/2867579669820291885834694387364\ 2849*c_0101_6^18 + 2065104769685882847346309432343978983/2867579669\ 8202918858346943873642849*c_0101_6^17 - 588968101185705314854257495247525901/286757966982029188583469438736\ 42849*c_0101_6^16 - 1042506065217121912018330129831089659/286757966\ 98202918858346943873642849*c_0101_6^15 - 1531879725900092407898760437281810190/28675796698202918858346943873\ 642849*c_0101_6^14 - 5538794047500003155626174486699077010/28675796\ 698202918858346943873642849*c_0101_6^13 + 4466175828943461874856837565027654893/28675796698202918858346943873\ 642849*c_0101_6^12 + 4086841282248569680116071214918851820/28675796\ 698202918858346943873642849*c_0101_6^11 + 5930500006530022884668333581739875597/28675796698202918858346943873\ 642849*c_0101_6^10 + 4500927326062714169436482724783040606/28675796\ 698202918858346943873642849*c_0101_6^9 - 5887556742648794577387602264672678297/28675796698202918858346943873\ 642849*c_0101_6^8 - 2672197189067245738823671734259921109/286757966\ 98202918858346943873642849*c_0101_6^7 - 6129664477259053364204709021171293276/28675796698202918858346943873\ 642849*c_0101_6^6 - 2590773908441677948689343620534215936/286757966\ 98202918858346943873642849*c_0101_6^5 + 48531644057137072352570865957769668/2867579669820291885834694387364\ 2849*c_0101_6^4 - 1011959613531737647535777576401137356/28675796698\ 202918858346943873642849*c_0101_6^3 + 418907247190879364545459838288131069/286757966982029188583469438736\ 42849*c_0101_6^2 - 19793691781305576148332064093456010/286757966982\ 02918858346943873642849*c_0101_6 + 8076413423306662634850066863775700/28675796698202918858346943873642\ 849, c_0011_5 - 5698336807351420325579781947255553/2867579669820291885834694\ 3873642849*c_0101_6^22 + 45813522338527592758176686750506533/286757\ 96698202918858346943873642849*c_0101_6^21 + 203165671654886843276241158957662815/286757966982029188583469438736\ 42849*c_0101_6^20 - 483885578365148954259342044427438292/2867579669\ 8202918858346943873642849*c_0101_6^19 - 1482866079523176415970257020342166939/28675796698202918858346943873\ 642849*c_0101_6^18 + 830590050685232265347077427303074311/286757966\ 98202918858346943873642849*c_0101_6^17 + 3113858341249795794562716092079196528/28675796698202918858346943873\ 642849*c_0101_6^16 + 3586415852631509709279036204975874105/28675796\ 698202918858346943873642849*c_0101_6^15 + 2787388614794245603618523008040442686/28675796698202918858346943873\ 642849*c_0101_6^14 - 6643731334195183522786412121292033339/28675796\ 698202918858346943873642849*c_0101_6^13 - 12042924450453785879656719314501250279/2867579669820291885834694387\ 3642849*c_0101_6^12 - 10803407613082078340828619877474863900/286757\ 96698202918858346943873642849*c_0101_6^11 - 4401441984800879333297224497326611926/28675796698202918858346943873\ 642849*c_0101_6^10 + 8284228924266464038951696178067281641/28675796\ 698202918858346943873642849*c_0101_6^9 + 12597609797428529411310336946057859700/2867579669820291885834694387\ 3642849*c_0101_6^8 + 12718005415335123435255340030865139919/2867579\ 6698202918858346943873642849*c_0101_6^7 + 9044436666684924784008766261370894587/28675796698202918858346943873\ 642849*c_0101_6^6 + 3420917025923444695737700555158562748/286757966\ 98202918858346943873642849*c_0101_6^5 + 1518881890834477511868635289137172404/28675796698202918858346943873\ 642849*c_0101_6^4 + 239835927847101579623024839713541476/2867579669\ 8202918858346943873642849*c_0101_6^3 - 268776143731068324685612905490753176/286757966982029188583469438736\ 42849*c_0101_6^2 - 31533241492322458171143545120537241/286757966982\ 02918858346943873642849*c_0101_6 - 17693181208041977884048234663638707/2867579669820291885834694387364\ 2849, c_0101_0 + 3696253029001301250052214364243107/2867579669820291885834694\ 3873642849*c_0101_6^22 - 34993920610046853486646216273337887/286757\ 96698202918858346943873642849*c_0101_6^21 - 85768015993172236034740088584210017/2867579669820291885834694387364\ 2849*c_0101_6^20 + 471210852958706267205983889623135846/28675796698\ 202918858346943873642849*c_0101_6^19 + 402553451662682498977588730238664066/286757966982029188583469438736\ 42849*c_0101_6^18 - 1550822782847271901311374281322118761/286757966\ 98202918858346943873642849*c_0101_6^17 - 522156287357988801640641501470333241/286757966982029188583469438736\ 42849*c_0101_6^16 - 315871020543414760561576167914994625/2867579669\ 8202918858346943873642849*c_0101_6^15 + 115368151785642504653236326990957205/286757966982029188583469438736\ 42849*c_0101_6^14 + 5269557163849446884879556239358265369/286757966\ 98202918858346943873642849*c_0101_6^13 + 526663037341136755733065450152667717/286757966982029188583469438736\ 42849*c_0101_6^12 + 509764835619464745878860969736835626/2867579669\ 8202918858346943873642849*c_0101_6^11 - 2052501817606707440637498765075495658/28675796698202918858346943873\ 642849*c_0101_6^10 - 4774719298754927208009171775029510739/28675796\ 698202918858346943873642849*c_0101_6^9 + 444584660300057064172207561595528833/286757966982029188583469438736\ 42849*c_0101_6^8 - 2077154418048967231727556934527980645/2867579669\ 8202918858346943873642849*c_0101_6^7 + 715122987407946216032922689329725219/286757966982029188583469438736\ 42849*c_0101_6^6 + 164547388671641435976615521793499024/28675796698\ 202918858346943873642849*c_0101_6^5 - 867582434960476212844395153477131209/286757966982029188583469438736\ 42849*c_0101_6^4 + 433506173460315345559583331460767770/28675796698\ 202918858346943873642849*c_0101_6^3 - 242678503661034727999103563291496196/286757966982029188583469438736\ 42849*c_0101_6^2 + 2527854099966661230844954335858156/2867579669820\ 2918858346943873642849*c_0101_6 + 533052434835248967442960973308089\ 6/28675796698202918858346943873642849, c_0101_1 + 4311134717511744069618081124788176/2867579669820291885834694\ 3873642849*c_0101_6^22 - 36169148989278218861808094265236567/286757\ 96698202918858346943873642849*c_0101_6^21 - 140094373946951171042296383557055377/286757966982029188583469438736\ 42849*c_0101_6^20 + 407239335523237237350359116678993677/2867579669\ 8202918858346943873642849*c_0101_6^19 + 946757245283612020601421066873675313/286757966982029188583469438736\ 42849*c_0101_6^18 - 873056135007911760747609141320531377/2867579669\ 8202918858346943873642849*c_0101_6^17 - 1819923815744827985077248046718922187/28675796698202918858346943873\ 642849*c_0101_6^16 - 2252530843575389000754460743020257214/28675796\ 698202918858346943873642849*c_0101_6^15 - 1788750560774075530341482721129999693/28675796698202918858346943873\ 642849*c_0101_6^14 + 5131953737642426325447354934325955334/28675796\ 698202918858346943873642849*c_0101_6^13 + 6892564705096713726523881713280426526/28675796698202918858346943873\ 642849*c_0101_6^12 + 6886869954902015442830514680315890157/28675796\ 698202918858346943873642849*c_0101_6^11 + 2681994354694460883581097969603253510/28675796698202918858346943873\ 642849*c_0101_6^10 - 5616468250326118207248907728169970191/28675796\ 698202918858346943873642849*c_0101_6^9 - 6884194962228216124228664015583376210/28675796698202918858346943873\ 642849*c_0101_6^8 - 8543640625642083728076611677495174478/286757966\ 98202918858346943873642849*c_0101_6^7 - 5692727629123507116704660105569575289/28675796698202918858346943873\ 642849*c_0101_6^6 - 2557057781031132288652421792524320646/286757966\ 98202918858346943873642849*c_0101_6^5 - 1619059567384260117806920668853572928/28675796698202918858346943873\ 642849*c_0101_6^4 - 118726480355928909186970508561760684/2867579669\ 8202918858346943873642849*c_0101_6^3 - 4852659580418404299543882079307963/28675796698202918858346943873642\ 849*c_0101_6^2 + 5133525593791006291385112968385045/286757966982029\ 18858346943873642849*c_0101_6 + 24129915042873635591631688052385082\ /28675796698202918858346943873642849, c_0101_3 + 2424501057895084142903796514040530/2867579669820291885834694\ 3873642849*c_0101_6^22 - 16590984698663903289283886860396429/286757\ 96698202918858346943873642849*c_0101_6^21 - 111844296623694834448415265361398104/286757966982029188583469438736\ 42849*c_0101_6^20 + 120040243412976794577787255403245716/2867579669\ 8202918858346943873642849*c_0101_6^19 + 943140107203903378638456918300405941/286757966982029188583469438736\ 42849*c_0101_6^18 + 198229067034714728016529661197997899/2867579669\ 8202918858346943873642849*c_0101_6^17 - 2189595917560672955263589675611036494/28675796698202918858346943873\ 642849*c_0101_6^16 - 2640375463719960483304856055810633872/28675796\ 698202918858346943873642849*c_0101_6^15 - 2132637487347202736183418517238003925/28675796698202918858346943873\ 642849*c_0101_6^14 + 2414714600710520047001294108256460669/28675796\ 698202918858346943873642849*c_0101_6^13 + 9158421561049447033855433306318629766/28675796698202918858346943873\ 642849*c_0101_6^12 + 8046463521311675281645817444195482137/28675796\ 698202918858346943873642849*c_0101_6^11 + 4199845450771523112059461481729407076/28675796698202918858346943873\ 642849*c_0101_6^10 - 4175347861948769691055771098027844623/28675796\ 698202918858346943873642849*c_0101_6^9 - 10116686134367834098669450046166410145/2867579669820291885834694387\ 3642849*c_0101_6^8 - 8564536520418863289603953564731333390/28675796\ 698202918858346943873642849*c_0101_6^7 - 7077645209419471822013599081006976873/28675796698202918858346943873\ 642849*c_0101_6^6 - 2460916836980988441132439516879216303/286757966\ 98202918858346943873642849*c_0101_6^5 - 553571588800064350612718910864587195/286757966982029188583469438736\ 42849*c_0101_6^4 - 372984805826768904211292136717290762/28675796698\ 202918858346943873642849*c_0101_6^3 + 329039359050089043774143151661231402/286757966982029188583469438736\ 42849*c_0101_6^2 + 18498957625722674348020202253231994/286757966982\ 02918858346943873642849*c_0101_6 + 8992055358986508438755343519019536/28675796698202918858346943873642\ 849, c_0101_6^23 - 9*c_0101_6^22 - 27*c_0101_6^21 + 111*c_0101_6^20 + 151*c_0101_6^19 - 297*c_0101_6^18 - 231*c_0101_6^17 - 365*c_0101_6^16 - 218*c_0101_6^15 + 1288*c_0101_6^14 + 780*c_0101_6^13 + 1105*c_0101_6^12 + 70*c_0101_6^11 - 1229*c_0101_6^10 - 761*c_0101_6^9 - 1512*c_0101_6^8 - 532*c_0101_6^7 - 382*c_0101_6^6 - 273*c_0101_6^5 + 76*c_0101_6^4 - 63*c_0101_6^3 + 26*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB