Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 576962242] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0660 geometric_solution 4.63876458 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -1 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 1 -1 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 1.921980853271 0.512139289201 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 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 1 0 1 0 -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 0 0.388256943078 0.889428917088 3 1 4 3 2310 0132 0132 3201 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 1 0 -1 1 0 0 -1 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.202882917980 0.701887146398 4 2 2 1 1023 2310 3201 0132 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 1 0 -1 0 0 -1 1 -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.202882917980 0.701887146398 5 3 5 2 0132 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.835488902250 1.530499380805 4 4 6 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.122282825718 0.304349716131 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 -1.446627187364 0.977793887501 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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_3_0' : 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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : 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' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 808340739644683750603209967771578135406263771740644011/528381929476\ 600532977549224706524562713755787987304*c_0101_4^18 - 200648353460998592675654380424904472964253310309897261/240173604307\ 54569680797692032114752850625263090332*c_0101_4^17 - 2561426078867717123839290146185729241965787347438204933/26419096473\ 8300266488774612353262281356877893993652*c_0101_4^16 - 617537555653448077713562165257542414147687104380235441/480347208615\ 09139361595384064229505701250526180664*c_0101_4^15 - 42363099381255604160724886632517016932295004066112186287/5283819294\ 76600532977549224706524562713755787987304*c_0101_4^14 - 13662989178739797647051520871923051706939069862293910563/5283819294\ 76600532977549224706524562713755787987304*c_0101_4^13 + 29220020394084143738619425192529391890926748418046518815/1320954823\ 69150133244387306176631140678438946996826*c_0101_4^12 + 82765318861171200954122719090119315302289894742958322463/5283819294\ 76600532977549224706524562713755787987304*c_0101_4^11 + 79718776882830343878685114842208571030618087952265017389/5283819294\ 76600532977549224706524562713755787987304*c_0101_4^10 + 39797436776138759444083398438524657324274832644688469001/6604774118\ 4575066622193653088315570339219473498413*c_0101_4^9 + 21797606802801773420976893711914680004951282334773959391/6604774118\ 4575066622193653088315570339219473498413*c_0101_4^8 - 560993105421261406279070102399891344556183765886154768439/528381929\ 476600532977549224706524562713755787987304*c_0101_4^7 - 352417910864299520860303683803373157941819430379322441929/264190964\ 738300266488774612353262281356877893993652*c_0101_4^6 - 45441253271605488747106005762212442275808691382613463927/2641909647\ 38300266488774612353262281356877893993652*c_0101_4^5 + 5577782982108684982084949174225188340515454036046655350/66047741184\ 575066622193653088315570339219473498413*c_0101_4^4 - 23220483096898441554623967832935453893189449996099078513/5283819294\ 76600532977549224706524562713755787987304*c_0101_4^3 - 1479119216606198309888790708805657621361771745478993049/26419096473\ 8300266488774612353262281356877893993652*c_0101_4^2 + 140548220129485158196332776487289627843661891063082935/528381929476\ 600532977549224706524562713755787987304*c_0101_4 - 38768972793671579865771705069577917985055646123693715/2641909647383\ 00266488774612353262281356877893993652, c_0011_0 - 1, c_0011_3 - 109745788741033905369567852514374206640829672618968/66047741\ 184575066622193653088315570339219473498413*c_0101_4^18 - 55757526835931927801565948331550965345605289240068/6004340107688642\ 420199423008028688212656315772583*c_0101_4^17 - 769754714141419184604505254726055897936040441978843/660477411845750\ 66622193653088315570339219473498413*c_0101_4^16 - 90663610989325440702566020000867416448279109951100/6004340107688642\ 420199423008028688212656315772583*c_0101_4^15 - 5849455752578151411371531238305101725603324141581658/66047741184575\ 066622193653088315570339219473498413*c_0101_4^14 - 2567495850309972274018947698909530496697565842171649/66047741184575\ 066622193653088315570339219473498413*c_0101_4^13 + 15758705739235151547901084164053933363517050958244417/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^12 + 13354085120993122722940076170909695197880100049460054/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^11 + 11899646380176276754465109154880399706801790134124723/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^10 + 44209237018676920888354012121176526240696728741305193/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^9 + 28967368325257979603973552685005893477203596021418178/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^8 - 74116529830294190666753685709316975063561475461743156/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^7 - 106277157724818444490797800836507327464293183093715641/660477411845\ 75066622193653088315570339219473498413*c_0101_4^6 - 22875699928323121605375399919195506657907315532885736/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^5 + 7344961504224931028149252386413278128672083813780052/66047741184575\ 066622193653088315570339219473498413*c_0101_4^4 - 1709714053748972302371257810738082209414328520895606/66047741184575\ 066622193653088315570339219473498413*c_0101_4^3 - 1337470258716820038632815093159673816973552034214922/66047741184575\ 066622193653088315570339219473498413*c_0101_4^2 - 37152077994840924089536609253011527153787012738213/6604774118457506\ 6622193653088315570339219473498413*c_0101_4 + 6221539047922327113393366708317907977104398723891/66047741184575066\ 622193653088315570339219473498413, c_0011_6 - 51171726821215369968758672875808500540351420258122/660477411\ 84575066622193653088315570339219473498413*c_0101_4^18 - 25926938998168100576643180133808388149311075355403/6004340107688642\ 420199423008028688212656315772583*c_0101_4^17 - 354391305117451612675942345538945571081390628615451/660477411845750\ 66622193653088315570339219473498413*c_0101_4^16 - 41687909312308975461621639753851534769728417363613/6004340107688642\ 420199423008028688212656315772583*c_0101_4^15 - 2718586799744387684209904354880145531231635407563438/66047741184575\ 066622193653088315570339219473498413*c_0101_4^14 - 1153773113847731721495304900596008322733186846170233/66047741184575\ 066622193653088315570339219473498413*c_0101_4^13 + 7374738073365162836743538093858635693205909124571359/66047741184575\ 066622193653088315570339219473498413*c_0101_4^12 + 6125051649902431722946022469519018284229840859306636/66047741184575\ 066622193653088315570339219473498413*c_0101_4^11 + 5427854554124086871041156428068159025419446813640766/66047741184575\ 066622193653088315570339219473498413*c_0101_4^10 + 20492865464869832104981829981753485788650864333469762/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^9 + 13177584641353554196168586251858410222453423003184118/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^8 - 34836436780879523428039459446296867064315212144913603/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^7 - 49101653189356377388897208730634910123966023496404895/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^6 - 9812010930779210946370170005781417555605601430069960/66047741184575\ 066622193653088315570339219473498413*c_0101_4^5 + 3861311081519859201013899634105016642652449771045542/66047741184575\ 066622193653088315570339219473498413*c_0101_4^4 - 769392211217460691591609351095096095615603239391428/660477411845750\ 66622193653088315570339219473498413*c_0101_4^3 - 681503558412869832619192622665606909148016705180569/660477411845750\ 66622193653088315570339219473498413*c_0101_4^2 - 12298732835419072426561863410906128253529332975183/6604774118457506\ 6622193653088315570339219473498413*c_0101_4 - 8560295801639116898185043168695901514976850782249/66047741184575066\ 622193653088315570339219473498413, c_0101_0 - 264999916726098690760338906202574781361715669726880/66047741\ 184575066622193653088315570339219473498413*c_0101_4^18 - 127222442889028666089464932040451052104764139012494/600434010768864\ 2420199423008028688212656315772583*c_0101_4^17 - 1408301115926232728778191782419411038070444182869282/66047741184575\ 066622193653088315570339219473498413*c_0101_4^16 - 169365408156702283616563393483259172002716880495387/600434010768864\ 2420199423008028688212656315772583*c_0101_4^15 - 13401556534310196964370373181650676999212107625334613/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^14 - 1868702408141797286042492669101720106401858403370321/66047741184575\ 066622193653088315570339219473498413*c_0101_4^13 + 39710774603261084238590889211316797355492590644083728/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^12 + 20587791255115768959339863561309619729757564788376964/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^11 + 19765138380364371134384728229640487204640635895740489/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^10 + 98094833207040236674366128890538419864495199652089168/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^9 + 36970663875312224041126986421091277610489057194993984/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^8 - 198725433375030764207051515236325549265855233159797298/660477411845\ 75066622193653088315570339219473498413*c_0101_4^7 - 201557390681526891886831409889151760230847325949271404/660477411845\ 75066622193653088315570339219473498413*c_0101_4^6 + 18488623803709889768004147891232974254025765968767868/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^5 + 31619421974022092295551761545882806115192067415876143/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^4 - 6033077930035720325088682641613730125090083427736131/66047741184575\ 066622193653088315570339219473498413*c_0101_4^3 + 188532219224647169527551753950877080859331038841651/660477411845750\ 66622193653088315570339219473498413*c_0101_4^2 + 236287821324718681762214644963020734671475419792309/660477411845750\ 66622193653088315570339219473498413*c_0101_4 + 75825604700787393616024449283835426061456699102005/6604774118457506\ 6622193653088315570339219473498413, c_0101_1 + 259704815590749365490961016064211730508205888039477/66047741\ 184575066622193653088315570339219473498413*c_0101_4^18 + 123622355566008569874011318572453410346747866896349/600434010768864\ 2420199423008028688212656315772583*c_0101_4^17 + 1325049550457855010198038105410891937351705138141177/66047741184575\ 066622193653088315570339219473498413*c_0101_4^16 + 163742219722304620231414772902344098751579479323127/600434010768864\ 2420199423008028688212656315772583*c_0101_4^15 + 13106661822338676886252096373478331465159149328716309/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^14 + 1314812947621265130226327855414811521160876007046062/66047741184575\ 066622193653088315570339219473498413*c_0101_4^13 - 38643671467157326665566906389802208718614016010945902/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^12 - 18187943337421265640523927901637819482087596536728822/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^11 - 19316527595995547018435588071736001699631678376825878/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^10 - 96294702412336182677684850474223490052548034954398052/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^9 - 32879012821159660745392732767282576255121897821511834/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^8 + 193613118220243739051429646827918912501185609981044105/660477411845\ 75066622193653088315570339219473498413*c_0101_4^7 + 186389046139863061581242227266644148358770108493967469/660477411845\ 75066622193653088315570339219473498413*c_0101_4^6 - 23266174189781292980078794561947124831894332311325303/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^5 - 22871439073206818857352855282725961451304561208083095/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^4 + 10613557041977838650534806267387264151983195888169348/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^3 - 282499669979161710784454875732523038093390658054488/660477411845750\ 66622193653088315570339219473498413*c_0101_4^2 - 281507201142444424577179815510923451921582021821133/660477411845750\ 66622193653088315570339219473498413*c_0101_4 - 34265196693097968480828175332826013726642596517508/6604774118457506\ 6622193653088315570339219473498413, c_0101_2 + 84677194571042265304454864709836799836225933658402/660477411\ 84575066622193653088315570339219473498413*c_0101_4^18 + 41400063385119939039620220351338788294580846211406/6004340107688642\ 420199423008028688212656315772583*c_0101_4^17 + 499241155874984868646120883896921229381348246519885/660477411845750\ 66622193653088315570339219473498413*c_0101_4^16 + 61106029438916999300996197076688494832233168981002/6004340107688642\ 420199423008028688212656315772583*c_0101_4^15 + 4384816061602178936489354534540907372387485749502528/66047741184575\ 066622193653088315570339219473498413*c_0101_4^14 + 1070637856279417867139702180886012175913245247954908/66047741184575\ 066622193653088315570339219473498413*c_0101_4^13 - 12313840177686477269244792207654934595765506291482299/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^12 - 7635072139628234547915454882624734395981045963042892/66047741184575\ 066622193653088315570339219473498413*c_0101_4^11 - 7775332148504795231585611243681555304670469667124872/66047741184575\ 066622193653088315570339219473498413*c_0101_4^10 - 32749317826561170938757568528589160709767214916901698/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^9 - 15559289238122414718889515113594932409675709205792053/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^8 + 59883109378279956976879222833227886644162157887675863/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^7 + 68750483368839414809480000823665205186206555425053105/6604774118457\ 5066622193653088315570339219473498413*c_0101_4^6 + 4080973434576828478256549248608092524023304435941430/66047741184575\ 066622193653088315570339219473498413*c_0101_4^5 - 4699899522593058299271805108552341045210061726260170/66047741184575\ 066622193653088315570339219473498413*c_0101_4^4 + 2752600503652598832904367820000605572113266268060770/66047741184575\ 066622193653088315570339219473498413*c_0101_4^3 + 88607516696490380179883936999279337680587155884127/6604774118457506\ 6622193653088315570339219473498413*c_0101_4^2 + 171131981389670400230729686019492623757661555240823/660477411845750\ 66622193653088315570339219473498413*c_0101_4 - 6193239061803496497597211688711481526494017960954/66047741184575066\ 622193653088315570339219473498413, c_0101_4^19 + 329/61*c_0101_4^18 + 365/61*c_0101_4^17 + 491/61*c_0101_4^16 + 3166/61*c_0101_4^15 + 821/61*c_0101_4^14 - 8846/61*c_0101_4^13 - 5654/61*c_0101_4^12 - 5724/61*c_0101_4^11 - 23658/61*c_0101_4^10 - 11601/61*c_0101_4^9 + 42903/61*c_0101_4^8 + 50277/61*c_0101_4^7 + 3929/61*c_0101_4^6 - 3322/61*c_0101_4^5 + 1825/61*c_0101_4^4 + 79/61*c_0101_4^3 + 20/61*c_0101_4^2 - 5/61*c_0101_4 + 1/61 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB