Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 172725962] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0466 geometric_solution 4.49997787 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.392677081080 0.192895468125 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555760880946 0.814897038160 1 3 4 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -0.554609508741 1.428894304161 2 4 2 1 3201 1023 2310 0132 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 1 0 -1 0 0 0 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.554609508741 1.428894304161 3 5 5 2 1023 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 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.267176482300 0.273853373030 4 4 6 6 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.014154240892 2.097374267413 5 6 6 5 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.539486142493 0.229885269081 ==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' : 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' : 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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], '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_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 99715653095052992894930873119619385431565293/1041151373875984172138\ 9984176166113153302280*c_0101_5^18 - 628604858254312992562443537684454879181038529/104115137387598417213\ 89984176166113153302280*c_0101_5^17 + 56982754520147542611599264373368897052723497/2366253122445418573043\ 17822185593480756870*c_0101_5^16 - 17746603598517645917530528426575249732590581837/1041151373875984172\ 1389984176166113153302280*c_0101_5^15 + 11116818947203481884646399275882165646878706101/2082302747751968344\ 277996835233222630660456*c_0101_5^14 - 20541108890854270332846097203255729924588079405/2082302747751968344\ 277996835233222630660456*c_0101_5^13 + 44128314515888207185273028713466644139886411881/1301439217344980215\ 173748022020764144162785*c_0101_5^12 + 76513881831621374597808565783899797550335117757/1041151373875984172\ 1389984176166113153302280*c_0101_5^11 + 954269854879073248839613008343214745149450946879/104115137387598417\ 21389984176166113153302280*c_0101_5^10 + 1402730160174404972281113042176845052152318911389/10411513738759841\ 721389984176166113153302280*c_0101_5^9 + 19867304152780925616576861581111315265852335021/1893002497956334858\ 43454257748474784605496*c_0101_5^8 + 225018916159727290243496769020688669647195934097/148735910553712024\ 5912854882309444736186040*c_0101_5^7 + 6640607917257979118197499925254186490958745562/18591988819214003073\ 9106860288680592023255*c_0101_5^6 + 81717746691336065998590032114642019384392191209/1041151373875984172\ 138998417616611315330228*c_0101_5^5 + 1800835797311331319151001123376770774723768113/14873591055371202459\ 12854882309444736186040*c_0101_5^4 + 201707374565512158019618434713591863298835043591/104115137387598417\ 21389984176166113153302280*c_0101_5^3 - 6814279031968208903718604589629852495513865539/20823027477519683442\ 77996835233222630660456*c_0101_5^2 + 6328924666783323248827424776414022497297015867/52057568693799208606\ 94992088083056576651140*c_0101_5 - 96017154400581201095248022183251068994016517/2602878434689960430347\ 496044041528288325570, c_0011_0 - 1, c_0011_1 + 6160503303379308119235616934536377525/3380361603493455104347\ 397459794192582241*c_0101_5^18 + 3820620551568001659119456023477823\ 6832/3380361603493455104347397459794192582241*c_0101_5^17 - 150403005456373495091712453374005271962/338036160349345510434739745\ 9794192582241*c_0101_5^16 + 116104877858341307133508824758531373903\ 3/3380361603493455104347397459794192582241*c_0101_5^15 - 3791783351358066244756983381678422896245/33803616034934551043473974\ 59794192582241*c_0101_5^14 + 82956709649937041864667057730535989429\ 34/3380361603493455104347397459794192582241*c_0101_5^13 - 27832792567993768482364529157171713149727/3380361603493455104347397\ 459794192582241*c_0101_5^12 + 7807707166473613793273760742441085485\ 301/3380361603493455104347397459794192582241*c_0101_5^11 - 89558327406046414213183130029348917051253/3380361603493455104347397\ 459794192582241*c_0101_5^10 - 7902598036088288924467747247294179979\ 1204/3380361603493455104347397459794192582241*c_0101_5^9 - 115011401431741633339553630852716254729475/338036160349345510434739\ 7459794192582241*c_0101_5^8 - 1832131404056295022928523314725069710\ 90724/3380361603493455104347397459794192582241*c_0101_5^7 - 11040589754202085618470500754845067540316/3380361603493455104347397\ 459794192582241*c_0101_5^6 - 11987468354834729371570644923909441703\ 2336/3380361603493455104347397459794192582241*c_0101_5^5 - 1943969259520828869791564165980617971746/33803616034934551043473974\ 59794192582241*c_0101_5^4 - 420405557211889222019943156770877969592\ 78/3380361603493455104347397459794192582241*c_0101_5^3 - 7747918999217190045119707922038432547846/33803616034934551043473974\ 59794192582241*c_0101_5^2 + 746427617099923125731274617241492903229\ /3380361603493455104347397459794192582241*c_0101_5 - 3312529791418575800847292389423911979392/33803616034934551043473974\ 59794192582241, c_0011_3 - 104285975393527873464947084473276551920/33803616034934551043\ 47397459794192582241*c_0101_5^18 - 659442262902754418051387958086247271095/338036160349345510434739745\ 9794192582241*c_0101_5^17 + 261299540823699952683687969049244782609\ 5/3380361603493455104347397459794192582241*c_0101_5^16 - 18479965221609835033338487207683598618747/3380361603493455104347397\ 459794192582241*c_0101_5^15 + 5771748744940941060297662612646286721\ 5538/3380361603493455104347397459794192582241*c_0101_5^14 - 105818693259001517206143913515544563218727/338036160349345510434739\ 7459794192582241*c_0101_5^13 + 366280484468779004371038813235534977\ 318743/3380361603493455104347397459794192582241*c_0101_5^12 + 87018950405745688208265676625329676404481/3380361603493455104347397\ 459794192582241*c_0101_5^11 + 9941530544729383113401714852455196727\ 20182/3380361603493455104347397459794192582241*c_0101_5^10 + 1460658417677596430826024787476446403693676/33803616034934551043473\ 97459794192582241*c_0101_5^9 + 113671366958654704890642801857371318\ 5823824/3380361603493455104347397459794192582241*c_0101_5^8 + 1572906296793868602118155154136341300103943/33803616034934551043473\ 97459794192582241*c_0101_5^7 + 311497993346429355235584167147351191\ 357653/3380361603493455104347397459794192582241*c_0101_5^6 + 796520109289627003837818456820308502263740/338036160349345510434739\ 7459794192582241*c_0101_5^5 - 3180912236575594305264892491171454785\ 4065/3380361603493455104347397459794192582241*c_0101_5^4 + 194893578331403456819103897058576171895388/338036160349345510434739\ 7459794192582241*c_0101_5^3 - 4271798230108105538003528037809119453\ 0982/3380361603493455104347397459794192582241*c_0101_5^2 + 12613912776284931290296885394957528601368/3380361603493455104347397\ 459794192582241*c_0101_5 + 1334901996447444989420538450763285772171\ /3380361603493455104347397459794192582241, c_0011_6 + 31354334490366699268693773106112602581/338036160349345510434\ 7397459794192582241*c_0101_5^18 + 188053819935807226664819773784364\ 586263/3380361603493455104347397459794192582241*c_0101_5^17 - 845044873897845022336880922710902706930/338036160349345510434739745\ 9794192582241*c_0101_5^16 + 584592339904516227305516645507200485357\ 1/3380361603493455104347397459794192582241*c_0101_5^15 - 19287595764367116777892865434122024040305/3380361603493455104347397\ 459794192582241*c_0101_5^14 + 3831987308373715816525585758573485878\ 0868/3380361603493455104347397459794192582241*c_0101_5^13 - 122970077239465980211441098150808673320659/338036160349345510434739\ 7459794192582241*c_0101_5^12 + 133567087026982275699759133202930416\ 49388/3380361603493455104347397459794192582241*c_0101_5^11 - 304329836470178354130827987928784692049426/338036160349345510434739\ 7459794192582241*c_0101_5^10 - 356144713057246133663422458263353987\ 301790/3380361603493455104347397459794192582241*c_0101_5^9 - 232740604254564045958114957252227398906395/338036160349345510434739\ 7459794192582241*c_0101_5^8 - 4477415951724028676253720246881866818\ 26305/3380361603493455104347397459794192582241*c_0101_5^7 + 16609645067266671813863919874233642115222/3380361603493455104347397\ 459794192582241*c_0101_5^6 - 25602663278063907690601032690268995191\ 9328/3380361603493455104347397459794192582241*c_0101_5^5 + 54041515543088885109049546049421422245669/3380361603493455104347397\ 459794192582241*c_0101_5^4 - 72023224864478630743595222137507158136\ 515/3380361603493455104347397459794192582241*c_0101_5^3 + 13935567376980969492882668088012868743976/3380361603493455104347397\ 459794192582241*c_0101_5^2 - 38567889974966193555807902983690789735\ 45/3380361603493455104347397459794192582241*c_0101_5 - 1423201735209833311141851720746886915817/33803616034934551043473974\ 59794192582241, c_0101_0 - 8580043641505682709610810993077041927/3380361603493455104347\ 397459794192582241*c_0101_5^18 - 7723431827992825747269547440838272\ 171/3380361603493455104347397459794192582241*c_0101_5^17 + 493145704060465517412621448569654227523/338036160349345510434739745\ 9794192582241*c_0101_5^16 - 278357883293571615352187407215807715036\ 2/3380361603493455104347397459794192582241*c_0101_5^15 + 13432269049219212142088586864168236303425/3380361603493455104347397\ 459794192582241*c_0101_5^14 - 3737674350548362168778320929934086014\ 4938/3380361603493455104347397459794192582241*c_0101_5^13 + 86801188267683933892907212167264281712683/3380361603493455104347397\ 459794192582241*c_0101_5^12 - 1735404437103290218500253064560764388\ 29766/3380361603493455104347397459794192582241*c_0101_5^11 + 98717671615203307141978391853751082511093/3380361603493455104347397\ 459794192582241*c_0101_5^10 - 3146618489952375679335392656960583351\ 76774/3380361603493455104347397459794192582241*c_0101_5^9 - 440104838046722693042070379538151623955381/338036160349345510434739\ 7459794192582241*c_0101_5^8 - 1823020838536043993585533402178725522\ 06841/3380361603493455104347397459794192582241*c_0101_5^7 - 622761079155144590360208802028178870610003/338036160349345510434739\ 7459794192582241*c_0101_5^6 + 5813674747170495253046412789697739389\ 5064/3380361603493455104347397459794192582241*c_0101_5^5 - 367830508302615303307862989790934495139898/338036160349345510434739\ 7459794192582241*c_0101_5^4 + 6445733147100856617779843920051752994\ 0232/3380361603493455104347397459794192582241*c_0101_5^3 - 98755310153872790178843457796951593336961/3380361603493455104347397\ 459794192582241*c_0101_5^2 + 20700026975492706238293039901327351857\ 961/3380361603493455104347397459794192582241*c_0101_5 - 4980083821904336615604583429915195573258/33803616034934551043473974\ 59794192582241, c_0101_1 - 25069982064047801088670564337824376871/338036160349345510434\ 7397459794192582241*c_0101_5^18 - 176188422867991508721807895617346\ 937295/3380361603493455104347397459794192582241*c_0101_5^17 + 520484519969282628728995696796755660026/338036160349345510434739745\ 9794192582241*c_0101_5^16 - 398154285913450977460302394059263999694\ 6/3380361603493455104347397459794192582241*c_0101_5^15 + 10602104712087298850209294858489678009587/3380361603493455104347397\ 459794192582241*c_0101_5^14 - 1477589830953063928044085570537394129\ 3170/3380361603493455104347397459794192582241*c_0101_5^13 + 66707961311262240924483405985663917918882/3380361603493455104347397\ 459794192582241*c_0101_5^12 + 9077641884654114323550536957415783061\ 6135/3380361603493455104347397459794192582241*c_0101_5^11 + 233174528801672356427360665208169534108509/338036160349345510434739\ 7459794192582241*c_0101_5^10 + 538212769046552883649185363599618817\ 381321/3380361603493455104347397459794192582241*c_0101_5^9 + 491792751711685843693186142645896071965058/338036160349345510434739\ 7459794192582241*c_0101_5^8 + 5649628675468053958936873685545688898\ 89835/3380361603493455104347397459794192582241*c_0101_5^7 + 394608319658706337134912844495768144346481/338036160349345510434739\ 7459794192582241*c_0101_5^6 + 2267266333340638742343466994004747666\ 24147/3380361603493455104347397459794192582241*c_0101_5^5 + 182324651745149417427088526938543735874344/338036160349345510434739\ 7459794192582241*c_0101_5^4 + 3359186993806383463346726558770506232\ 4690/3380361603493455104347397459794192582241*c_0101_5^3 + 44167292555895243623944032018167547749014/3380361603493455104347397\ 459794192582241*c_0101_5^2 - 53884784082593987078403740843855798480\ 61/3380361603493455104347397459794192582241*c_0101_5 + 3397462003579104601677068273662809291545/33803616034934551043473974\ 59794192582241, c_0101_5^19 + 6*c_0101_5^18 - 27*c_0101_5^17 + 186*c_0101_5^16 - 613*c_0101_5^15 + 1210*c_0101_5^14 - 3886*c_0101_5^13 + 368*c_0101_5^12 - 9545*c_0101_5^11 - 11222*c_0101_5^10 - 7269*c_0101_5^9 - 13363*c_0101_5^8 + 322*c_0101_5^7 - 8087*c_0101_5^6 + 2058*c_0101_5^5 - 2508*c_0101_5^4 + 914*c_0101_5^3 - 358*c_0101_5^2 + 57*c_0101_5 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB