Magma V2.19-8 Tue Aug 20 2013 16:17:48 on localhost [Seed = 2345277289] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2032 geometric_solution 5.56978222 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587380516732 0.150903984681 2 0 2 0 0132 2310 1023 0132 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 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.815556224147 0.259397689827 1 3 1 4 0132 0132 1023 0132 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 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 1.176768505384 0.694427981763 4 2 6 5 3120 0132 0132 0132 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 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.463851641704 0.580381798411 5 6 2 3 3201 1023 0132 3120 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 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.463851641704 0.580381798411 5 5 3 4 1230 3012 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.159691151756 1.051413677814 4 6 6 3 1023 1230 3012 0132 0 0 0 0 0 0 -1 1 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 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.135143626566 0.911224159931 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(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' : 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' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : 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_5, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3063598817364544540976846639939474229090450671153863/86710526725020\ 2610360989544419495573817148586007*c_0101_6^31 + 168200622234876809545481221935599935534675460299906697/867105267250\ 202610360989544419495573817148586007*c_0101_6^29 - 3580341460200227396907248717248389068335151328452442326/86710526725\ 0202610360989544419495573817148586007*c_0101_6^27 + 38008784967076962149758555871296516978933516983960539950/8671052672\ 50202610360989544419495573817148586007*c_0101_6^25 - 12944227992151593072534361521042817447787663373344042584/5100619219\ 1188388844764090848205621989244034471*c_0101_6^23 + 810363249691029887676324454942846997936862910711929065449/867105267\ 250202610360989544419495573817148586007*c_0101_6^21 - 2239947341502343829193984743417214367217085486240194219572/86710526\ 7250202610360989544419495573817148586007*c_0101_6^19 + 4571315002415705720569505408802649970549638276708934655085/86710526\ 7250202610360989544419495573817148586007*c_0101_6^17 - 5732964292347328109635413244229579320162957951605448870261/86710526\ 7250202610360989544419495573817148586007*c_0101_6^15 + 1180783676419790861977454207494577789354840358642301409907/28903508\ 9083400870120329848139831857939049528669*c_0101_6^13 - 382933893955551894451264380937867077593040523752420139573/289035089\ 083400870120329848139831857939049528669*c_0101_6^11 + 1180102238292545601741014330912343045190977333027641194991/86710526\ 7250202610360989544419495573817148586007*c_0101_6^9 - 905931893555182311225306525418281694511816342785405393601/867105267\ 250202610360989544419495573817148586007*c_0101_6^7 + 12301810984042895705006953619687983017276518346548443376/5100619219\ 1188388844764090848205621989244034471*c_0101_6^5 - 18158822568670937292197627369322756096057176813043974216/8671052672\ 50202610360989544419495573817148586007*c_0101_6^3 + 177218825880527952002163779295936575714992014853066128/289035089083\ 400870120329848139831857939049528669*c_0101_6, c_0011_0 - 1, c_0011_1 + 12658054438140554757033445096488282001774308206/900109273962\ 1480384370133679095109762807770789*c_0101_6^30 - 77235638488024091714073968337879782776046631889/1000121415513497820\ 485570408788345529200863421*c_0101_6^28 + 14801673082400874266401807720403428182061676236550/9001092739621480\ 384370133679095109762807770789*c_0101_6^26 - 52408336308213850043638663992873966262485440619433/3000364246540493\ 461456711226365036587602590263*c_0101_6^24 + 101236074123593502763752525534384041723832018236891/100012141551349\ 7820485570408788345529200863421*c_0101_6^22 - 373254598326188597562109930820282183824845083887864/100012141551349\ 7820485570408788345529200863421*c_0101_6^20 + 9295356744838660275063047401998244528060793493192370/90010927396214\ 80384370133679095109762807770789*c_0101_6^18 - 18998556008779947663877041874829358609127835983258783/9001092739621\ 480384370133679095109762807770789*c_0101_6^16 + 23911467595663413977335408029330627411190517498729251/9001092739621\ 480384370133679095109762807770789*c_0101_6^14 - 14910628933098807355873282874414327191255022403265997/9001092739621\ 480384370133679095109762807770789*c_0101_6^12 + 545048850519567488293139769273951076303182728057492/100012141551349\ 7820485570408788345529200863421*c_0101_6^10 - 4921937938386640704180196653962232026938796964590488/90010927396214\ 80384370133679095109762807770789*c_0101_6^8 + 3799617628764168750220566523252571640193252829285741/90010927396214\ 80384370133679095109762807770789*c_0101_6^6 - 100641400867839690280636212204717055080531162952269/100012141551349\ 7820485570408788345529200863421*c_0101_6^4 + 27467899726046122533493502680072387299053311074055/3000364246540493\ 461456711226365036587602590263*c_0101_6^2 - 2545678512488995117553491809688026948774718641790/90010927396214803\ 84370133679095109762807770789, c_0011_4 - 2592857494005697008949320251114719609500529862/3000364246540\ 493461456711226365036587602590263*c_0101_6^30 + 142393057320370749651590286055726655478099578624/300036424654049346\ 1456711226365036587602590263*c_0101_6^28 - 1010752132729046553270862657201890293407387714743/10001214155134978\ 20485570408788345529200863421*c_0101_6^26 + 32212176032891929401851154863045375545340249273893/3000364246540493\ 461456711226365036587602590263*c_0101_6^24 - 186701406060487367519582369208496070105332328912600/300036424654049\ 3461456711226365036587602590263*c_0101_6^22 + 688502478448648721361717511773883792971592350392260/300036424654049\ 3461456711226365036587602590263*c_0101_6^20 - 635156311905353445859037277787442981257142924244980/100012141551349\ 7820485570408788345529200863421*c_0101_6^18 + 1298509604022296775217560234202315373756373421598355/10001214155134\ 97820485570408788345529200863421*c_0101_6^16 - 1635275301302479466793687495886004676214491937763335/10001214155134\ 97820485570408788345529200863421*c_0101_6^14 + 3063777618493559404426574177458671468569146211707813/30003642465404\ 93461456711226365036587602590263*c_0101_6^12 - 336728198605845960494239403322586831676167790358218/100012141551349\ 7820485570408788345529200863421*c_0101_6^10 + 1009679747306166780847819682261627532079675514433841/30003642465404\ 93461456711226365036587602590263*c_0101_6^8 - 260090204789509712527124294518171403475240948553138/100012141551349\ 7820485570408788345529200863421*c_0101_6^6 + 186958846187123213312062580371366436826414266590648/300036424654049\ 3461456711226365036587602590263*c_0101_6^4 - 17096957178363720889645002221410380121779317120414/3000364246540493\ 461456711226365036587602590263*c_0101_6^2 + 529507336542436200027312969599743982865698957345/300036424654049346\ 1456711226365036587602590263, c_0011_5 - 6845577934051168786442249605473719953866909559/9001092739621\ 480384370133679095109762807770789*c_0101_6^30 + 125304351161567387851492993124491819802046158830/300036424654049346\ 1456711226365036587602590263*c_0101_6^28 - 8004104561174692125950989682249621561947302215257/90010927396214803\ 84370133679095109762807770789*c_0101_6^26 + 28337471649484140527939968879888886549511211318357/3000364246540493\ 461456711226365036587602590263*c_0101_6^24 - 164190934990174369855650667418520840213533578267651/300036424654049\ 3461456711226365036587602590263*c_0101_6^22 + 605249567292546258638034512191218950457125417382794/300036424654049\ 3461456711226365036587602590263*c_0101_6^20 - 5023409399178569137288370777486725414957988312352776/90010927396214\ 80384370133679095109762807770789*c_0101_6^18 + 10264704171193941158972211677423019004724320415399228/9001092739621\ 480384370133679095109762807770789*c_0101_6^16 - 12911567114153051573222191595950520653598159321806049/9001092739621\ 480384370133679095109762807770789*c_0101_6^14 + 8039356330030382749361423891885537415022787478339835/90010927396214\ 80384370133679095109762807770789*c_0101_6^12 - 293197690205310255286138245975732565178623896850518/100012141551349\ 7820485570408788345529200863421*c_0101_6^10 + 2657767341778363701689354864086840687515023300639417/90010927396214\ 80384370133679095109762807770789*c_0101_6^8 - 2049826920848308529614106570325414490589424699815395/90010927396214\ 80384370133679095109762807770789*c_0101_6^6 + 162043582889679346053435299357882529550755147302141/300036424654049\ 3461456711226365036587602590263*c_0101_6^4 - 4879756917030546254932852517567350477707644702412/10001214155134978\ 20485570408788345529200863421*c_0101_6^2 + 1340313270447577079200795289850027538056260027375/90010927396214803\ 84370133679095109762807770789, c_0101_0 - 44350647510443291748859757212114141001372181730/900109273962\ 1480384370133679095109762807770789*c_0101_6^31 + 811764486013375320325423372741463830426339988302/300036424654049346\ 1456711226365036587602590263*c_0101_6^29 - 51848451559223810928261534547741164169311178000246/9001092739621480\ 384370133679095109762807770789*c_0101_6^27 + 183534359748896219331299533338394549450424040049846/300036424654049\ 3461456711226365036587602590263*c_0101_6^25 - 1063151817692191952881992063281488442298011657754481/30003642465404\ 93461456711226365036587602590263*c_0101_6^23 + 3917816156080500212503779360717106818201349851258644/30003642465404\ 93461456711226365036587602590263*c_0101_6^21 - 32507704906966695246482785054750435514257502345576585/9001092739621\ 480384370133679095109762807770789*c_0101_6^19 + 66399039196639389848881525592114285505886719118162754/9001092739621\ 480384370133679095109762807770789*c_0101_6^17 - 83442108679675611450135770354156082696769747953266456/9001092739621\ 480384370133679095109762807770789*c_0101_6^15 + 51829815330527720685849993872584846086457192395486457/9001092739621\ 480384370133679095109762807770789*c_0101_6^13 - 1883138446966279073651557969337045597322392247593380/10001214155134\ 97820485570408788345529200863421*c_0101_6^11 + 17175819015176491320603193292291284822352614961869682/9001092739621\ 480384370133679095109762807770789*c_0101_6^9 - 13227722842004442115355888464884603959667359559134851/9001092739621\ 480384370133679095109762807770789*c_0101_6^7 + 1036954875509270186127344899881452229495509035319069/30003642465404\ 93461456711226365036587602590263*c_0101_6^5 - 30845553841487057990256487011026800494490440776904/1000121415513497\ 820485570408788345529200863421*c_0101_6^3 + 8366504886078525085472351031600712781250536358545/90010927396214803\ 84370133679095109762807770789*c_0101_6, c_0101_5 + 21564537848299457891710516397703230115291855016/900109273962\ 1480384370133679095109762807770789*c_0101_6^31 - 394773980018628668231556568823095598673716182042/300036424654049346\ 1456711226365036587602590263*c_0101_6^29 + 25221883658607136650907993695496495316685523108204/9001092739621480\ 384370133679095109762807770789*c_0101_6^27 - 89322420102126169647669896438812731353687796049948/3000364246540493\ 461456711226365036587602590263*c_0101_6^25 + 517810314617737477054716428340967591865207283395968/300036424654049\ 3461456711226365036587602590263*c_0101_6^23 - 1909990761044484412262739979779068618011163109469898/30003642465404\ 93461456711226365036587602590263*c_0101_6^21 + 15861370264736855158240134131417445470093676121931879/9001092739621\ 480384370133679095109762807770789*c_0101_6^19 - 32436572030919254191211485449620032838236470149003060/9001092739621\ 480384370133679095109762807770789*c_0101_6^17 + 40877846829404402151428855540991996946803505665531227/9001092739621\ 480384370133679095109762807770789*c_0101_6^15 - 25575208528291217449914939325268733310197318878935972/9001092739621\ 480384370133679095109762807770789*c_0101_6^13 + 939624883690139609929651721611374218038840423443489/100012141551349\ 7820485570408788345529200863421*c_0101_6^11 - 8413751516044484135343030148516653185604608004454778/90010927396214\ 80384370133679095109762807770789*c_0101_6^9 + 6508902951891685403158010175717556080199217633226832/90010927396214\ 80384370133679095109762807770789*c_0101_6^7 - 523103569983404875733897259505430479450383123369191/300036424654049\ 3461456711226365036587602590263*c_0101_6^5 + 16100473333909337118293556859010165560574469464188/1000121415513497\ 820485570408788345529200863421*c_0101_6^3 - 4554260347032950166289939527261732135697769299013/90010927396214803\ 84370133679095109762807770789*c_0101_6, c_0101_6^32 - 55*c_0101_6^30 + 1174*c_0101_6^28 - 12520*c_0101_6^26 + 73032*c_0101_6^24 - 271485*c_0101_6^22 + 756824*c_0101_6^20 - 1563112*c_0101_6^18 + 2016172*c_0101_6^16 - 1337973*c_0101_6^14 + 487315*c_0101_6^12 - 421661*c_0101_6^10 + 333111*c_0101_6^8 - 96985*c_0101_6^6 + 12570*c_0101_6^4 - 752*c_0101_6^2 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB