Magma V2.19-8 Tue Aug 20 2013 16:18:41 on localhost [Seed = 1629551725] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2848 geometric_solution 6.07023252 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.469926877011 0.440713591718 0 1 5 1 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641401509960 0.941387721855 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.940860451070 0.992569291066 3 5 3 0 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784569624212 1.131106341025 5 6 0 6 0132 0132 0132 1023 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 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.131810147570 1.128859044174 4 3 2 1 0132 0132 0132 0132 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 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.469926877011 0.440713591718 6 4 6 4 2031 0132 1302 1023 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 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.480792700691 0.224066067610 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 8523447493600811142837859785623476108226471086092/16880807149116631\ 79727556011991199304251718103045*c_1001_0^24 + 22088208661590279386315204123185779947676176882261/1688080714911663\ 179727556011991199304251718103045*c_1001_0^23 - 165363406113236538381349434287951284237952801366/306923766347575123\ 58682836581658169168213056419*c_1001_0^22 - 47717057852097234138289065055293953820811288832157/1688080714911663\ 179727556011991199304251718103045*c_1001_0^21 + 44927511073634687774144668032334871243039159229351/1688080714911663\ 179727556011991199304251718103045*c_1001_0^20 - 196781810117499495695699772549183598677645393426422/168808071491166\ 3179727556011991199304251718103045*c_1001_0^19 + 6838379206622683602674568461919453930627343694764/12985236268551255\ 2286735077845476869557824469465*c_1001_0^18 + 1550044158414765495042897231705354525944941306851562/16880807149116\ 63179727556011991199304251718103045*c_1001_0^17 - 1576983720902707802913646954982572433983104215666752/16880807149116\ 63179727556011991199304251718103045*c_1001_0^16 - 249774036429298802786164923541802834197356255196127/153461883173787\ 561793414182908290845841065282095*c_1001_0^15 + 4717473259627318224963181872035546940001058771348879/16880807149116\ 63179727556011991199304251718103045*c_1001_0^14 - 4511938375722097304289114171199502961941934055241248/16880807149116\ 63179727556011991199304251718103045*c_1001_0^13 - 3489459902991195002496578838392986377600946134395154/16880807149116\ 63179727556011991199304251718103045*c_1001_0^12 + 19131258190777062047521621750220883668054588496244241/1688080714911\ 663179727556011991199304251718103045*c_1001_0^11 - 3909626576542987525823959712228992179284603135020611/33761614298233\ 2635945511202398239860850343620609*c_1001_0^10 - 2363711654415135994920623721568942461490999996006738/33761614298233\ 2635945511202398239860850343620609*c_1001_0^9 + 33303299645481508827648348314349843727070171571331183/1688080714911\ 663179727556011991199304251718103045*c_1001_0^8 - 32013943602156316698387989611135930525382168261588877/1688080714911\ 663179727556011991199304251718103045*c_1001_0^7 + 6079511469743198647272687055708735655329797721646539/16880807149116\ 63179727556011991199304251718103045*c_1001_0^6 + 37320643666407644230543916237089155136058675468377477/1688080714911\ 663179727556011991199304251718103045*c_1001_0^5 - 3955965139366251491897439602264728833976348281990960/33761614298233\ 2635945511202398239860850343620609*c_1001_0^4 + 727126332203398001358398281401363071498572024639112/153461883173787\ 561793414182908290845841065282095*c_1001_0^3 - 2512099815899137908810138627665486207530296406271308/16880807149116\ 63179727556011991199304251718103045*c_1001_0^2 - 4829296576431674596276522514108157761816431677045202/16880807149116\ 63179727556011991199304251718103045*c_1001_0 + 1330584459213348907903709185694271646984178914047056/16880807149116\ 63179727556011991199304251718103045, c_0011_0 - 1, c_0011_3 + 177575193901456016682895020224556565051066985/30692376634757\ 512358682836581658169168213056419*c_1001_0^24 + 418752878655314233578595908732650861187042141/306923766347575123586\ 82836581658169168213056419*c_1001_0^23 - 350611526343990705140871023998644992597249406/306923766347575123586\ 82836581658169168213056419*c_1001_0^22 - 1046845398376104304047286495272052164579382525/30692376634757512358\ 682836581658169168213056419*c_1001_0^21 + 1260750558157775438745762313271850333364442062/30692376634757512358\ 682836581658169168213056419*c_1001_0^20 - 4158757990785442102046319694628002343659142993/30692376634757512358\ 682836581658169168213056419*c_1001_0^19 + 192294332429799422663517753717892452451255305/236095204882750095066\ 7910506281397628324081263*c_1001_0^18 + 33491705114432327400761844688130663400508108780/3069237663475751235\ 8682836581658169168213056419*c_1001_0^17 - 42526999781428276697770127550905627987174161056/3069237663475751235\ 8682836581658169168213056419*c_1001_0^16 - 56438662264902903660605642491006019800825997029/3069237663475751235\ 8682836581658169168213056419*c_1001_0^15 + 125366131876509355145304592459887396895753009152/306923766347575123\ 58682836581658169168213056419*c_1001_0^14 - 116027130357539583108558288963229728584801338697/306923766347575123\ 58682836581658169168213056419*c_1001_0^13 - 69243714027473269327869274293102638663059105738/3069237663475751235\ 8682836581658169168213056419*c_1001_0^12 + 460541739520887876615603754783945204512968381166/306923766347575123\ 58682836581658169168213056419*c_1001_0^11 - 533079788896293347124145385696559922165076321231/306923766347575123\ 58682836581658169168213056419*c_1001_0^10 - 209214846893114488086858455462177741745578249208/306923766347575123\ 58682836581658169168213056419*c_1001_0^9 + 900323589832484201163547052788167610840970791372/306923766347575123\ 58682836581658169168213056419*c_1001_0^8 - 930552692445474843741983436761217510360483245882/306923766347575123\ 58682836581658169168213056419*c_1001_0^7 + 280163266225046598640884173381295660729959068376/306923766347575123\ 58682836581658169168213056419*c_1001_0^6 + 881148427780362871638894054395448982283151701077/306923766347575123\ 58682836581658169168213056419*c_1001_0^5 - 780152622709303230411533419676455845119955285820/306923766347575123\ 58682836581658169168213056419*c_1001_0^4 + 319785745359842853030256773308124475801329960650/306923766347575123\ 58682836581658169168213056419*c_1001_0^3 - 163434018590322955564089378459126138211245500567/306923766347575123\ 58682836581658169168213056419*c_1001_0^2 - 89041868881098801071087037491244970378599043373/3069237663475751235\ 8682836581658169168213056419*c_1001_0 + 53726110698276474284388862579906492541312597368/3069237663475751235\ 8682836581658169168213056419, c_0101_0 + 456463451322459703099257388488287443101366765/30692376634757\ 512358682836581658169168213056419*c_1001_0^24 + 1182301308206147218428022408919596501292196086/30692376634757512358\ 682836581658169168213056419*c_1001_0^23 - 370169975079776108152751278422407933640201896/306923766347575123586\ 82836581658169168213056419*c_1001_0^22 - 2327531737020321372050797655418746653358668110/30692376634757512358\ 682836581658169168213056419*c_1001_0^21 + 2200090818804985942883740193312210455869894327/30692376634757512358\ 682836581658169168213056419*c_1001_0^20 - 10936839298582551894861561720810664363335028620/3069237663475751235\ 8682836581658169168213056419*c_1001_0^19 + 427487155167207859634205788876806530599867153/236095204882750095066\ 7910506281397628324081263*c_1001_0^18 + 79599044979847200823880500226892643832490831336/3069237663475751235\ 8682836581658169168213056419*c_1001_0^17 - 80543241881587956187582637046247431896864729781/3069237663475751235\ 8682836581658169168213056419*c_1001_0^16 - 130341096246546509958155690805381126495517214524/306923766347575123\ 58682836581658169168213056419*c_1001_0^15 + 222418605506931518744971299368050326854478461147/306923766347575123\ 58682836581658169168213056419*c_1001_0^14 - 250747934594846591129773481937696766640416803325/306923766347575123\ 58682836581658169168213056419*c_1001_0^13 - 133507877862120532976689931252532945525784128183/306923766347575123\ 58682836581658169168213056419*c_1001_0^12 + 927419457499909554455324960728188615948129377845/306923766347575123\ 58682836581658169168213056419*c_1001_0^11 - 1003680450927294867900013587539781543158621148072/30692376634757512\ 358682836581658169168213056419*c_1001_0^10 - 461669004854663624037154360773226773265631768219/306923766347575123\ 58682836581658169168213056419*c_1001_0^9 + 1439341584206886299628586544736173085088044720491/30692376634757512\ 358682836581658169168213056419*c_1001_0^8 - 1565352786688462413577939660985239528622365459578/30692376634757512\ 358682836581658169168213056419*c_1001_0^7 + 476158253248205022206666659812893913327453184608/306923766347575123\ 58682836581658169168213056419*c_1001_0^6 + 1599918817619399718912532926882829810931376281884/30692376634757512\ 358682836581658169168213056419*c_1001_0^5 - 683501279276373861206794333925964767177653450232/306923766347575123\ 58682836581658169168213056419*c_1001_0^4 + 450251419726515872954444101817891902574744842886/306923766347575123\ 58682836581658169168213056419*c_1001_0^3 - 160182682893848610988108946638539318672971830734/306923766347575123\ 58682836581658169168213056419*c_1001_0^2 - 206476041014855427792322596899337750621202414441/306923766347575123\ 58682836581658169168213056419*c_1001_0 + 24410006592312992851289978186649407235296073837/3069237663475751235\ 8682836581658169168213056419, c_0101_1 + 69380427258704195673994158859853482428826140/306923766347575\ 12358682836581658169168213056419*c_1001_0^24 + 259961834532629918964125686032800800797770766/306923766347575123586\ 82836581658169168213056419*c_1001_0^23 + 89715830070759546910241652965193039729277037/3069237663475751235868\ 2836581658169168213056419*c_1001_0^22 - 506892740019948505612289841403106928190932080/306923766347575123586\ 82836581658169168213056419*c_1001_0^21 + 72431318683987239115516964089034074615890015/3069237663475751235868\ 2836581658169168213056419*c_1001_0^20 - 1135535189400913852853917274033333898341739944/30692376634757512358\ 682836581658169168213056419*c_1001_0^19 - 115071140242852632814428247801290734564886413/236095204882750095066\ 7910506281397628324081263*c_1001_0^18 + 15098533384541173489240533821593753634107418104/3069237663475751235\ 8682836581658169168213056419*c_1001_0^17 - 1424517075138487064007337641830682382929149817/30692376634757512358\ 682836581658169168213056419*c_1001_0^16 - 40835020314886627014008317942791257054899368405/3069237663475751235\ 8682836581658169168213056419*c_1001_0^15 + 29626102393761154844403733859820794891367949053/3069237663475751235\ 8682836581658169168213056419*c_1001_0^14 - 4307454498706540863065919609027930114993656420/30692376634757512358\ 682836581658169168213056419*c_1001_0^13 - 85419535683952574586780619549339146688695012272/3069237663475751235\ 8682836581658169168213056419*c_1001_0^12 + 177007778838051063074584088906758206523674086306/306923766347575123\ 58682836581658169168213056419*c_1001_0^11 - 48893270076548788821823919961646199105875824978/3069237663475751235\ 8682836581658169168213056419*c_1001_0^10 - 296193789859858724721311313746069349837220737705/306923766347575123\ 58682836581658169168213056419*c_1001_0^9 + 332014947812089040013425218690713623006338733964/306923766347575123\ 58682836581658169168213056419*c_1001_0^8 - 173112169266033705187221345956790476157382982374/306923766347575123\ 58682836581658169168213056419*c_1001_0^7 - 149137634067636876458427440884015311308041005295/306923766347575123\ 58682836581658169168213056419*c_1001_0^6 + 473920946983595671806339776411498722465754188992/306923766347575123\ 58682836581658169168213056419*c_1001_0^5 - 113443997681315787803659662853027724718095711360/306923766347575123\ 58682836581658169168213056419*c_1001_0^4 + 113002183893570425910352163760893692261971496251/306923766347575123\ 58682836581658169168213056419*c_1001_0^3 - 74577320771981364204294945955771123485337952212/3069237663475751235\ 8682836581658169168213056419*c_1001_0^2 - 24293478693504622654671707691857330174560281643/3069237663475751235\ 8682836581658169168213056419*c_1001_0 + 11314614555060929698071949761465751567922465328/3069237663475751235\ 8682836581658169168213056419, c_0101_2 + 260714246683902428006244234/78065651444376600230317149019*c_\ 1001_0^24 + 734498118248313754157501558/780656514443766002303171490\ 19*c_1001_0^23 - 151802975093322693905894648/7806565144437660023031\ 7149019*c_1001_0^22 - 1581862329267721288623483433/7806565144437660\ 0230317149019*c_1001_0^21 + 1066496592950308524083498113/7806565144\ 4376600230317149019*c_1001_0^20 - 5670284641062794646680805831/7806\ 5651444376600230317149019*c_1001_0^19 + 84029731636673867214342339/6005050111105892325409011463*c_1001_0^18 + 48749591323986089989474378687/78065651444376600230317149019*c_100\ 1_0^17 - 38016819779808000601424813663/7806565144437660023031714901\ 9*c_1001_0^16 - 99076263548945542743360840330/780656514443766002303\ 17149019*c_1001_0^15 + 131686384923327133063562392518/7806565144437\ 6600230317149019*c_1001_0^14 - 102772711135453751240641684830/78065\ 651444376600230317149019*c_1001_0^13 - 155442376005142602984996186025/78065651444376600230317149019*c_1001\ _0^12 + 588219974564269414353218368466/7806565144437660023031714901\ 9*c_1001_0^11 - 459540157161138003421214591708/78065651444376600230\ 317149019*c_1001_0^10 - 554837023887274173551304177042/780656514443\ 76600230317149019*c_1001_0^9 + 1023638332702230586423753702727/7806\ 5651444376600230317149019*c_1001_0^8 - 757886064319994078801645048709/78065651444376600230317149019*c_1001\ _0^7 - 137191646590641790891751896414/78065651444376600230317149019\ *c_1001_0^6 + 1372166339382086984638328425867/780656514443766002303\ 17149019*c_1001_0^5 - 391629626643220204513334711526/78065651444376\ 600230317149019*c_1001_0^4 - 10344311905278444016654231014/78065651\ 444376600230317149019*c_1001_0^3 + 100852355232679938429731795828/78065651444376600230317149019*c_1001\ _0^2 - 229107689176754163942016376861/78065651444376600230317149019\ *c_1001_0 - 19463273372179120589416475874/7806565144437660023031714\ 9019, c_0110_6 - 8443871506777724993316525040396612545387329/8295236928312841\ 17802238826531301869411163687*c_1001_0^24 - 23013952766219150786198030577649981074983500/8295236928312841178022\ 38826531301869411163687*c_1001_0^23 + 5554441900844218701644551200899696443784676/82952369283128411780223\ 8826531301869411163687*c_1001_0^22 + 46860512121571131209022077072121232203104059/8295236928312841178022\ 38826531301869411163687*c_1001_0^21 - 38194868240062183574736283044406697850222648/8295236928312841178022\ 38826531301869411163687*c_1001_0^20 + 192255048414455274876992234537147294852262423/829523692831284117802\ 238826531301869411163687*c_1001_0^19 - 4855579251218423513144474309752265064062130/63809514833175701369402\ 986656253989954704899*c_1001_0^18 - 1535392734451694285852477345105239534828970570/82952369283128411780\ 2238826531301869411163687*c_1001_0^17 + 1358618011505768930390741668164467219306304805/82952369283128411780\ 2238826531301869411163687*c_1001_0^16 + 2828093208024113619471733851548408403422383826/82952369283128411780\ 2238826531301869411163687*c_1001_0^15 - 4251298585176152259388947094596130964431179618/82952369283128411780\ 2238826531301869411163687*c_1001_0^14 + 4057473831695000996291756419187339370572264805/82952369283128411780\ 2238826531301869411163687*c_1001_0^13 + 3816432149658564134419137018447480386547128160/82952369283128411780\ 2238826531301869411163687*c_1001_0^12 - 18250901008161335280917956037200323924645948275/8295236928312841178\ 02238826531301869411163687*c_1001_0^11 + 17177649882569548647529608830218993559491719158/8295236928312841178\ 02238826531301869411163687*c_1001_0^10 + 13024608607080750734300780040433576037000346651/8295236928312841178\ 02238826531301869411163687*c_1001_0^9 - 30559038230604423619441224251899886748205614304/8295236928312841178\ 02238826531301869411163687*c_1001_0^8 + 28417400462294286401432102134870558887056956220/8295236928312841178\ 02238826531301869411163687*c_1001_0^7 - 3838558843096089643436163771148611180893233797/82952369283128411780\ 2238826531301869411163687*c_1001_0^6 - 35621705276443902145656301695651035929732869865/8295236928312841178\ 02238826531301869411163687*c_1001_0^5 + 14118268069059274971627747347954518176702548082/8295236928312841178\ 02238826531301869411163687*c_1001_0^4 - 8129236578591423637636680223759391632112841107/82952369283128411780\ 2238826531301869411163687*c_1001_0^3 + 2501465351371199818323935488726310749566335173/82952369283128411780\ 2238826531301869411163687*c_1001_0^2 + 3585572920448210612990641741003495116704274626/82952369283128411780\ 2238826531301869411163687*c_1001_0 + 72198014670518048217023367838858409673334437/8295236928312841178022\ 38826531301869411163687, c_1001_0^25 + 3*c_1001_0^24 - 6*c_1001_0^22 + 3*c_1001_0^21 - 21*c_1001_0^20 + c_1001_0^19 + 186*c_1001_0^18 - 111*c_1001_0^17 - 396*c_1001_0^16 + 422*c_1001_0^15 - 309*c_1001_0^14 - 622*c_1001_0^13 + 2078*c_1001_0^12 - 1390*c_1001_0^11 - 2300*c_1001_0^10 + 3339*c_1001_0^9 - 2206*c_1001_0^8 - 773*c_1001_0^7 + 4651*c_1001_0^6 - 565*c_1001_0^5 + 66*c_1001_0^4 + 71*c_1001_0^3 - 676*c_1001_0^2 - 72*c_1001_0 + 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB