Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 3566553568] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2482 geometric_solution 5.81359286 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 -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.335127863636 0.810341847184 3 2 4 0 0132 3012 0132 0132 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 0 0 0 0 0 0 0 -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.890723894040 1.114000168907 1 3 0 4 1230 2310 0132 2310 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 -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.890723894040 1.114000168907 1 5 5 2 0132 0132 3201 3201 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.710821076742 0.337234485712 2 6 6 1 3201 0132 3201 0132 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 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.150415968645 0.394410116531 3 3 5 5 2310 0132 2031 1302 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 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.333296647344 0.891344191527 4 4 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.957996216963 2.462296221413 ==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' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 8981830974839519030695392255351935916148701471/68547894372799360413\ 057113603274133006405568*c_0101_6^22 + 3390704051523261610287046421760181645580496051/34273947186399680206\ 528556801637066503202784*c_0101_6^21 - 91044392694820723321901901570276769097367466209/6854789437279936041\ 3057113603274133006405568*c_0101_6^20 - 13663223850643585652572147491532492908832342099/8568486796599920051\ 632139200409266625800696*c_0101_6^19 + 6302242670526559557582696946441966437556449285/48962781694856686009\ 32650971662438071886112*c_0101_6^18 + 448015682481374360335665445263700457903497650919/342739471863996802\ 06528556801637066503202784*c_0101_6^17 + 71651103609469352601163649918873565539316555505/4284243398299960025\ 816069600204633312900348*c_0101_6^16 - 1366236657222652080557049315451942621370215585599/68547894372799360\ 413057113603274133006405568*c_0101_6^15 - 2483342246250117843106299938639244276898151638277/68547894372799360\ 413057113603274133006405568*c_0101_6^14 + 717554647177953303576746837397670326066722870751/171369735931998401\ 03264278400818533251601392*c_0101_6^13 + 14637769868172636394345068070401068585314952782763/6854789437279936\ 0413057113603274133006405568*c_0101_6^12 + 19852921412926435450258293572635984827296067865285/6854789437279936\ 0413057113603274133006405568*c_0101_6^11 + 5388142635596759257566199837769302572485257195801/34273947186399680\ 206528556801637066503202784*c_0101_6^10 - 196216347678739159864735893041370262442830868323/171369735931998401\ 03264278400818533251601392*c_0101_6^9 - 415182353751383224307079449265551918486049989567/979255633897133720\ 1865301943324876143772224*c_0101_6^8 + 1259504570998316131208072213937453324029712794379/34273947186399680\ 206528556801637066503202784*c_0101_6^7 + 1335742329929016295114000701367856028864591892189/34273947186399680\ 206528556801637066503202784*c_0101_6^6 + 5524654886696956180118655001866875417837784463/68547894372799360413\ 057113603274133006405568*c_0101_6^5 - 18444280957128014024381810368935517463447923645/1713697359319984010\ 3264278400818533251601392*c_0101_6^4 - 148028061458100671746022474475077472577515265347/685478943727993604\ 13057113603274133006405568*c_0101_6^3 - 170400083151430996655309093794987921454312851041/685478943727993604\ 13057113603274133006405568*c_0101_6^2 + 1076917230596440580732054459198594352442856687/97925563389713372018\ 65301943324876143772224*c_0101_6 + 13204475459290269215377889663450503850723628051/6854789437279936041\ 3057113603274133006405568, c_0011_0 - 1, c_0011_1 - 23661394765756618333409063147492040719193/644247127563903763\ 28061196995558395682712*c_0101_6^22 + 4430413955992218454819046291509889000421/32212356378195188164030598\ 497779197841356*c_0101_6^21 - 2324831527821640533466133472319428442\ 96487/64424712756390376328061196995558395682712*c_0101_6^20 - 47799053156937429012563773380485263940518/8053089094548797041007649\ 624444799460339*c_0101_6^19 + 6598593860778493820988877267692780182\ 2301/32212356378195188164030598497779197841356*c_0101_6^18 + 1212803275720144473597373872697719684961889/32212356378195188164030\ 598497779197841356*c_0101_6^17 + 4867863622244046060140617115494934\ 03084012/8053089094548797041007649624444799460339*c_0101_6^16 - 2476581466221561398367775719967503773484889/64424712756390376328061\ 196995558395682712*c_0101_6^15 - 7732766903464229483357589310765358\ 769745779/64424712756390376328061196995558395682712*c_0101_6^14 + 1347599545325837458664719410431482056950659/16106178189097594082015\ 299248889598920678*c_0101_6^13 + 4112775980242268745899951621636267\ 3490369893/64424712756390376328061196995558395682712*c_0101_6^12 + 66355962015037235703292079737235602964673507/6442471275639037632806\ 1196995558395682712*c_0101_6^11 + 241966531290948738960701728852389\ 39471954883/32212356378195188164030598497779197841356*c_0101_6^10 + 2821870421345028882083956842077594272259859/16106178189097594082015\ 299248889598920678*c_0101_6^9 - 47231439517529965974953161692074293\ 87970999/64424712756390376328061196995558395682712*c_0101_6^8 + 3003373917818377861564683424580594178163493/32212356378195188164030\ 598497779197841356*c_0101_6^7 + 50428104209580556961454341002464638\ 96480719/32212356378195188164030598497779197841356*c_0101_6^6 + 2708197743108885816743965294868322852523153/64424712756390376328061\ 196995558395682712*c_0101_6^5 + 16565194468965583214771151994138681\ 5837785/16106178189097594082015299248889598920678*c_0101_6^4 - 225660030277001070549588431722822247839957/644247127563903763280611\ 96995558395682712*c_0101_6^3 - 595524478402914179535431157040814458\ 139559/64424712756390376328061196995558395682712*c_0101_6^2 - 12933342875299485799712732509246577823969/6442471275639037632806119\ 6995558395682712*c_0101_6 + 171831714290656102533523316215721116879\ 7/64424712756390376328061196995558395682712, c_0011_4 + 12981973216568030507468045704388703319941/644247127563903763\ 28061196995558395682712*c_0101_6^22 - 2285377629067817541252782668835968642521/32212356378195188164030598\ 497779197841356*c_0101_6^21 + 1301255832698060819568412292148974508\ 01739/64424712756390376328061196995558395682712*c_0101_6^20 + 25999193084999019816242914479755160900901/8053089094548797041007649\ 624444799460339*c_0101_6^19 - 1793171257926865869098544335923969942\ 4605/32212356378195188164030598497779197841356*c_0101_6^18 - 665099631616170273894470680381661318130489/322123563781951881640305\ 98497779197841356*c_0101_6^17 - 27448014205681140648778291830140316\ 9749648/8053089094548797041007649624444799460339*c_0101_6^16 + 1084781319609446599407472194987278453741893/64424712756390376328061\ 196995558395682712*c_0101_6^15 + 4157327591259793813207035880895292\ 977624951/64424712756390376328061196995558395682712*c_0101_6^14 - 590952469530322447204792644777666618003013/161061781890975940820152\ 99248889598920678*c_0101_6^13 - 22484513224663402712398435401702236\ 814586617/64424712756390376328061196995558395682712*c_0101_6^12 - 37962638062967986835435208564987641530665695/6442471275639037632806\ 1196995558395682712*c_0101_6^11 - 152278458020561247681570734566803\ 29919130207/32212356378195188164030598497779197841356*c_0101_6^10 - 2387043292108626503533289948141882780624573/16106178189097594082015\ 299248889598920678*c_0101_6^9 + 13584125542526896610284895805458643\ 95981539/64424712756390376328061196995558395682712*c_0101_6^8 - 1732429498009618325780630609363384997843921/32212356378195188164030\ 598497779197841356*c_0101_6^7 - 28888261570098822595097937322124897\ 19738103/32212356378195188164030598497779197841356*c_0101_6^6 - 2206271703534576461100984831142435205932389/64424712756390376328061\ 196995558395682712*c_0101_6^5 - 79228133245219738953900470083871404\ 48289/16106178189097594082015299248889598920678*c_0101_6^4 - 72467082893746486774466639551228201511975/6442471275639037632806119\ 6995558395682712*c_0101_6^3 + 2027919153654731888424367226865692861\ 70219/64424712756390376328061196995558395682712*c_0101_6^2 + 206681411646063974832713126664678742217901/644247127563903763280611\ 96995558395682712*c_0101_6 - 17099099893116987167043257479406153216\ 513/64424712756390376328061196995558395682712, c_0101_0 + 72350704195744535525209802183633400864429/644247127563903763\ 28061196995558395682712*c_0101_6^22 - 39774519554182733988189118077526959100605/3221235637819518816403059\ 8497779197841356*c_0101_6^21 + 762533093087608245742684232572148291\ 034427/64424712756390376328061196995558395682712*c_0101_6^20 + 76828173253537530512766653204890505816835/8053089094548797041007649\ 624444799460339*c_0101_6^19 - 4511087336676850173150798362647332488\ 38033/32212356378195188164030598497779197841356*c_0101_6^18 - 3452909276991754916181109305654112960840829/32212356378195188164030\ 598497779197841356*c_0101_6^17 - 8604236651205227571759510296442179\ 58468071/8053089094548797041007649624444799460339*c_0101_6^16 + 13229474425611396707455696778871605710284549/6442471275639037632806\ 1196995558395682712*c_0101_6^15 + 153994761145362189425977326125658\ 65307973975/64424712756390376328061196995558395682712*c_0101_6^14 - 7006265110711746720033965255595900977602145/16106178189097594082015\ 299248889598920678*c_0101_6^13 - 1081646636888319538344245687349723\ 80820299721/64424712756390376328061196995558395682712*c_0101_6^12 - 123562046900122910060517358340245229089095847/644247127563903763280\ 61196995558395682712*c_0101_6^11 - 23147403805362776577391477202562526244607447/3221235637819518816403\ 0598497779197841356*c_0101_6^10 + 526566611822295005535277270752026\ 6609420415/16106178189097594082015299248889598920678*c_0101_6^9 + 16584247416070243086213299340197670521151571/6442471275639037632806\ 1196995558395682712*c_0101_6^8 - 1281211715130291011127574457394100\ 4364120493/32212356378195188164030598497779197841356*c_0101_6^7 - 6762458308294761075696818920280822439605239/32212356378195188164030\ 598497779197841356*c_0101_6^6 + 31725763115543548661098823147522396\ 61338523/64424712756390376328061196995558395682712*c_0101_6^5 - 168979803383169411918054371821436454099441/161061781890975940820152\ 99248889598920678*c_0101_6^4 + 148876398682096331527485331059178066\ 4452425/64424712756390376328061196995558395682712*c_0101_6^3 + 607727223931814766131356937932689923035371/644247127563903763280611\ 96995558395682712*c_0101_6^2 - 345402469706700038444293275005141755\ 244651/64424712756390376328061196995558395682712*c_0101_6 - 12941334896486162391313373041255491283601/6442471275639037632806119\ 6995558395682712, c_0101_1 + 179730588898780957189630187280223391028/80530890945487970410\ 07649624444799460339*c_0101_6^22 - 3904939934151960152661563084503368257220/80530890945487970410076496\ 24444799460339*c_0101_6^21 + 55618171328847092000471974686688033160\ 95/8053089094548797041007649624444799460339*c_0101_6^20 - 37342425553211514368794532872807139968633/8053089094548797041007649\ 624444799460339*c_0101_6^19 - 3790292813362006584486105953919976106\ 8622/8053089094548797041007649624444799460339*c_0101_6^18 + 23112748006421726764369158683708011621158/8053089094548797041007649\ 624444799460339*c_0101_6^17 + 3384672110922107548405059816749859973\ 31471/8053089094548797041007649624444799460339*c_0101_6^16 + 425997682245590839791202391735056242081192/805308909454879704100764\ 9624444799460339*c_0101_6^15 - 575829441177820059281140833896059966\ 876661/8053089094548797041007649624444799460339*c_0101_6^14 - 896790249039440458557102947240594534468558/805308909454879704100764\ 9624444799460339*c_0101_6^13 + 105261853371124616553961264994765606\ 4423011/8053089094548797041007649624444799460339*c_0101_6^12 + 5320004833477289962487629459113757503489583/80530890945487970410076\ 49624444799460339*c_0101_6^11 + 68827072997359985527386846503083359\ 05202688/8053089094548797041007649624444799460339*c_0101_6^10 + 3531456999532617057218310782223851038664019/80530890945487970410076\ 49624444799460339*c_0101_6^9 - 139126331568999917710512909105375877\ 358330/8053089094548797041007649624444799460339*c_0101_6^8 - 580788711949742843327705739116052139099048/805308909454879704100764\ 9624444799460339*c_0101_6^7 + 1245804310212821944821410659472542786\ 793938/8053089094548797041007649624444799460339*c_0101_6^6 + 722419912889545101912053675700202992876708/805308909454879704100764\ 9624444799460339*c_0101_6^5 - 9872150821594631965077180047400698742\ 7413/8053089094548797041007649624444799460339*c_0101_6^4 + 76000837752426489954981313140600569716167/8053089094548797041007649\ 624444799460339*c_0101_6^3 - 36636244312556926722361895645688871345\ 871/8053089094548797041007649624444799460339*c_0101_6^2 - 42150028596201736295036714802416724603977/8053089094548797041007649\ 624444799460339*c_0101_6 + 5544878484985646511255977613902426161537\ /8053089094548797041007649624444799460339, c_0101_5 + 11022595566929379360509793333355113466254/805308909454879704\ 1007649624444799460339*c_0101_6^22 - 13300747106583825385115230056717831452103/8053089094548797041007649\ 624444799460339*c_0101_6^21 + 1173457200908272730781847056821688495\ 42437/8053089094548797041007649624444799460339*c_0101_6^20 + 81064082207252093545832846984500318416237/8053089094548797041007649\ 624444799460339*c_0101_6^19 - 1484772683480335153363796681155642456\ 42455/8053089094548797041007649624444799460339*c_0101_6^18 - 1041392939702685282909577025548641653912522/80530890945487970410076\ 49624444799460339*c_0101_6^17 - 93583678949219065041119025480517551\ 3959787/8053089094548797041007649624444799460339*c_0101_6^16 + 2141289022164885825904234931660185851048991/80530890945487970410076\ 49624444799460339*c_0101_6^15 + 21651591558223201205771592362304723\ 86128996/8053089094548797041007649624444799460339*c_0101_6^14 - 4521603505754971395793222025857969673014080/80530890945487970410076\ 49624444799460339*c_0101_6^13 - 16081362920993885904071814844882143\ 806296212/8053089094548797041007649624444799460339*c_0101_6^12 - 17042814073436650375409459208076502452711368/8053089094548797041007\ 649624444799460339*c_0101_6^11 - 4772033796482887854447266471018930\ 661490410/8053089094548797041007649624444799460339*c_0101_6^10 + 4517754145563896859650124551499637715229124/80530890945487970410076\ 49624444799460339*c_0101_6^9 + 270964080526485456344776338877389281\ 3507085/8053089094548797041007649624444799460339*c_0101_6^8 - 3854170211013512839458581486658373413277999/80530890945487970410076\ 49624444799460339*c_0101_6^7 - 148933998682923545826602180196495477\ 9217605/8053089094548797041007649624444799460339*c_0101_6^6 + 820883871148314924611984419427713658332452/805308909454879704100764\ 9624444799460339*c_0101_6^5 - 5720478363004010907179843743470626234\ 1609/8053089094548797041007649624444799460339*c_0101_6^4 + 242541083036925239212497916834508577151736/805308909454879704100764\ 9624444799460339*c_0101_6^3 + 1196936327078871485486184010867364060\ 01296/8053089094548797041007649624444799460339*c_0101_6^2 - 42860747442678625764066840363138259504849/8053089094548797041007649\ 624444799460339*c_0101_6 - 5627535298012558731597404989455387147834\ /8053089094548797041007649624444799460339, c_0101_6^23 - c_0101_6^22 + 31/3*c_0101_6^21 + 29/3*c_0101_6^20 - 38/3*c_0101_6^19 - 292/3*c_0101_6^18 - 310/3*c_0101_6^17 + 547/3*c_0101_6^16 + 716/3*c_0101_6^15 - 385*c_0101_6^14 - 4651/3*c_0101_6^13 - 1816*c_0101_6^12 - 673*c_0101_6^11 + 1106/3*c_0101_6^10 + 299*c_0101_6^9 - 1073/3*c_0101_6^8 - 688/3*c_0101_6^7 + 203/3*c_0101_6^6 + 25/3*c_0101_6^5 + 43/3*c_0101_6^4 + 44/3*c_0101_6^3 - 16/3*c_0101_6^2 - 4/3*c_0101_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB