Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 593674227] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1428 geometric_solution 5.25969217 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 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.560250643253 0.205572313529 0 2 2 0 3201 0132 1023 0132 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 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 1.248090986827 0.394698702608 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 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 -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.523048596121 0.565582389118 2 5 4 6 0132 0132 3201 0132 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 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.033955573161 1.071647527768 3 6 2 5 2310 0132 0132 2310 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 -1 1 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.033955573161 1.071647527768 4 3 5 5 3201 0132 2031 1302 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 -1 1 1 0 -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.420679417505 0.344215616823 6 4 3 6 3201 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 0.029537336827 0.932206734876 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 162788449831561533888590074093/121152888841764112381375333564*c_011\ 0_5^26 + 2914197035597231564337955339059/12115288884176411238137533\ 3564*c_0110_5^24 - 13452030267203797606942958770691/605764444208820\ 56190687666782*c_0110_5^22 + 144112459767220721749169367190135/1211\ 52888841764112381375333564*c_0110_5^20 - 279076460441509592638823804174155/60576444420882056190687666782*c_0\ 110_5^18 + 1599686819092213959949844341541321/121152888841764112381\ 375333564*c_0110_5^16 - 2791937312903018797288359183519043/12115288\ 8841764112381375333564*c_0110_5^14 + 3018483189089256935042938579425873/121152888841764112381375333564*c\ _0110_5^12 - 1637333037657732009356747401026305/1211528888417641123\ 81375333564*c_0110_5^10 + 162579958418046051372220439264824/3028822\ 2210441028095343833391*c_0110_5^8 - 75743554025837740240978920379499/121152888841764112381375333564*c_0\ 110_5^6 - 28058951147985430646345872866627/302882222104410280953438\ 33391*c_0110_5^4 + 3452659678041329408474956185765/6057644442088205\ 6190687666782*c_0110_5^2 + 11890202663985548070963601371995/1211528\ 88841764112381375333564, c_0011_0 - 1, c_0011_1 + 231219988457396422685058029/30288222210441028095343833391*c_\ 0110_5^26 - 3828273361820393293891081430/30288222210441028095343833\ 391*c_0110_5^24 + 32760233193254581938197749579/3028822221044102809\ 5343833391*c_0110_5^22 - 155267204321541359928734158717/30288222210\ 441028095343833391*c_0110_5^20 + 535157862174308850761034010016/302\ 88222210441028095343833391*c_0110_5^18 - 1296690268887927456233097591165/30288222210441028095343833391*c_011\ 0_5^16 + 1249170224458422463574355937393/30288222210441028095343833\ 391*c_0110_5^14 + 115829087789494846883624335654/302882222104410280\ 95343833391*c_0110_5^12 - 1998185303240446845263579678453/302882222\ 10441028095343833391*c_0110_5^10 + 872226963654938008768828108696/30288222210441028095343833391*c_0110\ _5^8 - 673547545791018881134660371110/30288222210441028095343833391\ *c_0110_5^6 + 28441755455039263845860659945/30288222210441028095343\ 833391*c_0110_5^4 + 176117161576150333672292070509/3028822221044102\ 8095343833391*c_0110_5^2 + 8879047222285037001621931958/30288222210\ 441028095343833391, c_0011_4 - 2814633871837362604920501624/30288222210441028095343833391*c\ _0110_5^27 + 50594808969175334440507001065/302882222104410280953438\ 33391*c_0110_5^25 - 468915971851691542731815322479/3028822221044102\ 8095343833391*c_0110_5^23 + 2526407142395759832634322018098/3028822\ 2210441028095343833391*c_0110_5^21 - 9837429436211769343502799211465/30288222210441028095343833391*c_011\ 0_5^19 + 28385948742436882240173842092213/3028822221044102809534383\ 3391*c_0110_5^17 - 50369100897727284449170661267553/302882222104410\ 28095343833391*c_0110_5^15 + 55899646329075972241145038449313/30288\ 222210441028095343833391*c_0110_5^13 - 32383230160170803181836974817968/30288222210441028095343833391*c_01\ 10_5^11 + 13548833007606720088966086247078/302882222104410280953438\ 33391*c_0110_5^9 - 2217736082606834676098739571564/3028822221044102\ 8095343833391*c_0110_5^7 - 1804492021874567882681113125958/30288222\ 210441028095343833391*c_0110_5^5 + 345423833618618284229571768224/30288222210441028095343833391*c_0110\ _5^3 + 172536284833677610722752725696/30288222210441028095343833391\ *c_0110_5, c_0101_0 + 4772757116097990539000543365/30288222210441028095343833391*c\ _0110_5^27 - 85587820547770383767644144163/302882222104410280953438\ 33391*c_0110_5^25 + 791426970952456943086070071586/3028822221044102\ 8095343833391*c_0110_5^23 - 4249492000158068278008073659216/3028822\ 2210441028095343833391*c_0110_5^21 + 16494310518973434685995570540548/30288222210441028095343833391*c_01\ 10_5^19 - 47403159518214493851036714814736/302882222104410280953438\ 33391*c_0110_5^17 + 83291119215551231861192581003336/30288222210441\ 028095343833391*c_0110_5^15 - 90980879520883649046245616694696/3028\ 8222210441028095343833391*c_0110_5^13 + 50620000078330325590703975654736/30288222210441028095343833391*c_01\ 10_5^11 - 20325886223078135903702642788696/302882222104410280953438\ 33391*c_0110_5^9 + 2528415319302816675536523894873/3028822221044102\ 8095343833391*c_0110_5^7 + 3444930799258151442563116760133/30288222\ 210441028095343833391*c_0110_5^5 - 401550937117036012050875980369/30288222210441028095343833391*c_0110\ _5^3 - 301588366486876734217491733744/30288222210441028095343833391\ *c_0110_5, c_0101_2 + 2558360194242300087405760405/30288222210441028095343833391*c\ _0110_5^27 - 46220788289394355753632715387/302882222104410280953438\ 33391*c_0110_5^25 + 430255656107997271510515047466/3028822221044102\ 8095343833391*c_0110_5^23 - 2332568720229038323692016101625/3028822\ 2210441028095343833391*c_0110_5^21 + 9127416704029691115479183087023/30288222210441028095343833391*c_011\ 0_5^19 - 26494957672122748867074296448985/3028822221044102809534383\ 3391*c_0110_5^17 + 47679287612218723414483524766196/302882222104410\ 28095343833391*c_0110_5^15 - 53730269539450760315837496172678/30288\ 222210441028095343833391*c_0110_5^13 + 32083853687601431168036958362122/30288222210441028095343833391*c_01\ 10_5^11 - 13091687302462262950003234181655/302882222104410280953438\ 33391*c_0110_5^9 + 2400012102391773661274302782858/3028822221044102\ 8095343833391*c_0110_5^7 + 1827867587451150745267231502779/30288222\ 210441028095343833391*c_0110_5^5 - 358579310690204335743505694536/30288222210441028095343833391*c_0110\ _5^3 - 188155993620232238916879080798/30288222210441028095343833391\ *c_0110_5, c_0101_3 - 746692520515413678603650847/30288222210441028095343833391*c_\ 0110_5^26 + 13293381473724994343700481815/3028822221044102809534383\ 3391*c_0110_5^24 - 122161659421187276720539796128/30288222210441028\ 095343833391*c_0110_5^22 + 650156085772124986476791884819/302882222\ 10441028095343833391*c_0110_5^20 - 2506717752845305560060460386777/30288222210441028095343833391*c_011\ 0_5^18 + 7145536191586505015334797719555/30288222210441028095343833\ 391*c_0110_5^16 - 12309022235613596223751943025847/3028822221044102\ 8095343833391*c_0110_5^14 + 13203694322266834620495878100240/302882\ 22210441028095343833391*c_0110_5^12 - 7109022851876818683624722814448/30288222210441028095343833391*c_011\ 0_5^10 + 3117405017130845054763128649569/30288222210441028095343833\ 391*c_0110_5^8 - 321857234930962065135051760644/3028822221044102809\ 5343833391*c_0110_5^6 - 417066568795025525094398339303/302882222104\ 41028095343833391*c_0110_5^4 + 29680699934444537357567241346/302882\ 22210441028095343833391*c_0110_5^2 + 11924968612734650916577822997/30288222210441028095343833391, c_0110_5^28 - 18*c_0110_5^26 + 167*c_0110_5^24 - 901*c_0110_5^22 + 3511*c_0110_5^20 - 10139*c_0110_5^18 + 18022*c_0110_5^16 - 19962*c_0110_5^14 + 11436*c_0110_5^12 - 4527*c_0110_5^10 + 635*c_0110_5^8 + 751*c_0110_5^6 - 130*c_0110_5^4 - 73*c_0110_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB