Magma V2.19-8 Tue Aug 20 2013 16:17:00 on localhost [Seed = 829468130] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1250 geometric_solution 5.14863674 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 -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.387334587160 0.322001838773 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 0 -1 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.473337274098 1.269156489565 3 0 4 1 3201 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.473337274098 1.269156489565 5 1 5 2 0132 0132 2310 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 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.431564166265 1.776077351728 4 4 1 2 1302 2031 0132 0132 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 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.453396790852 0.877436829998 3 3 6 6 0132 3201 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 1 0 -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.284686318969 0.154467011429 5 6 5 6 2310 2310 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 -1 1 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 -1.703109288368 0.432276296063 ==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' : negation(d['1']), 's_2_0' : negation(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' : 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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_4']})} 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_4, c_0011_6, c_0101_1, c_0101_2, c_0101_3, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 28737894834735834634353927838769092347731122836142119/4256797281975\ 211741242765996891923260577500018870*c_0110_2^19 - 14226328461671837065828360126556114911181566788388731/2128398640987\ 605870621382998445961630288750009435*c_0110_2^18 + 26716719026522541200205703220716208910097067788366333/2128398640987\ 605870621382998445961630288750009435*c_0110_2^17 - 31714169173677053546357111620454547285178465669116671/2128398640987\ 605870621382998445961630288750009435*c_0110_2^16 + 41310784587056241843135648832661964463323900971006541/4256797281975\ 211741242765996891923260577500018870*c_0110_2^15 - 217724374537786191853010322546745234161998791042113/360745532370780\ 65603752254210948502208283898465*c_0110_2^14 - 144217713984854482297757296639165477808768023210551/193490785544327\ 806420125727131451057298977273585*c_0110_2^13 + 48776255927616722834373437747481663306452488417986611/2128398640987\ 605870621382998445961630288750009435*c_0110_2^12 - 82143173187889276192031706578401611868756309985868914/2128398640987\ 605870621382998445961630288750009435*c_0110_2^11 + 39595465481536912151046233732559382136249806175915372/2128398640987\ 605870621382998445961630288750009435*c_0110_2^10 - 145855809728188553304068896181357556088463010349394356/212839864098\ 7605870621382998445961630288750009435*c_0110_2^9 + 1511602003382143020639787762846033652103433068095878/36074553237078\ 065603752254210948502208283898465*c_0110_2^8 - 360426922037834305077908293658416225302831504635059463/425679728197\ 5211741242765996891923260577500018870*c_0110_2^7 + 298183760031395164343704906211923871450048349225534001/425679728197\ 5211741242765996891923260577500018870*c_0110_2^6 - 169774848992887366842323914623073843843584150452266927/212839864098\ 7605870621382998445961630288750009435*c_0110_2^5 + 149254015401148309801888499422178563207483063019248508/212839864098\ 7605870621382998445961630288750009435*c_0110_2^4 - 21183615704513403138335298499207323887963480503460469/4256797281975\ 21174124276599689192326057750001887*c_0110_2^3 + 101053561703346231269001977598360620327824044001798987/425679728197\ 5211741242765996891923260577500018870*c_0110_2^2 - 9105550598359250606014161542510917120192310047143171/42567972819752\ 11741242765996891923260577500018870*c_0110_2 - 1939939091090171848325062895690751354146985198611111/42567972819752\ 11741242765996891923260577500018870, c_0011_0 - 1, c_0011_4 + 114240335055555740598619256015069437239555341124/38698157108\ 865561284025145426290211459795454717*c_0110_2^19 - 47645199831766121476297598029276811321836253127/3869815710886556128\ 4025145426290211459795454717*c_0110_2^18 + 188611237976597133265651563101606164480385084301/386981571088655612\ 84025145426290211459795454717*c_0110_2^17 - 158368977001419186716676174473904095939610930901/386981571088655612\ 84025145426290211459795454717*c_0110_2^16 + 87079875220758152835412104266221415517402718850/3869815710886556128\ 4025145426290211459795454717*c_0110_2^15 - 1306504245271809755512477060103984518488480907/65590096794687392006\ 8222803835427312877889063*c_0110_2^14 - 34630862786819188779008069298454374476905988589/3869815710886556128\ 4025145426290211459795454717*c_0110_2^13 + 356075850443583831159632947379261506791153254055/386981571088655612\ 84025145426290211459795454717*c_0110_2^12 - 442593063474954833264657196800381751926206243476/386981571088655612\ 84025145426290211459795454717*c_0110_2^11 + 74036518189293242099243047593044106610295855597/3869815710886556128\ 4025145426290211459795454717*c_0110_2^10 - 1169379253864275666448893282737157035973171036518/38698157108865561\ 284025145426290211459795454717*c_0110_2^9 + 1702401925727084751947913714089369726492975799/65590096794687392006\ 8222803835427312877889063*c_0110_2^8 - 1422427431135848456892837174921480264756993301524/38698157108865561\ 284025145426290211459795454717*c_0110_2^7 + 496980992937324437701112381611929217877460589180/386981571088655612\ 84025145426290211459795454717*c_0110_2^6 - 1140445693386809046862403601654108115992829226956/38698157108865561\ 284025145426290211459795454717*c_0110_2^5 + 692817556956663842217881815281724908277884995750/386981571088655612\ 84025145426290211459795454717*c_0110_2^4 - 551052999966216143879641610871570143890063502311/386981571088655612\ 84025145426290211459795454717*c_0110_2^3 + 225762164416255652347570945411126406153618939850/386981571088655612\ 84025145426290211459795454717*c_0110_2^2 + 8833049800146089088118696753000229207089316324/38698157108865561284\ 025145426290211459795454717*c_0110_2 + 38140962018274874009506080937956982944061517499/3869815710886556128\ 4025145426290211459795454717, c_0011_6 + 13297671736119047462252861092912502646343374/108669110973759\ 6846031426958700688311471047*c_0110_2^19 - 16489144464568711291230267258784697891498283/1086691109737596846031\ 426958700688311471047*c_0110_2^18 + 27091737991852805008213266622498494451924595/1086691109737596846031\ 426958700688311471047*c_0110_2^17 - 35302973516356804622774933218883798002536927/1086691109737596846031\ 426958700688311471047*c_0110_2^16 + 25312817738200616156248121206985914666634199/1086691109737596846031\ 426958700688311471047*c_0110_2^15 - 265353550412075130997116559352453869517260/184184933853829973903631\ 68791537090024933*c_0110_2^14 + 13985903136528086272052937475988015\ 22708617/1086691109737596846031426958700688311471047*c_0110_2^13 + 45851237575544582063214977366777274258381272/1086691109737596846031\ 426958700688311471047*c_0110_2^12 - 87085078921637025143696554121265575860399558/1086691109737596846031\ 426958700688311471047*c_0110_2^11 + 52808348194082235925151648968561518928346562/1086691109737596846031\ 426958700688311471047*c_0110_2^10 - 141243117455872038948251839795872785856248901/108669110973759684603\ 1426958700688311471047*c_0110_2^9 + 1986790790576863350430808432739475309188653/18418493385382997390363\ 168791537090024933*c_0110_2^8 - 17860626487064667928447476982447786\ 5050864731/1086691109737596846031426958700688311471047*c_0110_2^7 + 180049427633394431444160295762997362010130211/108669110973759684603\ 1426958700688311471047*c_0110_2^6 - 182922703051718643876908399207369012137292510/108669110973759684603\ 1426958700688311471047*c_0110_2^5 + 174225586515904705417450936230416206412087673/108669110973759684603\ 1426958700688311471047*c_0110_2^4 - 126845421634625007268053984222941421890950057/108669110973759684603\ 1426958700688311471047*c_0110_2^3 + 67359180137484241130721509315767268877429762/1086691109737596846031\ 426958700688311471047*c_0110_2^2 - 13443802849248266658586938060445423628201463/1086691109737596846031\ 426958700688311471047*c_0110_2 - 1532063374833541620398896993276531\ 51221689/1086691109737596846031426958700688311471047, c_0101_1 + 150380303741066732740067957300141984013449101707/38698157108\ 865561284025145426290211459795454717*c_0110_2^19 - 121896120198255449484298422607867032468903369927/386981571088655612\ 84025145426290211459795454717*c_0110_2^18 + 260919587354533406784187959738430159797628638963/386981571088655612\ 84025145426290211459795454717*c_0110_2^17 - 281887676281840265977711214555833557402924986510/386981571088655612\ 84025145426290211459795454717*c_0110_2^16 + 169144242054700781584332934247349475790963649795/386981571088655612\ 84025145426290211459795454717*c_0110_2^15 - 1818737195986338640432103135512825587623155363/65590096794687392006\ 8222803835427312877889063*c_0110_2^14 - 45180655318832278502044993008904430294009412580/3869815710886556128\ 4025145426290211459795454717*c_0110_2^13 + 500210748699175615129468729925413211017387594893/386981571088655612\ 84025145426290211459795454717*c_0110_2^12 - 773404190822179482908238481388442017828203707340/386981571088655612\ 84025145426290211459795454717*c_0110_2^11 + 290059947665755890644121700532120709677831927521/386981571088655612\ 84025145426290211459795454717*c_0110_2^10 - 1470362235601051064872237679358804832623674188367/38698157108865561\ 284025145426290211459795454717*c_0110_2^9 + 11046801925842124178763981930278227084976130485/6559009679468739200\ 68222803835427312877889063*c_0110_2^8 - 1814591532617178915787569121365369514515053718278/38698157108865561\ 284025145426290211459795454717*c_0110_2^7 + 1181264849248351816457777292985700570553613132066/38698157108865561\ 284025145426290211459795454717*c_0110_2^6 - 1555687594634306455666277731895764990514680857280/38698157108865561\ 284025145426290211459795454717*c_0110_2^5 + 1301917456373390366947550822855201470160380787358/38698157108865561\ 284025145426290211459795454717*c_0110_2^4 - 849160777329409848017981691336832578969250770779/386981571088655612\ 84025145426290211459795454717*c_0110_2^3 + 386756252959332406286782680747126503334291531916/386981571088655612\ 84025145426290211459795454717*c_0110_2^2 + 43799028775271660356370416321359783326368299002/3869815710886556128\ 4025145426290211459795454717*c_0110_2 - 7210627637125275738229707038976674465639420316/38698157108865561284\ 025145426290211459795454717, c_0101_2 + 29950096713385959661038881975798960479787208/108669110973759\ 6846031426958700688311471047*c_0110_2^19 - 28740759749629597563005850150601998472789758/1086691109737596846031\ 426958700688311471047*c_0110_2^18 + 55082314951671700529344148492287702732816400/1086691109737596846031\ 426958700688311471047*c_0110_2^17 - 64900946303915173634477835532187585832929576/1086691109737596846031\ 426958700688311471047*c_0110_2^16 + 41599888125685710133623589364516045090228357/1086691109737596846031\ 426958700688311471047*c_0110_2^15 - 443944777753356176792997321731559047233039/184184933853829973903631\ 68791537090024933*c_0110_2^14 - 35084957276841169236127498199910884\ 29271499/1086691109737596846031426958700688311471047*c_0110_2^13 + 101323481635855644749852194367771452698121111/108669110973759684603\ 1426958700688311471047*c_0110_2^12 - 168165246019265554333226977537256970755564557/108669110973759684603\ 1426958700688311471047*c_0110_2^11 + 78191994098937491286805866387542242325400831/1086691109737596846031\ 426958700688311471047*c_0110_2^10 - 303776105735706462579009993489361591499874379/108669110973759684603\ 1426958700688311471047*c_0110_2^9 + 3016521110805294147164762147752073822668850/18418493385382997390363\ 168791537090024933*c_0110_2^8 - 37229291348863014975496576139863909\ 2580504190/1086691109737596846031426958700688311471047*c_0110_2^7 + 302797315072594316477646888052645338164523759/108669110973759684603\ 1426958700688311471047*c_0110_2^6 - 348466348708718611048567063196789535145555712/108669110973759684603\ 1426958700688311471047*c_0110_2^5 + 304111427823559471240549858833801555349642397/108669110973759684603\ 1426958700688311471047*c_0110_2^4 - 215451167147696102230439796188298149995730737/108669110973759684603\ 1426958700688311471047*c_0110_2^3 + 102355719259253621449175221317123046777735435/108669110973759684603\ 1426958700688311471047*c_0110_2^2 - 9014564582958167092897010601317902590616251/10866911097375968460314\ 26958700688311471047*c_0110_2 - 85007148732159278771324666491043419\ 5370245/1086691109737596846031426958700688311471047, c_0101_3 - 6046334995327815452332307983313688219925170/1086691109737596\ 846031426958700688311471047*c_0110_2^19 + 1876295039967825776551400398738972748235144/10866911097375968460314\ 26958700688311471047*c_0110_2^18 - 8403161573713117602111088585891939513081866/10866911097375968460314\ 26958700688311471047*c_0110_2^17 + 6397841150810137685176516847580232409553042/10866911097375968460314\ 26958700688311471047*c_0110_2^16 - 1429825106465083855923123951508156874286630/10866911097375968460314\ 26958700688311471047*c_0110_2^15 + 21756932755114346349084559158525863513776/1841849338538299739036316\ 8791537090024933*c_0110_2^14 + 365652292147716648565429385942510287\ 7515782/1086691109737596846031426958700688311471047*c_0110_2^13 - 19671623126498760483688925077907777349338626/1086691109737596846031\ 426958700688311471047*c_0110_2^12 + 21166368598136967316361226584855039985463657/1086691109737596846031\ 426958700688311471047*c_0110_2^11 + 2657347714357679222299363324937430486452488/10866911097375968460314\ 26958700688311471047*c_0110_2^10 + 55233490103853930252828860742231383805405695/1086691109737596846031\ 426958700688311471047*c_0110_2^9 + 62441086281905039146883189804128913830153/1841849338538299739036316\ 8791537090024933*c_0110_2^8 + 6159255430531565643750383007055029011\ 9119052/1086691109737596846031426958700688311471047*c_0110_2^7 - 13621885108039920534729590738599190242764372/1086691109737596846031\ 426958700688311471047*c_0110_2^6 + 41207374410373526234615319419760940865507605/1086691109737596846031\ 426958700688311471047*c_0110_2^5 - 20822607103701810290548984158437980635597029/1086691109737596846031\ 426958700688311471047*c_0110_2^4 + 11250596666828298277049151413915452929010586/1086691109737596846031\ 426958700688311471047*c_0110_2^3 + 2107300149260075703956511849274281254458452/10866911097375968460314\ 26958700688311471047*c_0110_2^2 - 823913677963106327108423224616878\ 3144735688/1086691109737596846031426958700688311471047*c_0110_2 + 1051928686437812523900679820807378442662972/10866911097375968460314\ 26958700688311471047, c_0110_2^20 - 97/93*c_0110_2^19 + 533/279*c_0110_2^18 - 643/279*c_0110_2^17 + 433/279*c_0110_2^16 - 30/31*c_0110_2^15 - 2/31*c_0110_2^14 + 949/279*c_0110_2^13 - 1645/279*c_0110_2^12 + 284/93*c_0110_2^11 - 319/31*c_0110_2^10 + 209/31*c_0110_2^9 - 3587/279*c_0110_2^8 + 3079/279*c_0110_2^7 - 3445/279*c_0110_2^6 + 3070/279*c_0110_2^5 - 2206/279*c_0110_2^4 + 1087/279*c_0110_2^3 - 46/93*c_0110_2^2 - 5/93*c_0110_2 + 1/279 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB