Magma V2.19-8 Tue Aug 20 2013 16:14:39 on localhost [Seed = 3313785282] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s630 geometric_solution 5.11358605 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 0 -1 -1 0 1 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.628275502429 0.519686230748 0 2 3 0 0132 0132 0132 3201 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 0 -1 1 1 0 -1 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.733947540865 0.547529792772 4 1 5 3 0132 0132 0132 3201 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 0 0 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.262101559964 0.729866653422 5 2 4 1 1023 2310 1023 0132 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 0 0 0 0 0 0 0 -1 0 1 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.262101559964 0.729866653422 2 4 3 4 0132 2310 1023 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 -1 1 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.469151715265 0.969617899863 5 3 5 2 2310 1023 3201 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.435817167416 1.213607494475 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : 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_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_0']), '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' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 28774432331736517178648/165584904868608369245*c_0101_4^14 + 12388889927956176305377/33116980973721673849*c_0101_4^13 + 145015318568508283406256/165584904868608369245*c_0101_4^12 + 174042520713882737681589/165584904868608369245*c_0101_4^11 - 105431643038152688594232/165584904868608369245*c_0101_4^10 - 45434710928656412259819/165584904868608369245*c_0101_4^9 - 43892567844457374507103/7199343689939494315*c_0101_4^8 - 421262459921532597200561/165584904868608369245*c_0101_4^7 - 1113207544704704953540102/165584904868608369245*c_0101_4^6 - 49374540229345313487113/33116980973721673849*c_0101_4^5 + 1326710841508392769413847/165584904868608369245*c_0101_4^4 + 844578057771915374731046/165584904868608369245*c_0101_4^3 + 1805635450899290296196567/165584904868608369245*c_0101_4^2 + 593631155228090085286102/165584904868608369245*c_0101_4 - 14310786715941436790476/165584904868608369245, c_0011_0 - 1, c_0011_3 - 36336955856512831744/165584904868608369245*c_0101_4^14 - 73779395149726539917/165584904868608369245*c_0101_4^13 - 177789687803038834842/165584904868608369245*c_0101_4^12 - 204877201683297871879/165584904868608369245*c_0101_4^11 + 142420939782254145796/165584904868608369245*c_0101_4^10 + 3967606184487597501/33116980973721673849*c_0101_4^9 + 55996883870189491998/7199343689939494315*c_0101_4^8 + 354462544280475620973/165584904868608369245*c_0101_4^7 + 289642552344747564615/33116980973721673849*c_0101_4^6 + 147705825612843455811/165584904868608369245*c_0101_4^5 - 1644019389266221136429/165584904868608369245*c_0101_4^4 - 807175579780432948697/165584904868608369245*c_0101_4^3 - 2417235900616669616903/165584904868608369245*c_0101_4^2 - 428653572849682521443/165584904868608369245*c_0101_4 + 47418052198653082071/165584904868608369245, c_0101_0 - 26851125122854074/29616330686569195*c_0101_4^14 - 53332711482887298/29616330686569195*c_0101_4^13 - 127166515325467249/29616330686569195*c_0101_4^12 - 28438379899942775/5923266137313839*c_0101_4^11 + 120748018003283456/29616330686569195*c_0101_4^10 + 23456165088303824/29616330686569195*c_0101_4^9 + 8257641810294965/257533310317993*c_0101_4^8 + 242315808581143638/29616330686569195*c_0101_4^7 + 1023594450339126272/29616330686569195*c_0101_4^6 + 56524724414273314/29616330686569195*c_0101_4^5 - 1242809162469835093/29616330686569195*c_0101_4^4 - 613712299011892024/29616330686569195*c_0101_4^3 - 1632603616699340244/29616330686569195*c_0101_4^2 - 331756207732594339/29616330686569195*c_0101_4 + 12673285580710009/5923266137313839, c_0101_1 - 5849190353218450/5923266137313839*c_0101_4^14 - 61053742310634934/29616330686569195*c_0101_4^13 - 143387572157793403/29616330686569195*c_0101_4^12 - 167382328279362269/29616330686569195*c_0101_4^11 + 23882012189703616/5923266137313839*c_0101_4^10 + 42425999080015601/29616330686569195*c_0101_4^9 + 44817095672201508/1287666551589965*c_0101_4^8 + 74308652060873304/5923266137313839*c_0101_4^7 + 1110002765530053008/29616330686569195*c_0101_4^6 + 174775248070890247/29616330686569195*c_0101_4^5 - 1374985029404882781/29616330686569195*c_0101_4^4 - 802621337828173318/29616330686569195*c_0101_4^3 - 1807726592822224389/29616330686569195*c_0101_4^2 - 531496633833452384/29616330686569195*c_0101_4 + 62446574378019771/29616330686569195, c_0101_2 + 300787224661/295737538435*c_0101_4^14 + 640891330072/295737538435*c_0101_4^13 + 1494709479081/295737538435*c_0101_4^12 + 355925791574/59147507687*c_0101_4^11 - 1151764856519/295737538435*c_0101_4^10 - 423542521026/295737538435*c_0101_4^9 - 90491729277/2571630769*c_0101_4^8 - 4094986921887/295737538435*c_0101_4^7 - 11229510836323/295737538435*c_0101_4^6 - 2450393406761/295737538435*c_0101_4^5 + 14038326461697/295737538435*c_0101_4^4 + 8133130131321/295737538435*c_0101_4^3 + 18028345638331/295737538435*c_0101_4^2 + 5615678913911/295737538435*c_0101_4 - 128679304360/59147507687, c_0101_4^15 + 2*c_0101_4^14 + 33/7*c_0101_4^13 + 37/7*c_0101_4^12 - 32/7*c_0101_4^11 - c_0101_4^10 - 244/7*c_0101_4^9 - 65/7*c_0101_4^8 - 256/7*c_0101_4^7 - 19/7*c_0101_4^6 + 331/7*c_0101_4^5 + 156/7*c_0101_4^4 + 409/7*c_0101_4^3 + 78/7*c_0101_4^2 - 24/7*c_0101_4 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB