Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2328565326] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0431 geometric_solution 4.48495258 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0.689518656424 0.068012876125 2 0 2 0 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874168855098 0.073662396104 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -1 0 1 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 0 0 0 0.808722322263 0.195406102328 4 2 5 2 0132 0132 0132 1023 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 -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.974736008033 0.740388564564 3 6 5 5 0132 0132 3012 1230 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 0 -1 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 1.249704832618 1.130139222984 4 4 6 3 3012 1230 0132 0132 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 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.249704832618 1.130139222984 6 4 6 5 2031 0132 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.407734211208 0.614153528732 ==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' : 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' : 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_1']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1216234515930466866921/3104920732344744529*c_0101_5^25 + 29122382684657927383845/3104920732344744529*c_0101_5^23 - 171095974683949383472893/3104920732344744529*c_0101_5^21 + 467323745010247056325804/3104920732344744529*c_0101_5^19 - 1146716219635836664647345/3104920732344744529*c_0101_5^17 + 2199046672583550961853093/3104920732344744529*c_0101_5^15 - 2340714728426699344117763/3104920732344744529*c_0101_5^13 + 1799421886054451094188115/3104920732344744529*c_0101_5^11 - 1646782778421395967139591/3104920732344744529*c_0101_5^9 + 891247747054234860207443/3104920732344744529*c_0101_5^7 - 274940961063195925294493/3104920732344744529*c_0101_5^5 + 217394901595597928866900/3104920732344744529*c_0101_5^3 - 23364155109713380155085/3104920732344744529*c_0101_5, c_0011_0 - 1, c_0011_1 - 56744316315524225/3104920732344744529*c_0101_5^24 + 1256328503517224625/3104920732344744529*c_0101_5^22 - 5646539588905588531/3104920732344744529*c_0101_5^20 + 9980063304526397737/3104920732344744529*c_0101_5^18 - 26146292279337942008/3104920732344744529*c_0101_5^16 + 29968998901872950411/3104920732344744529*c_0101_5^14 + 9681685581841880433/3104920732344744529*c_0101_5^12 - 19011205580956779703/3104920732344744529*c_0101_5^10 + 22450897416204256708/3104920732344744529*c_0101_5^8 - 29828732975786584171/3104920732344744529*c_0101_5^6 + 10659799104072292483/3104920732344744529*c_0101_5^4 - 7222776836853792004/3104920732344744529*c_0101_5^2 + 1478947477836582137/3104920732344744529, c_0011_5 - 157825336498777259/3104920732344744529*c_0101_5^24 + 3822560624398292504/3104920732344744529*c_0101_5^22 - 23219710468498911656/3104920732344744529*c_0101_5^20 + 66236670337277928241/3104920732344744529*c_0101_5^18 - 163177820786946946100/3104920732344744529*c_0101_5^16 + 321535152769772559199/3104920732344744529*c_0101_5^14 - 367170188070490418127/3104920732344744529*c_0101_5^12 + 295319613019694218020/3104920732344744529*c_0101_5^10 - 255643245323371978778/3104920732344744529*c_0101_5^8 + 139224199721986251010/3104920732344744529*c_0101_5^6 - 45024137345665280263/3104920732344744529*c_0101_5^4 + 28903765206032791570/3104920732344744529*c_0101_5^2 - 2066075033676937416/3104920732344744529, c_0101_0 - 1619441742239238073/3104920732344744529*c_0101_5^25 + 38682439169979170942/3104920732344744529*c_0101_5^23 - 225575088148709152849/3104920732344744529*c_0101_5^21 + 609457385519131331537/3104920732344744529*c_0101_5^19 - 1493062811216655189211/3104920732344744529*c_0101_5^17 + 2845055455405557034565/3104920732344744529*c_0101_5^15 - 2963871030920009474172/3104920732344744529*c_0101_5^13 + 2243578669291754151351/3104920732344744529*c_0101_5^11 - 2089224091977688802330/3104920732344744529*c_0101_5^9 + 1103428149876025810099/3104920732344744529*c_0101_5^7 - 325451099575120332307/3104920732344744529*c_0101_5^5 + 285674215670838161337/3104920732344744529*c_0101_5^3 - 24622942731916026140/3104920732344744529*c_0101_5, c_0101_1 - 51640256000668652/3104920732344744529*c_0101_5^24 + 1221113984528838363/3104920732344744529*c_0101_5^22 - 6954714288037141395/3104920732344744529*c_0101_5^20 + 19016815293010145206/3104920732344744529*c_0101_5^18 - 49537765641642364407/3104920732344744529*c_0101_5^16 + 94335582547691895404/3104920732344744529*c_0101_5^14 - 111921431753348186685/3104920732344744529*c_0101_5^12 + 110812319283662893763/3104920732344744529*c_0101_5^10 - 98287260890829430638/3104920732344744529*c_0101_5^8 + 55120997750897703984/3104920732344744529*c_0101_5^6 - 23834867861535392064/3104920732344744529*c_0101_5^4 + 12668527713674168023/3104920732344744529*c_0101_5^2 + 964673377656969742/3104920732344744529, c_0101_4 - 569265667459948555/3104920732344744529*c_0101_5^25 + 13561192676117077001/3104920732344744529*c_0101_5^23 - 78467470659803885902/3104920732344744529*c_0101_5^21 + 210166021794227536768/3104920732344744529*c_0101_5^19 - 516266360047800058204/3104920732344744529*c_0101_5^17 + 978266896445804220798/3104920732344744529*c_0101_5^15 - 1007992086646918244629/3104920732344744529*c_0101_5^13 + 771116063022796793156/3104920732344744529*c_0101_5^11 - 721427633804609049526/3104920732344744529*c_0101_5^9 + 369557126797587111274/3104920732344744529*c_0101_5^7 - 112776632714881766342/3104920732344744529*c_0101_5^5 + 102554923166096916839/3104920732344744529*c_0101_5^3 - 6837080324451354435/3104920732344744529*c_0101_5, c_0101_5^26 - 24*c_0101_5^24 + 142*c_0101_5^22 - 392*c_0101_5^20 + 964*c_0101_5^18 - 1860*c_0101_5^16 + 2024*c_0101_5^14 - 1585*c_0101_5^12 + 1435*c_0101_5^10 - 807*c_0101_5^8 + 266*c_0101_5^6 - 191*c_0101_5^4 + 29*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB