Magma V2.19-8 Tue Aug 20 2013 16:18:31 on localhost [Seed = 1545453921] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2702 geometric_solution 5.95343909 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3012 0 0 0 0 0 -1 0 1 -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 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.356407728046 1.407904693224 0 4 0 5 0132 0132 1230 0132 0 0 0 0 0 0 -1 1 1 0 -1 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 1 -1 -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.549741598403 0.325362639604 5 0 2 2 3012 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560137863165 1.215947345274 5 5 4 0 0132 3120 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473541989171 0.366450048423 3 1 6 6 2031 0132 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 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.122168513924 0.859183901552 3 3 1 2 0132 3120 0132 1230 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 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.830222294103 0.577331739808 6 4 6 4 2031 2310 1302 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 -0.818224315591 1.407026216668 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : 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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0011_3']), '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_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 78859529334551888866499135509164699/5465253712796257332633801334240\ 0*c_0110_4^13 + 44695623161981609929635574547698437/136631342819906\ 43331584503335600*c_0110_4^12 + 63049944543040997366848503871670987\ 1/27326268563981286663169006671200*c_0110_4^11 + 362422029205340006353947375543021079/109305074255925146652676026684\ 80*c_0110_4^10 + 1384099104273966441360188866962850829/546525371279\ 62573326338013342400*c_0110_4^9 + 312716660727827544392945079498633\ 54/853945892624415208224031458475*c_0110_4^8 + 97720697389448031113589172454787523/2102020658767791281782231282400\ *c_0110_4^7 + 104324983916835483087769117760890003/6831567140995321\ 665792251667800*c_0110_4^6 - 432149330298014751944653775323229011/5\ 4652537127962573326338013342400*c_0110_4^5 + 238487567269242019722535640871594467/546525371279625733263380133424\ 00*c_0110_4^4 + 506498099649428552256363162220679971/54652537127962\ 573326338013342400*c_0110_4^3 + 1293768504572781341701184271908011/\ 840808263507116512712892512960*c_0110_4^2 - 373124285006046708255371220980371/525505164691947820445557820600*c_\ 0110_4 - 4817696131709372214442920681861507/54652537127962573326338\ 013342400, c_0011_0 - 1, c_0011_3 + 9345795397884068908931711030467/5465253712796257332633801334\ 24*c_0110_4^13 - 13159230314690046321252950412811/27326268563981286\ 6631690066712*c_0110_4^12 - 8125434947087536322716038073603/3415783\ 5704976608328961258339*c_0110_4^11 - 158715175460455646235251347331969/546525371279625733263380133424*c_\ 0110_4^10 - 141953181041120629223413258942897/546525371279625733263\ 380133424*c_0110_4^9 - 114535378615119612779930224101783/2732626856\ 39812866631690066712*c_0110_4^8 - 4544711540567440607143872175509/1\ 0510103293838956408911156412*c_0110_4^7 - 37500385757544773281453445864129/273262685639812866631690066712*c_0\ 110_4^6 - 7130169274949563518941685498135/5465253712796257332633801\ 33424*c_0110_4^5 - 43289071482005779576796110843175/546525371279625\ 733263380133424*c_0110_4^4 - 34042487409278767952369455996405/54652\ 5371279625733263380133424*c_0110_4^3 - 816331130859595382746471995215/42040413175355825635644625648*c_0110\ _4^2 - 159739507423280121848201206663/21020206587677912817822312824\ *c_0110_4 - 821306295466020661158804015915/546525371279625733263380\ 133424, c_0011_6 - 39444446130579551759597/2063559824404556713304*c_0110_4^13 + 29985763229898224805035/515889956101139178326*c_0110_4^12 + 263439154480225191617025/1031779912202278356652*c_0110_4^11 + 530412876991254256943045/2063559824404556713304*c_0110_4^10 + 434173801462735997525267/2063559824404556713304*c_0110_4^9 + 105838915157118920928911/257944978050569589163*c_0110_4^8 + 384952871083246368216277/1031779912202278356652*c_0110_4^7 + 8746328972841203578708/257944978050569589163*c_0110_4^6 - 12765033388533172076709/2063559824404556713304*c_0110_4^5 + 195528862132784362874189/2063559824404556713304*c_0110_4^4 + 83791251601607236963173/2063559824404556713304*c_0110_4^3 + 16862074552150704128981/2063559824404556713304*c_0110_4^2 + 1574235515828794415838/257944978050569589163*c_0110_4 - 1371941614149233993429/2063559824404556713304, c_0101_0 - 22622044016618769766281108271335/109305074255925146652676026\ 6848*c_0110_4^13 + 15614966869473499368114015405021/273262685639812\ 866631690066712*c_0110_4^12 + 159974280676886409639151966741891/546\ 525371279625733263380133424*c_0110_4^11 + 393586253941524830611218299223119/1093050742559251466526760266848*c\ _0110_4^10 + 352787760574518842261853709045697/10930507425592514665\ 26760266848*c_0110_4^9 + 35608607311803963909779467205231/683156714\ 09953216657922516678*c_0110_4^8 + 22596030694699909489461255478151/\ 42040413175355825635644625648*c_0110_4^7 + 23689883161769694062247395281133/136631342819906433315845033356*c_0\ 110_4^6 + 22893708201773161058625583539985/109305074255925146652676\ 0266848*c_0110_4^5 + 103820402739400723280181031581839/109305074255\ 9251466526760266848*c_0110_4^4 + 77261969234852690355410461235999/1\ 093050742559251466526760266848*c_0110_4^3 + 2276798191629738695351761531315/84080826350711651271289251296*c_011\ 0_4^2 + 105570525456342814894839863319/1051010329383895640891115641\ 2*c_0110_4 + 1297541203256531579603252084833/1093050742559251466526\ 760266848, c_0101_1 - 36684518066387527630110703997549/218610148511850293305352053\ 3696*c_0110_4^13 + 12934808408782942390460427428835/273262685639812\ 866631690066712*c_0110_4^12 + 254431205397754660604606801895407/109\ 3050742559251466526760266848*c_0110_4^11 + 624491349179718059207836954946553/2186101485118502933053520533696*c\ _0110_4^10 + 562767598477231119271161186301747/21861014851185029330\ 53520533696*c_0110_4^9 + 225630068144558557867919913596757/54652537\ 1279625733263380133424*c_0110_4^8 + 35909788998680688373470542314591/84080826350711651271289251296*c_01\ 10_4^7 + 75845271113928335520910024274777/5465253712796257332633801\ 33424*c_0110_4^6 + 33596056496043294542469560647447/218610148511850\ 2933053520533696*c_0110_4^5 + 172320568529141569283891608886861/218\ 6101485118502933053520533696*c_0110_4^4 + 133325667604738153858894774389697/2186101485118502933053520533696*c\ _0110_4^3 + 3185795877072787257125177646769/16816165270142330254257\ 8502592*c_0110_4^2 + 347481386450349358779532963055/420404131753558\ 25635644625648*c_0110_4 + 2553014363520505828240105252479/218610148\ 5118502933053520533696, c_0101_4 + 22471954678648475763872175281153/109305074255925146652676026\ 6848*c_0110_4^13 - 8641233695065680362050227460873/1366313428199064\ 33315845033356*c_0110_4^12 - 148328677696510138855674110562803/5465\ 25371279625733263380133424*c_0110_4^11 - 295612209038398285162207365349325/1093050742559251466526760266848*c\ _0110_4^10 - 248376749742851009032840488545791/10930507425592514665\ 26760266848*c_0110_4^9 - 119943459178333588055526607178493/27326268\ 5639812866631690066712*c_0110_4^8 - 16461866408336290115873984346723/42040413175355825635644625648*c_01\ 10_4^7 - 10310474005490340411396381356433/2732626856398128666316900\ 66712*c_0110_4^6 + 1331016701481081692312201392957/1093050742559251\ 466526760266848*c_0110_4^5 - 106474648616215461348440850956705/1093\ 050742559251466526760266848*c_0110_4^4 - 45082862775544370619661896558357/1093050742559251466526760266848*c_\ 0110_4^3 - 745474472173648670759386419445/8408082635071165127128925\ 1296*c_0110_4^2 - 121672926688237678282854032831/210202065876779128\ 17822312824*c_0110_4 + 715115116176428586982055973237/1093050742559\ 251466526760266848, c_0110_4^14 - 857/361*c_0110_4^13 - 5518/361*c_0110_4^12 - 8175/361*c_0110_4^11 - 7706/361*c_0110_4^10 - 10949/361*c_0110_4^9 - 12682/361*c_0110_4^8 - 6166/361*c_0110_4^7 - 1111/361*c_0110_4^6 - 1878/361*c_0110_4^5 - 1964/361*c_0110_4^4 - 820/361*c_0110_4^3 - 299/361*c_0110_4^2 - 87/361*c_0110_4 - 5/361 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB