Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 3137021543] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1463 geometric_solution 5.28442229 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 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 0 1 0 0 -1 1 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.759803027156 0.088306244371 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.635033051538 0.241054921559 3 1 4 1 0132 0132 0132 1023 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 0 1 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.951246834587 1.619524951557 2 5 5 6 0132 0132 1023 0132 0 0 0 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 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.209428823069 0.679179689178 6 5 5 2 1023 2310 3201 0132 0 0 0 0 0 0 0 0 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 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.209428823069 0.679179689178 4 3 3 4 2310 0132 1023 3201 0 0 0 0 0 -1 1 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 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.585408896090 1.344522940840 6 4 3 6 3201 1023 0132 2310 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.051286152933 0.974514920135 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(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' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 13676109663638073067399350955/2424771132910211204309680128*c_0101_5\ ^27 - 684575262056375127557166055423/7274313398730633612929040384*c\ _0101_5^25 + 3957991285449480548780411582165/7274313398730633612929\ 040384*c_0101_5^23 - 6814661242182887175590761566755/36371566993653\ 16806464520192*c_0101_5^21 + 36162938255127082801490775098011/72743\ 13398730633612929040384*c_0101_5^19 - 393620365608694368835657835835/33677376845975155615412224*c_0101_5^\ 17 + 56999146623509986822802785989931/2424771132910211204309680128*\ c_0101_5^15 - 4810404170433939411630522306539/134709507383900622461\ 648896*c_0101_5^13 + 39697114691752120142672557001969/9092891748413\ 29201616130048*c_0101_5^11 - 657695661579427879179780331999/1262901\ 6317240683355779584*c_0101_5^9 + 55708546901201501492235682099/8879\ 77709805985548453252*c_0101_5^7 - 240979687590655834850709770285/35\ 51910839223942193813008*c_0101_5^5 + 19834914748760784968704465301/394656759913771354868112*c_0101_5^3 - 3636808374330878125833846095/221994427451496387113313*c_0101_5, c_0011_0 - 1, c_0011_4 + 18494801430283690007507445/134709507383900622461648896*c_010\ 1_5^26 - 308373222178433325609915157/134709507383900622461648896*c_\ 0101_5^24 + 1780640883493126075274882803/13470950738390062246164889\ 6*c_0101_5^22 - 1531185383092657353712959149/3367737684597515561541\ 2224*c_0101_5^20 + 16240505106583350571677466511/134709507383900622\ 461648896*c_0101_5^18 - 19085897826358779007864425411/6735475369195\ 0311230824448*c_0101_5^16 + 76726850249945571802042910385/134709507\ 383900622461648896*c_0101_5^14 - 29102798807603201171287581791/3367\ 7376845975155615412224*c_0101_5^12 + 8888778516857325017805890119/8419344211493788903853056*c_0101_5^10 - 662916968732807959134750969/526209013218361806490816*c_0101_5^8 + 399228509274319771659459811/263104506609180903245408*c_0101_5^6 - 107865369183677843432651369/65776126652295225811352*c_0101_5^4 + 19931998362937680914539595/16444031663073806452838*c_0101_5^2 - 3229147656367544079928690/8222015831536903226419, c_0101_0 + 116938125205322438062751433/269419014767801244923297792*c_01\ 01_5^27 - 1945488582698117560416814025/269419014767801244923297792*\ c_0101_5^25 + 11191771249490061226144689967/26941901476780124492329\ 7792*c_0101_5^23 - 9596143593099931493853911277/6735475369195031123\ 0824448*c_0101_5^21 + 101631327343332117835333078331/26941901476780\ 1244923297792*c_0101_5^19 - 119358891803749760216281750719/13470950\ 7383900622461648896*c_0101_5^17 + 479106562330776496843274520293/26\ 9419014767801244923297792*c_0101_5^15 - 181179395105852404422449178987/67354753691950311230824448*c_0101_5^\ 13 + 6909258111966004784194666965/2104836052873447225963264*c_0101_\ 5^11 - 16499777130541261246467662369/4209672105746894451926528*c_01\ 01_5^9 + 4966540406726899995560900713/1052418026436723612981632*c_0\ 101_5^7 - 669947471507012484335166511/131552253304590451622704*c_01\ 01_5^5 + 245971063735295599030437325/65776126652295225811352*c_0101\ _5^3 - 19719111494731920989586229/16444031663073806452838*c_0101_5, c_0101_1 - 3928667081022675080160519/67354753691950311230824448*c_0101_\ 5^27 + 15783723366527656367319247/16838688422987577807706112*c_0101\ _5^25 - 170625274374210526151055071/33677376845975155615412224*c_01\ 01_5^23 + 1112143477613335845947523127/67354753691950311230824448*c\ _0101_5^21 - 2865172115483821529087470225/6735475369195031123082444\ 8*c_0101_5^19 + 6645884412699187831833560193/6735475369195031123082\ 4448*c_0101_5^17 - 12952603200270768853532573417/673547536919503112\ 30824448*c_0101_5^15 + 18430630803389944350804106469/67354753691950\ 311230824448*c_0101_5^13 - 5484712592900481883150242777/16838688422\ 987577807706112*c_0101_5^11 + 829129296434790406112437147/210483605\ 2873447225963264*c_0101_5^9 - 247635825024555712505773163/526209013\ 218361806490816*c_0101_5^7 + 32343374178188487694884233/65776126652\ 295225811352*c_0101_5^5 - 20489644859849297271717775/65776126652295\ 225811352*c_0101_5^3 + 584343428526968705292960/8222015831536903226\ 419*c_0101_5, c_0101_2 - 33906050391859212839251245/134709507383900622461648896*c_010\ 1_5^27 + 565246435051979590891685795/134709507383900622461648896*c_\ 0101_5^25 - 3263074464768737560814490721/13470950738390062246164889\ 6*c_0101_5^23 + 5610878101932182323681888607/6735475369195031123082\ 4448*c_0101_5^21 - 29753655075459570789968761983/134709507383900622\ 461648896*c_0101_5^19 + 8741425963566244918947933791/16838688422987\ 577807706112*c_0101_5^17 - 140553413051288268501232512621/134709507\ 383900622461648896*c_0101_5^15 + 106608007940321743335908464365/673\ 54753691950311230824448*c_0101_5^13 - 32561004838391420579030682449/16838688422987577807706112*c_0101_5^1\ 1 + 9714341131476096426663292971/4209672105746894451926528*c_0101_5\ ^9 - 1462535063807758394748921877/526209013218361806490816*c_0101_5\ ^7 + 395141814192096072002997929/131552253304590451622704*c_0101_5^\ 5 - 72966899572904625043355271/32888063326147612905676*c_0101_5^3 + 5909404903834208628116344/8222015831536903226419*c_0101_5, c_0101_3 - 33618966244167008134806075/269419014767801244923297792*c_010\ 1_5^27 + 558804191693227982426395887/269419014767801244923297792*c_\ 0101_5^25 - 3209538804386569081664568977/26941901476780124492329779\ 2*c_0101_5^23 + 1374253253341577789570800087/3367737684597515561541\ 2224*c_0101_5^21 - 29090271818816010661190090993/269419014767801244\ 923297792*c_0101_5^19 + 34154147702604474326902128363/1347095073839\ 00622461648896*c_0101_5^17 - 137001826476287292883977645431/2694190\ 14767801244923297792*c_0101_5^15 + 25869594303554430898728931353/33677376845975155615412224*c_0101_5^1\ 3 - 7887790105179754241626212167/8419344211493788903853056*c_0101_5\ ^11 + 4710145660205868199079826009/4209672105746894451926528*c_0101\ _5^9 - 11072878120470973322370039/8222015831536903226419*c_0101_5^7 + 47779076149595260747112945/32888063326147612905676*c_0101_5^5 - 34978953643835056903304845/32888063326147612905676*c_0101_5^3 + 2786783006009511108556433/8222015831536903226419*c_0101_5, c_0101_5^28 - 373/21*c_0101_5^26 + 801/7*c_0101_5^24 - 436*c_0101_5^22 + 26015/21*c_0101_5^20 - 63430/21*c_0101_5^18 + 6397*c_0101_5^16 - 75700/7*c_0101_5^14 + 43648/3*c_0101_5^12 - 52672/3*c_0101_5^10 + 442112/21*c_0101_5^8 - 167936/7*c_0101_5^6 + 65536/3*c_0101_5^4 - 262144/21*c_0101_5^2 + 65536/21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB