Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 105355990] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1424 geometric_solution 5.25801974 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 -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 0 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.550227966663 1.903715411090 0 4 4 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.187717049897 0.233672595304 5 3 6 0 0132 1023 0132 0132 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 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.262183031803 0.758413994563 2 5 0 6 1023 3201 0132 3201 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 -1 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.262183031803 0.758413994563 1 1 4 4 2310 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 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 4.933091142808 2.686106142430 2 5 3 5 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.407159672163 1.177786339820 6 3 6 2 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 -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.515280399079 0.562475196073 ==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' : negation(d['1']), 's_2_1' : negation(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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : 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' : d['c_0011_2'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_6']), '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' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t + 19411997437887456360504414222307134347/156783885197035155493774842*\ c_0101_4^36 - 132328574935145793100584076281352020764/7839194259851\ 7577746887421*c_0101_4^35 - 136421063893860265776432875799855661013\ 9/156783885197035155493774842*c_0101_4^34 + 903535968026980457069847940146228782785/78391942598517577746887421*\ c_0101_4^33 + 7871066638589076069076163520091893859870/783919425985\ 17577746887421*c_0101_4^32 + 19517467199480764804058770307945158252\ 13/52261295065678385164591614*c_0101_4^31 - 14042798358785841384146464464297400911971/2613064753283919258229580\ 7*c_0101_4^30 - 56021194623448468303324650627789628926947/783919425\ 98517577746887421*c_0101_4^29 + 23508023871247773728533589386661314\ 2602347/156783885197035155493774842*c_0101_4^28 + 296267575831162689928129589327227659704356/783919425985175777468874\ 21*c_0101_4^27 - 26207396066600989211739479446468391339405/17420431\ 688559461721530538*c_0101_4^26 - 1663233583875489479033291980287254\ 9425526/1479093256575803353714857*c_0101_4^25 - 339691658806854969178674474690277965510827/783919425985175777468874\ 21*c_0101_4^24 + 1630001275742900482843083830443680696236362/783919\ 42598517577746887421*c_0101_4^23 + 30968249814864804251551564135991446857977/1479093256575803353714857\ *c_0101_4^22 - 1171158843060290504195468599426376973915215/52261295\ 065678385164591614*c_0101_4^21 - 2267928310853775669939141764265545\ 445097523/52261295065678385164591614*c_0101_4^20 + 1036045835506187336164024897221816273390181/15678388519703515549377\ 4842*c_0101_4^19 + 8506445921437496833018154970526849929238271/1567\ 83885197035155493774842*c_0101_4^18 + 1558485540593079475380773150056916892785555/78391942598517577746887\ 421*c_0101_4^17 - 6373944300278055043913378945350572361717795/15678\ 3885197035155493774842*c_0101_4^16 - 1858140840752910891064880282882295230443525/52261295065678385164591\ 614*c_0101_4^15 + 37348796488898586437909447492342339501702/2903405\ 281426576953588423*c_0101_4^14 + 5007929810210247179094901345333657\ 66619935/17420431688559461721530538*c_0101_4^13 + 106956651546186811465176583547854715866847/174204316885594617215305\ 38*c_0101_4^12 - 197010555231111482879010341617492534619335/1742043\ 1688559461721530538*c_0101_4^11 - 208316291085355176935572820330442\ 576245404/26130647532839192582295807*c_0101_4^10 + 7424952219681210191301879362351433293393/17420431688559461721530538\ *c_0101_4^9 + 72460037963817551416709586983592175288231/26130647532\ 839192582295807*c_0101_4^8 + 97160069173536774721715115758830000055\ 923/78391942598517577746887421*c_0101_4^7 - 51400623065853979223110324711465861939/1685848227925109198857794*c_\ 0101_4^6 - 6693077961169857141783025005720827519732/261306475328391\ 92582295807*c_0101_4^5 - 19786164222696893026509389946510874497125/\ 156783885197035155493774842*c_0101_4^4 - 864539901421036928701552639719354102457/26130647532839192582295807*\ c_0101_4^3 - 1456625243222371218092747464922467747/2809747046541848\ 66476299*c_0101_4^2 - 881252717034852715026358278543647750/19119985\ 99963843359680181*c_0101_4 - 471302921159611158348964221913038484/2\ 6130647532839192582295807, c_0011_0 - 1, c_0011_2 + 699495000910674458344082740338010/31219411628242762941811*c_\ 0101_4^36 - 9554421345447276507511184066027675/31219411628242762941\ 811*c_0101_4^35 - 48905917561788847167194687043516229/3121941162824\ 2762941811*c_0101_4^34 + 66211110208123282816637946130035760/312194\ 11628242762941811*c_0101_4^33 + 56494067917536581229230247850575202\ 2/31219411628242762941811*c_0101_4^32 + 197973317538892968634009620184484702/31219411628242762941811*c_0101\ _4^31 - 3033589151363401468981196204157994136/312194116282427629418\ 11*c_0101_4^30 - 3961584431304214199406499998123233545/312194116282\ 42762941811*c_0101_4^29 + 8527618189485071933073864880322638854/312\ 19411628242762941811*c_0101_4^28 + 21100710532734028733095736733270847487/31219411628242762941811*c_01\ 01_4^27 - 8890975064381803400400283895510094406/3121941162824276294\ 1811*c_0101_4^26 - 1190026498232707816204288676794913273/5890455024\ 19674772487*c_0101_4^25 - 23136330822344638360035369090671763734/31\ 219411628242762941811*c_0101_4^24 + 117269752460351349144725538203790578231/31219411628242762941811*c_0\ 101_4^23 + 2177287497138471323637192460023529493/589045502419674772\ 487*c_0101_4^22 - 127854320464988867527484530239309882644/312194116\ 28242762941811*c_0101_4^21 - 24113128525094163799348990476895970519\ 5/31219411628242762941811*c_0101_4^20 + 41140543065148865337940289569920698503/31219411628242762941811*c_01\ 01_4^19 + 303172099081565457014299649503100813454/31219411628242762\ 941811*c_0101_4^18 + 106479182992326062485790117174013120736/312194\ 11628242762941811*c_0101_4^17 - 22890741014399148319704328219364845\ 3644/31219411628242762941811*c_0101_4^16 - 195372302761559079537939002111920273665/31219411628242762941811*c_0\ 101_4^15 + 74410972108743899436335967836524152842/31219411628242762\ 941811*c_0101_4^14 + 159382680838982656711781451955144766439/312194\ 11628242762941811*c_0101_4^13 + 32372940044939583100591726282118306\ 945/31219411628242762941811*c_0101_4^12 - 63291706600600429897962677204774012431/31219411628242762941811*c_01\ 01_4^11 - 43735340803420649227799927385178769568/312194116282427629\ 41811*c_0101_4^10 + 2738954233164249324318700889533156805/312194116\ 28242762941811*c_0101_4^9 + 15375816678609294890802105252136818817/\ 31219411628242762941811*c_0101_4^8 + 6777328907755462803822949387584094186/31219411628242762941811*c_010\ 1_4^7 - 205907571081536639223894565235958253/3121941162824276294181\ 1*c_0101_4^6 - 1418190625632793723771243499851664181/31219411628242\ 762941811*c_0101_4^5 - 693721525304599245753683454202716432/3121941\ 1628242762941811*c_0101_4^4 - 181217953895669649627045262549222984/\ 31219411628242762941811*c_0101_4^3 - 28329163810974859432553784077923856/31219411628242762941811*c_0101_\ 4^2 - 61332503030156377866897161565685/761449064103482022971*c_0101\ _4 - 98302255002948994611557339069588/31219411628242762941811, c_0011_6 - 442*c_0101_4^36 + 5867*c_0101_4^35 + 33237*c_0101_4^34 - 30043*c_0101_4^33 - 373658*c_0101_4^32 - 261836*c_0101_4^31 + 1875189*c_0101_4^30 + 3243780*c_0101_4^29 - 4459223*c_0101_4^28 - 15453494*c_0101_4^27 + 581663*c_0101_4^26 + 42257729*c_0101_4^25 + 29861121*c_0101_4^24 - 69191421*c_0101_4^23 - 101702439*c_0101_4^22 + 54057411*c_0101_4^21 + 184765506*c_0101_4^20 + 31184033*c_0101_4^19 - 204295705*c_0101_4^18 - 140509699*c_0101_4^17 + 122175669*c_0101_4^16 + 180268556*c_0101_4^15 - 2115209*c_0101_4^14 - 120963086*c_0101_4^13 - 58334418*c_0101_4^12 + 33895989*c_0101_4^11 + 43354929*c_0101_4^10 + 8189136*c_0101_4^9 - 10856916*c_0101_4^8 - 7982128*c_0101_4^7 - 1347582*c_0101_4^6 + 1018616*c_0101_4^5 + 779849*c_0101_4^4 + 267594*c_0101_4^3 + 54514*c_0101_4^2 + 6560*c_0101_4 + 377, c_0101_0 + 17*c_0101_4^36 - 225*c_0101_4^35 - 1287*c_0101_4^34 + 1106*c_0101_4^33 + 14414*c_0101_4^32 + 10625*c_0101_4^31 - 71714*c_0101_4^30 - 127519*c_0101_4^29 + 166604*c_0101_4^28 + 600773*c_0101_4^27 + 735*c_0101_4^26 - 1625269*c_0101_4^25 - 1211015*c_0101_4^24 + 2614631*c_0101_4^23 + 4012195*c_0101_4^22 - 1924816*c_0101_4^21 - 7180397*c_0101_4^20 - 1475555*c_0101_4^19 + 7800775*c_0101_4^18 + 5704249*c_0101_4^17 - 4479670*c_0101_4^16 - 7105701*c_0101_4^15 - 191942*c_0101_4^14 + 4645044*c_0101_4^13 + 2422287*c_0101_4^12 - 1210527*c_0101_4^11 - 1714056*c_0101_4^10 - 380892*c_0101_4^9 + 402924*c_0101_4^8 + 322502*c_0101_4^7 + 64234*c_0101_4^6 - 36707*c_0101_4^5 - 31406*c_0101_4^4 - 11500*c_0101_4^3 - 2539*c_0101_4^2 - 351*c_0101_4 - 27, c_0101_1 - 43499202970934713313758998/2030322589237043*c_0101_4^36 + 592367230141821917432118204/2030322589237043*c_0101_4^35 + 3066546568690027571724456184/2030322589237043*c_0101_4^34 - 4003755511071084856922537234/2030322589237043*c_0101_4^33 - 35352796984148681914300223248/2030322589237043*c_0101_4^32 - 13657079047971369989152094957/2030322589237043*c_0101_4^31 + 188753470992382587297694109535/2030322589237043*c_0101_4^30 + 254078548452363198973198937360/2030322589237043*c_0101_4^29 - 523670473437300698234420939574/2030322589237043*c_0101_4^28 - 1337049479501904239378393531220/2030322589237043*c_0101_4^27 + 510161440249634499178812071241/2030322589237043*c_0101_4^26 + 74801295572544892079064643079/38307973381831*c_0101_4^25 + 1581174208348604891848371681890/2030322589237043*c_0101_4^24 - 7298277643378971811115156865762/2030322589237043*c_0101_4^23 - 141024356814914072107652498191/38307973381831*c_0101_4^22 + 7791037378720082757663613730549/2030322589237043*c_0101_4^21 + 15396337782784116917974141283931/2030322589237043*c_0101_4^20 - 2122960453502860505553870681088/2030322589237043*c_0101_4^19 - 19158378592222627478960334623486/2030322589237043*c_0101_4^18 - 7260610737594056948626537382022/2030322589237043*c_0101_4^17 + 14254634206253981912572746953297/2030322589237043*c_0101_4^16 + 12729205282730334541538392274647/2030322589237043*c_0101_4^15 - 4391446643769332532839023772030/2030322589237043*c_0101_4^14 - 10211805429178514257658954910893/2030322589237043*c_0101_4^13 - 2285096788286330852600564635214/2030322589237043*c_0101_4^12 + 3978235284087354520332025152514/2030322589237043*c_0101_4^11 + 2863410148361435803691797977976/2030322589237043*c_0101_4^10 - 124142494181151786242377644387/2030322589237043*c_0101_4^9 - 984748773646026371449447781634/2030322589237043*c_0101_4^8 - 447881778733914994748424109661/2030322589237043*c_0101_4^7 + 7627202132485075067873764293/2030322589237043*c_0101_4^6 + 91154857796861120023192434681/2030322589237043*c_0101_4^5 + 45423538854558233240382930254/2030322589237043*c_0101_4^4 + 11992324022267712483933581176/2030322589237043*c_0101_4^3 + 1890283465002531103726171503/2030322589237043*c_0101_4^2 + 4121799509685539781992328/49520063152123*c_0101_4 + 6649074668522948247233552/2030322589237043, c_0101_2 - 199631899531457966683473934422158/31219411628242762941811*c_\ 0101_4^36 + 2715447958735607112815360585079110/31219411628242762941\ 811*c_0101_4^35 + 14117760820064371702245043567488534/3121941162824\ 2762941811*c_0101_4^34 - 18182406330797804285752519135521929/312194\ 11628242762941811*c_0101_4^33 - 16265368890797393852807318206522571\ 9/31219411628242762941811*c_0101_4^32 - 64961090325554781097685534458978951/31219411628242762941811*c_0101_\ 4^31 + 866712879862817745384244051494310487/31219411628242762941811\ *c_0101_4^30 + 1179357612296625015541342805651040777/31219411628242\ 762941811*c_0101_4^29 - 2393426722000203947830202223453493694/31219\ 411628242762941811*c_0101_4^28 - 6180270572829925674266452106893509\ 734/31219411628242762941811*c_0101_4^27 + 2272799974008451195176552391290000658/31219411628242762941811*c_010\ 1_4^26 + 344812551781959395107400879224059298/589045502419674772487\ *c_0101_4^25 + 7492070621741632115358163306659162350/31219411628242\ 762941811*c_0101_4^24 - 33531039425138050687524330028583392928/3121\ 9411628242762941811*c_0101_4^23 - 656774017982935149970715596657925\ 397/589045502419674772487*c_0101_4^22 + 35539435716653735329589907240603599526/31219411628242762941811*c_01\ 01_4^21 + 71368271397474512404944581339307124404/312194116282427629\ 41811*c_0101_4^20 - 9079144360921504923181412214082065653/312194116\ 28242762941811*c_0101_4^19 - 88515040749675661614950618014717694963\ /31219411628242762941811*c_0101_4^18 - 34341686481377706872100667659902112038/31219411628242762941811*c_01\ 01_4^17 + 65559458313148850934141380203059262276/312194116282427629\ 41811*c_0101_4^16 + 59380966250400804792575261201115786508/31219411\ 628242762941811*c_0101_4^15 - 1985385372524350976668593760991992278\ 7/31219411628242762941811*c_0101_4^14 - 47396781265277739698849306996662544176/31219411628242762941811*c_01\ 01_4^13 - 10890173155516040084989596497012110737/312194116282427629\ 41811*c_0101_4^12 + 18363860563491960309984977907364088193/31219411\ 628242762941811*c_0101_4^11 + 1336893018444323015830258434529337654\ 9/31219411628242762941811*c_0101_4^10 - 512463214019848473938641224769751768/31219411628242762941811*c_0101\ _4^9 - 4570284629069432489728754801144481045/3121941162824276294181\ 1*c_0101_4^8 - 2094685696478927759455817080934406076/31219411628242\ 762941811*c_0101_4^7 + 29200136175549678874283300105290510/31219411\ 628242762941811*c_0101_4^6 + 423402367014040153399372594487521949/3\ 1219411628242762941811*c_0101_4^5 + 211822050941006219142117760220313303/31219411628242762941811*c_0101\ _4^4 + 56028145488186362427065571463863210/31219411628242762941811*\ c_0101_4^3 + 8841532364096318363033877234023343/3121941162824276294\ 1811*c_0101_4^2 + 19292818862844618421308754843841/7614490641034820\ 22971*c_0101_4 + 31133767643679056982396742118653/31219411628242762\ 941811, c_0101_4^37 - 225/17*c_0101_4^36 - 1287/17*c_0101_4^35 + 1106/17*c_0101_4^34 + 14414/17*c_0101_4^33 + 625*c_0101_4^32 - 71714/17*c_0101_4^31 - 127519/17*c_0101_4^30 + 166604/17*c_0101_4^29 + 600773/17*c_0101_4^28 + 735/17*c_0101_4^27 - 1625269/17*c_0101_4^26 - 1211015/17*c_0101_4^25 + 2614631/17*c_0101_4^24 + 4012195/17*c_0101_4^23 - 1924816/17*c_0101_4^22 - 7180397/17*c_0101_4^21 - 1475555/17*c_0101_4^20 + 7800775/17*c_0101_4^19 + 5704249/17*c_0101_4^18 - 263510*c_0101_4^17 - 7105701/17*c_0101_4^16 - 191942/17*c_0101_4^15 + 4645044/17*c_0101_4^14 + 2422287/17*c_0101_4^13 - 1210527/17*c_0101_4^12 - 1714056/17*c_0101_4^11 - 380892/17*c_0101_4^10 + 402924/17*c_0101_4^9 + 322502/17*c_0101_4^8 + 64234/17*c_0101_4^7 - 36707/17*c_0101_4^6 - 31406/17*c_0101_4^5 - 11500/17*c_0101_4^4 - 2539/17*c_0101_4^3 - 350/17*c_0101_4^2 - 28/17*c_0101_4 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB