Magma V2.19-8 Tue Aug 20 2013 16:17:02 on localhost [Seed = 1663238064] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1287 geometric_solution 5.18322586 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 1.663331040037 0.311841715022 0 2 2 0 3201 0132 1023 0132 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 1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.089736839396 0.685952480746 3 1 1 4 0132 0132 1023 0132 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 1 0 -1 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.373178026696 0.245059872586 2 5 6 4 0132 0132 0132 0321 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 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 1.103491417771 0.881146370619 6 3 2 5 0132 0321 0132 1023 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.103491417771 0.881146370619 5 3 5 4 2031 0132 1302 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.567357865650 0.557635848746 4 6 6 3 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.246057396728 0.706205755796 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], '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_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), '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' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], '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' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_4']), '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_3, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 813206200290772290648646808225/33858279829061399572258580616*c_0110\ _5^17 - 524131782313291668766674124251/5643046638176899928709763436\ *c_0110_5^16 - 980012891415013672699300598827/483689711843734279603\ 6940088*c_0110_5^15 - 9666903617770367624897158706209/1128609327635\ 3799857419526872*c_0110_5^14 - 49897875510037907634187553183761/169\ 29139914530699786129290308*c_0110_5^13 - 5798670742413387935497160231539/2821523319088449964354881718*c_0110\ _5^12 - 1238471617470573760329124094411/604612139804667849504617511\ *c_0110_5^11 - 621647222847878326203357189999/403074759869778566336\ 411674*c_0110_5^10 - 52952881853912687145076195402413/1128609327635\ 3799857419526872*c_0110_5^9 - 222640729110411123740970169851089/338\ 58279829061399572258580616*c_0110_5^8 + 776079340150154325532230321457/604612139804667849504617511*c_0110_5\ ^7 + 49253720330466970805680081870663/16929139914530699786129290308\ *c_0110_5^6 + 5190036547432121847860945360955/564304663817689992870\ 9763436*c_0110_5^5 + 6778889271124270666812214929205/11286093276353\ 799857419526872*c_0110_5^4 + 107048955343109166511046671881505/3385\ 8279829061399572258580616*c_0110_5^3 + 70970493309599516558118860308721/33858279829061399572258580616*c_01\ 10_5^2 - 13088261902811670348862483545655/1128609327635379985741952\ 6872*c_0110_5 - 13427370289166527373238663097121/169291399145306997\ 86129290308, c_0011_0 - 1, c_0011_1 - 41352037461834351980893/4827242633171000794448044*c_0110_5^1\ 7 - 72980222582607987585745/2413621316585500397224022*c_0110_5^16 - 381261531632195079290473/4827242633171000794448044*c_0110_5^15 - 1669425033107454636453387/4827242633171000794448044*c_0110_5^14 - 2630428327406886470969679/2413621316585500397224022*c_0110_5^13 - 1212827978907772418973323/1206810658292750198612011*c_0110_5^12 - 3107887722556709660939567/1206810658292750198612011*c_0110_5^11 - 1871065075815778750823849/1206810658292750198612011*c_0110_5^10 - 16843559958951517077973131/4827242633171000794448044*c_0110_5^9 - 13850380425017818458791069/4827242633171000794448044*c_0110_5^8 - 3485583114287684560424647/1206810658292750198612011*c_0110_5^7 - 8355178934351292720919075/2413621316585500397224022*c_0110_5^6 - 531389166761209434439415/2413621316585500397224022*c_0110_5^5 + 1070986699698351237329875/4827242633171000794448044*c_0110_5^4 + 6799429009545595451274469/4827242633171000794448044*c_0110_5^3 + 780687778314353034214753/4827242633171000794448044*c_0110_5^2 + 6653895740144188152395543/4827242633171000794448044*c_0110_5 + 283084489841944707488101/2413621316585500397224022, c_0011_4 - 49055866245277726477898/1206810658292750198612011*c_0110_5^1\ 7 - 179959707849778855958024/1206810658292750198612011*c_0110_5^16 - 379190957343158479199225/1206810658292750198612011*c_0110_5^15 - 1674307084472553127350419/1206810658292750198612011*c_0110_5^14 - 5686515645660093724635910/1206810658292750198612011*c_0110_5^13 - 3088229276796553791760531/1206810658292750198612011*c_0110_5^12 - 3587547759654038041797915/1206810658292750198612011*c_0110_5^11 - 2184889185544846262906493/1206810658292750198612011*c_0110_5^10 - 9369514992458025438244190/1206810658292750198612011*c_0110_5^9 - 11106647437956849481350692/1206810658292750198612011*c_0110_5^8 + 4591014423698721597454127/1206810658292750198612011*c_0110_5^7 + 5919913381379043803978247/1206810658292750198612011*c_0110_5^6 + 1129564851341281415097418/1206810658292750198612011*c_0110_5^5 + 350182431335213843197963/1206810658292750198612011*c_0110_5^4 + 6826943249132305290817665/1206810658292750198612011*c_0110_5^3 + 3040456716149571279619197/1206810658292750198612011*c_0110_5^2 - 2629362264286833592046306/1206810658292750198612011*c_0110_5 - 1553289770439061573613363/1206810658292750198612011, c_0101_0 - 747475828034249121367857/4827242633171000794448044*c_0110_5^\ 17 - 1233931379121405773888047/2413621316585500397224022*c_0110_5^1\ 6 - 4981660907686494036288653/4827242633171000794448044*c_0110_5^15 - 24133959025213071464893707/4827242633171000794448044*c_0110_5^14 - 39389428262250954665148365/2413621316585500397224022*c_0110_5^13 - 5561425387157933046414680/1206810658292750198612011*c_0110_5^12 - 15244300682379598056135468/1206810658292750198612011*c_0110_5^11 - 5787168379485072017605177/1206810658292750198612011*c_0110_5^10 - 145338494848471471355080875/4827242633171000794448044*c_0110_5^9 - 136356490336450076907174701/4827242633171000794448044*c_0110_5^8 + 22858652941885566514375838/1206810658292750198612011*c_0110_5^7 + 2861949659366268308534755/2413621316585500397224022*c_0110_5^6 + 5080693642816959874564475/2413621316585500397224022*c_0110_5^5 + 3207939963948977526723631/4827242633171000794448044*c_0110_5^4 + 82845936066822550717235389/4827242633171000794448044*c_0110_5^3 + 7952101618349086315849469/4827242633171000794448044*c_0110_5^2 - 33476671419146662765639401/4827242633171000794448044*c_0110_5 + 277731629863628524089629/2413621316585500397224022, c_0101_3 + 113168132023934596397847/4827242633171000794448044*c_0110_5^\ 17 + 279397628802205490277185/2413621316585500397224022*c_0110_5^16 + 1358014270543752945707863/4827242633171000794448044*c_0110_5^15 + 4872814265947698658632593/4827242633171000794448044*c_0110_5^14 + 8939513259328638787447913/2413621316585500397224022*c_0110_5^13 + 5676766831640342514198685/1206810658292750198612011*c_0110_5^12 + 3575758941360326752587920/1206810658292750198612011*c_0110_5^11 + 4829453555620524454682044/1206810658292750198612011*c_0110_5^10 + 27439246493821257469276297/4827242633171000794448044*c_0110_5^9 + 59970150160300754024162967/4827242633171000794448044*c_0110_5^8 + 4539682696526493316385170/1206810658292750198612011*c_0110_5^7 - 10954844831771036162530945/2413621316585500397224022*c_0110_5^6 - 571956200997900204810869/2413621316585500397224022*c_0110_5^5 + 1409760834162941705744015/4827242633171000794448044*c_0110_5^4 - 10847796589045932811885855/4827242633171000794448044*c_0110_5^3 - 28084120200394284138379727/4827242633171000794448044*c_0110_5^2 + 3020063465208892587135783/4827242633171000794448044*c_0110_5 + 2669734714091053570241669/2413621316585500397224022, c_0101_6 + 26184557200097059179635/4827242633171000794448044*c_0110_5^1\ 7 + 69164537207169841843569/2413621316585500397224022*c_0110_5^16 + 305861523423421481968567/4827242633171000794448044*c_0110_5^15 + 1051067660505469557739529/4827242633171000794448044*c_0110_5^14 + 2068325038308968358175057/2413621316585500397224022*c_0110_5^13 + 1219111631441409265794097/1206810658292750198612011*c_0110_5^12 - 210904954937815496307230/1206810658292750198612011*c_0110_5^11 + 709472769517189265059999/1206810658292750198612011*c_0110_5^10 + 2523382821270227802809161/4827242633171000794448044*c_0110_5^9 + 12326837227008282275403847/4827242633171000794448044*c_0110_5^8 - 21448806751533129501764/1206810658292750198612011*c_0110_5^7 - 7334780250166556454482003/2413621316585500397224022*c_0110_5^6 + 1009466717837665473531437/2413621316585500397224022*c_0110_5^5 - 1562364788062820627576185/4827242633171000794448044*c_0110_5^4 - 339650811703354182597199/4827242633171000794448044*c_0110_5^3 - 3022571729282429707842675/4827242633171000794448044*c_0110_5^2 + 4849154622704068971805419/4827242633171000794448044*c_0110_5 + 826575810469654492049705/2413621316585500397224022, c_0110_5^18 + 4*c_0110_5^17 + 9*c_0110_5^16 + 37*c_0110_5^15 + 128*c_0110_5^14 + 104*c_0110_5^13 + 104*c_0110_5^12 + 84*c_0110_5^11 + 215*c_0110_5^10 + 311*c_0110_5^9 + 2*c_0110_5^8 - 102*c_0110_5^7 - 38*c_0110_5^6 - 19*c_0110_5^5 - 127*c_0110_5^4 - 99*c_0110_5^3 + 35*c_0110_5^2 + 36*c_0110_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB