Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 1208603747] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0067 geometric_solution 3.62312379 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.804822983003 0.051359586527 0 0 2 2 0132 3201 2310 0132 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 0 0 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.525095602787 0.195443131326 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.096223045515 0.078651461764 2 4 4 2 0132 0132 1023 1023 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 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 1.114413013873 0.208822710120 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 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.810363262970 0.415325255192 4 6 6 6 0132 0321 1302 2031 0 0 0 0 0 -1 0 1 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 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.501882067503 0.506964813574 5 5 4 5 2031 1302 0132 0321 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 1 0 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501882067503 0.506964813574 ==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' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], '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' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], '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_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], '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_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1637846125161770614510295350402394160013798056483987/22863825323379\ 453709382030901757691218208101510133*c_0101_4^22 + 103601622353920767715132657611161866109834574383303/228638253233794\ 53709382030901757691218208101510133*c_0101_4^21 - 42608758128586189086268787522057285706902754993949223/2286382532337\ 9453709382030901757691218208101510133*c_0101_4^20 + 23518364577749852011248103370191601917041544146674176/2286382532337\ 9453709382030901757691218208101510133*c_0101_4^19 + 10538090862387531734167527938917169250041336150344286/4864643685825\ 41568284724061739525345068257478939*c_0101_4^18 - 35188988770037672284363125336060938809746941529935427/1758755794106\ 111823798617761673668555246777039241*c_0101_4^17 - 3598828756311544626100224017078508307592541819602651128/22863825323\ 379453709382030901757691218208101510133*c_0101_4^16 + 299741809454090404204677479274471571831785286359306987/175875579410\ 6111823798617761673668555246777039241*c_0101_4^15 + 16291724967585009167214455213033817763238919668365122775/2286382532\ 3379453709382030901757691218208101510133*c_0101_4^14 - 17653695009352981762741663707537314042065717361457486966/2286382532\ 3379453709382030901757691218208101510133*c_0101_4^13 - 3312771106759743926154525063240433890245303929915693388/17587557941\ 06111823798617761673668555246777039241*c_0101_4^12 + 3378728583102450741180708002323966571167585321249847635/17587557941\ 06111823798617761673668555246777039241*c_0101_4^11 + 60769116250853545759641317714949440576552063790334905116/2286382532\ 3379453709382030901757691218208101510133*c_0101_4^10 - 60980183943143930074013784563297248123738404587894957221/2286382532\ 3379453709382030901757691218208101510133*c_0101_4^9 - 43951813790652079875851799683226328457137748604119824117/2286382532\ 3379453709382030901757691218208101510133*c_0101_4^8 + 39897950526418051629507908971962786477160995775394915236/2286382532\ 3379453709382030901757691218208101510133*c_0101_4^7 + 20441598559734219064058161661328568630597484099481436855/2286382532\ 3379453709382030901757691218208101510133*c_0101_4^6 - 4660907982597126496562139281326808930088724239696776971/22863825323\ 379453709382030901757691218208101510133*c_0101_4^5 - 6562615598648004364434332420137712338636080344027744689/22863825323\ 379453709382030901757691218208101510133*c_0101_4^4 - 5613580538059657292092732361094081381288268668123235549/22863825323\ 379453709382030901757691218208101510133*c_0101_4^3 - 16473118399449773304426046091666953689945296797077679/1758755794106\ 111823798617761673668555246777039241*c_0101_4^2 + 1019094264719824559379044154519519417736862365192529361/22863825323\ 379453709382030901757691218208101510133*c_0101_4 + 177577190067862404374144452806959013197893557650802139/228638253233\ 79453709382030901757691218208101510133, c_0011_0 - 1, c_0011_2 + 14183304397942695213179866178979853881048480354/175875579410\ 6111823798617761673668555246777039241*c_0101_4^22 - 14731942213150516317763950484510957494673031560/1758755794106111823\ 798617761673668555246777039241*c_0101_4^21 - 359188351471375490895477766770707305833223077478/175875579410611182\ 3798617761673668555246777039241*c_0101_4^20 + 602230676793693497011896604523757030160688751682/175875579410611182\ 3798617761673668555246777039241*c_0101_4^19 + 80643455586322072345577544724312553671286821932/3742033604481088986\ 8055697056886565005250575303*c_0101_4^18 - 8311371713238723382433426762542922555399916456407/17587557941061118\ 23798617761673668555246777039241*c_0101_4^17 - 23832557496030272773183502684113478482899770786867/1758755794106111\ 823798617761673668555246777039241*c_0101_4^16 + 62672320309771665053962868463594029947999239278869/1758755794106111\ 823798617761673668555246777039241*c_0101_4^15 + 84459898681203568823942309800682498665134481054193/1758755794106111\ 823798617761673668555246777039241*c_0101_4^14 - 266877267889066453201028277872959928264707620733889/175875579410611\ 1823798617761673668555246777039241*c_0101_4^13 - 129879167886622179374089957769540357414025669447091/175875579410611\ 1823798617761673668555246777039241*c_0101_4^12 + 613934362982269934116024399136721136726503572056802/175875579410611\ 1823798617761673668555246777039241*c_0101_4^11 - 36696719931817813430180352535121667122138187280082/1758755794106111\ 823798617761673668555246777039241*c_0101_4^10 - 698715004790095909428260020998577458067886468987600/175875579410611\ 1823798617761673668555246777039241*c_0101_4^9 + 279149139517593025863718344853653248137795924469243/175875579410611\ 1823798617761673668555246777039241*c_0101_4^8 + 291743107482184625056377702004366095802521785515769/175875579410611\ 1823798617761673668555246777039241*c_0101_4^7 - 120508857391359281825965606258603556854899645754823/175875579410611\ 1823798617761673668555246777039241*c_0101_4^6 - 30169934291554721631613550788570105467159481150316/1758755794106111\ 823798617761673668555246777039241*c_0101_4^5 - 36963346426064688661379666918995021835696933875807/1758755794106111\ 823798617761673668555246777039241*c_0101_4^4 + 1792672286577578169219641456319631839138385849122/17587557941061118\ 23798617761673668555246777039241*c_0101_4^3 + 14456204656259339296470463186184605986615254313515/1758755794106111\ 823798617761673668555246777039241*c_0101_4^2 + 1288602492133761693767557606488194341301402290835/17587557941061118\ 23798617761673668555246777039241*c_0101_4 - 494172802133057044444190968908197886276011936592/175875579410611182\ 3798617761673668555246777039241, c_0011_6 + 58839981024326270549473705712745791614115507741/175875579410\ 6111823798617761673668555246777039241*c_0101_4^22 - 37443720195555251342043713831648497232556011994/1758755794106111823\ 798617761673668555246777039241*c_0101_4^21 - 1501639105827155210602178210245619077631397027197/17587557941061118\ 23798617761673668555246777039241*c_0101_4^20 + 1892005015182822211387133874154132574235432138403/17587557941061118\ 23798617761673668555246777039241*c_0101_4^19 + 348848685860429976800834103702771376018215526201/374203360448108898\ 68055697056886565005250575303*c_0101_4^18 - 27770885506029190744776696904886570218178928379094/1758755794106111\ 823798617761673668555246777039241*c_0101_4^17 - 109079913189693303969888590772329619801039929629183/175875579410611\ 1823798617761673668555246777039241*c_0101_4^16 + 214476243272674394988095045035006697793359216651804/175875579410611\ 1823798617761673668555246777039241*c_0101_4^15 + 430343021644780972353395080055704397470510879733539/175875579410611\ 1823798617761673668555246777039241*c_0101_4^14 - 921538206577513362272570132983271743092593583900402/175875579410611\ 1823798617761673668555246777039241*c_0101_4^13 - 885106531165439225370273215307469042897381882446278/175875579410611\ 1823798617761673668555246777039241*c_0101_4^12 + 2138354448567761523812613584852739766956372874561439/17587557941061\ 11823798617761673668555246777039241*c_0101_4^11 + 659959048282601756981888451216378962403825134181565/175875579410611\ 1823798617761673668555246777039241*c_0101_4^10 - 2515838107618237919870307643805004457244665816767337/17587557941061\ 11823798617761673668555246777039241*c_0101_4^9 + 176250874433282855069377219691378220782491353711487/175875579410611\ 1823798617761673668555246777039241*c_0101_4^8 + 1152080895504529492653369663595096352804904607065911/17587557941061\ 11823798617761673668555246777039241*c_0101_4^7 - 17056251559641427676650598549223639935597981222553/1758755794106111\ 823798617761673668555246777039241*c_0101_4^6 - 82576655163555023809461657751389186999418675257385/1758755794106111\ 823798617761673668555246777039241*c_0101_4^5 - 201494319252025326591984547808939014079471909275700/175875579410611\ 1823798617761673668555246777039241*c_0101_4^4 - 74365501455928089897102849897129296841532013742312/1758755794106111\ 823798617761673668555246777039241*c_0101_4^3 + 35296942202544468277548559963699820192760735602286/1758755794106111\ 823798617761673668555246777039241*c_0101_4^2 + 12049429485608912701605392902393274353791459413023/1758755794106111\ 823798617761673668555246777039241*c_0101_4 + 693240720137246772775568951572549681687280620647/175875579410611182\ 3798617761673668555246777039241, c_0101_0 - 37923301963169564361589368888516799379453392816/175875579410\ 6111823798617761673668555246777039241*c_0101_4^22 + 10368693805605648092004376668366000787188266039/1758755794106111823\ 798617761673668555246777039241*c_0101_4^21 + 978822070956951279834132547375884269197010416339/175875579410611182\ 3798617761673668555246777039241*c_0101_4^20 - 870527828026221946452636642350648010581139352991/175875579410611182\ 3798617761673668555246777039241*c_0101_4^19 - 235477171026491387481484571433842618720115282255/374203360448108898\ 68055697056886565005250575303*c_0101_4^18 + 14158905084541232548213985920601934408365918177311/1758755794106111\ 823798617761673668555246777039241*c_0101_4^17 + 77417789602815576443615303813381234290079478152966/1758755794106111\ 823798617761673668555246777039241*c_0101_4^16 - 114038955435447716149222173875851653153927585527720/175875579410611\ 1823798617761673668555246777039241*c_0101_4^15 - 331521698126110479455280548763112693646035409289059/175875579410611\ 1823798617761673668555246777039241*c_0101_4^14 + 503329587089166488966806724824549203967428327842698/175875579410611\ 1823798617761673668555246777039241*c_0101_4^13 + 801028854809073624827984583643064800808872848131903/175875579410611\ 1823798617761673668555246777039241*c_0101_4^12 - 1214429331695910413980423919992888648126982475573195/17587557941061\ 11823798617761673668555246777039241*c_0101_4^11 - 953567119818825159703610744193521484580143674951435/175875579410611\ 1823798617761673668555246777039241*c_0101_4^10 + 1568205092536256918534674638030397636009849342368883/17587557941061\ 11823798617761673668555246777039241*c_0101_4^9 + 487778315026350180278264381790376853614703395756869/175875579410611\ 1823798617761673668555246777039241*c_0101_4^8 - 901924458479422450592732254942745912201776095091877/175875579410611\ 1823798617761673668555246777039241*c_0101_4^7 - 235993151135580427791669693239310135217972740676391/175875579410611\ 1823798617761673668555246777039241*c_0101_4^6 + 112409742663551949323085388539158066660147943534438/175875579410611\ 1823798617761673668555246777039241*c_0101_4^5 + 141625547909191223839684344385368899361916099994848/175875579410611\ 1823798617761673668555246777039241*c_0101_4^4 + 89404135910201684347303686006747510906028431490079/1758755794106111\ 823798617761673668555246777039241*c_0101_4^3 - 15888016702354300804495044736290623270010331478647/1758755794106111\ 823798617761673668555246777039241*c_0101_4^2 - 19748274031327860154555265535874770221833492477076/1758755794106111\ 823798617761673668555246777039241*c_0101_4 - 1226693568362798062873184109643551247954601997124/17587557941061118\ 23798617761673668555246777039241, c_0101_1 - 28899876962579683814950334799112044162393624734/175875579410\ 6111823798617761673668555246777039241*c_0101_4^22 - 5660652749925581552515330076554557377081599989/17587557941061118237\ 98617761673668555246777039241*c_0101_4^21 + 757108596991764565852747265837719916092151670428/175875579410611182\ 3798617761673668555246777039241*c_0101_4^20 - 319393466700264710918705062939382446117707805567/175875579410611182\ 3798617761673668555246777039241*c_0101_4^19 - 190112818769492149700198886218280056750813907189/374203360448108898\ 68055697056886565005250575303*c_0101_4^18 + 7105706026204631457050810299098874783120412889391/17587557941061118\ 23798617761673668555246777039241*c_0101_4^17 + 66100223410977860396125627116419589858111589771942/1758755794106111\ 823798617761673668555246777039241*c_0101_4^16 - 63114288994909678140579522242273984334697734549909/1758755794106111\ 823798617761673668555246777039241*c_0101_4^15 - 306638217791401215338635333614071985102118681409509/175875579410611\ 1823798617761673668555246777039241*c_0101_4^14 + 294719731230805614020604473781916225773936531825087/175875579410611\ 1823798617761673668555246777039241*c_0101_4^13 + 840078765132786647936639291407114384532440056794952/175875579410611\ 1823798617761673668555246777039241*c_0101_4^12 - 765903686077995061363559271803789781996510716813927/175875579410611\ 1823798617761673668555246777039241*c_0101_4^11 - 1251342539364759738970050089142123670964606754878766/17587557941061\ 11823798617761673668555246777039241*c_0101_4^10 + 1146318245089281832712942762784224853091220873440349/17587557941061\ 11823798617761673668555246777039241*c_0101_4^9 + 963381427973242230387482163590608266971092350754189/175875579410611\ 1823798617761673668555246777039241*c_0101_4^8 - 848311644078148120885260587529299358370345236111114/175875579410611\ 1823798617761673668555246777039241*c_0101_4^7 - 414517986873215429777876594577193078201879856065789/175875579410611\ 1823798617761673668555246777039241*c_0101_4^6 + 141968236174416100077122328853910269375982463451804/175875579410611\ 1823798617761673668555246777039241*c_0101_4^5 + 112246072711240934577630264201063754520259643590449/175875579410611\ 1823798617761673668555246777039241*c_0101_4^4 + 110946230424720862638870297556959828281400077852088/175875579410611\ 1823798617761673668555246777039241*c_0101_4^3 - 2509220870795068145666616446655915854669914377285/17587557941061118\ 23798617761673668555246777039241*c_0101_4^2 - 23892943622244282782774653139934092101840235372421/1758755794106111\ 823798617761673668555246777039241*c_0101_4 - 1676288400314638471585963561128394939305824534268/17587557941061118\ 23798617761673668555246777039241, c_0101_3 + 38538532195391566755245521195777739911570750809/175875579410\ 6111823798617761673668555246777039241*c_0101_4^22 - 20664191542854779010050807921575111303038534382/1758755794106111823\ 798617761673668555246777039241*c_0101_4^21 - 986476462721252461456863263704317197326119264581/175875579410611182\ 3798617761673668555246777039241*c_0101_4^20 + 1141382861375497807550102407287536706847689662802/17587557941061118\ 23798617761673668555246777039241*c_0101_4^19 + 231397770322726151605432704918110879174789103630/374203360448108898\ 68055697056886565005250575303*c_0101_4^18 - 17138588936648309557242718729616631016366466200559/1758755794106111\ 823798617761673668555246777039241*c_0101_4^17 - 73402585662372577215293643123438161170336859125599/1758755794106111\ 823798617761673668555246777039241*c_0101_4^16 + 133656809748474346824087287641873531799317657969086/175875579410611\ 1823798617761673668555246777039241*c_0101_4^15 + 296803026909393980288693183156738438284462763984346/175875579410611\ 1823798617761673668555246777039241*c_0101_4^14 - 577898222887048585111412673382286825374718799628149/175875579410611\ 1823798617761673668555246777039241*c_0101_4^13 - 643404074380378649286409211583413408638483583830518/175875579410611\ 1823798617761673668555246777039241*c_0101_4^12 + 1353538603002126078058520358320120132189098905679688/17587557941061\ 11823798617761673668555246777039241*c_0101_4^11 + 578552222994781931984757716923220612074773928212571/175875579410611\ 1823798617761673668555246777039241*c_0101_4^10 - 1630643223593227366049275216606955085693899360906384/17587557941061\ 11823798617761673668555246777039241*c_0101_4^9 - 52666875610834093175977734448947380840586855168813/1758755794106111\ 823798617761673668555246777039241*c_0101_4^8 + 797271189055696160026693787998168649570926709576996/175875579410611\ 1823798617761673668555246777039241*c_0101_4^7 + 59990080893357072155019703024468331800434010506355/1758755794106111\ 823798617761673668555246777039241*c_0101_4^6 - 71231639960224418496447579625527799655831248546656/1758755794106111\ 823798617761673668555246777039241*c_0101_4^5 - 136491465059989723075801829053889827428251359293415/175875579410611\ 1823798617761673668555246777039241*c_0101_4^4 - 59513244360312478228700714517031062237852206793169/1758755794106111\ 823798617761673668555246777039241*c_0101_4^3 + 21466870508226403748267925430220581160449145640089/1758755794106111\ 823798617761673668555246777039241*c_0101_4^2 + 13244119762001566183508340781388050413578272437619/1758755794106111\ 823798617761673668555246777039241*c_0101_4 + 665700709770948259311614234707538388724000139144/175875579410611182\ 3798617761673668555246777039241, c_0101_4^23 - 26*c_0101_4^21 + 16*c_0101_4^20 + 301*c_0101_4^19 - 298*c_0101_4^18 - 2174*c_0101_4^17 + 2511*c_0101_4^16 + 9757*c_0101_4^15 - 11350*c_0101_4^14 - 25442*c_0101_4^13 + 28223*c_0101_4^12 + 34991*c_0101_4^11 - 38944*c_0101_4^10 - 23982*c_0101_4^9 + 25211*c_0101_4^8 + 10701*c_0101_4^7 - 3121*c_0101_4^6 - 3746*c_0101_4^5 - 3243*c_0101_4^4 + 29*c_0101_4^3 + 583*c_0101_4^2 + 80*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB