Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 2513701187] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1088 geometric_solution 4.95353343 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 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 -1 1 0 0 0 -1 1 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.723802454309 0.434156593587 0 4 3 3 0132 0132 3012 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 -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.599456481638 1.229512781005 5 0 5 0 0132 0132 2310 1023 0 0 0 0 0 1 0 -1 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 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.813740778806 0.121304628724 1 1 4 0 3201 1230 1023 0132 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 1 0 -1 -1 0 0 1 -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.599456481638 1.229512781005 6 1 3 6 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528461084812 0.706986307774 2 2 5 5 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632706354544 0.083347450873 4 6 6 4 0132 3201 2310 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 0 0 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.406702756758 0.500405926333 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), '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_0101_2']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_5'], '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_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 330919524/25*c_0101_6^35 - 1103157339/25*c_0101_6^34 - 1158353319/5*c_0101_6^33 + 17870048377/25*c_0101_6^32 + 51099517048/25*c_0101_6^31 - 5180740974*c_0101_6^30 - 292903805912/25*c_0101_6^29 + 546015046408/25*c_0101_6^28 + 1180006023982/25*c_0101_6^27 - 292702415947/5*c_0101_6^26 - 3485021686478/25*c_0101_6^25 + 2542935129883/25*c_0101_6^24 + 7869652359263/25*c_0101_6^23 - 2633413679254/25*c_0101_6^22 - 14194058958362/25*c_0101_6^21 + 608253643814/25*c_0101_6^20 + 21025340496237/25*c_0101_6^19 + 3262711962117/25*c_0101_6^18 - 25448437192908/25*c_0101_6^17 - 6984168968313/25*c_0101_6^16 + 975035149792*c_0101_6^15 + 8265725286683/25*c_0101_6^14 - 17786141068152/25*c_0101_6^13 - 6628305665898/25*c_0101_6^12 + 9573400695078/25*c_0101_6^11 + 3739822655824/25*c_0101_6^10 - 3695520212054/25*c_0101_6^9 - 1482211084883/25*c_0101_6^8 + 989227544572/25*c_0101_6^7 + 403318015009/25*c_0101_6^6 - 173940464068/25*c_0101_6^5 - 71701187311/25*c_0101_6^4 + 18057045903/25*c_0101_6^3 + 7500774341/25*c_0101_6^2 - 838789168/25*c_0101_6 - 350308112/25, c_0011_0 - 1, c_0011_3 + 3*c_0101_6^35 - 6*c_0101_6^34 - 62*c_0101_6^33 + 84*c_0101_6^32 + 602*c_0101_6^31 - 446*c_0101_6^30 - 3489*c_0101_6^29 + 825*c_0101_6^28 + 13163*c_0101_6^27 + 2141*c_0101_6^26 - 34146*c_0101_6^25 - 17043*c_0101_6^24 + 64170*c_0101_6^23 + 53136*c_0101_6^22 - 91906*c_0101_6^21 - 110418*c_0101_6^20 + 103086*c_0101_6^19 + 171550*c_0101_6^18 - 88135*c_0101_6^17 - 203420*c_0101_6^16 + 51626*c_0101_6^15 + 181726*c_0101_6^14 - 14435*c_0101_6^13 - 120152*c_0101_6^12 - 5088*c_0101_6^11 + 57872*c_0101_6^10 + 7514*c_0101_6^9 - 19943*c_0101_6^8 - 3875*c_0101_6^7 + 4779*c_0101_6^6 + 1161*c_0101_6^5 - 756*c_0101_6^4 - 212*c_0101_6^3 + 71*c_0101_6^2 + 21*c_0101_6 - 3, c_0101_0 + 84*c_0101_6^35 - 177*c_0101_6^34 - 1715*c_0101_6^33 + 2532*c_0101_6^32 + 16542*c_0101_6^31 - 14210*c_0101_6^30 - 95752*c_0101_6^29 + 33121*c_0101_6^28 + 362600*c_0101_6^27 + 21284*c_0101_6^26 - 949348*c_0101_6^25 - 372625*c_0101_6^24 + 1813743*c_0101_6^23 + 1278255*c_0101_6^22 - 2668606*c_0101_6^21 - 2762850*c_0101_6^20 + 3125756*c_0101_6^19 + 4383724*c_0101_6^18 - 2879344*c_0101_6^17 - 5259805*c_0101_6^16 + 1967653*c_0101_6^15 + 4730030*c_0101_6^14 - 897732*c_0101_6^13 - 3139225*c_0101_6^12 + 203557*c_0101_6^11 + 1515528*c_0101_6^10 + 31688*c_0101_6^9 - 523074*c_0101_6^8 - 41157*c_0101_6^7 + 125494*c_0101_6^6 + 14296*c_0101_6^5 - 19872*c_0101_6^4 - 2507*c_0101_6^3 + 1868*c_0101_6^2 + 192*c_0101_6 - 79, c_0101_1 - 278205*c_0101_6^35 + 748647*c_0101_6^34 + 5258830*c_0101_6^33 - 11476678*c_0101_6^32 - 48435116*c_0101_6^31 + 75551635*c_0101_6^30 + 276472383*c_0101_6^29 - 271219679*c_0101_6^28 - 1062201244*c_0101_6^27 + 541329228*c_0101_6^26 + 2897992649*c_0101_6^25 - 400790381*c_0101_6^24 - 5935955612*c_0101_6^23 - 968699323*c_0101_6^22 + 9660446856*c_0101_6^21 + 3980338143*c_0101_6^20 - 12945157776*c_0101_6^19 - 7782645396*c_0101_6^18 + 14221302021*c_0101_6^17 + 10243779490*c_0101_6^16 - 12390399620*c_0101_6^15 - 9631364865*c_0101_6^14 + 8250718841*c_0101_6^13 + 6538391922*c_0101_6^12 - 4075884650*c_0101_6^11 - 3195304496*c_0101_6^10 + 1454721640*c_0101_6^9 + 1110383893*c_0101_6^8 - 362928020*c_0101_6^7 - 267350166*c_0101_6^6 + 59943518*c_0101_6^5 + 42382877*c_0101_6^4 - 5887961*c_0101_6^3 - 3979826*c_0101_6^2 + 260518*c_0101_6 + 167758, c_0101_2 + 18270*c_0101_6^35 + 1922646*c_0101_6^34 - 4430478*c_0101_6^33 - 38942183*c_0101_6^32 + 59662100*c_0101_6^31 + 371327074*c_0101_6^30 - 316483557*c_0101_6^29 - 2108632535*c_0101_6^28 + 649359207*c_0101_6^27 + 7753038806*c_0101_6^26 + 881869834*c_0101_6^25 - 19484943110*c_0101_6^24 - 8997634511*c_0101_6^23 + 35376798729*c_0101_6^22 + 28129546793*c_0101_6^21 - 49090454960*c_0101_6^20 - 57108019894*c_0101_6^19 + 53561872322*c_0101_6^18 + 85622882791*c_0101_6^17 - 44317908538*c_0101_6^16 - 96316465593*c_0101_6^15 + 24673756084*c_0101_6^14 + 79650881620*c_0101_6^13 - 6384187688*c_0101_6^12 - 47295026995*c_0101_6^11 - 2021445618*c_0101_6^10 + 19725741795*c_0101_6^9 + 2581115855*c_0101_6^8 - 5616058640*c_0101_6^7 - 1099108639*c_0101_6^6 + 1038049156*c_0101_6^5 + 254045960*c_0101_6^4 - 112295493*c_0101_6^3 - 31750321*c_0101_6^2 + 5400767*c_0101_6 + 1689761, c_0101_5 - 1170324*c_0101_6^35 + 2665542*c_0101_6^34 + 23062935*c_0101_6^33 - 38380799*c_0101_6^32 - 216456950*c_0101_6^31 + 223175436*c_0101_6^30 + 1225809178*c_0101_6^29 - 604925769*c_0101_6^28 - 4552909481*c_0101_6^27 + 320609130*c_0101_6^26 + 11716514416*c_0101_6^25 + 3171002412*c_0101_6^24 - 22125360578*c_0101_6^23 - 12722235390*c_0101_6^22 + 32547805628*c_0101_6^21 + 28382547132*c_0101_6^20 - 38675089037*c_0101_6^19 - 44841173928*c_0101_6^18 + 36651844251*c_0101_6^17 + 52287497668*c_0101_6^16 - 26355782447*c_0101_6^15 - 44664638571*c_0101_6^14 + 13547434945*c_0101_6^13 + 27535691066*c_0101_6^12 - 4641628753*c_0101_6^11 - 12075026564*c_0101_6^10 + 924786511*c_0101_6^9 + 3695708566*c_0101_6^8 - 53083534*c_0101_6^7 - 764228018*c_0101_6^6 - 19253400*c_0101_6^5 + 100479572*c_0101_6^4 + 4487651*c_0101_6^3 - 7422924*c_0101_6^2 - 305961*c_0101_6 + 224840, c_0101_6^36 - 2*c_0101_6^35 - 62/3*c_0101_6^34 + 28*c_0101_6^33 + 602/3*c_0101_6^32 - 446/3*c_0101_6^31 - 1163*c_0101_6^30 + 275*c_0101_6^29 + 13163/3*c_0101_6^28 + 2141/3*c_0101_6^27 - 11382*c_0101_6^26 - 5681*c_0101_6^25 + 21390*c_0101_6^24 + 17712*c_0101_6^23 - 91906/3*c_0101_6^22 - 36806*c_0101_6^21 + 34362*c_0101_6^20 + 171550/3*c_0101_6^19 - 88135/3*c_0101_6^18 - 203420/3*c_0101_6^17 + 51626/3*c_0101_6^16 + 181726/3*c_0101_6^15 - 14435/3*c_0101_6^14 - 120152/3*c_0101_6^13 - 1696*c_0101_6^12 + 57872/3*c_0101_6^11 + 7514/3*c_0101_6^10 - 19943/3*c_0101_6^9 - 3875/3*c_0101_6^8 + 1593*c_0101_6^7 + 387*c_0101_6^6 - 252*c_0101_6^5 - 212/3*c_0101_6^4 + 71/3*c_0101_6^3 + 22/3*c_0101_6^2 - c_0101_6 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB