Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2000087987] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0421 geometric_solution 4.47850526 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 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 -1 0 1 -1 0 0 1 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.662931606651 0.097797964840 0 0 2 2 0132 3201 2310 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 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 2.132092627790 0.643062444334 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.192320909892 0.573100788440 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306619008307 0.289964569283 5 3 5 6 2310 0132 3201 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.260516824644 1.171688461671 4 6 4 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.260516824644 1.171688461671 5 6 4 6 1023 2310 0132 3201 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 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 0.180823689682 0.813264291418 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(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' : d['1'], 's_0_0' : 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_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_6'], '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_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 561411794908206122921646809/86520224789888149880832*c_0110_6^26 + 5820400805340164363593025347/43260112394944074940416*c_0110_6^24 - 241118109358258219722786506369/86520224789888149880832*c_0110_6^22 + 1241498179297538891153111748761/43260112394944074940416*c_0110_6^20 - 2922705588218518977256422214595/14420037464981358313472*c_0110_6^\ 18 + 35982485001274926132069270850649/43260112394944074940416*c_011\ 0_6^16 - 113219798723940311003177379427583/43260112394944074940416*\ c_0110_6^14 + 30558188542762129674255548075765/54075140493680093675\ 52*c_0110_6^12 - 406049335840982401348306713272431/8652022478988814\ 9880832*c_0110_6^10 + 69941561462221055579335600213339/432601123949\ 44074940416*c_0110_6^8 - 2714260050379894016976602629499/1081502809\ 8736018735104*c_0110_6^6 + 1318853653808736337684082612173/86520224\ 789888149880832*c_0110_6^4 + 204334295844888309396509045/8652022478\ 9888149880832*c_0110_6^2 - 1568081145008224388555880185/86520224789\ 888149880832, c_0011_0 - 1, c_0011_2 - 44502669797893683884270621/7210018732490679156736*c_0110_6^2\ 6 + 463238836514342684930878575/3605009366245339578368*c_0110_6^24 - 19190481926751811616828387941/7210018732490679156736*c_0110_6^22 + 99212524341941091740272621789/3605009366245339578368*c_0110_6^20 - 703289696740481192058098928461/3605009366245339578368*c_0110_6^18 + 2910621707001640807975727883677/3605009366245339578368*c_0110_6^16 - 9214799667553994848387281716507/3605009366245339578368*c_0110_6^14 + 2516884270582320874675818457577/450626170780667447296*c_0110_6^12 - 35466343520086220836667915628363/7210018732490679156736*c_0110_6^10 + 6931981560439936654857874480871/3605009366245339578368*c_0110_6^8 - 340091409339518003904057623015/901252341561334894592*c_0110_6^6 + 275059425954933386625365523809/7210018732490679156736*c_0110_6^4 - 13361327956842537653067997271/7210018732490679156736*c_0110_6^2 + 245203741243647202017819203/7210018732490679156736, c_0011_5 + 6281729427732287469612401/1802504683122669789184*c_0110_6^26 - 65387714560325655841605411/901252341561334894592*c_0110_6^24 + 2708800939915213054943932841/1802504683122669789184*c_0110_6^22 - 14004117739969239854764151345/901252341561334894592*c_0110_6^20 + 99270860765349053570452104977/901252341561334894592*c_0110_6^18 - 410836851422317978284672154193/901252341561334894592*c_0110_6^16 + 1300669378833743874115550007735/901252341561334894592*c_0110_6^14 - 355254123941759389273262519529/112656542695166861824*c_0110_6^12 + 5005739327821267261062229004631/1802504683122669789184*c_0110_6^10 - 978303380776645018267105027051/901252341561334894592*c_0110_6^8 + 47993995085670632121205168345/225313085390333723648*c_0110_6^6 - 38816551104739244180425784693/1802504683122669789184*c_0110_6^4 + 1885701323810966459603361523/1802504683122669789184*c_0110_6^2 - 34610490719623995219016991/1802504683122669789184, c_0101_0 - 3116104124592186295840465/7210018732490679156736*c_0110_6^27 + 32558106778157822435612155/3605009366245339578368*c_0110_6^25 - 1348757678604702144587401497/7210018732490679156736*c_0110_6^23 + 6999000916261350633869153425/3605009366245339578368*c_0110_6^21 - 49778481946645347307361372897/3605009366245339578368*c_0110_6^19 + 207556641962684740375136990865/3605009366245339578368*c_0110_6^17 - 660475342564253354769470151591/3605009366245339578368*c_0110_6^15 + 182191292810190865329141364533/450626170780667447296*c_0110_6^13 - 2686393381171428380542473225399/7210018732490679156736*c_0110_6^11 + 563850386544176490196860629747/3605009366245339578368*c_0110_6^9 - 29691765403788343475394104007/901252341561334894592*c_0110_6^7 + 25444434740264529955515433285/7210018732490679156736*c_0110_6^5 - 1282580467198308159494330419/7210018732490679156736*c_0110_6^3 + 24019593399618981866990383/7210018732490679156736*c_0110_6, c_0101_1 + 6211128705473243692204123/901252341561334894592*c_0110_6^27 - 64667205578734529944051089/450626170780667447296*c_0110_6^25 + 2678950540583610096873964579/901252341561334894592*c_0110_6^23 - 13852876421767781317833514139/450626170780667447296*c_0110_6^21 + 98218214615261903470218362203/450626170780667447296*c_0110_6^19 - 406663054095624487764959410107/450626170780667447296*c_0110_6^17 + 1287854879754759576342626277949/450626170780667447296*c_0110_6^15 - 351966463441726573058441565579/56328271347583430912*c_0110_6^13 + 4973531664352957637003469373117/901252341561334894592*c_0110_6^11 - 976658595106929626745593140937/450626170780667447296*c_0110_6^9 + 48165474639888964117560180935/112656542695166861824*c_0110_6^7 - 39151580560158690051197059751/901252341561334894592*c_0110_6^5 + 1910350890197936969610513713/901252341561334894592*c_0110_6^3 - 35197667403680020613156213/901252341561334894592*c_0110_6, c_0101_3 + 6226799863133911507189/112656542695166861824*c_0110_6^27 - 32268753963640981517625/28164135673791715456*c_0110_6^25 + 2673610249308060780743767/112656542695166861824*c_0110_6^23 - 13762514501278044714228821/56328271347583430912*c_0110_6^21 + 97180402673873101988664123/56328271347583430912*c_0110_6^19 - 398639439345204624681907617/56328271347583430912*c_0110_6^17 + 1254250039980415457353345061/56328271347583430912*c_0110_6^15 - 676867404704955903431754481/14082067836895857728*c_0110_6^13 + 4493060580602424911673113227/112656542695166861824*c_0110_6^11 - 98148460343137285396824279/7041033918447928864*c_0110_6^9 + 132692708651127732170614791/56328271347583430912*c_0110_6^7 - 22266936280145537842328383/112656542695166861824*c_0110_6^5 + 856220058634217417134643/112656542695166861824*c_0110_6^3 - 11625380057661728142369/112656542695166861824*c_0110_6, c_0110_6^28 - 21*c_0110_6^26 + 435*c_0110_6^24 - 4537*c_0110_6^22 + 32416*c_0110_6^20 - 136544*c_0110_6^18 + 437868*c_0110_6^16 - 980066*c_0110_6^14 + 961207*c_0110_6^12 - 456191*c_0110_6^10 + 117682*c_0110_6^8 - 17277*c_0110_6^6 + 1422*c_0110_6^4 - 60*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB