Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 1781266101] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0846 geometric_solution 4.76389329 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 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 -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 1.295241086600 0.088371904087 2 0 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 1 0 -1 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 1.522094143478 0.342078530331 1 3 4 1 0132 0132 0132 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 0 0 0 0 -1 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.016279890819 0.755617193332 4 2 5 4 2310 0132 0132 2031 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 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.172769035706 0.630016474169 5 3 3 2 1023 1302 3201 0132 0 0 0 0 0 0 0 0 -1 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 -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.172769035706 0.630016474169 6 4 6 3 0132 1023 2310 0132 0 0 0 0 0 1 -1 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 1 -1 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 1.408227006176 0.517069079419 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 -1 1 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 1 -1 0 0 1 -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.509308977420 0.459470660087 ==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' : 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' : d['1'], 's_1_4' : d['1'], 's_1_3' : 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_0101_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_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: 24 Groebner basis: [ t - 111235523534089023768540391767/15395531853619098506152026487*c_0101\ _5^23 + 33369414731670322258262493910977/30791063707238197012304052\ 974*c_0101_5^21 - 591364068664188410971327514528661/307910637072381\ 97012304052974*c_0101_5^19 + 4098380946544463639920607354423827/307\ 91063707238197012304052974*c_0101_5^17 - 13053470198810631146269435455739957/30791063707238197012304052974*c\ _0101_5^15 + 18553906716365274251898463418057563/307910637072381970\ 12304052974*c_0101_5^13 - 10006688832192307528561942335830307/30791\ 063707238197012304052974*c_0101_5^11 + 2020954265456006421731146294846051/15395531853619098506152026487*c_\ 0101_5^9 - 5042949517279344952930353977570505/307910637072381970123\ 04052974*c_0101_5^7 - 21713730111564639815120013009959/307910637072\ 38197012304052974*c_0101_5^5 - 34604543535449769382533490665702/153\ 95531853619098506152026487*c_0101_5^3 + 1300474347841963518627620296309/30791063707238197012304052974*c_010\ 1_5, c_0011_0 - 1, c_0011_4 - 1524674918734079703631139661/15395531853619098506152026487*c\ _0101_5^23 + 228715077754236251096038223619/15395531853619098506152\ 026487*c_0101_5^21 - 4056188653421246299267072531273/15395531853619\ 098506152026487*c_0101_5^19 + 28147539740110206844148130744674/1539\ 5531853619098506152026487*c_0101_5^17 - 89879480404120056592055747975584/15395531853619098506152026487*c_01\ 01_5^15 + 128519767785431713530302650301847/15395531853619098506152\ 026487*c_0101_5^13 - 70604917024856420876917788592755/1539553185361\ 9098506152026487*c_0101_5^11 + 28927785135908513407481521969154/153\ 95531853619098506152026487*c_0101_5^9 - 35084813733189173499167906811356/15395531853619098506152026487*c_01\ 01_5^7 + 426096801524724475604185648728/153955318536190985061520264\ 87*c_0101_5^5 - 534610643762057498922438500526/15395531853619098506\ 152026487*c_0101_5^3 - 10898230935840554185577384406/15395531853619\ 098506152026487*c_0101_5, c_0101_0 + 4026159110892248288012231692/15395531853619098506152026487*c\ _0101_5^23 - 603954287790502667838028663927/15395531853619098506152\ 026487*c_0101_5^21 + 10710089264507870218730835823686/1539553185361\ 9098506152026487*c_0101_5^19 - 74306536130955560029070920075263/153\ 95531853619098506152026487*c_0101_5^17 + 237131864301580727284748420656551/15395531853619098506152026487*c_0\ 101_5^15 - 338343296955224837655165709654038/1539553185361909850615\ 2026487*c_0101_5^13 + 183768648368162760441912896194191/15395531853\ 619098506152026487*c_0101_5^11 - 72992259281024256278591619761474/1\ 5395531853619098506152026487*c_0101_5^9 + 90782841319803289849797928260763/15395531853619098506152026487*c_01\ 01_5^7 - 268631129209818778988386041432/153955318536190985061520264\ 87*c_0101_5^5 + 620755089932273384297972480898/15395531853619098506\ 152026487*c_0101_5^3 - 21290858078912335057679060994/15395531853619\ 098506152026487*c_0101_5, c_0101_1 + 6159998110849185987968394889/15395531853619098506152026487*c\ _0101_5^23 - 924165626107451267099339437110/15395531853619098506152\ 026487*c_0101_5^21 + 16404290888165112585180968630980/1539553185361\ 9098506152026487*c_0101_5^19 - 114008461301442016525934258551655/15\ 395531853619098506152026487*c_0101_5^17 + 365056186616813053075763638812171/15395531853619098506152026487*c_0\ 101_5^15 - 524995388028207763038026483119022/1539553185361909850615\ 2026487*c_0101_5^13 + 292183867499096362375612724278296/15395531853\ 619098506152026487*c_0101_5^11 - 118608850395562296432425519220502/\ 15395531853619098506152026487*c_0101_5^9 + 141949009127136410042753633332394/15395531853619098506152026487*c_0\ 101_5^7 - 3375547301163097462421673555999/1539553185361909850615202\ 6487*c_0101_5^5 + 1229899361780074858745826293943/15395531853619098\ 506152026487*c_0101_5^3 - 68985364881332766853502683811/15395531853\ 619098506152026487*c_0101_5, c_0101_2 + 1294724606012594515080158010/15395531853619098506152026487*c\ _0101_5^23 - 194377232677156662337310168673/15395531853619098506152\ 026487*c_0101_5^21 + 3467960366508734507337106352304/15395531853619\ 098506152026487*c_0101_5^19 - 24319946049304496700628805524820/1539\ 5531853619098506152026487*c_0101_5^17 + 79226967028080229918493119555378/15395531853619098506152026487*c_01\ 01_5^15 - 118438210352046111766011013028473/15395531853619098506152\ 026487*c_0101_5^13 + 73362749791425458614681697337994/1539553185361\ 9098506152026487*c_0101_5^11 - 32111256814011285361756380285704/153\ 95531853619098506152026487*c_0101_5^9 + 32963051593338024945445048999319/15395531853619098506152026487*c_01\ 01_5^7 - 4073203028382532540032766546806/15395531853619098506152026\ 487*c_0101_5^5 + 591829882721942938418175076653/1539553185361909850\ 6152026487*c_0101_5^3 - 76552831017402639860143849336/1539553185361\ 9098506152026487*c_0101_5, c_0101_3 - 154657337735591495467244190/15395531853619098506152026487*c_\ 0101_5^22 + 23204516280558426938059966127/1539553185361909850615202\ 6487*c_0101_5^20 - 412123714007648326594005087619/15395531853619098\ 506152026487*c_0101_5^18 + 2867521513870151562942720011060/15395531\ 853619098506152026487*c_0101_5^16 - 9206055447521671946043397572546/15395531853619098506152026487*c_010\ 1_5^14 + 13339573584811922830337375055174/1539553185361909850615202\ 6487*c_0101_5^12 - 7647779480298743465162378582352/1539553185361909\ 8506152026487*c_0101_5^10 + 3268982747393406357923416681378/1539553\ 1853619098506152026487*c_0101_5^8 - 3708580846736007813824621004340/15395531853619098506152026487*c_010\ 1_5^6 + 208219683316628046078962771283/1539553185361909850615202648\ 7*c_0101_5^4 - 103090829333622308166754608648/153955318536190985061\ 52026487*c_0101_5^2 - 1585268286001739986704337191/1539553185361909\ 8506152026487, c_0101_5^24 - 150*c_0101_5^22 + 2659*c_0101_5^20 - 18437*c_0101_5^18 + 58779*c_0101_5^16 - 83735*c_0101_5^14 + 45470*c_0101_5^12 - 18450*c_0101_5^10 + 22780*c_0101_5^8 - 34*c_0101_5^6 + 320*c_0101_5^4 - 5*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB