Magma V2.19-8 Tue Aug 20 2013 16:18:10 on localhost [Seed = 762097686] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2391 geometric_solution 5.75842880 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.533981566597 0.208739821848 2 0 3 0 0132 2310 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 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.841535462044 0.426290125342 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 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.713657624799 0.899658907261 5 2 4 1 3201 1230 0132 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 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.713657624799 0.899658907261 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 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.018781715054 1.218994929837 6 6 2 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.142223263158 1.776576365494 5 6 5 6 0132 1302 2310 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 -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.445506100826 0.863942588008 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : 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' : 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' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], '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_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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), '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_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t - 156170752512731778120384704914013399335869853482110/101239828072814\ 50069904124583776189175692211229*c_0101_3^41 + 4979157235857061578146516786461410659993062094750521/10123982807281\ 450069904124583776189175692211229*c_0101_3^39 - 60947501403579324447900009325468342344462530603933199/1012398280728\ 1450069904124583776189175692211229*c_0101_3^37 + 364226365658057373301703227984004245178286982860999195/101239828072\ 81450069904124583776189175692211229*c_0101_3^35 - 1115740104317805984794788791436334283081023128764879016/10123982807\ 281450069904124583776189175692211229*c_0101_3^33 + 1486601085419856385384867552231887337640372143076142483/10123982807\ 281450069904124583776189175692211229*c_0101_3^31 + 1180500454052355285974984463350215353627790443752562917/10123982807\ 281450069904124583776189175692211229*c_0101_3^29 - 10806969536854661736064835453324922338986772395052351207/1012398280\ 7281450069904124583776189175692211229*c_0101_3^27 + 28281367008071805471438450722287664038787354793074123316/1012398280\ 7281450069904124583776189175692211229*c_0101_3^25 - 34362050068234076484112690063927191456642800393505655004/1012398280\ 7281450069904124583776189175692211229*c_0101_3^23 - 1940768483979001449196280020744645346968896128348520861/10123982807\ 281450069904124583776189175692211229*c_0101_3^21 + 64006683672272307186611316700252732946955469565741194117/1012398280\ 7281450069904124583776189175692211229*c_0101_3^19 - 92294807378711908084619899431945642338728796866530507475/1012398280\ 7281450069904124583776189175692211229*c_0101_3^17 + 73666447153006967141161005059711095535026031475394407532/1012398280\ 7281450069904124583776189175692211229*c_0101_3^15 - 44000176432446858747777572264544048686689336753653143204/1012398280\ 7281450069904124583776189175692211229*c_0101_3^13 + 23154973665366543397451130776535905396647819865341704095/1012398280\ 7281450069904124583776189175692211229*c_0101_3^11 - 9939774202278933530558607961071117886589148330135637578/10123982807\ 281450069904124583776189175692211229*c_0101_3^9 + 2885674855410461314674977662200686685785504164447523528/10123982807\ 281450069904124583776189175692211229*c_0101_3^7 - 488584382931100835431393041161420479417617037040886672/101239828072\ 81450069904124583776189175692211229*c_0101_3^5 + 41511253942266581440985011332081557029576154499291156/1012398280728\ 1450069904124583776189175692211229*c_0101_3^3 - 1317513932244338584757502566479796593987956687806277/10123982807281\ 450069904124583776189175692211229*c_0101_3, c_0011_0 - 1, c_0011_1 - 110357584219173220513628687288962292377615791422/10123982807\ 281450069904124583776189175692211229*c_0101_3^40 + 3515974436462257365580686493734376749020504322725/10123982807281450\ 069904124583776189175692211229*c_0101_3^38 - 42987791420979991271909560041493734964492014029529/1012398280728145\ 0069904124583776189175692211229*c_0101_3^36 + 256396296356619663496791003459035191029457523240828/101239828072814\ 50069904124583776189175692211229*c_0101_3^34 - 782594197010706513851254305330363866533346303489189/101239828072814\ 50069904124583776189175692211229*c_0101_3^32 + 1032841916629805679082593734606510605808866204250592/10123982807281\ 450069904124583776189175692211229*c_0101_3^30 + 856780470724637104494334871222078561974361775867973/101239828072814\ 50069904124583776189175692211229*c_0101_3^28 - 7614970256704499792117499703892292942468314552446211/10123982807281\ 450069904124583776189175692211229*c_0101_3^26 + 19809943009431510007997869162625622324465706817938466/1012398280728\ 1450069904124583776189175692211229*c_0101_3^24 - 23836592891325211514688341156871038274221824313991985/1012398280728\ 1450069904124583776189175692211229*c_0101_3^22 - 1888250757492795300085985211878320186367484556345623/10123982807281\ 450069904124583776189175692211229*c_0101_3^20 + 45137878683596430509638896642130602777354455408227823/1012398280728\ 1450069904124583776189175692211229*c_0101_3^18 - 64164494054574025514469512589805631967815147885069144/1012398280728\ 1450069904124583776189175692211229*c_0101_3^16 + 50651440508540922231629631760751601156125069022158711/1012398280728\ 1450069904124583776189175692211229*c_0101_3^14 - 30057065355858914361008945657415859987123305320910460/1012398280728\ 1450069904124583776189175692211229*c_0101_3^12 + 15777467048674740941231746282969482785974688373773643/1012398280728\ 1450069904124583776189175692211229*c_0101_3^10 - 6721302832573673576249674765864911756303449910901611/10123982807281\ 450069904124583776189175692211229*c_0101_3^8 + 1916781943232159203157048419786418213016124353447259/10123982807281\ 450069904124583776189175692211229*c_0101_3^6 - 315492117664576124300912983921088963082052069256863/101239828072814\ 50069904124583776189175692211229*c_0101_3^4 + 25814545126568038805339571417832188648804586100870/1012398280728145\ 0069904124583776189175692211229*c_0101_3^2 - 784085611496801731629465039916336072302353003717/101239828072814500\ 69904124583776189175692211229, c_0011_3 + 117370156736299534463316776567784501846137894194/10123982807\ 281450069904124583776189175692211229*c_0101_3^41 - 3744863505507634638346075897997060173021541774812/10123982807281450\ 069904124583776189175692211229*c_0101_3^39 + 45891843104912569136718039244180031569386428057738/1012398280728145\ 0069904124583776189175692211229*c_0101_3^37 - 274761621779929152138913644847856964096902507770607/101239828072814\ 50069904124583776189175692211229*c_0101_3^35 + 844336463656094953902291690743190106112649876884682/101239828072814\ 50069904124583776189175692211229*c_0101_3^33 - 1133229545641745221300370568166288907744411326201705/10123982807281\ 450069904124583776189175692211229*c_0101_3^31 - 871719820787641962283376202878337097996757131997337/101239828072814\ 50069904124583776189175692211229*c_0101_3^29 + 8154675396985044129560389001602433007373265780772942/10123982807281\ 450069904124583776189175692211229*c_0101_3^27 - 21427573966349090831490172388808160478002347740816485/1012398280728\ 1450069904124583776189175692211229*c_0101_3^25 + 26212644175899129406541470600676035598150774607322313/1012398280728\ 1450069904124583776189175692211229*c_0101_3^23 + 1116663649950146091955599899883438156536352335586442/10123982807281\ 450069904124583776189175692211229*c_0101_3^21 - 48401228593719404517982139986813307854732155375052745/1012398280728\ 1450069904124583776189175692211229*c_0101_3^19 + 70348659936296788704303036134692058508672548664040295/1012398280728\ 1450069904124583776189175692211229*c_0101_3^17 - 56341554610682103313906841482084738019665668049872058/1012398280728\ 1450069904124583776189175692211229*c_0101_3^15 + 33642637622930898988764405819889417546369050296584638/1012398280728\ 1450069904124583776189175692211229*c_0101_3^13 - 17702489113809838290939056725479860553613784220132034/1012398280728\ 1450069904124583776189175692211229*c_0101_3^11 + 7617825277022562423863276313945168983849084269134582/10123982807281\ 450069904124583776189175692211229*c_0101_3^9 - 2212585963695347997763739514264031525704376097284142/10123982807281\ 450069904124583776189175692211229*c_0101_3^7 + 371494754604923708389167730836162103006961210628842/101239828072814\ 50069904124583776189175692211229*c_0101_3^5 - 30850308575716278784205348387098055573062904640551/1012398280728145\ 0069904124583776189175692211229*c_0101_3^3 + 959784067765752489914688197528422024562985660407/101239828072814500\ 69904124583776189175692211229*c_0101_3, c_0011_5 + 389125968907412458575577238482233860670927483148/10123982807\ 281450069904124583776189175692211229*c_0101_3^41 - 12401589702743044962098902004744571539893198944678/1012398280728145\ 0069904124583776189175692211229*c_0101_3^39 + 151707938382745117384385875506977282544541159175950/101239828072814\ 50069904124583776189175692211229*c_0101_3^37 - 905672533737751992768613738860536455839765359754375/101239828072814\ 50069904124583776189175692211229*c_0101_3^35 + 2769092686876632924940998970886409579554530438596290/10123982807281\ 450069904124583776189175692211229*c_0101_3^33 - 3671350220152924000602973457057823881019704820413488/10123982807281\ 450069904124583776189175692211229*c_0101_3^31 - 2982317936542458048239329397849907463113237977878377/10123982807281\ 450069904124583776189175692211229*c_0101_3^29 + 26884840708629830343928457478801480294261769744796904/1012398280728\ 1450069904124583776189175692211229*c_0101_3^27 - 70140898290439469486255224616685418320525007069923770/1012398280728\ 1450069904124583776189175692211229*c_0101_3^25 + 84795687427783138225382696663858738063460575404045608/1012398280728\ 1450069904124583776189175692211229*c_0101_3^23 + 5771674659937707748189889049562690205966961310636488/10123982807281\ 450069904124583776189175692211229*c_0101_3^21 - 159284708885683861461288692176932784389538329809582533/101239828072\ 81450069904124583776189175692211229*c_0101_3^19 + 228027760524533165267947640408861275146776259542513739/101239828072\ 81450069904124583776189175692211229*c_0101_3^17 - 180996484071548715036349203141541588724222671993860683/101239828072\ 81450069904124583776189175692211229*c_0101_3^15 + 107739070434248919707842133407639909604537633149010090/101239828072\ 81450069904124583776189175692211229*c_0101_3^13 - 56617282459830453606726465446025496391902417890386825/1012398280728\ 1450069904124583776189175692211229*c_0101_3^11 + 24212165270038712067590470970074958945702537511705197/1012398280728\ 1450069904124583776189175692211229*c_0101_3^9 - 6965341841972217775163787512432768416870355086070534/10123982807281\ 450069904124583776189175692211229*c_0101_3^7 + 1161533593735246410597593337167749719763245948631999/10123982807281\ 450069904124583776189175692211229*c_0101_3^5 - 96696616573226529807199606608910006280446647792762/1012398280728145\ 0069904124583776189175692211229*c_0101_3^3 + 3022845510770583600871269009944392361972429334550/10123982807281450\ 069904124583776189175692211229*c_0101_3, c_0101_0 + 44322764992462245109378873881249771196561662398/101239828072\ 81450069904124583776189175692211229*c_0101_3^40 - 1413679209905331352243677107591694000524545574815/10123982807281450\ 069904124583776189175692211229*c_0101_3^38 + 17314798994908236107422713126064209508213960430954/1012398280728145\ 0069904124583776189175692211229*c_0101_3^36 - 103580560376349864593002376278678504973293374366344/101239828072814\ 50069904124583776189175692211229*c_0101_3^34 + 317885368996540024992430484905748924198572236719646/101239828072814\ 50069904124583776189175692211229*c_0101_3^32 - 425514884213792918563386381341567239095016032985908/101239828072814\ 50069904124583776189175692211229*c_0101_3^30 - 330855897583015130803075565156305972587212900009931/101239828072814\ 50069904124583776189175692211229*c_0101_3^28 + 3072865829695734270016561664916130564570645898398065/10123982807281\ 450069904124583776189175692211229*c_0101_3^26 - 8063806320539003581159916593035191378153906999464275/10123982807281\ 450069904124583776189175692211229*c_0101_3^24 + 9841863070934380975036052925026426537582349863593700/10123982807281\ 450069904124583776189175692211229*c_0101_3^22 + 457245824915607090713473643366201840391692317568687/101239828072814\ 50069904124583776189175692211229*c_0101_3^20 - 18209701387063876665097539067248396155600675918036615/1012398280728\ 1450069904124583776189175692211229*c_0101_3^18 + 26422871067982234514395695645406544108953818459901740/1012398280728\ 1450069904124583776189175692211229*c_0101_3^16 - 21165788619279964960150129995910675259551550286148025/1012398280728\ 1450069904124583776189175692211229*c_0101_3^14 + 12647142470808813872705765020652934891896805133393390/1012398280728\ 1450069904124583776189175692211229*c_0101_3^12 - 6652989090305882353407866346905046783808918410843744/10123982807281\ 450069904124583776189175692211229*c_0101_3^10 + 2862969474570085684231474264284910668386635782785119/10123982807281\ 450069904124583776189175692211229*c_0101_3^8 - 832951484675969964803984914352372572804389569671069/101239828072814\ 50069904124583776189175692211229*c_0101_3^6 + 140190472732434477115061696504545547359517867646861/101239828072814\ 50069904124583776189175692211229*c_0101_3^4 - 11682582570569554204514270975988697608495062613611/1012398280728145\ 0069904124583776189175692211229*c_0101_3^2 + 369158908932865636538912771115464819561604041537/101239828072814500\ 69904124583776189175692211229, c_0101_1 - 99376074165222756033567735116918406322744952026/101239828072\ 81450069904124583776189175692211229*c_0101_3^40 + 3163975787272809923751915770207314591028602068027/10123982807281450\ 069904124583776189175692211229*c_0101_3^38 - 38643180481988850457055910211159153671278609406804/1012398280728145\ 0069904124583776189175692211229*c_0101_3^36 + 230080937342844670750198845622399862447456500994418/101239828072814\ 50069904124583776189175692211229*c_0101_3^34 - 700103659177861157180589701807540904155461321629442/101239828072814\ 50069904124583776189175692211229*c_0101_3^32 + 916868535067196419208514256048137915199390972968421/101239828072814\ 50069904124583776189175692211229*c_0101_3^30 + 786037913473073559331020854177605895468437793631201/101239828072814\ 50069904124583776189175692211229*c_0101_3^28 - 6834819496821619408269041481533380041661065194921762/10123982807281\ 450069904124583776189175692211229*c_0101_3^26 + 17701168364861561748541001577495257627143407556248579/1012398280728\ 1450069904124583776189175692211229*c_0101_3^24 - 21139070600293846993046327593396110662319840681506557/1012398280728\ 1450069904124583776189175692211229*c_0101_3^22 - 2026988271402567546286729990795208666469583976719762/10123982807281\ 450069904124583776189175692211229*c_0101_3^20 + 40478088333485857927263300474989212984204583202343374/1012398280728\ 1450069904124583776189175692211229*c_0101_3^18 - 56981211884085050293123098506225525130786372770851612/1012398280728\ 1450069904124583776189175692211229*c_0101_3^16 + 44700546828205272564073219490041162634219808229233583/1012398280728\ 1450069904124583776189175692211229*c_0101_3^14 - 26456988392187123446390470752619401240164907882725688/1012398280728\ 1450069904124583776189175692211229*c_0101_3^12 + 13871877808113959138741499346204617290028143908007065/1012398280728\ 1450069904124583776189175692211229*c_0101_3^10 - 5882734201752178876105031356472817372015625310718529/10123982807281\ 450069904124583776189175692211229*c_0101_3^8 + 1664336944626914586339224166388237904209016518540797/10123982807281\ 450069904124583776189175692211229*c_0101_3^6 - 271577636399269599631985545634508290979125135295836/101239828072814\ 50069904124583776189175692211229*c_0101_3^4 + 22089646907689091366791492677233006788697748204746/1012398280728145\ 0069904124583776189175692211229*c_0101_3^2 - 676839437567783647236052387932327759631907320752/101239828072814500\ 69904124583776189175692211229, c_0101_3^42 - 32*c_0101_3^40 + 394*c_0101_3^38 - 2378*c_0101_3^36 + 7418*c_0101_3^34 - 10358*c_0101_3^32 - 6439*c_0101_3^30 + 70081*c_0101_3^28 - 189211*c_0101_3^26 + 241300*c_0101_3^24 - 13469*c_0101_3^22 - 411199*c_0101_3^20 + 639076*c_0101_3^18 - 541235*c_0101_3^16 + 337339*c_0101_3^14 - 181499*c_0101_3^12 + 81140*c_0101_3^10 - 25996*c_0101_3^8 + 5316*c_0101_3^6 - 637*c_0101_3^4 + 40*c_0101_3^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB