Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 2934911560] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0755 geometric_solution 4.69868267 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.740647054779 0.141955372721 0 0 2 2 2310 0132 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 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.633757324415 0.650148157178 3 1 1 4 0132 3201 0132 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 -1 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 0 0 0.908818822637 0.332142902054 2 4 5 4 0132 0321 0132 2031 0 0 0 0 0 1 0 -1 0 0 1 -1 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 -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.679553508078 0.636913224266 5 3 2 3 1023 1302 0132 0321 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 -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 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.679553508078 0.636913224266 6 4 6 3 0132 1023 1023 0132 0 0 0 0 0 0 0 0 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 0 0 0 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.642778425666 0.756822102587 5 6 5 6 0132 1302 1023 2031 0 0 0 0 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 0 0 0 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 0 0 0 0.524112251497 0.144792679390 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 17267410765684323826924098/283938101080315322432077*c_0101_5^19 + 13890193180057744776591951/283938101080315322432077*c_0101_5^18 + 41705867133289629958121046/283938101080315322432077*c_0101_5^17 + 239810446517954252904675896/283938101080315322432077*c_0101_5^16 - 645183218153559156156462711/283938101080315322432077*c_0101_5^15 - 603863267563983333993387544/283938101080315322432077*c_0101_5^14 + 883512881837622917408793508/283938101080315322432077*c_0101_5^13 - 4086645851406176808976020176/283938101080315322432077*c_0101_5^12 - 313078430151960074999687131/283938101080315322432077*c_0101_5^11 + 6673709048741166383384620464/283938101080315322432077*c_0101_5^10 - 6207523085597926930600291772/283938101080315322432077*c_0101_5^9 - 67941707942407000706576043/283938101080315322432077*c_0101_5^8 + 11245702300184161135718098294/283938101080315322432077*c_0101_5^7 - 5244612158197496480189012399/283938101080315322432077*c_0101_5^6 - 6559349930299480217801591786/283938101080315322432077*c_0101_5^5 + 286543282830926847009647567/21841392390793486340929*c_0101_5^4 + 1841816264336355598584790023/283938101080315322432077*c_0101_5^3 - 567481966906168292446120395/283938101080315322432077*c_0101_5^2 - 276584897433099790852380482/283938101080315322432077*c_0101_5 - 60309138966382774917977225/283938101080315322432077, c_0011_0 - 1, c_0011_2 - 1874117181338409177185/1985581126435771485539*c_0101_5^19 - 1195857284173342791644/1985581126435771485539*c_0101_5^18 - 4639299509546808962504/1985581126435771485539*c_0101_5^17 - 25362012725111567966037/1985581126435771485539*c_0101_5^16 + 73394605025566506449511/1985581126435771485539*c_0101_5^15 + 49325072159495842734820/1985581126435771485539*c_0101_5^14 - 91005987362840160970269/1985581126435771485539*c_0101_5^13 + 461569295879929986326121/1985581126435771485539*c_0101_5^12 - 54350962653049342444888/1985581126435771485539*c_0101_5^11 - 633929094959442671278712/1985581126435771485539*c_0101_5^10 + 742566990859705086641415/1985581126435771485539*c_0101_5^9 - 183152655943836059547909/1985581126435771485539*c_0101_5^8 - 1057543155808549080809253/1985581126435771485539*c_0101_5^7 + 654873198338659310544323/1985581126435771485539*c_0101_5^6 + 492991301840727063006910/1985581126435771485539*c_0101_5^5 - 370841802902009549540309/1985581126435771485539*c_0101_5^4 - 124743777566746192351354/1985581126435771485539*c_0101_5^3 + 43604504956988974606037/1985581126435771485539*c_0101_5^2 + 25682352150670988608604/1985581126435771485539*c_0101_5 + 2985721168618537474467/1985581126435771485539, c_0011_4 - 1428542806585990114402/1985581126435771485539*c_0101_5^19 - 846020049157496222857/1985581126435771485539*c_0101_5^18 - 3484018020515146977230/1985581126435771485539*c_0101_5^17 - 19125938023193378655030/1985581126435771485539*c_0101_5^16 + 56822571971118879100090/1985581126435771485539*c_0101_5^15 + 35261764543710083928538/1985581126435771485539*c_0101_5^14 - 71177582743856460206396/1985581126435771485539*c_0101_5^13 + 352550867501706407443186/1985581126435771485539*c_0101_5^12 - 55440837703495980344256/1985581126435771485539*c_0101_5^11 - 482521229958077530880047/1985581126435771485539*c_0101_5^10 + 577953128623435073734784/1985581126435771485539*c_0101_5^9 - 144848286849897990642724/1985581126435771485539*c_0101_5^8 - 803209431812518523408388/1985581126435771485539*c_0101_5^7 + 518444986387332072848283/1985581126435771485539*c_0101_5^6 + 388408787985614893121445/1985581126435771485539*c_0101_5^5 - 309946233294382762101640/1985581126435771485539*c_0101_5^4 - 101635719327823848057716/1985581126435771485539*c_0101_5^3 + 49391846345195369319096/1985581126435771485539*c_0101_5^2 + 17432163039100777756257/1985581126435771485539*c_0101_5 + 1820140086040399361874/1985581126435771485539, c_0101_0 + 799891130248354518203/1985581126435771485539*c_0101_5^19 + 41114087040901612644/1985581126435771485539*c_0101_5^18 + 1758719372341190281576/1985581126435771485539*c_0101_5^17 + 9705697498700830908924/1985581126435771485539*c_0101_5^16 - 37535116736008764918492/1985581126435771485539*c_0101_5^15 - 1601483123315963426997/1985581126435771485539*c_0101_5^14 + 47917669651850915639216/1985581126435771485539*c_0101_5^13 - 221995467460731319511784/1985581126435771485539*c_0101_5^12 + 145377317767601414846097/1985581126435771485539*c_0101_5^11 + 235781187789624437548381/1985581126435771485539*c_0101_5^10 - 472898155783026355141149/1985581126435771485539*c_0101_5^9 + 302704043550677613292677/1985581126435771485539*c_0101_5^8 + 353576155622822156743279/1985581126435771485539*c_0101_5^7 - 535839402349036029753566/1985581126435771485539*c_0101_5^6 + 14661377167650332492601/1985581126435771485539*c_0101_5^5 + 221296707683932999553123/1985581126435771485539*c_0101_5^4 - 57217800434487820244680/1985581126435771485539*c_0101_5^3 - 13776892952815407662531/1985581126435771485539*c_0101_5^2 - 375837261848444048484/1985581126435771485539*c_0101_5 - 359073567136332279171/1985581126435771485539, c_0101_1 + 46895412140106892504/1985581126435771485539*c_0101_5^19 + 775791417971329796463/1985581126435771485539*c_0101_5^18 + 327068219576495277623/1985581126435771485539*c_0101_5^17 + 2422769930865401697064/1985581126435771485539*c_0101_5^16 + 7641915577722089395172/1985581126435771485539*c_0101_5^15 - 33727670530923428172202/1985581126435771485539*c_0101_5^14 - 5522314236019872601753/1985581126435771485539*c_0101_5^13 + 27046096863621881251908/1985581126435771485539*c_0101_5^12 - 196282408708388644034187/1985581126435771485539*c_0101_5^11 + 107194909567517874989309/1985581126435771485539*c_0101_5^10 + 196579171261894072847824/1985581126435771485539*c_0101_5^9 - 368930951330325389700496/1985581126435771485539*c_0101_5^8 + 228548002567961471007002/1985581126435771485539*c_0101_5^7 + 327113235329550707462144/1985581126435771485539*c_0101_5^6 - 393218140029757174809423/1985581126435771485539*c_0101_5^5 - 53608636143095878433369/1985581126435771485539*c_0101_5^4 + 177174631978431072389841/1985581126435771485539*c_0101_5^3 - 10519468052390995813087/1985581126435771485539*c_0101_5^2 - 17663970632438990837231/1985581126435771485539*c_0101_5 - 2206114123682167612814/1985581126435771485539, c_0101_3 + 2879664365450858711725/1985581126435771485539*c_0101_5^19 + 1843532571121367644497/1985581126435771485539*c_0101_5^18 + 6811689742971754365904/1985581126435771485539*c_0101_5^17 + 38969813907991531179925/1985581126435771485539*c_0101_5^16 - 113700460602996044292519/1985581126435771485539*c_0101_5^15 - 79874929696611712271511/1985581126435771485539*c_0101_5^14 + 153826174644561065972166/1985581126435771485539*c_0101_5^13 - 711811637072806257887199/1985581126435771485539*c_0101_5^12 + 76938718129366105113849/1985581126435771485539*c_0101_5^11 + 1058709634885468695362169/1985581126435771485539*c_0101_5^10 - 1203445903411296809632485/1985581126435771485539*c_0101_5^9 + 265177858318432506452177/1985581126435771485539*c_0101_5^8 + 1741925683690529516710609/1985581126435771485539*c_0101_5^7 - 1137214959872134434178962/1985581126435771485539*c_0101_5^6 - 785678782191041378387345/1985581126435771485539*c_0101_5^5 + 644344771093453179400566/1985581126435771485539*c_0101_5^4 + 168473725775934959078709/1985581126435771485539*c_0101_5^3 - 69977078418036097985615/1985581126435771485539*c_0101_5^2 - 37196540725826049650398/1985581126435771485539*c_0101_5 - 5701849551525332362498/1985581126435771485539, c_0101_5^20 + 2*c_0101_5^18 + 12*c_0101_5^17 - 48*c_0101_5^16 - 2*c_0101_5^15 + 69*c_0101_5^14 - 280*c_0101_5^13 + 185*c_0101_5^12 + 339*c_0101_5^11 - 639*c_0101_5^10 + 355*c_0101_5^9 + 533*c_0101_5^8 - 758*c_0101_5^7 - 28*c_0101_5^6 + 393*c_0101_5^5 - 80*c_0101_5^4 - 65*c_0101_5^3 + 5*c_0101_5^2 + 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB