Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 3566553119] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1642 geometric_solution 5.38489738 oriented_manifold CS_known 0.0000000000000001 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522873771585 0.095540996568 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626409814216 0.242627219523 1 3 1 4 0132 0132 1023 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 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.860825888114 1.851980738610 4 2 6 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 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.024788857901 0.999488162484 5 6 2 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.024788857901 0.999488162484 4 5 3 5 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.487394001657 0.512500443509 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 1 -1 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 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.025620490579 1.024571350955 ==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' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], '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_4']), '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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 1628118725037976530843112809/4458118502810832329611366*c_0101_6^19 - 3044531352353121051796178346/2229059251405416164805683*c_0101_6^18 - 3299461371877522439466534615/2229059251405416164805683*c_0101_6^17 + 36581725761767343731293647918/2229059251405416164805683*c_0101_6^16 + 37547510033140867456687957062/2229059251405416164805683*c_0101_6^\ 15 - 182281152740800214273183486779/4458118502810832329611366*c_010\ 1_6^14 - 116936278074716126423886602947/4458118502810832329611366*c\ _0101_6^13 + 210244243901933567709651320329/44581185028108323296113\ 66*c_0101_6^12 - 102739003337581503892841655131/2229059251405416164\ 805683*c_0101_6^11 + 335059513668924830959848209423/445811850281083\ 2329611366*c_0101_6^10 - 131080509106731701356597734524/22290592514\ 05416164805683*c_0101_6^9 + 16706866061443664673683477934/222905925\ 1405416164805683*c_0101_6^8 + 105683713624662977648462826525/445811\ 8502810832329611366*c_0101_6^7 - 151467442885763617140777981481/222\ 9059251405416164805683*c_0101_6^6 + 262944996562657563423528728621/4458118502810832329611366*c_0101_6^5 - 157270626493259794684959583119/4458118502810832329611366*c_0101_6\ ^4 + 83878369500152979514329968466/2229059251405416164805683*c_0101\ _6^3 - 25188245419767216852380397881/4458118502810832329611366*c_01\ 01_6^2 - 15114942001391219678581496531/4458118502810832329611366*c_\ 0101_6 + 3737666392833356104950633491/2229059251405416164805683, c_0011_0 - 1, c_0011_1 - 108719583769868926918159/2229059251405416164805683*c_0101_6^\ 19 - 815515110485701080368325/4458118502810832329611366*c_0101_6^18 - 480469422889820611044768/2229059251405416164805683*c_0101_6^17 + 4723057556779985459365653/2229059251405416164805683*c_0101_6^16 + 4831200310817049164873378/2229059251405416164805683*c_0101_6^15 - 10625419703789624908890436/2229059251405416164805683*c_0101_6^14 - 10435754150694110138443143/4458118502810832329611366*c_0101_6^13 + 21840886543376075851586845/4458118502810832329611366*c_0101_6^12 - 37367890229656230095487775/4458118502810832329611366*c_0101_6^11 + 26513312131389532999696196/2229059251405416164805683*c_0101_6^10 - 37036416984400442673259373/4458118502810832329611366*c_0101_6^9 + 3341556123746530026200583/2229059251405416164805683*c_0101_6^8 + 6593058912627753918831978/2229059251405416164805683*c_0101_6^7 - 46151380909262556617870641/4458118502810832329611366*c_0101_6^6 + 20423979136524371368391337/2229059251405416164805683*c_0101_6^5 - 28062006062190465454208515/4458118502810832329611366*c_0101_6^4 + 18285672683827311151686449/4458118502810832329611366*c_0101_6^3 - 456018678682417313277490/2229059251405416164805683*c_0101_6^2 - 937680656304871454740137/4458118502810832329611366*c_0101_6 + 2503711196247511663903679/4458118502810832329611366, c_0011_4 - 808082187193671103727577/2229059251405416164805683*c_0011_6*\ c_0101_6^19 - 6095129148099828059608981/4458118502810832329611366*c\ _0011_6*c_0101_6^18 - 3450299043706170210879251/2229059251405416164\ 805683*c_0011_6*c_0101_6^17 + 35925646868706117216718397/2229059251\ 405416164805683*c_0011_6*c_0101_6^16 + 38153341094597429830154165/2229059251405416164805683*c_0011_6*c_010\ 1_6^15 - 85613845942459441006184348/2229059251405416164805683*c_001\ 1_6*c_0101_6^14 - 115736999651084471347878139/445811850281083232961\ 1366*c_0011_6*c_0101_6^13 + 184785224349262751346260883/44581185028\ 10832329611366*c_0011_6*c_0101_6^12 - 205549642549622925748621191/4458118502810832329611366*c_0011_6*c_01\ 01_6^11 + 176556798596620869569863049/2229059251405416164805683*c_0\ 011_6*c_0101_6^10 - 274680874818817441581736163/4458118502810832329\ 611366*c_0011_6*c_0101_6^9 + 26422840451917900861071861/22290592514\ 05416164805683*c_0011_6*c_0101_6^8 + 39278099729026398558353516/2229059251405416164805683*c_0011_6*c_010\ 1_6^7 - 286829008010630215285356443/4458118502810832329611366*c_001\ 1_6*c_0101_6^6 + 131260152155023044574027308/2229059251405416164805\ 683*c_0011_6*c_0101_6^5 - 179396962864843857879284703/4458118502810\ 832329611366*c_0011_6*c_0101_6^4 + 190297408148605022352550863/4458118502810832329611366*c_0011_6*c_01\ 01_6^3 - 19240399666458346571518902/2229059251405416164805683*c_001\ 1_6*c_0101_6^2 + 596361373295870619775333/4458118502810832329611366\ *c_0011_6*c_0101_6 + 2239998221333430636717819/44581185028108323296\ 11366*c_0011_6, c_0011_6^2 + 24609352495551169805837249/793545093500328154670823148*c_0\ 101_6^19 + 85345707624326200146519113/793545093500328154670823148*c\ _0101_6^18 + 38251477666356387259241197/396772546750164077335411574\ *c_0101_6^17 - 557719871860712378037576947/396772546750164077335411\ 574*c_0101_6^16 - 198964364621482680924184803/198386273375082038667\ 705787*c_0101_6^15 + 2986832002676271840289439645/79354509350032815\ 4670823148*c_0101_6^14 + 98710038684588174176398994/198386273375082\ 038667705787*c_0101_6^13 - 883871246977838478858193794/198386273375\ 082038667705787*c_0101_6^12 + 6017411288498622302238369785/79354509\ 3500328154670823148*c_0101_6^11 - 6508235929720519547193492431/7935\ 45093500328154670823148*c_0101_6^10 + 2666352140820922627791656911/793545093500328154670823148*c_0101_6^9 + 347232813821040405037810375/198386273375082038667705787*c_0101_6^\ 8 - 3765626443174540558779172483/793545093500328154670823148*c_0101\ _6^7 + 6317439800452658697635768653/793545093500328154670823148*c_0\ 101_6^6 - 44440596136337977144405283/8916237005621664659222732*c_01\ 01_6^5 + 186775775391986310574670348/198386273375082038667705787*c_\ 0101_6^4 - 819884118124340484474406057/793545093500328154670823148*\ c_0101_6^3 - 772395690952686631359234245/79354509350032815467082314\ 8*c_0101_6^2 + 42256065211129360421429819/3967725467501640773354115\ 74*c_0101_6 + 23412264847418285463912305/79354509350032815467082314\ 8, c_0101_0 + 3760753720012082936585625/8916237005621664659222732*c_0101_6\ ^19 + 14106018453240412934020999/8916237005621664659222732*c_0101_6\ ^18 + 7608524447639427378886033/4458118502810832329611366*c_0101_6^\ 17 - 84737160929014650530544209/4458118502810832329611366*c_0101_6^\ 16 - 43975227370716642758387959/2229059251405416164805683*c_0101_6^\ 15 + 427343384591311676741777709/8916237005621664659222732*c_0101_6\ ^14 + 140831250525857820567760663/4458118502810832329611366*c_0101_\ 6^13 - 252479355224412855046668161/4458118502810832329611366*c_0101\ _6^12 + 462226920623377012063669571/8916237005621664659222732*c_010\ 1_6^11 - 741643982120679489844290971/8916237005621664659222732*c_01\ 01_6^10 + 555599203595030079243313945/8916237005621664659222732*c_0\ 101_6^9 - 7916848259764282592661890/2229059251405416164805683*c_010\ 1_6^8 - 247646087237901830890494767/8916237005621664659222732*c_010\ 1_6^7 + 681458241511166441455043915/8916237005621664659222732*c_010\ 1_6^6 - 573717491266210053129488363/8916237005621664659222732*c_010\ 1_6^5 + 160387643802283034618965163/4458118502810832329611366*c_010\ 1_6^4 - 359803108666207533051736543/8916237005621664659222732*c_010\ 1_6^3 + 48966037073978084130978135/8916237005621664659222732*c_0101\ _6^2 + 9924959913191502038371554/2229059251405416164805683*c_0101_6 - 7406223788099814706677905/8916237005621664659222732, c_0101_1 + 776095535339809589335593/8916237005621664659222732*c_0101_6^\ 19 + 3002588959995908994596395/8916237005621664659222732*c_0101_6^1\ 8 + 1789913785037272664971333/4458118502810832329611366*c_0101_6^17 - 17119964056201044950061825/4458118502810832329611366*c_0101_6^16 - 10005231220135795087216980/2229059251405416164805683*c_0101_6^15 + 79623599773842850527330253/8916237005621664659222732*c_0101_6^14 + 31989062963629417714906939/4458118502810832329611366*c_0101_6^13 - 43355504616917140296757223/4458118502810832329611366*c_0101_6^12 + 89912972681037374712361783/8916237005621664659222732*c_0101_6^11 - 154852987355571349431843955/8916237005621664659222732*c_0101_6^10 + 108899710288786051396007377/8916237005621664659222732*c_0101_6^9 - 2721852995805209301903978/2229059251405416164805683*c_0101_6^8 - 37165588857365698748941451/8916237005621664659222732*c_0101_6^7 + 133645027177900199396902187/8916237005621664659222732*c_0101_6^6 - 116659153432341138750207559/8916237005621664659222732*c_0101_6^5 + 33753453256878878595326467/4458118502810832329611366*c_0101_6^4 - 72120092716776715725094007/8916237005621664659222732*c_0101_6^3 + 8697358072550858900584399/8916237005621664659222732*c_0101_6^2 + 756889832705467951271379/2229059251405416164805683*c_0101_6 + 887117592013639935253019/8916237005621664659222732, c_0101_6^20 + 4*c_0101_6^19 + 5*c_0101_6^18 - 44*c_0101_6^17 - 58*c_0101_6^16 + 101*c_0101_6^15 + 103*c_0101_6^14 - 112*c_0101_6^13 + 89*c_0101_6^12 - 172*c_0101_6^11 + 106*c_0101_6^10 + 25*c_0101_6^9 - 71*c_0101_6^8 + 168*c_0101_6^7 - 112*c_0101_6^6 + 51*c_0101_6^5 - 77*c_0101_6^4 - 12*c_0101_6^3 + 15*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB