Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 1410713777] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0602 geometric_solution 4.61311869 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 -1 0 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 0 1 -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 0 0 0 0.962031449390 0.535714928523 0 2 3 0 0132 0132 0132 1023 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 0 -1 1 -1 0 0 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.662833390238 0.247919105951 3 1 3 4 2103 0132 3201 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 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.603507392073 1.555799417482 2 4 2 1 2310 0132 2103 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 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.603507392073 1.555799417482 5 3 2 5 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.033806428991 0.225071542136 4 4 6 6 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.519766171568 5.972433128653 6 5 6 5 2031 2310 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.366526825604 0.257380299255 ==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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : d['c_1001_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 36792865074685093264678/47315571711737963610591*c_1001_1^17 + 768200194325332040568076/47315571711737963610591*c_1001_1^16 + 7604320278698491426875203/47315571711737963610591*c_1001_1^15 + 47091500334455820583029169/47315571711737963610591*c_1001_1^14 + 201975385654760954377882684/47315571711737963610591*c_1001_1^13 + 208445852428817809154687927/15771857237245987870197*c_1001_1^12 + 1405185823385217684690008170/47315571711737963610591*c_1001_1^11 + 2208938458373009990518330663/47315571711737963610591*c_1001_1^10 + 2088990538059951251557373330/47315571711737963610591*c_1001_1^9 + 23321642323125898480927645/5257285745748662623399*c_1001_1^8 - 2690078477906170014681600568/47315571711737963610591*c_1001_1^7 - 1389814592781664992409180193/15771857237245987870197*c_1001_1^6 - 295314794169061715962320352/5257285745748662623399*c_1001_1^5 + 195952392281211672024180934/47315571711737963610591*c_1001_1^4 + 1462331557657621387117425266/47315571711737963610591*c_1001_1^3 + 777630642419749412175807641/47315571711737963610591*c_1001_1^2 + 830802885738722362241354/47315571711737963610591*c_1001_1 - 25135364080499421962301212/15771857237245987870197, c_0011_0 - 1, c_0011_3 - 100950177385277954/65443391025916962117*c_1001_1^17 - 1470240370034409069/21814463675305654039*c_1001_1^16 - 20849897383174367202/21814463675305654039*c_1001_1^15 - 487367350271460796487/65443391025916962117*c_1001_1^14 - 824058894443271752202/21814463675305654039*c_1001_1^13 - 8747813463208913393534/65443391025916962117*c_1001_1^12 - 7346396823703284012934/21814463675305654039*c_1001_1^11 - 38639494232301496390366/65443391025916962117*c_1001_1^10 - 14006524302876631843150/21814463675305654039*c_1001_1^9 - 12594701841987119664085/65443391025916962117*c_1001_1^8 + 14192439662896356032765/21814463675305654039*c_1001_1^7 + 77982331100951833974005/65443391025916962117*c_1001_1^6 + 55351916944465063963123/65443391025916962117*c_1001_1^5 - 62952499559402366152/65443391025916962117*c_1001_1^4 - 27813016696191611440586/65443391025916962117*c_1001_1^3 - 5142435652846015081117/21814463675305654039*c_1001_1^2 - 41850886399572957768/21814463675305654039*c_1001_1 + 457574351176912300601/21814463675305654039, c_0011_6 + 5170170504285011574/21814463675305654039*c_1001_1^17 + 311863270509827320469/65443391025916962117*c_1001_1^16 + 993201555743321678367/21814463675305654039*c_1001_1^15 + 5943218537113563843726/21814463675305654039*c_1001_1^14 + 73869292158370451834444/65443391025916962117*c_1001_1^13 + 73491303556792129049401/21814463675305654039*c_1001_1^12 + 475301916127151495414177/65443391025916962117*c_1001_1^11 + 236163401016458401432055/21814463675305654039*c_1001_1^10 + 608111643065790555847006/65443391025916962117*c_1001_1^9 - 15066666115900051490780/21814463675305654039*c_1001_1^8 - 935163478930557061380932/65443391025916962117*c_1001_1^7 - 428007460763568127939568/21814463675305654039*c_1001_1^6 - 720275562794139254216933/65443391025916962117*c_1001_1^5 + 135179302417408345380209/65443391025916962117*c_1001_1^4 + 439244236732097175896635/65443391025916962117*c_1001_1^3 + 205801456958633078660828/65443391025916962117*c_1001_1^2 - 1506580833177278674452/21814463675305654039*c_1001_1 - 6395007006047787344452/21814463675305654039, c_0101_0 - 1945998605221494592/65443391025916962117*c_1001_1^17 - 44361553523836678390/65443391025916962117*c_1001_1^16 - 469576442541634681894/65443391025916962117*c_1001_1^15 - 3068602485086542462051/65443391025916962117*c_1001_1^14 - 13773563477642216332630/65443391025916962117*c_1001_1^13 - 44398943447493671943710/65443391025916962117*c_1001_1^12 - 103602540928854753911416/65443391025916962117*c_1001_1^11 - 56447996906977467588739/21814463675305654039*c_1001_1^10 - 169165128703899275711960/65443391025916962117*c_1001_1^9 - 30952416795572010287182/65443391025916962117*c_1001_1^8 + 198639208263049056150472/65443391025916962117*c_1001_1^7 + 328401861362447582029031/65443391025916962117*c_1001_1^6 + 73279475332293176128104/21814463675305654039*c_1001_1^5 - 8082510809773601087492/65443391025916962117*c_1001_1^4 - 115965495965185810698355/65443391025916962117*c_1001_1^3 - 21264787199165225444903/21814463675305654039*c_1001_1^2 - 677344378791487162606/65443391025916962117*c_1001_1 + 2046121650201607922882/21814463675305654039, c_0101_1 + 6068784861300748484/65443391025916962117*c_1001_1^17 + 127343531909930440210/65443391025916962117*c_1001_1^16 + 421355421693046161301/21814463675305654039*c_1001_1^15 + 7837249183335468625331/65443391025916962117*c_1001_1^14 + 33610686857981242602622/65443391025916962117*c_1001_1^13 + 103924003208897209666652/65443391025916962117*c_1001_1^12 + 232872655760635894121806/65443391025916962117*c_1001_1^11 + 364201310178711411183136/65443391025916962117*c_1001_1^10 + 340482171755686668992270/65443391025916962117*c_1001_1^9 + 26340153871792259348392/65443391025916962117*c_1001_1^8 - 450386331740247524730709/65443391025916962117*c_1001_1^7 - 685242379813713319351724/65443391025916962117*c_1001_1^6 - 428308371183401202525863/65443391025916962117*c_1001_1^5 + 38866908073411808599658/65443391025916962117*c_1001_1^4 + 238838422528764047146870/65443391025916962117*c_1001_1^3 + 124232924906564250518500/65443391025916962117*c_1001_1^2 + 10352690772777614287/21814463675305654039*c_1001_1 - 3930157103543528853331/21814463675305654039, c_0101_5 - 2349640744454508998/21814463675305654039*c_1001_1^17 - 137904696654369236191/65443391025916962117*c_1001_1^16 - 1283293415027839382594/65443391025916962117*c_1001_1^15 - 2493614180898709408973/21814463675305654039*c_1001_1^14 - 30164560628331710656330/65443391025916962117*c_1001_1^13 - 87407740542324022348613/65443391025916962117*c_1001_1^12 - 182024466170928223640926/65443391025916962117*c_1001_1^11 - 258972586105460120200187/65443391025916962117*c_1001_1^10 - 202222889593795265816132/65443391025916962117*c_1001_1^9 + 52000537194879033554171/65443391025916962117*c_1001_1^8 + 363231617093626411001350/65443391025916962117*c_1001_1^7 + 451019139950950401580601/65443391025916962117*c_1001_1^6 + 222048120818027876835787/65443391025916962117*c_1001_1^5 - 70593141392318966750717/65443391025916962117*c_1001_1^4 - 151048249998591426887227/65443391025916962117*c_1001_1^3 - 62513156381221980783761/65443391025916962117*c_1001_1^2 + 3118440424335988173829/65443391025916962117*c_1001_1 + 1931770643380110060846/21814463675305654039, c_1001_1^18 + 22*c_1001_1^17 + 230*c_1001_1^16 + 1510*c_1001_1^15 + 6910*c_1001_1^14 + 23070*c_1001_1^13 + 56938*c_1001_1^12 + 102016*c_1001_1^11 + 122483*c_1001_1^10 + 67368*c_1001_1^9 - 67798*c_1001_1^8 - 194142*c_1001_1^7 - 196338*c_1001_1^6 - 73292*c_1001_1^5 + 45770*c_1001_1^4 + 64409*c_1001_1^3 + 23018*c_1001_1^2 - 1917*c_1001_1 - 2169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB