Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 3616951003] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2842 geometric_solution 6.06456304 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 1 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309055296106 0.439334677719 3 2 4 0 0132 3012 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 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.439510421088 0.966414143604 1 5 0 4 1230 0132 0132 2310 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 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.439510421088 0.966414143604 1 4 5 6 0132 0213 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 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.094295089383 0.939194018761 2 5 3 1 3201 2031 0213 0132 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 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 1.854798968377 0.617536568145 4 2 6 3 1302 0132 2310 0132 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 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.094295089383 0.939194018761 6 5 3 6 3012 3201 0132 1230 0 0 0 0 0 -1 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 0 0 0 0 0 1 0 -1 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.619995201335 0.929710123674 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 5820878309912298660852033013382/165603110916037810001749387873*c_01\ 01_1^14 - 265647423196511262437327822446949/33120622183207562000349\ 8775746*c_0101_1^13 + 3537636400706430576667801726703149/3312062218\ 32075620003498775746*c_0101_1^12 + 7145508686010723013931129607060929/331206221832075620003498775746*c\ _0101_1^11 + 7324489651800860746185300533346067/1656031109160378100\ 01749387873*c_0101_1^10 + 34193869934515405506306359501787811/33120\ 6221832075620003498775746*c_0101_1^9 + 9299058555323870302396546606560063/165603110916037810001749387873*c\ _0101_1^8 - 9687968695850720226689123804592461/33120622183207562000\ 3498775746*c_0101_1^7 - 1245733794299895792954181116871522/16560311\ 0916037810001749387873*c_0101_1^6 + 7296753463892770303997230551620471/331206221832075620003498775746*c\ _0101_1^5 + 2307701588830215994102036601590878/16560311091603781000\ 1749387873*c_0101_1^4 - 7371559918537658979271305676732127/33120622\ 1832075620003498775746*c_0101_1^3 - 1534679722374693692294681022753559/331206221832075620003498775746*c\ _0101_1^2 + 951509581309963685495043803257867/165603110916037810001\ 749387873*c_0101_1 - 202545783266935612229302191648953/331206221832\ 075620003498775746, c_0011_0 - 1, c_0011_1 - 13144725333659605230110276851/165603110916037810001749387873\ *c_0101_1^14 + 295310216664919298220531116321/165603110916037810001\ 749387873*c_0101_1^13 - 3890865712555749439468810532949/16560311091\ 6037810001749387873*c_0101_1^12 - 9425426704091643790343025398007/1\ 65603110916037810001749387873*c_0101_1^11 - 20050377493761635877750308154787/165603110916037810001749387873*c_0\ 101_1^10 - 45927052308398467342850724001031/16560311091603781000174\ 9387873*c_0101_1^9 - 37920260866643107626506622569237/1656031109160\ 37810001749387873*c_0101_1^8 - 3975088426371013573223088537229/1656\ 03110916037810001749387873*c_0101_1^7 + 770652236116989726674950793081/165603110916037810001749387873*c_010\ 1_1^6 - 8244739257660922847930309569099/165603110916037810001749387\ 873*c_0101_1^5 - 8480033826487296615592384750271/165603110916037810\ 001749387873*c_0101_1^4 + 5152463679264066970074456261869/165603110\ 916037810001749387873*c_0101_1^3 + 3350413343346981739429588073266/165603110916037810001749387873*c_01\ 01_1^2 - 701546883657227712677189875016/165603110916037810001749387\ 873*c_0101_1 - 85009447215807663127761158293/1656031109160378100017\ 49387873, c_0011_2 - 13144725333659605230110276851/165603110916037810001749387873\ *c_0101_1^14 + 295310216664919298220531116321/165603110916037810001\ 749387873*c_0101_1^13 - 3890865712555749439468810532949/16560311091\ 6037810001749387873*c_0101_1^12 - 9425426704091643790343025398007/1\ 65603110916037810001749387873*c_0101_1^11 - 20050377493761635877750308154787/165603110916037810001749387873*c_0\ 101_1^10 - 45927052308398467342850724001031/16560311091603781000174\ 9387873*c_0101_1^9 - 37920260866643107626506622569237/1656031109160\ 37810001749387873*c_0101_1^8 - 3975088426371013573223088537229/1656\ 03110916037810001749387873*c_0101_1^7 + 770652236116989726674950793081/165603110916037810001749387873*c_010\ 1_1^6 - 8244739257660922847930309569099/165603110916037810001749387\ 873*c_0101_1^5 - 8480033826487296615592384750271/165603110916037810\ 001749387873*c_0101_1^4 + 5152463679264066970074456261869/165603110\ 916037810001749387873*c_0101_1^3 + 3350413343346981739429588073266/165603110916037810001749387873*c_01\ 01_1^2 - 701546883657227712677189875016/165603110916037810001749387\ 873*c_0101_1 - 85009447215807663127761158293/1656031109160378100017\ 49387873, c_0011_4 + 8182739485884155010312783560/165603110916037810001749387873*\ c_0101_1^14 - 185140857987973821664796942223/1656031109160378100017\ 49387873*c_0101_1^13 + 2451298880332848310704672120752/165603110916\ 037810001749387873*c_0101_1^12 + 5484813714114626505087581159053/16\ 5603110916037810001749387873*c_0101_1^11 + 11484341380793301408730300504338/165603110916037810001749387873*c_0\ 101_1^10 + 26608702258782979049769948390698/16560311091603781000174\ 9387873*c_0101_1^9 + 18881025599690936841900064069780/1656031109160\ 37810001749387873*c_0101_1^8 - 1440878114232830805564789186026/1656\ 03110916037810001749387873*c_0101_1^7 - 611913312708278783896068247433/165603110916037810001749387873*c_010\ 1_1^6 + 5171390645226546814366376447250/165603110916037810001749387\ 873*c_0101_1^5 + 4463382038314720644707471212606/165603110916037810\ 001749387873*c_0101_1^4 - 4104329100228939017521421434065/165603110\ 916037810001749387873*c_0101_1^3 - 1465600243132062378482166752752/165603110916037810001749387873*c_01\ 01_1^2 + 731896204385834984735741780349/165603110916037810001749387\ 873*c_0101_1 - 116197529421988650466395617379/165603110916037810001\ 749387873, c_0011_6 + 7405701213554216999873124148/165603110916037810001749387873*\ c_0101_1^14 - 167706463639167342049972733596/1656031109160378100017\ 49387873*c_0101_1^13 + 2221200881146275358312998890767/165603110916\ 037810001749387873*c_0101_1^12 + 4934333538197118948940679451580/16\ 5603110916037810001749387873*c_0101_1^11 + 10107529264773571849620546078081/165603110916037810001749387873*c_0\ 101_1^10 + 23396601444045497046065540307770/16560311091603781000174\ 9387873*c_0101_1^9 + 15548394665868050955892911282566/1656031109160\ 37810001749387873*c_0101_1^8 - 4063843908288639794423333384882/1656\ 03110916037810001749387873*c_0101_1^7 - 2772785084819510780317812005910/165603110916037810001749387873*c_01\ 01_1^6 + 3919199637908338402791662760124/16560311091603781000174938\ 7873*c_0101_1^5 + 3724819562370414232278463664819/16560311091603781\ 0001749387873*c_0101_1^4 - 4199288492540527083174753453705/16560311\ 0916037810001749387873*c_0101_1^3 - 1883905061011110998602173485446/165603110916037810001749387873*c_01\ 01_1^2 + 886403555180946940099268045727/165603110916037810001749387\ 873*c_0101_1 + 77226859835799105280760446154/1656031109160378100017\ 49387873, c_0101_0 - 15527244400645120125117052139/165603110916037810001749387873\ *c_0101_1^14 + 354437544413566410204216705168/165603110916037810001\ 749387873*c_0101_1^13 - 4721685571127273326483402841646/16560311091\ 6037810001749387873*c_0101_1^12 - 9481384441978940890731982897856/1\ 65603110916037810001749387873*c_0101_1^11 - 19594394853916659616843139799153/165603110916037810001749387873*c_0\ 101_1^10 - 45504531944068677287558587060787/16560311091603781000174\ 9387873*c_0101_1^9 - 24695470468594721551421858013582/1656031109160\ 37810001749387873*c_0101_1^8 + 12640734804673485722147454773607/165\ 603110916037810001749387873*c_0101_1^7 + 3997443512982411797125476773747/165603110916037810001749387873*c_01\ 01_1^6 - 8914205929438446498190718845811/16560311091603781000174938\ 7873*c_0101_1^5 - 5933950089976607909615568286810/16560311091603781\ 0001749387873*c_0101_1^4 + 9998838911227175578550576435093/16560311\ 0916037810001749387873*c_0101_1^3 + 2272751804283676398007961523518/165603110916037810001749387873*c_01\ 01_1^2 - 2259193884342834039148408376411/16560311091603781000174938\ 7873*c_0101_1 + 161708326480823657957959754323/16560311091603781000\ 1749387873, c_0101_1^15 - 23*c_0101_1^14 + 308*c_0101_1^13 + 559*c_0101_1^12 + 1142*c_0101_1^11 + 2698*c_0101_1^10 + 1042*c_0101_1^9 - 1174*c_0101_1^8 - 98*c_0101_1^7 + 672*c_0101_1^6 + 286*c_0101_1^5 - 715*c_0101_1^4 - 25*c_0101_1^3 + 196*c_0101_1^2 - 44*c_0101_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB