Magma V2.19-8 Tue Aug 20 2013 16:17:58 on localhost [Seed = 3381155087] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2198 geometric_solution 5.65230075 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.333997775725 0.236935695077 2 0 3 0 0132 2310 0132 0132 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 1 -1 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.674281040588 1.175977435950 1 4 3 5 0132 0132 3012 0132 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 0 -1 1 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 1.540306452047 1.153117006291 5 2 6 1 3201 1230 0132 0132 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 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.540306452047 1.153117006291 5 2 6 6 0132 0132 3201 2031 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 -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.507272977544 0.582492281273 4 6 2 3 0132 3201 0132 2310 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 -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.505883768062 0.325650060368 4 4 5 3 2310 1302 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 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.507272977544 0.582492281273 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_6']), '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 73944719887335917019313126/1135831183319039837917893*c_0101_6^15 + 219884397783701338993641284/1135831183319039837917893*c_0101_6^14 + 3255532109553172258008244390/1135831183319039837917893*c_0101_6^13 - 5168418078970510623134539049/378610394439679945972631*c_0101_6^12 + 104522403532358257592197463845/2271662366638079675835786*c_0101_6^1\ 1 - 33056831455247094910267868513/378610394439679945972631*c_0101_6\ ^10 + 73472299212649131295557944951/2271662366638079675835786*c_010\ 1_6^9 + 28870136323209388421201128246/378610394439679945972631*c_01\ 01_6^8 - 186793985862722160967422048493/2271662366638079675835786*c\ _0101_6^7 + 20839971297565485630709996963/757220788879359891945262*\ c_0101_6^6 + 13356626470528313034259329389/113583118331903983791789\ 3*c_0101_6^5 - 15794627014410122660071368715/1135831183319039837917\ 893*c_0101_6^4 + 11846461765248444024441108526/11358311833190398379\ 17893*c_0101_6^3 + 15081538978637155058873817005/227166236663807967\ 5835786*c_0101_6^2 + 298102229927172677848576317/378610394439679945\ 972631*c_0101_6 - 504032511664919455378343533/227166236663807967583\ 5786, c_0011_0 - 1, c_0011_1 + 61664841286353476493379/378610394439679945972631*c_0101_6^15 - 198915103459344321910968/378610394439679945972631*c_0101_6^14 - 2664195393171601969283691/378610394439679945972631*c_0101_6^13 + 13601732463043135906607388/378610394439679945972631*c_0101_6^12 - 47038310588021464805183402/378610394439679945972631*c_0101_6^11 + 94611777813155401697884953/378610394439679945972631*c_0101_6^10 - 54645251293999562469864959/378610394439679945972631*c_0101_6^9 - 58421401370235804086057030/378610394439679945972631*c_0101_6^8 + 93312634832114195742253469/378610394439679945972631*c_0101_6^7 - 49325442495900129359396130/378610394439679945972631*c_0101_6^6 - 132160576385819930412128/378610394439679945972631*c_0101_6^5 + 13396567091836073628057881/378610394439679945972631*c_0101_6^4 - 13045148101289930963355257/378610394439679945972631*c_0101_6^3 - 3039379480642412346749527/378610394439679945972631*c_0101_6^2 + 647262105638392699409029/378610394439679945972631*c_0101_6 + 1517080148953533662495/378610394439679945972631, c_0011_3 - 316102736062927097937120/378610394439679945972631*c_0101_6^1\ 5 + 1026507131818005678449493/378610394439679945972631*c_0101_6^14 + 13655548348247812456806733/378610394439679945972631*c_0101_6^13 - 70078619811101552017922433/378610394439679945972631*c_0101_6^12 + 241726581720546731516961623/378610394439679945972631*c_0101_6^11 - 486023751550542134563574578/378610394439679945972631*c_0101_6^10 + 276345375617700575298203553/378610394439679945972631*c_0101_6^9 + 320428936402145941632887530/378610394439679945972631*c_0101_6^8 - 495720431196949593970188549/378610394439679945972631*c_0101_6^7 + 245418180144148604521690277/378610394439679945972631*c_0101_6^6 + 15149849391742297127791681/378610394439679945972631*c_0101_6^5 - 79886029214607017098184739/378610394439679945972631*c_0101_6^4 + 68701681038691938258476849/378610394439679945972631*c_0101_6^3 + 18685724201177420656954711/378610394439679945972631*c_0101_6^2 - 4936760622383195607131116/378610394439679945972631*c_0101_6 - 1361402317358741044255152/378610394439679945972631, c_0101_0 - 399476959563479054950127/378610394439679945972631*c_0101_6^1\ 5 + 1275687653667006087786815/378610394439679945972631*c_0101_6^14 + 17334001614643335295004470/378610394439679945972631*c_0101_6^13 - 87655315863879617403183528/378610394439679945972631*c_0101_6^12 + 300424028301690820239540543/378610394439679945972631*c_0101_6^11 - 596113763019744071428499430/378610394439679945972631*c_0101_6^10 + 310286798815822312749581415/378610394439679945972631*c_0101_6^9 + 436458423297433663115696450/378610394439679945972631*c_0101_6^8 - 615409683366769856405249331/378610394439679945972631*c_0101_6^7 + 273050124171797264714243533/378610394439679945972631*c_0101_6^6 + 48344627461106437978771241/378610394439679945972631*c_0101_6^5 - 109117222645619127127979439/378610394439679945972631*c_0101_6^4 + 83741064501095897166097379/378610394439679945972631*c_0101_6^3 + 28548500344488406585054065/378610394439679945972631*c_0101_6^2 - 6870901733574192098987263/378610394439679945972631*c_0101_6 - 1978310144586606273958224/378610394439679945972631, c_0101_1 + 104831747800379371321052/378610394439679945972631*c_0101_6^1\ 5 - 343085168285748896607624/378610394439679945972631*c_0101_6^14 - 4518250706319446915391605/378610394439679945972631*c_0101_6^13 + 23347813304889623428629156/378610394439679945972631*c_0101_6^12 - 80827802904398130505305956/378610394439679945972631*c_0101_6^11 + 163695768215281799322682192/378610394439679945972631*c_0101_6^10 - 97515122983807308900104766/378610394439679945972631*c_0101_6^9 - 99802431453040327648649389/378610394439679945972631*c_0101_6^8 + 162815217836436046576607155/378610394439679945972631*c_0101_6^7 - 85874444147479697726411298/378610394439679945972631*c_0101_6^6 + 1602777228381771816358806/378610394439679945972631*c_0101_6^5 + 22922137081894040131573143/378610394439679945972631*c_0101_6^4 - 22762147270374110662208237/378610394439679945972631*c_0101_6^3 - 5278264641349097270635383/378610394439679945972631*c_0101_6^2 + 988688464338976410433977/378610394439679945972631*c_0101_6 + 405762265552145931799328/378610394439679945972631, c_0101_3 + c_0101_6, c_0101_6^16 - 3*c_0101_6^15 - 44*c_0101_6^14 + 211*c_0101_6^13 - 710*c_0101_6^12 + 1349*c_0101_6^11 - 496*c_0101_6^10 - 1226*c_0101_6^9 + 1316*c_0101_6^8 - 392*c_0101_6^7 - 236*c_0101_6^6 + 240*c_0101_6^5 - 155*c_0101_6^4 - 111*c_0101_6^3 + c_0101_6^2 + 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB