Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 1343343697] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s421 geometric_solution 4.71727271 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 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 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.572480331887 0.119385346892 2 0 2 0 0132 2310 1023 0132 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 1 -1 -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.753534938302 0.229708301446 1 3 1 4 0132 0132 1023 0132 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 1 -1 0 1 0 -1 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.978467731981 0.928109280194 4 2 4 5 3120 0132 3012 0132 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 -1 1 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.668665826098 0.738388593525 5 3 2 3 3201 1230 0132 3120 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668665826098 0.738388593525 5 5 3 4 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.036662562539 0.966534440411 ==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' : negation(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' : negation(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' : d['1'], 's_1_0' : negation(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' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_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_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), '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_5']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 430460898682583197343954654/490805070864255482610457*c_0101_1^20 - 2337063266771591556043200874/490805070864255482610457*c_0101_1^19 + 1435318520683136485952214158/490805070864255482610457*c_0101_1^18 + 2678016854945969005511834617/70115010123465068944351*c_0101_1^17 - 6499654171453022736803223713/70115010123465068944351*c_0101_1^16 - 71637666251909233780294885280/490805070864255482610457*c_0101_1^15 + 51166944046851143511670877552/70115010123465068944351*c_0101_1^14 + 97624379188357857777190605142/490805070864255482610457*c_0101_1^13 - 219456122721369020625363120250/70115010123465068944351*c_0101_1^12 - 458544663916175874767249398948/490805070864255482610457*c_0101_1^11 + 3234625788969995737540758530701/490805070864255482610457*c_0101_1\ ^10 + 2080296992413606300307931800961/490805070864255482610457*c_01\ 01_1^9 - 2448782541362378573539776660861/490805070864255482610457*c\ _0101_1^8 - 2510643031965830368981896373466/49080507086425548261045\ 7*c_0101_1^7 + 296076445793403478571965234733/490805070864255482610\ 457*c_0101_1^6 + 10925375748963067754812336388/53934623171896206880\ 27*c_0101_1^5 + 223400504115430581721541793764/49080507086425548261\ 0457*c_0101_1^4 - 112049294107932138464859293113/490805070864255482\ 610457*c_0101_1^3 - 50099391601351710517062203464/49080507086425548\ 2610457*c_0101_1^2 - 249376028965096676933256414/701150101234650689\ 44351*c_0101_1 + 1080266661328480462908040708/490805070864255482610\ 457, c_0011_0 - 1, c_0011_1 + 139214020897172061565103/5393462317189620688027*c_0101_1^20 - 785038945227089422457841/5393462317189620688027*c_0101_1^19 + 641274945483308378065073/5393462317189620688027*c_0101_1^18 + 5852496365880970533027825/5393462317189620688027*c_0101_1^17 - 15848333682522072347845380/5393462317189620688027*c_0101_1^16 - 19372735883506086585124463/5393462317189620688027*c_0101_1^15 + 118271905062746667768262563/5393462317189620688027*c_0101_1^14 + 5845664945760561019257364/5393462317189620688027*c_0101_1^13 - 487192141375569035419729717/5393462317189620688027*c_0101_1^12 - 50837048541191323580939356/5393462317189620688027*c_0101_1^11 + 1016360012310503127147137402/5393462317189620688027*c_0101_1^10 + 474369932830752362320496730/5393462317189620688027*c_0101_1^9 - 810086505665569158115498869/5393462317189620688027*c_0101_1^8 - 638600350717366817989199733/5393462317189620688027*c_0101_1^7 + 158836403841161575405505176/5393462317189620688027*c_0101_1^6 + 20412619527390892562996155/414881716706893899079*c_0101_1^5 + 39692311891410538815404555/5393462317189620688027*c_0101_1^4 - 32263806398941177716846978/5393462317189620688027*c_0101_1^3 - 11182237377416421478053337/5393462317189620688027*c_0101_1^2 - 129146952384188933864301/5393462317189620688027*c_0101_1 + 215599472909422558153677/5393462317189620688027, c_0011_4 + 6950230353124144368536186/490805070864255482610457*c_0101_1^\ 20 - 5620768438368677616077024/70115010123465068944351*c_0101_1^19 + 33003981260801845080070169/490805070864255482610457*c_0101_1^18 + 290668898368560525557874090/490805070864255482610457*c_0101_1^17 - 796485275489251724867786426/490805070864255482610457*c_0101_1^16 - 945196683707754378877822303/490805070864255482610457*c_0101_1^15 + 844010111532251556608101462/70115010123465068944351*c_0101_1^14 + 156700748628332274575626740/490805070864255482610457*c_0101_1^13 - 24216100447769410945774629677/490805070864255482610457*c_0101_1^12 - 2077478005302954007491736099/490805070864255482610457*c_0101_1^11 + 50397361763732536432142438003/490805070864255482610457*c_0101_1^10 + 22801708377214713358633857749/490805070864255482610457*c_0101_1^9 - 40188554336393277131861410060/490805070864255482610457*c_0101_1^8 - 31105032020168235142096196760/490805070864255482610457*c_0101_1^7 + 1138608231384720423389609060/70115010123465068944351*c_0101_1^6 + 997806778098433665434429341/37754236220327344816189*c_0101_1^5 + 1905726192623511553605402431/490805070864255482610457*c_0101_1^4 - 1582706990154074251362713403/490805070864255482610457*c_0101_1^3 - 543691361882173997796436243/490805070864255482610457*c_0101_1^2 - 5054491062658304113842087/490805070864255482610457*c_0101_1 + 10910394525076545677682733/490805070864255482610457, c_0011_5 + 419632873900938698240729/490805070864255482610457*c_0101_1^2\ 0 - 374656070513652580923110/70115010123465068944351*c_0101_1^19 + 3520058612064806067964538/490805070864255482610457*c_0101_1^18 + 15590349216444968100003980/490805070864255482610457*c_0101_1^17 - 57469370211044903469530243/490805070864255482610457*c_0101_1^16 - 23748981950598298385079223/490805070864255482610457*c_0101_1^15 + 53327818876334783875366559/70115010123465068944351*c_0101_1^14 - 210843306048054779283725111/490805070864255482610457*c_0101_1^13 - 1352718351312275088478749975/490805070864255482610457*c_0101_1^12 + 688178145766216971136998186/490805070864255482610457*c_0101_1^11 + 2682550822091147769112230784/490805070864255482610457*c_0101_1^10 - 259518343303450741959987913/490805070864255482610457*c_0101_1^9 - 2348661111046862025875431146/490805070864255482610457*c_0101_1^8 - 428579755728203580484158352/490805070864255482610457*c_0101_1^7 + 112873084662597041919629587/70115010123465068944351*c_0101_1^6 + 21495151843405439454335452/37754236220327344816189*c_0101_1^5 - 67262697834142465704667651/490805070864255482610457*c_0101_1^4 - 39641749294358550692232132/490805070864255482610457*c_0101_1^3 - 4764021089366339824087327/490805070864255482610457*c_0101_1^2 - 929122172623718515675733/490805070864255482610457*c_0101_1 - 125901611432719291288825/490805070864255482610457, c_0101_0 - 14802898205732220876216453/490805070864255482610457*c_0101_1\ ^20 + 11819009287314800415799281/70115010123465068944351*c_0101_1^1\ 9 - 63616663800295845030786534/490805070864255482610457*c_0101_1^18 - 628142024886275322370005594/490805070864255482610457*c_0101_1^17 + 1657193562856794499903834569/490805070864255482610457*c_0101_1^16 + 2158878238951126467662236054/490805070864255482610457*c_0101_1^15 - 1789360726013259858617732697/70115010123465068944351*c_0101_1^14 - 1275316468952269905056173245/490805070864255482610457*c_0101_1^13 + 52116734367358351478180310682/490805070864255482610457*c_0101_1^12 + 7818837704806370302209712338/490805070864255482610457*c_0101_1^11 - 109054113695239555651685730902/490805070864255482610457*c_0101_1^10 - 55275713604556703070444911057/490805070864255482610457*c_0101_1^9 + 86103357871386709977199727472/490805070864255482610457*c_0101_1^8 + 72116701924313680848709292391/490805070864255482610457*c_0101_1^7 - 2237376148957151768601528056/70115010123465068944351*c_0101_1^6 - 2277530981161344831822989176/37754236220327344816189*c_0101_1^5 - 4907600816946274940871711577/490805070864255482610457*c_0101_1^4 + 3548125935823640744331314930/490805070864255482610457*c_0101_1^3 + 1297184602843625182337530794/490805070864255482610457*c_0101_1^2 + 20186669456279423289006656/490805070864255482610457*c_0101_1 - 25971576753585738039983935/490805070864255482610457, c_0101_1^21 - 5*c_0101_1^20 + c_0101_1^19 + 45*c_0101_1^18 - 87*c_0101_1^17 - 212*c_0101_1^16 + 761*c_0101_1^15 + 585*c_0101_1^14 - 3475*c_0101_1^13 - 2600*c_0101_1^12 + 7075*c_0101_1^11 + 8068*c_0101_1^10 - 3656*c_0101_1^9 - 8303*c_0101_1^8 - 1778*c_0101_1^7 + 2637*c_0101_1^6 + 1499*c_0101_1^5 - 51*c_0101_1^4 - 228*c_0101_1^3 - 52*c_0101_1^2 + c_0101_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB