Magma V2.19-8 Tue Aug 20 2013 16:18:28 on localhost [Seed = 2362249660] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2662 geometric_solution 5.92767203 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620130556208 0.478584122722 3 0 3 4 0132 0132 0213 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.221438862828 0.790144265638 4 4 0 3 1023 1302 0132 2103 0 0 0 0 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 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 0 0 0.989364671962 0.779955151411 1 1 5 2 0132 0213 0132 2103 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 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 1.274659103432 1.032577352114 5 2 1 2 2310 1023 0132 2031 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 -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.027320814137 1.015302217012 6 6 4 3 0132 2310 3201 0132 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 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.077607578064 1.108669784894 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 1 0 -1 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 -1 0 1 0 0 1 -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.646895899561 0.693762003400 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : 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' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_1010_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1010_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_1010_2']), 'c_1010_2' : d['c_1010_2'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_5, c_0101_2, c_0101_3, c_0101_5, c_1010_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 18882780523264151608968775913986729732741/4321945379522295269843459\ 331686528732787*c_1010_2^21 - 1491395510105267130232245264668780946\ 72571/8643890759044590539686918663373057465574*c_1010_2^20 + 32660051113639554083074714856464834670887/8643890759044590539686918\ 663373057465574*c_1010_2^19 + 5190612727539997365427860474217621876\ 0043/1234841537006370077098131237624722495082*c_1010_2^18 + 625502372899200430471039169835337756002065/288129691968153017989563\ 9554457685821858*c_1010_2^17 + 185762219558114761207561815737143192\ 5903755/4321945379522295269843459331686528732787*c_1010_2^16 + 381070272835362374299966834406810765293177/960432306560510059965213\ 184819228607286*c_1010_2^15 - 3143330977166170443134298702813647701\ 578883/4321945379522295269843459331686528732787*c_1010_2^14 - 162727079643443178126298730975387471199781/355715669096485207394523\ 40178489948418*c_1010_2^13 - 38761473757552224752331404752315967877\ 45098/480216153280255029982606592409614303643*c_1010_2^12 - 10694564352862307437994433408669415163513063/1234841537006370077098\ 131237624722495082*c_1010_2^11 - 1844971291313138348220304578592532\ 9075385869/8643890759044590539686918663373057465574*c_1010_2^10 + 822557153955074569718318174402302410114767/588019779526842893856252\ 97029748690242*c_1010_2^9 + 137048379389502247836600714707878182728\ 29633/960432306560510059965213184819228607286*c_1010_2^8 - 4864434338781671541196198090990624709780414/48021615328025502998260\ 6592409614303643*c_1010_2^7 - 4378341016277778100395194217206793983\ 691268/205806922834395012849688539604120415847*c_1010_2^6 - 16599312763740783947153759178452270889259753/4321945379522295269843\ 459331686528732787*c_1010_2^5 + 46686345718085378091644687164230286\ 551496678/4321945379522295269843459331686528732787*c_1010_2^4 + 48781825074983497367615691610555717070167049/8643890759044590539686\ 918663373057465574*c_1010_2^3 - 58765051538575815294656907603225371\ 88842672/4321945379522295269843459331686528732787*c_1010_2^2 - 9220181480406660048242004721841563188648169/86438907590445905396869\ 18663373057465574*c_1010_2 - 49562077065378985006291441071457694962\ 8889/8643890759044590539686918663373057465574, c_0011_0 - 1, c_0011_2 + 6340457269386431231856479153988137/1088925517642301655289357\ 352402753523*c_1010_2^21 + 28260152177659573850050666906550524/1088\ 925517642301655289357352402753523*c_1010_2^20 - 6365542301237342283769031076618178/10889255176423016552893573524027\ 53523*c_1010_2^19 - 122202342555577840267519696694208317/1088925517\ 642301655289357352402753523*c_1010_2^18 - 116517378932761963394451831699587570/362975172547433885096452450800\ 917841*c_1010_2^17 - 645476225283272963716000522631697076/108892551\ 7642301655289357352402753523*c_1010_2^16 - 7377741957002749105390377565189698/40330574727492653899605827866768\ 649*c_1010_2^15 + 2343561329256654768275867177598986045/10889255176\ 42301655289357352402753523*c_1010_2^14 + 971451472569521631786946145498284427/120991724182477961698817483600\ 305947*c_1010_2^13 + 494718270331774854213096342751069448/403305747\ 27492653899605827866768649*c_1010_2^12 + 3567050692203493785126694464180613508/10889255176423016552893573524\ 02753523*c_1010_2^11 - 19604769423028867615612084287028120717/10889\ 25517642301655289357352402753523*c_1010_2^10 - 17666203258972525357462087635447531434/3629751725474338850964524508\ 00917841*c_1010_2^9 - 1780840815945070170974986198461945512/4033057\ 4727492653899605827866768649*c_1010_2^8 + 4857160519032893546660716489210150715/12099172418247796169881748360\ 0305947*c_1010_2^7 + 30154280875912054009059380143898944721/3629751\ 72547433885096452450800917841*c_1010_2^6 + 303179176135451866387846355498265479/108892551764230165528935735240\ 2753523*c_1010_2^5 - 79192687177725655124174915188999541966/1088925\ 517642301655289357352402753523*c_1010_2^4 - 40587944914809313310604458429894371199/1088925517642301655289357352\ 402753523*c_1010_2^3 + 21472817413954751937419458774395464185/10889\ 25517642301655289357352402753523*c_1010_2^2 + 20497201356137157927865696222349342905/1088925517642301655289357352\ 402753523*c_1010_2 + 1914886308694583071838603797319281375/10889255\ 17642301655289357352402753523, c_0011_5 + 752337091598692959006995907058823969/32667765529269049658680\ 72057208260569*c_1010_2^21 + 2828739632634395189300169528882447004/\ 3266776552926904965868072057208260569*c_1010_2^20 - 1380040751091554920387900093208191270/32667765529269049658680720572\ 08260569*c_1010_2^19 - 7798126621827390843661210475327380985/326677\ 6552926904965868072057208260569*c_1010_2^18 - 12003445877916505905629716909708495535/1088925517642301655289357352\ 402753523*c_1010_2^17 - 65513049866351570184797921423062692790/3266\ 776552926904965868072057208260569*c_1010_2^16 - 5079623450715567831682801083898062535/36297517254743388509645245080\ 0917841*c_1010_2^15 + 156091292604794258723726063851740564158/32667\ 76552926904965868072057208260569*c_1010_2^14 + 9681003307711365949307827028146460912/40330574727492653899605827866\ 768649*c_1010_2^13 + 135532376694904037780409935005620575140/362975\ 172547433885096452450800917841*c_1010_2^12 + 1054862251720087742325114137257780030907/32667765529269049658680720\ 57208260569*c_1010_2^11 - 255108910091549612172049561692847064959/3\ 266776552926904965868072057208260569*c_1010_2^10 - 967762987755816199530740274734902065293/108892551764230165528935735\ 2402753523*c_1010_2^9 - 246525781513461519191655095840191990399/362\ 975172547433885096452450800917841*c_1010_2^8 + 291064697022047587204192405964134504510/362975172547433885096452450\ 800917841*c_1010_2^7 + 1303267070649732090396782828740342324424/108\ 8925517642301655289357352402753523*c_1010_2^6 - 217369613352640122209708936983549043401/326677655292690496586807205\ 7208260569*c_1010_2^5 - 2717607989611589496831503669000602662338/32\ 66776552926904965868072057208260569*c_1010_2^4 - 949496991790818008778131949796576659332/326677655292690496586807205\ 7208260569*c_1010_2^3 + 622812906598039543569011198747935226812/326\ 6776552926904965868072057208260569*c_1010_2^2 + 342154045533963228926059925071054292995/326677655292690496586807205\ 7208260569*c_1010_2 + 9660665226894178548515271221044718743/3266776\ 552926904965868072057208260569, c_0101_2 + 1294046473803387634868567398948602475/3266776552926904965868\ 072057208260569*c_1010_2^21 + 5085502364344746454851025429997598782\ /3266776552926904965868072057208260569*c_1010_2^20 - 1613438510291782501659265226503442969/32667765529269049658680720572\ 08260569*c_1010_2^19 - 13994217541483768854392447630539774372/32667\ 76552926904965868072057208260569*c_1010_2^18 - 21271935466617036008565937796661372532/1088925517642301655289357352\ 402753523*c_1010_2^17 - 122646380644784321316976339290606892538/326\ 6776552926904965868072057208260569*c_1010_2^16 - 10592792683937390836703229549455887742/3629751725474338850964524508\ 00917841*c_1010_2^15 + 257527939422798091067808227950839789913/3266\ 776552926904965868072057208260569*c_1010_2^14 + 17181631074203104726007919676879539545/4033057472749265389960582786\ 6768649*c_1010_2^13 + 256530662093146778117007041577933038765/36297\ 5172547433885096452450800917841*c_1010_2^12 + 2114639083434597335886158653342006297342/32667765529269049658680720\ 57208260569*c_1010_2^11 - 163033970593111838246253370170623865953/3\ 266776552926904965868072057208260569*c_1010_2^10 - 1680577468983835499478349132588787923762/10889255176423016552893573\ 52402753523*c_1010_2^9 - 503180334965995713207692387251866187118/36\ 2975172547433885096452450800917841*c_1010_2^8 + 458505717249111834594990401185981089242/362975172547433885096452450\ 800917841*c_1010_2^7 + 2479643858248507411585621903577955770005/108\ 8925517642301655289357352402753523*c_1010_2^6 + 355793943450609135241777527185092217002/326677655292690496586807205\ 7208260569*c_1010_2^5 - 4844617839736862641640991862980333476518/32\ 66776552926904965868072057208260569*c_1010_2^4 - 2113932783432649693117413451632527313037/32667765529269049658680720\ 57208260569*c_1010_2^3 + 1001793260488754764786699075472705105009/3\ 266776552926904965868072057208260569*c_1010_2^2 + 681959372694090380671899253177858242203/326677655292690496586807205\ 7208260569*c_1010_2 + 28234661940487069611842650948864441418/326677\ 6552926904965868072057208260569, c_0101_3 + 1115601160256870301747007231570938292/3266776552926904965868\ 072057208260569*c_1010_2^21 + 4529076185167749795729113960331555974\ /3266776552926904965868072057208260569*c_1010_2^20 - 928094533220981621420043030547468085/326677655292690496586807205720\ 8260569*c_1010_2^19 - 12592014354968413491913698013844367703/326677\ 6552926904965868072057208260569*c_1010_2^18 - 18738453775395975830591789125341967891/1088925517642301655289357352\ 402753523*c_1010_2^17 - 111970190825172261929747403933071874956/326\ 6776552926904965868072057208260569*c_1010_2^16 - 10143687697981816106553122933613868424/3629751725474338850964524508\ 00917841*c_1010_2^15 + 218352910435740696657376467369788475070/3266\ 776552926904965868072057208260569*c_1010_2^14 + 15205923562075491726748650602812114409/4033057472749265389960582786\ 6768649*c_1010_2^13 + 235894957801974096308636264791414469447/36297\ 5172547433885096452450800917841*c_1010_2^12 + 1982422950589351966319461646398480064380/32667765529269049658680720\ 57208260569*c_1010_2^11 - 26926845057374302988174343912322608413/32\ 66776552926904965868072057208260569*c_1010_2^10 - 1485230228487272126348794449403050667090/10889255176423016552893573\ 52402753523*c_1010_2^9 - 488305769882745468208374879177607522238/36\ 2975172547433885096452450800917841*c_1010_2^8 + 379658347824481150854566062170333663863/362975172547433885096452450\ 800917841*c_1010_2^7 + 2333485996274367102394714335718162148056/108\ 8925517642301655289357352402753523*c_1010_2^6 + 718094088722277587448225307472257899823/326677655292690496586807205\ 7208260569*c_1010_2^5 - 4459041045937762944730581334552669113190/32\ 66776552926904965868072057208260569*c_1010_2^4 - 2179652530626986356566676705110147015235/32667765529269049658680720\ 57208260569*c_1010_2^3 + 893818452588667895081136722835273557573/32\ 66776552926904965868072057208260569*c_1010_2^2 + 691392736094171423914116206232809830472/326677655292690496586807205\ 7208260569*c_1010_2 + 28393984247894328657289040145013802378/326677\ 6552926904965868072057208260569, c_0101_5 - 85692915948427882436654471509767217/326677655292690496586807\ 2057208260569*c_1010_2^21 - 272287083568867401877116201743121779/32\ 66776552926904965868072057208260569*c_1010_2^20 + 339498219046552199547925559793901025/326677655292690496586807205720\ 8260569*c_1010_2^19 + 801910341011145925227564887561614024/32667765\ 52926904965868072057208260569*c_1010_2^18 + 1229977843464610009696920574805403490/10889255176423016552893573524\ 02753523*c_1010_2^17 + 5097126297393410012112536676315781976/326677\ 6552926904965868072057208260569*c_1010_2^16 + 100279341458122795841507844543977300/362975172547433885096452450800\ 917841*c_1010_2^15 - 21589626675639294965483410716684548692/3266776\ 552926904965868072057208260569*c_1010_2^14 - 2998491068922459681371204508098678192/12099172418247796169881748360\ 0305947*c_1010_2^13 - 10030435657925151876100658342272396436/362975\ 172547433885096452450800917841*c_1010_2^12 - 40669966192336563756303108290337085003/3266776552926904965868072057\ 208260569*c_1010_2^11 + 115689618838063382104770086986026678065/326\ 6776552926904965868072057208260569*c_1010_2^10 + 116720862142524881703269817586066666264/108892551764230165528935735\ 2402753523*c_1010_2^9 + 12326810525589772372950250655230050149/3629\ 75172547433885096452450800917841*c_1010_2^8 - 45691103716622526135556754375536471385/3629751725474338850964524508\ 00917841*c_1010_2^7 - 109682243244472951631843815892450977816/10889\ 25517642301655289357352402753523*c_1010_2^6 + 195419475067855166156103163653619103021/326677655292690496586807205\ 7208260569*c_1010_2^5 + 318784809716990284353080848092210713881/326\ 6776552926904965868072057208260569*c_1010_2^4 + 31178217540706662108521859185485126264/3266776552926904965868072057\ 208260569*c_1010_2^3 - 93144099143454720488652287002858877579/32667\ 76552926904965868072057208260569*c_1010_2^2 - 36336732623976027957029781696656793077/3266776552926904965868072057\ 208260569*c_1010_2 - 4629057765826878913768804160386905833/32667765\ 52926904965868072057208260569, c_1010_2^22 + 4*c_1010_2^21 - c_1010_2^20 - 11*c_1010_2^19 - 50*c_1010_2^18 - 98*c_1010_2^17 - 79*c_1010_2^16 + 196*c_1010_2^15 + 1091*c_1010_2^14 + 1854*c_1010_2^13 + 1732*c_1010_2^12 - 51*c_1010_2^11 - 3943*c_1010_2^10 - 3768*c_1010_2^9 + 3033*c_1010_2^8 + 6024*c_1010_2^7 + 592*c_1010_2^6 - 3821*c_1010_2^5 - 1881*c_1010_2^4 + 720*c_1010_2^3 + 594*c_1010_2^2 + 48*c_1010_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB