Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 189437743] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s283 geometric_solution 4.45297642 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -1 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 1 0 -1 0 0 1 -1 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.331850742837 0.213142967837 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.534813243427 1.157068126084 1 4 3 3 0132 0132 0213 2310 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 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.228250606856 0.722787923600 2 2 4 1 3201 0213 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.228250606856 0.722787923600 3 2 5 5 2310 0132 2310 0132 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 0 0 0 0 0 0 0 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.673930593627 2.138948289310 5 4 4 5 3201 3201 0132 2310 0 0 0 0 0 -1 0 1 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.545474124957 0.265771194815 ==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' : 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' : negation(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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 222261507737012573713963705/227292393142954974946170528*c_0101_4^16 + 90487360512419319256494371/75764131047651658315390176*c_0101_4^15 + 4226031237950391855378187531/227292393142954974946170528*c_0101_4\ ^14 - 2164892382128435540924055085/227292393142954974946170528*c_01\ 01_4^13 - 23564289699157851754191406655/227292393142954974946170528\ *c_0101_4^12 + 413005179818207554557575395/113646196571477487473085\ 264*c_0101_4^11 + 29065855664451244080118575517/1136461965714774874\ 73085264*c_0101_4^10 - 8484534268356229297569241445/189410327619129\ 14578847544*c_0101_4^9 - 15363663490652371132410726337/324703418775\ 64996420881504*c_0101_4^8 + 1182285196475783896094496957/6313677587\ 304304859615848*c_0101_4^7 - 28120523117586768255605054987/75764131\ 047651658315390176*c_0101_4^6 + 11689285893491715118863128963/22729\ 2393142954974946170528*c_0101_4^5 - 36401897301749917508266150397/227292393142954974946170528*c_0101_4^\ 4 + 1305685303447879717023100771/18941032761912914578847544*c_0101_\ 4^3 + 835289210488963611596645249/16235170938782498210440752*c_0101\ _4^2 + 12386544478511659017142907/651267602128810816464672*c_0101_4 + 6013385646419654786527236947/227292393142954974946170528, c_0011_0 - 1, c_0011_1 + 37424437113904918557310/789209698413038107451981*c_0101_4^16 - 65584839426785770069123/789209698413038107451981*c_0101_4^15 - 682699108840709385096106/789209698413038107451981*c_0101_4^14 + 734491930608376402522836/789209698413038107451981*c_0101_4^13 + 3690175371408707202615240/789209698413038107451981*c_0101_4^12 - 2157839801048832416214477/789209698413038107451981*c_0101_4^11 - 9262860311131985066303198/789209698413038107451981*c_0101_4^10 + 22077978919026183243555609/789209698413038107451981*c_0101_4^9 + 7884105480549261952729070/789209698413038107451981*c_0101_4^8 - 14010668957637705324521309/789209698413038107451981*c_0101_4^7 + 19025270827614592678921237/789209698413038107451981*c_0101_4^6 - 1625837137274932551014176/112744242630434015350283*c_0101_4^5 + 9639447184155985665179426/789209698413038107451981*c_0101_4^4 - 6692403583937885689610960/789209698413038107451981*c_0101_4^3 + 445931663933189382129355/789209698413038107451981*c_0101_4^2 - 3893861178411103134437/2261345840725037557169*c_0101_4 - 337887717985813285931465/789209698413038107451981, c_0011_3 - 7898769602376840676225/112744242630434015350283*c_0101_4^16 + 66722262332314385621820/789209698413038107451981*c_0101_4^15 + 1051144303582061314768778/789209698413038107451981*c_0101_4^14 - 516198785817665605303036/789209698413038107451981*c_0101_4^13 - 5854202002786835090515581/789209698413038107451981*c_0101_4^12 - 323436547619427386926/789209698413038107451981*c_0101_4^11 + 14382481274440628596253779/789209698413038107451981*c_0101_4^10 - 24475195369013521029990873/789209698413038107451981*c_0101_4^9 - 26746034416803688537023850/789209698413038107451981*c_0101_4^8 + 7979146441329868850047082/789209698413038107451981*c_0101_4^7 - 19188960249296212356257582/789209698413038107451981*c_0101_4^6 + 6510808776922506609100788/789209698413038107451981*c_0101_4^5 - 10507919273204166993088762/789209698413038107451981*c_0101_4^4 + 3687332074447668101816468/789209698413038107451981*c_0101_4^3 + 3057566228996609739083306/789209698413038107451981*c_0101_4^2 + 7126186389585413836173/2261345840725037557169*c_0101_4 + 974456979018782854432938/789209698413038107451981, c_0011_5 + 49580829770858228345255/789209698413038107451981*c_0101_4^16 - 74021713836223958710627/789209698413038107451981*c_0101_4^15 - 922188521053529321361752/789209698413038107451981*c_0101_4^14 + 729115740994514813369291/789209698413038107451981*c_0101_4^13 + 5054382814820706427902494/789209698413038107451981*c_0101_4^12 - 211590803674146071773563/112744242630434015350283*c_0101_4^11 - 12542076769919394561230783/789209698413038107451981*c_0101_4^10 + 3673994283695234015988838/112744242630434015350283*c_0101_4^9 + 16799542379962992474495135/789209698413038107451981*c_0101_4^8 - 12896783935837440705108768/789209698413038107451981*c_0101_4^7 + 21201688635565047035051652/789209698413038107451981*c_0101_4^6 - 10468871241306386306528085/789209698413038107451981*c_0101_4^5 + 10784988708697694775461927/789209698413038107451981*c_0101_4^4 - 7042684941287176469048588/789209698413038107451981*c_0101_4^3 + 242966169176274108764232/789209698413038107451981*c_0101_4^2 - 6165978113609160064202/2261345840725037557169*c_0101_4 - 119022098182760185522185/789209698413038107451981, c_0101_1 - 48629621008094180255912/789209698413038107451981*c_0101_4^16 + 10535761761799230837577/112744242630434015350283*c_0101_4^15 + 129274186153229852527105/112744242630434015350283*c_0101_4^14 - 740390783118076448717299/789209698413038107451981*c_0101_4^13 - 711498945212873617045041/112744242630434015350283*c_0101_4^12 + 1615960673236177001984704/789209698413038107451981*c_0101_4^11 + 12500342051516343676826564/789209698413038107451981*c_0101_4^10 - 25665579649073837279260270/789209698413038107451981*c_0101_4^9 - 2367043411094737597694165/112744242630434015350283*c_0101_4^8 + 2048227264711322861092137/112744242630434015350283*c_0101_4^7 - 20195942680952146202478054/789209698413038107451981*c_0101_4^6 + 9482674782119578516724999/789209698413038107451981*c_0101_4^5 - 10758091571518240250986186/789209698413038107451981*c_0101_4^4 + 7302527698266025575827779/789209698413038107451981*c_0101_4^3 + 602059487955176302535170/789209698413038107451981*c_0101_4^2 + 5972407163611440302302/2261345840725037557169*c_0101_4 + 202436641547218507770913/789209698413038107451981, c_0101_4^17 - c_0101_4^16 - 19*c_0101_4^15 + 5*c_0101_4^14 + 103*c_0101_4^13 + 26*c_0101_4^12 - 234*c_0101_4^11 + 380*c_0101_4^10 + 511*c_0101_4^9 + 92*c_0101_4^8 + 393*c_0101_4^7 - 107*c_0101_4^6 + 277*c_0101_4^5 - 116*c_0101_4^4 + 2*c_0101_4^3 - 103*c_0101_4^2 - 27*c_0101_4 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB