Magma V2.19-8 Tue Aug 20 2013 16:16:47 on localhost [Seed = 1966401981] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1068 geometric_solution 4.93720355 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 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 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.036681561255 0.307867568842 0 4 4 0 0132 0132 3201 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 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.632897763841 0.718168182922 3 3 5 0 1023 3012 0132 0132 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 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.583595744526 1.263640475874 2 2 0 5 1230 1023 0132 2310 0 0 0 0 0 0 1 -1 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 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 0.583595744526 1.263640475874 1 1 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.415048941157 0.852561923991 3 6 6 2 3201 0132 3201 0132 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.453584354518 0.710668411378 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.997701927062 1.222716848181 ==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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(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_0'], '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 4998900126221508461788485643107873379780420409/26721216762231603385\ 600396531896975018070420*c_0101_6^20 - 9665104152026010798960069851405914001329522399/13360608381115801692\ 800198265948487509035210*c_0101_6^19 - 4388854876424900103460640073974124570915360009/66803041905579008464\ 00099132974243754517605*c_0101_6^18 + 155903671726279317656389952005070942287474280397/267212167622316033\ 85600396531896975018070420*c_0101_6^17 - 39134313093043517313623938003910756065717292083/5344243352446320677\ 120079306379395003614084*c_0101_6^16 + 157108696922315745515712339290998824950269819657/133606083811158016\ 92800198265948487509035210*c_0101_6^15 - 1404062826101491582644026796840118954644575754767/26721216762231603\ 385600396531896975018070420*c_0101_6^14 + 1904980940780237749341727890356445369626582738907/26721216762231603\ 385600396531896975018070420*c_0101_6^13 + 1653313373538868717690879039377172808597647052519/26721216762231603\ 385600396531896975018070420*c_0101_6^12 - 1360126926165052500589148138523434627575312078406/66803041905579008\ 46400099132974243754517605*c_0101_6^11 + 2396562259941677418477472782155616400452750670029/26721216762231603\ 385600396531896975018070420*c_0101_6^10 + 3453518501342593045844587049663526557838949284861/26721216762231603\ 385600396531896975018070420*c_0101_6^9 - 1048329013272500716585342210742719444047751538818/66803041905579008\ 46400099132974243754517605*c_0101_6^8 + 111989895643590033565104217685773681617655990456/668030419055790084\ 6400099132974243754517605*c_0101_6^7 + 1826806468585346695185851436000825187032260327783/26721216762231603\ 385600396531896975018070420*c_0101_6^6 - 237512967169081143040964029236668395021674611526/668030419055790084\ 6400099132974243754517605*c_0101_6^5 - 91852625171925254803471051621696237652224846469/1336060838111580169\ 2800198265948487509035210*c_0101_6^4 + 53603349411836686339359553585243883359451378502/6680304190557900846\ 400099132974243754517605*c_0101_6^3 + 1597303186637149661959066376911661499933798475/26721216762231603385\ 60039653189697501807042*c_0101_6^2 - 8124148515360584069865931065882325032863786489/13360608381115801692\ 800198265948487509035210*c_0101_6 - 4850732945819392321295264311781817641230541321/26721216762231603385\ 600396531896975018070420, c_0011_0 - 1, c_0011_2 - 102966079292032190501754836556824650519631/46071063383157936\ 8717248216067189224449490*c_0101_1*c_0101_6^20 + 521988111710239353788653038526791877257507/460710633831579368717248\ 216067189224449490*c_0101_1*c_0101_6^19 - 84461037149573565411483491983011886931591/4607106338315793687172482\ 16067189224449490*c_0101_1*c_0101_6^18 - 1867671021842164527179042990574665948115059/23035531691578968435862\ 4108033594612224745*c_0101_1*c_0101_6^17 + 1535089882054077909316409758499110071410179/92142126766315873743449\ 643213437844889898*c_0101_1*c_0101_6^16 - 10578875352434508517954111389548678029371061/4607106338315793687172\ 48216067189224449490*c_0101_1*c_0101_6^15 + 18200566851025935279658043607460606054138879/2303553169157896843586\ 24108033594612224745*c_0101_1*c_0101_6^14 - 72243623168487963892572574622419278808116253/4607106338315793687172\ 48216067189224449490*c_0101_1*c_0101_6^13 + 2513859020818095121106409145356147487326542/23035531691578968435862\ 4108033594612224745*c_0101_1*c_0101_6^12 + 78908816276237081893639356479550594853599078/2303553169157896843586\ 24108033594612224745*c_0101_1*c_0101_6^11 - 171053920617632407004899172254261299755959461/460710633831579368717\ 248216067189224449490*c_0101_1*c_0101_6^10 - 10675828096627292885930870354831150349982162/2303553169157896843586\ 24108033594612224745*c_0101_1*c_0101_6^9 + 79687846174365248401210754627655102810971309/2303553169157896843586\ 24108033594612224745*c_0101_1*c_0101_6^8 - 51615360949694493843107118720164520608336373/2303553169157896843586\ 24108033594612224745*c_0101_1*c_0101_6^7 - 19651275826853190804328584229430616837779877/4607106338315793687172\ 48216067189224449490*c_0101_1*c_0101_6^6 + 52269598454252903886216241360811787260913591/4607106338315793687172\ 48216067189224449490*c_0101_1*c_0101_6^5 - 18904831936052739306041629581795742250878443/4607106338315793687172\ 48216067189224449490*c_0101_1*c_0101_6^4 - 2763950226323270264905835538096440422033317/46071063383157936871724\ 8216067189224449490*c_0101_1*c_0101_6^3 + 497337208571409529776151947741073817279679/921421267663158737434496\ 43213437844889898*c_0101_1*c_0101_6^2 + 372121260765481552829714948007313329001447/460710633831579368717248\ 216067189224449490*c_0101_1*c_0101_6 + 111462863575078470112514122403907171279687/230355316915789684358624\ 108033594612224745*c_0101_1, c_0011_5 + 215626561991692616834683328348372114551464/23035531691578968\ 4358624108033594612224745*c_0101_6^20 - 733208854826102108407439686444980952227438/230355316915789684358624\ 108033594612224745*c_0101_6^19 - 1085116444045116923561138589929673\ 382956886/230355316915789684358624108033594612224745*c_0101_6^18 + 6175449594153380578242772264352933942519832/23035531691578968435862\ 4108033594612224745*c_0101_6^17 - 113038819219906917492189750349673\ 5100955378/46071063383157936871724821606718922444949*c_0101_6^16 + 11314758567802809006210804182956662492075924/2303553169157896843586\ 24108033594612224745*c_0101_6^15 - 55507539049860152887633848536164663636300982/2303553169157896843586\ 24108033594612224745*c_0101_6^14 + 56770092284168255187666696894703440248932087/2303553169157896843586\ 24108033594612224745*c_0101_6^13 + 94633355032915888718656971805299328037021644/2303553169157896843586\ 24108033594612224745*c_0101_6^12 - 188502716399600631230688583236213873498309894/230355316915789684358\ 624108033594612224745*c_0101_6^11 + 24318844299248740436083999363707991088571149/2303553169157896843586\ 24108033594612224745*c_0101_6^10 + 147914593986013244554432778733161065678807386/230355316915789684358\ 624108033594612224745*c_0101_6^9 - 114418057266320460558822203758350524058729732/230355316915789684358\ 624108033594612224745*c_0101_6^8 - 19993457740639017476269445705879769623260976/2303553169157896843586\ 24108033594612224745*c_0101_6^7 + 609397075710841534339177079160183\ 56516865573/230355316915789684358624108033594612224745*c_0101_6^6 - 16186009040802633597487380891624110908393394/2303553169157896843586\ 24108033594612224745*c_0101_6^5 - 895813611137311881426257754731805\ 1833760283/230355316915789684358624108033594612224745*c_0101_6^4 + 3507071789498763663760539112176804581212283/23035531691578968435862\ 4108033594612224745*c_0101_6^3 + 2242182286716977211984331930421976\ 44660542/46071063383157936871724821606718922444949*c_0101_6^2 + 574869386727927884844705282761960046006142/230355316915789684358624\ 108033594612224745*c_0101_6 - 2231030665144830791443435434556723314\ 876/230355316915789684358624108033594612224745, c_0101_0 + 136082231169896283909852205501227607243127/46071063383157936\ 871724821606718922444949*c_0101_6^20 - 465364241102425602556344845768045458325469/460710633831579368717248\ 21606718922444949*c_0101_6^19 - 68047947391151302244608470864326759\ 8427077/46071063383157936871724821606718922444949*c_0101_6^18 + 3921386589252394336751442235526861396405607/46071063383157936871724\ 821606718922444949*c_0101_6^17 - 3604211050121292635973437019996556\ 981490992/46071063383157936871724821606718922444949*c_0101_6^16 + 7105383111818829390128895620419272673515023/46071063383157936871724\ 821606718922444949*c_0101_6^15 - 3516890974652356136418982083397526\ 8755668924/46071063383157936871724821606718922444949*c_0101_6^14 + 36354096828813732904946217179728078277916059/4607106338315793687172\ 4821606718922444949*c_0101_6^13 + 599175212422488071406197447817122\ 72653094192/46071063383157936871724821606718922444949*c_0101_6^12 - 120074239747341657371514228121933176775384104/460710633831579368717\ 24821606718922444949*c_0101_6^11 + 14613614911073755747716234358836870574032487/4607106338315793687172\ 4821606718922444949*c_0101_6^10 + 953249370219186551472582381253530\ 29517381487/46071063383157936871724821606718922444949*c_0101_6^9 - 72027531608664692095191958606636625475174397/4607106338315793687172\ 4821606718922444949*c_0101_6^8 - 1451217508140866387949417428161434\ 4784036134/46071063383157936871724821606718922444949*c_0101_6^7 + 40060224432250947649465595359450730019212380/4607106338315793687172\ 4821606718922444949*c_0101_6^6 - 9468444582784403240678391461572638\ 203594910/46071063383157936871724821606718922444949*c_0101_6^5 - 6773796547323655862727566526491643459244131/46071063383157936871724\ 821606718922444949*c_0101_6^4 + 23341132495400471115904645084987888\ 13245929/46071063383157936871724821606718922444949*c_0101_6^3 + 982055099679205249683362917836217249536627/460710633831579368717248\ 21606718922444949*c_0101_6^2 + 154710608595279061472396693175709454\ 851822/46071063383157936871724821606718922444949*c_0101_6 - 3303160054931859306637051150912771069005/46071063383157936871724821\ 606718922444949, c_0101_1^2 + 281541763383631476449877216806618967500924/230355316915789\ 684358624108033594612224745*c_0101_6^20 - 983809517357465571315556654193772952984813/230355316915789684358624\ 108033594612224745*c_0101_6^19 - 1319495659436397814275840550013453\ 526470136/230355316915789684358624108033594612224745*c_0101_6^18 + 8151931235024087084541609336947133095180922/23035531691578968435862\ 4108033594612224745*c_0101_6^17 - 162013999501028612321028496132770\ 5500700906/46071063383157936871724821606718922444949*c_0101_6^16 + 15738084207451522785676351491904987425337594/2303553169157896843586\ 24108033594612224745*c_0101_6^15 - 74605443463402116944728733992528890469653692/2303553169157896843586\ 24108033594612224745*c_0101_6^14 + 82083177270620109781426195621605039144859232/2303553169157896843586\ 24108033594612224745*c_0101_6^13 + 113118322750300556422917050811151915281138564/230355316915789684358\ 624108033594612224745*c_0101_6^12 - 249878284906638331659737718825394883986861374/230355316915789684358\ 624108033594612224745*c_0101_6^11 + 50093805330076338301573059340406351828074424/2303553169157896843586\ 24108033594612224745*c_0101_6^10 + 180881898672393534497522350585999964436592861/230355316915789684358\ 624108033594612224745*c_0101_6^9 - 151675866097003429296369092854051711656991497/230355316915789684358\ 624108033594612224745*c_0101_6^8 - 18049175955612012475873285989626044791211856/2303553169157896843586\ 24108033594612224745*c_0101_6^7 + 767079135733419318060172192063806\ 97248967973/230355316915789684358624108033594612224745*c_0101_6^6 - 21062823361311249472998419854632074378959039/2303553169157896843586\ 24108033594612224745*c_0101_6^5 - 122114902059270190471020062926371\ 88236160878/230355316915789684358624108033594612224745*c_0101_6^4 + 4884066618103373334258998629776512556826463/23035531691578968435862\ 4108033594612224745*c_0101_6^3 + 3396495273974029005567672782598751\ 02761388/46071063383157936871724821606718922444949*c_0101_6^2 + 359629058338961303607600838918689837277812/230355316915789684358624\ 108033594612224745*c_0101_6 - 1136023991038685569986728108739147234\ 68616/230355316915789684358624108033594612224745, c_0101_4 + 1369268209709763132744055473117879228925016/2303553169157896\ 84358624108033594612224745*c_0101_6^20 - 4736982568511345767132657792023921231096582/23035531691578968435862\ 4108033594612224745*c_0101_6^19 - 665344184438325243698539429147650\ 7529723729/230355316915789684358624108033594612224745*c_0101_6^18 + 39687863619494659901309780942742008293326338/2303553169157896843586\ 24108033594612224745*c_0101_6^17 - 7560289623850539104082858344121759423131922/46071063383157936871724\ 821606718922444949*c_0101_6^16 + 7317709700763647269990965477104075\ 7946836346/230355316915789684358624108033594612224745*c_0101_6^15 - 357429946942459690716481825283612976928163968/230355316915789684358\ 624108033594612224745*c_0101_6^14 + 381119531164790384173366195373931141503707103/230355316915789684358\ 624108033594612224745*c_0101_6^13 + 585011538177644930787349459789614047143723856/230355316915789684358\ 624108033594612224745*c_0101_6^12 - 1224932332420760613303882657742473580404821366/23035531691578968435\ 8624108033594612224745*c_0101_6^11 + 189793876889570833853313695897187371882537736/230355316915789684358\ 624108033594612224745*c_0101_6^10 + 945200336894935179790823421283377780731363974/230355316915789684358\ 624108033594612224745*c_0101_6^9 - 743887257427180639586346785741317587787032558/230355316915789684358\ 624108033594612224745*c_0101_6^8 - 127887494141360340740120284630759679440517614/230355316915789684358\ 624108033594612224745*c_0101_6^7 + 402104399325666854643684271788289597651434937/230355316915789684358\ 624108033594612224745*c_0101_6^6 - 99199151381253311612121974783684833624885451/2303553169157896843586\ 24108033594612224745*c_0101_6^5 - 694720275902701338258147551919619\ 75237264222/230355316915789684358624108033594612224745*c_0101_6^4 + 24691346328948381467961426002413566779655997/2303553169157896843586\ 24108033594612224745*c_0101_6^3 + 218085527979425385509525860889760\ 1875434844/46071063383157936871724821606718922444949*c_0101_6^2 + 1072594183582893839002729480914112282298023/23035531691578968435862\ 4108033594612224745*c_0101_6 - 736607999833995157536469829022254767\ 46479/230355316915789684358624108033594612224745, c_0101_6^21 - 55/17*c_0101_6^20 - 96/17*c_0101_6^19 + 475/17*c_0101_6^18 - 358/17*c_0101_6^17 + 797/17*c_0101_6^16 - 4227/17*c_0101_6^15 + 3724/17*c_0101_6^14 + 8384/17*c_0101_6^13 - 13653/17*c_0101_6^12 - 1127/17*c_0101_6^11 + 12452/17*c_0101_6^10 - 6655/17*c_0101_6^9 - 3760/17*c_0101_6^8 + 4723/17*c_0101_6^7 - 7*c_0101_6^6 - 1168/17*c_0101_6^5 + 116/17*c_0101_6^4 + 208/17*c_0101_6^3 + 46/17*c_0101_6^2 - 1/17*c_0101_6 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB