Magma V2.19-8 Wed Aug 21 2013 00:02:16 on localhost [Seed = 2412373596] Type ? for help. Type -D to quit. Loading file "K13n1679__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1679 geometric_solution 11.79524199 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862686068991 0.772696362175 0 5 5 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862686068991 0.772696362175 4 0 8 7 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.789633269625 0.496515119179 9 10 6 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.281420808696 0.448153057797 2 9 0 11 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507916925338 0.541968312072 1 1 11 10 2031 0132 2031 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356822127315 0.576085809565 9 7 1 3 2103 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.275572422318 1.608222177866 12 11 2 6 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.237830654728 1.457424252936 10 9 10 2 0321 0321 2031 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 -1 0 0 1 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379588821360 0.688382298516 3 4 6 8 0132 0132 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.680398273142 0.715248561825 8 3 5 8 0321 0132 1230 1302 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 1 0 -1 -5 0 -1 6 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.385736723210 1.113963169030 12 7 4 5 3201 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652657589027 0.762588407183 7 12 12 11 0132 3201 2310 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 -0.468306794147 0.549281205714 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_8'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_8' : negation(d['c_1001_3']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_1001_3']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : negation(d['c_0101_10']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_12'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_8']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_5, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 7121714422062783015554201059986236/41267429044862719364940983485333\ 7*c_1001_3^15 - 269792035726810357527251746173311936/28887200331403\ 90355545868843973359*c_1001_3^14 - 56701709453029471920943618236880722/2222092333184915658112206803056\ 43*c_1001_3^13 + 2136319894777694672300761269130493469/288872003314\ 0390355545868843973359*c_1001_3^12 - 2731684725421282297467156773917313873/28887200331403903555458688439\ 73359*c_1001_3^11 + 1408498581669381847416551163916589136/262610912\ 103671850504169894906669*c_1001_3^10 - 70618498440840799456724593121600253/2020083939259014234647460730051\ 3*c_1001_3^9 - 67263147397699249930511245352431352666/2888720033140\ 390355545868843973359*c_1001_3^8 + 49522231797843902542154396551918951112/2888720033140390355545868843\ 973359*c_1001_3^7 + 10225176344734298633990189336955121379/26261091\ 2103671850504169894906669*c_1001_3^6 - 59158774770439770757773989802877813770/2888720033140390355545868843\ 973359*c_1001_3^5 - 99781047526806708975276261637636399435/28887200\ 33140390355545868843973359*c_1001_3^4 + 3536364768527914496335978154813922334/28887200331403903555458688439\ 73359*c_1001_3^3 + 28777412509521498265858426365913100629/288872003\ 3140390355545868843973359*c_1001_3^2 - 333528600500485210451759486604302178/412674290448627193649409834853\ 337*c_1001_3 - 3174691671197707479615912281102007030/28887200331403\ 90355545868843973359, c_0011_0 - 1, c_0011_10 - 479676833484170133751124975/18563010680969240864082130127*c\ _1001_3^15 - 2507133178752981394940119299/1856301068096924086408213\ 0127*c_1001_3^14 - 506461264629920450979902122/14279238985360954510\ 83240779*c_1001_3^13 + 22010381775536134835066140840/18563010680969\ 240864082130127*c_1001_3^12 - 29697099025248046202763611514/1856301\ 0680969240864082130127*c_1001_3^11 + 152771965878671339163321865346/18563010680969240864082130127*c_1001\ _3^10 - 9406859363325939682186678881/1427923898536095451083240779*c\ _1001_3^9 - 639567512999625650482631276461/185630106809692408640821\ 30127*c_1001_3^8 + 608372286470489145036865934135/18563010680969240\ 864082130127*c_1001_3^7 + 1017147044055425431339409679720/185630106\ 80969240864082130127*c_1001_3^6 - 797591527664832727384463745643/18\ 563010680969240864082130127*c_1001_3^5 - 888651278178619287692215871599/18563010680969240864082130127*c_1001\ _3^4 + 238568909714835373088274528046/18563010680969240864082130127\ *c_1001_3^3 + 306797993224533008358402502757/1856301068096924086408\ 2130127*c_1001_3^2 - 53844923916981164367841160944/1856301068096924\ 0864082130127*c_1001_3 - 43291650456716001823837767005/185630106809\ 69240864082130127, c_0011_11 - 264703629493830473597313928/18563010680969240864082130127*c\ _1001_3^15 - 1515689879944984358823640060/1856301068096924086408213\ 0127*c_1001_3^14 - 335490711574245266346074256/14279238985360954510\ 83240779*c_1001_3^13 + 10108117711694206928616669258/18563010680969\ 240864082130127*c_1001_3^12 - 10987502393755322669284020996/1856301\ 0680969240864082130127*c_1001_3^11 + 77408460881896831638963008079/18563010680969240864082130127*c_1001_\ 3^10 - 2046359401750753083932941405/1427923898536095451083240779*c_\ 1001_3^9 - 377447912658780295989564284426/1856301068096924086408213\ 0127*c_1001_3^8 + 158585221779053780656490266578/185630106809692408\ 64082130127*c_1001_3^7 + 670300792854155865357713807848/18563010680\ 969240864082130127*c_1001_3^6 - 145204318163500657132720701142/1856\ 3010680969240864082130127*c_1001_3^5 - 581789522933225863205893492906/18563010680969240864082130127*c_1001\ _3^4 - 128100245336764496963389675238/18563010680969240864082130127\ *c_1001_3^3 + 84932131781987386552133284178/18563010680969240864082\ 130127*c_1001_3^2 + 30075781555703656704871022946/18563010680969240\ 864082130127*c_1001_3 + 1525982895152948400224718840/18563010680969\ 240864082130127, c_0011_6 + 345562588093991024609301303/18563010680969240864082130127*c_\ 1001_3^15 + 1853118802113552985688852094/18563010680969240864082130\ 127*c_1001_3^14 + 384083486378995213819184352/142792389853609545108\ 3240779*c_1001_3^13 - 15255630989001594972968933111/185630106809692\ 40864082130127*c_1001_3^12 + 19017058633625789973729977638/18563010\ 680969240864082130127*c_1001_3^11 - 107932859322947330581791507686/18563010680969240864082130127*c_1001\ _3^10 + 5963037060157243292158547351/1427923898536095451083240779*c\ _1001_3^9 + 464704636420107002302149746311/185630106809692408640821\ 30127*c_1001_3^8 - 346107396077148014544295619063/18563010680969240\ 864082130127*c_1001_3^7 - 829997560503602339740172522240/1856301068\ 0969240864082130127*c_1001_3^6 + 408609145682522871667041049743/185\ 63010680969240864082130127*c_1001_3^5 + 834069932757867925064256843427/18563010680969240864082130127*c_1001\ _3^4 - 10365412398588003706163544370/18563010680969240864082130127*\ c_1001_3^3 - 345570862532604720249002911877/18563010680969240864082\ 130127*c_1001_3^2 - 34165394450890126210337202090/18563010680969240\ 864082130127*c_1001_3 + 40800224351939489974779774943/1856301068096\ 9240864082130127, c_0011_8 + 80890447987607597620574628/18563010680969240864082130127*c_1\ 001_3^15 + 293363647799801214924809804/1856301068096924086408213012\ 7*c_1001_3^14 + 36748281818029904008784082/142792389853609545108324\ 0779*c_1001_3^13 - 5276332619146896866768322180/1856301068096924086\ 4082130127*c_1001_3^12 + 11481455023290507420470617024/185630106809\ 69240864082130127*c_1001_3^11 - 35907533917572610656565900238/18563\ 010680969240864082130127*c_1001_3^10 + 5057387519409765332039148147/1427923898536095451083240779*c_1001_3^\ 9 + 58950082710333355519194697579/18563010680969240864082130127*c_1\ 001_3^8 - 255984533591279890854018853692/18563010680969240864082130\ 127*c_1001_3^7 + 37982519009665304650020668484/18563010680969240864\ 082130127*c_1001_3^6 + 340180447358669432697814295129/1856301068096\ 9240864082130127*c_1001_3^5 - 120294114039234642206912561285/185630\ 10680969240864082130127*c_1001_3^4 - 187241371839957856978230627513/18563010680969240864082130127*c_1001\ _3^3 + 41195378001669705879582819247/18563010680969240864082130127*\ c_1001_3^2 + 62575929257297242103230628913/185630106809692408640821\ 30127*c_1001_3 - 8093340054916095499414278363/185630106809692408640\ 82130127, c_0101_0 - 603815230737848763565298501/18563010680969240864082130127*c_\ 1001_3^15 - 3493984465254128254363209467/18563010680969240864082130\ 127*c_1001_3^14 - 776027235868587183998771998/142792389853609545108\ 3240779*c_1001_3^13 + 22779286262595141010305816092/185630106809692\ 40864082130127*c_1001_3^12 - 22946255376864132557070346748/18563010\ 680969240864082130127*c_1001_3^11 + 171162195986674478867422168870/18563010680969240864082130127*c_1001\ _3^10 - 3402115374258353979246995356/1427923898536095451083240779*c\ _1001_3^9 - 888082351859433377613575543488/185630106809692408640821\ 30127*c_1001_3^8 + 341665894239387792447532031048/18563010680969240\ 864082130127*c_1001_3^7 + 1639977141115440231461864142425/185630106\ 80969240864082130127*c_1001_3^6 - 374757065464913878608758791356/18\ 563010680969240864082130127*c_1001_3^5 - 1500366523885049234691926422940/18563010680969240864082130127*c_100\ 1_3^4 - 200678881952571556087399996550/1856301068096924086408213012\ 7*c_1001_3^3 + 365529063271640419488596247517/185630106809692408640\ 82130127*c_1001_3^2 + 1168600306623176068327323018/1856301068096924\ 0864082130127*c_1001_3 - 67650692780337373240703035319/185630106809\ 69240864082130127, c_0101_10 - 681686896661409484837454829/18563010680969240864082130127*c\ _1001_3^15 - 3865688863482719481955365686/1856301068096924086408213\ 0127*c_1001_3^14 - 848244152488091011462903458/14279238985360954510\ 83240779*c_1001_3^13 + 26620232054341020071068879712/18563010680969\ 240864082130127*c_1001_3^12 - 29799706845756103080671359432/1856301\ 0680969240864082130127*c_1001_3^11 + 201576572227347644574703985606/18563010680969240864082130127*c_1001\ _3^10 - 6275100586782700174661135034/1427923898536095451083240779*c\ _1001_3^9 - 958895607509882873242055724487/185630106809692408640821\ 30127*c_1001_3^8 + 447615939229746215442961622211/18563010680969240\ 864082130127*c_1001_3^7 + 1719064277123653295206518949183/185630106\ 80969240864082130127*c_1001_3^6 - 458137239422112023067437886805/18\ 563010680969240864082130127*c_1001_3^5 - 1554035938988726013085819528278/18563010680969240864082130127*c_100\ 1_3^4 - 232922596586042649232847640784/1856301068096924086408213012\ 7*c_1001_3^3 + 380040747320491247841038802508/185630106809692408640\ 82130127*c_1001_3^2 + 19552413236578502972365624563/185630106809692\ 40864082130127*c_1001_3 - 47541619150423216738585118192/18563010680\ 969240864082130127, c_0101_11 - 49036991881305601986815089/18563010680969240864082130127*c_\ 1001_3^15 - 166951299328148016804151909/185630106809692408640821301\ 27*c_1001_3^14 - 12965637589165610110166847/14279238985360954510832\ 40779*c_1001_3^13 + 3677150379294178432708543371/185630106809692408\ 64082130127*c_1001_3^12 - 6588267671740557660707700038/185630106809\ 69240864082130127*c_1001_3^11 + 19505265118238557292138384012/18563\ 010680969240864082130127*c_1001_3^10 - 2997704835567349206729617029/1427923898536095451083240779*c_1001_3^\ 9 - 55648388764416455827909387225/18563010680969240864082130127*c_1\ 001_3^8 + 189495149988273897791045230279/18563010680969240864082130\ 127*c_1001_3^7 + 37460913468380315083045322658/18563010680969240864\ 082130127*c_1001_3^6 - 304284457407847010250897679230/1856301068096\ 9240864082130127*c_1001_3^5 + 385911657194476558356077149/185630106\ 80969240864082130127*c_1001_3^4 + 205442566581983061107360868502/18\ 563010680969240864082130127*c_1001_3^3 + 34226777640219691071093423307/18563010680969240864082130127*c_1001_\ 3^2 - 48032118090193231678999359932/18563010680969240864082130127*c\ _1001_3 - 10970550975003199194276598965/185630106809692408640821301\ 27, c_0101_12 + 11051339758148440772057029/18563010680969240864082130127*c_\ 1001_3^15 + 57640015767044646461109070/1856301068096924086408213012\ 7*c_1001_3^14 + 6228289408878202193755183/1427923898536095451083240\ 779*c_1001_3^13 - 852038626266246153340034620/185630106809692408640\ 82130127*c_1001_3^12 - 177397529985981486021234208/1856301068096924\ 0864082130127*c_1001_3^11 - 115565267297769323364205548/18563010680\ 969240864082130127*c_1001_3^10 - 215946002451476724248607154/142792\ 3898536095451083240779*c_1001_3^9 + 39909777152949749335677951628/18563010680969240864082130127*c_1001_\ 3^8 - 41254975484286834620608778056/18563010680969240864082130127*c\ _1001_3^7 - 101703309200833104263350838768/185630106809692408640821\ 30127*c_1001_3^6 + 128271420262988532674593646110/18563010680969240\ 864082130127*c_1001_3^5 + 104502427288315651822620393106/1856301068\ 0969240864082130127*c_1001_3^4 - 123358567681863678287380265136/185\ 63010680969240864082130127*c_1001_3^3 - 62896120231009912452409523233/18563010680969240864082130127*c_1001_\ 3^2 + 23718267106626363575756135756/18563010680969240864082130127*c\ _1001_3 + 16886189937248442158537475621/185630106809692408640821301\ 27, c_0101_5 + 602235888360581010305643304/18563010680969240864082130127*c_\ 1001_3^15 + 3334867841058041854560657912/18563010680969240864082130\ 127*c_1001_3^14 + 714526168707359004023030606/142792389853609545108\ 3240779*c_1001_3^13 - 24809013637795247579020835432/185630106809692\ 40864082130127*c_1001_3^12 + 29460389629747563918172780984/18563010\ 680969240864082130127*c_1001_3^11 - 181768951497859602505922768448/18563010680969240864082130127*c_1001\ _3^10 + 7393817631489009129960661350/1427923898536095451083240779*c\ _1001_3^9 + 837593969600736288828358512006/185630106809692408640821\ 30127*c_1001_3^8 - 507256469608844790425301433330/18563010680969240\ 864082130127*c_1001_3^7 - 1458922796696992195294813643028/185630106\ 80969240864082130127*c_1001_3^6 + 589958958243893906098169288950/18\ 563010680969240864082130127*c_1001_3^5 + 1309889239010827811156792521724/18563010680969240864082130127*c_100\ 1_3^4 + 52021902403096900787698760814/18563010680969240864082130127\ *c_1001_3^3 - 336749391543174587384924775711/1856301068096924086408\ 2130127*c_1001_3^2 + 4820306602645603287612269770/18563010680969240\ 864082130127*c_1001_3 + 33808474384140131103953675448/1856301068096\ 9240864082130127, c_1001_0 - 592763890979700322793241472/18563010680969240864082130127*c_\ 1001_3^15 - 3436344449487083607902100397/18563010680969240864082130\ 127*c_1001_3^14 - 769798946459708981805016815/142792389853609545108\ 3240779*c_1001_3^13 + 21927247636328894856965781472/185630106809692\ 40864082130127*c_1001_3^12 - 23123652906850114043091580956/18563010\ 680969240864082130127*c_1001_3^11 + 171046630719376709544057963322/18563010680969240864082130127*c_1001\ _3^10 - 3618061376709830703495602510/1427923898536095451083240779*c\ _1001_3^9 - 848172574706483628277897591860/185630106809692408640821\ 30127*c_1001_3^8 + 300410918755100957826923252992/18563010680969240\ 864082130127*c_1001_3^7 + 1538273831914607127198513303657/185630106\ 80969240864082130127*c_1001_3^6 - 246485645201925345934165145246/18\ 563010680969240864082130127*c_1001_3^5 - 1395864096596733582869306029834/18563010680969240864082130127*c_100\ 1_3^4 - 324037449634435234374780261686/1856301068096924086408213012\ 7*c_1001_3^3 + 302632943040630507036186724284/185630106809692408640\ 82130127*c_1001_3^2 + 24886867413249539644083458774/185630106809692\ 40864082130127*c_1001_3 - 50764502843088931082165559698/18563010680\ 969240864082130127, c_1001_2 - 681686896661409484837454829/18563010680969240864082130127*c_\ 1001_3^15 - 3865688863482719481955365686/18563010680969240864082130\ 127*c_1001_3^14 - 848244152488091011462903458/142792389853609545108\ 3240779*c_1001_3^13 + 26620232054341020071068879712/185630106809692\ 40864082130127*c_1001_3^12 - 29799706845756103080671359432/18563010\ 680969240864082130127*c_1001_3^11 + 201576572227347644574703985606/18563010680969240864082130127*c_1001\ _3^10 - 6275100586782700174661135034/1427923898536095451083240779*c\ _1001_3^9 - 958895607509882873242055724487/185630106809692408640821\ 30127*c_1001_3^8 + 447615939229746215442961622211/18563010680969240\ 864082130127*c_1001_3^7 + 1719064277123653295206518949183/185630106\ 80969240864082130127*c_1001_3^6 - 458137239422112023067437886805/18\ 563010680969240864082130127*c_1001_3^5 - 1554035938988726013085819528278/18563010680969240864082130127*c_100\ 1_3^4 - 232922596586042649232847640784/1856301068096924086408213012\ 7*c_1001_3^3 + 380040747320491247841038802508/185630106809692408640\ 82130127*c_1001_3^2 + 19552413236578502972365624563/185630106809692\ 40864082130127*c_1001_3 - 66104629831392457602667248319/18563010680\ 969240864082130127, c_1001_3^16 + 6*c_1001_3^15 + 18*c_1001_3^14 - 34*c_1001_3^13 + 30*c_1001_3^12 - 280*c_1001_3^11 + 22*c_1001_3^10 + 1458*c_1001_3^9 - 190*c_1001_3^8 - 2803*c_1001_3^7 - 183*c_1001_3^6 + 2647*c_1001_3^5 + 1159*c_1001_3^4 - 578*c_1001_3^3 - 308*c_1001_3^2 + 79*c_1001_3 + 43 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_5, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 272741078988683713803554496498855882209/170695806699752344560078701\ 283888128*c_1001_3^18 + 1528328659580735080295766551554279789089/11\ 09522743548390239640511558345272832*c_1001_3^17 - 74036695949304756269867327015122738054467/2219045487096780479281023\ 116690545664*c_1001_3^16 + 6258167827192219201773799902427598018259\ /277380685887097559910127889586318208*c_1001_3^15 - 698675090833065007421429310077975959641619/221904548709678047928102\ 3116690545664*c_1001_3^14 + 212426543273695403215237680062310957607\ 073/1109522743548390239640511558345272832*c_1001_3^13 - 3767132852199102922628540935190401630752957/22190454870967804792810\ 23116690545664*c_1001_3^12 + 19482278322316025017846699399775559304\ 39421/2219045487096780479281023116690545664*c_1001_3^11 - 936647379453432304952326335473780193040175/170695806699752344560078\ 701283888128*c_1001_3^10 + 5185057647530675619956687469919868837169\ 355/2219045487096780479281023116690545664*c_1001_3^9 - 22586580688249127731766188831902511169445727/2219045487096780479281\ 023116690545664*c_1001_3^8 + 40995444780578388105052422413346294309\ 90209/1109522743548390239640511558345272832*c_1001_3^7 - 10241491923190061491710893123242698452723537/1109522743548390239640\ 511558345272832*c_1001_3^6 + 75885285140488668800645088318922869723\ 07511/2219045487096780479281023116690545664*c_1001_3^5 + 1954618556926368554585912856954334987789585/22190454870967804792810\ 23116690545664*c_1001_3^4 - 204237644020426996450844633250151729577\ 0933/2219045487096780479281023116690545664*c_1001_3^3 - 1971984080918447293791176007825418713319/85347903349876172280039350\ 641944064*c_1001_3^2 + 173807980940177532496780974388337518787805/2\ 219045487096780479281023116690545664*c_1001_3 - 2333274440161316860123690758456761858321/20173140791788913448009301\ 0608231424, c_0011_0 - 1, c_0011_10 + 1669191774892010224615760146/2285341902773843229246265567*c\ _1001_3^18 - 1341964584087720231220364260/2285341902773843229246265\ 567*c_1001_3^17 + 34792757510089465017907141664/2285341902773843229\ 246265567*c_1001_3^16 - 21559894536726296393529279699/2285341902773\ 843229246265567*c_1001_3^15 + 328002447518323847705564735887/228534\ 1902773843229246265567*c_1001_3^14 - 181151085668423355779907193821/2285341902773843229246265567*c_1001_\ 3^13 + 1766118104355898739053621142235/2285341902773843229246265567\ *c_1001_3^12 - 816264509738886717797219255350/228534190277384322924\ 6265567*c_1001_3^11 + 5701997894755157092860915044752/2285341902773\ 843229246265567*c_1001_3^10 - 2117475166342782825356512032848/22853\ 41902773843229246265567*c_1001_3^9 + 10565292793832898113082654076065/2285341902773843229246265567*c_100\ 1_3^8 - 3266609358562161435307328381993/228534190277384322924626556\ 7*c_1001_3^7 + 9555297069669909616355280878072/22853419027738432292\ 46265567*c_1001_3^6 - 3050385119734799867917252905259/2285341902773\ 843229246265567*c_1001_3^5 - 1004548431667452367650597069153/228534\ 1902773843229246265567*c_1001_3^4 + 868840283943710889503540498451/2285341902773843229246265567*c_1001_\ 3^3 + 65739528502328805243018919433/2285341902773843229246265567*c_\ 1001_3^2 - 75150429548840753663115761068/22853419027738432292462655\ 67*c_1001_3 + 8758013607461107307388124375/228534190277384322924626\ 5567, c_0011_11 + 431243394099999044274428970/2285341902773843229246265567*c_\ 1001_3^18 - 262322493733162929125193583/228534190277384322924626556\ 7*c_1001_3^17 + 8912206143885198910236392712/2285341902773843229246\ 265567*c_1001_3^16 - 3803143484939227099109335726/22853419027738432\ 29246265567*c_1001_3^15 + 83468118124986051072955608332/22853419027\ 73843229246265567*c_1001_3^14 - 30084760917498473500598210332/22853\ 41902773843229246265567*c_1001_3^13 + 445416075380494913082681922528/2285341902773843229246265567*c_1001_\ 3^12 - 120441151998199123675232559343/2285341902773843229246265567*\ c_1001_3^11 + 1422756066530222484731648172765/228534190277384322924\ 6265567*c_1001_3^10 - 253358859907169689912209691359/22853419027738\ 43229246265567*c_1001_3^9 + 2593651449626653640180607874073/2285341\ 902773843229246265567*c_1001_3^8 - 294738696686438030045870759621/2285341902773843229246265567*c_1001_\ 3^7 + 2252124045214327210688600028999/2285341902773843229246265567*\ c_1001_3^6 - 279321875045210774998506678963/22853419027738432292462\ 65567*c_1001_3^5 - 454752192646049522940115394383/22853419027738432\ 29246265567*c_1001_3^4 + 201110785289480170915740711096/22853419027\ 73843229246265567*c_1001_3^3 + 76633463659830745677140312641/228534\ 1902773843229246265567*c_1001_3^2 - 12869592548743266552467713611/2285341902773843229246265567*c_1001_3 - 1231924466197448662358502199/2285341902773843229246265567, c_0011_6 + 478601424629051889392295198/2285341902773843229246265567*c_1\ 001_3^18 - 346716768304844596357133312/2285341902773843229246265567\ *c_1001_3^17 + 9955850562158672499376931305/22853419027738432292462\ 65567*c_1001_3^16 - 5403515431303711869732606418/228534190277384322\ 9246265567*c_1001_3^15 + 93775600159126586139059589934/228534190277\ 3843229246265567*c_1001_3^14 - 44735551990077054331306633668/228534\ 1902773843229246265567*c_1001_3^13 + 504340701083406296542669644989/2285341902773843229246265567*c_1001_\ 3^12 - 196219706910584740307000360939/2285341902773843229246265567*\ c_1001_3^11 + 1627502866677419554308652582992/228534190277384322924\ 6265567*c_1001_3^10 - 489277437819709469149279330992/22853419027738\ 43229246265567*c_1001_3^9 + 3016933929909174112886802969382/2285341\ 902773843229246265567*c_1001_3^8 - 731606959888699103518476529788/2285341902773843229246265567*c_1001_\ 3^7 + 2730009684008295167287685710836/2285341902773843229246265567*\ c_1001_3^6 - 718798814595527617725952549213/22853419027738432292462\ 65567*c_1001_3^5 - 302425720696280873592142527525/22853419027738432\ 29246265567*c_1001_3^4 + 170409431215330639601349571756/22853419027\ 73843229246265567*c_1001_3^3 + 30461082556686879766888040968/228534\ 1902773843229246265567*c_1001_3^2 - 8557378337422263425356560735/2285341902773843229246265567*c_1001_3 + 956359242697996520311763585/2285341902773843229246265567, c_0011_8 + 1820488219216961652980267472/2285341902773843229246265567*c_\ 1001_3^18 - 1453512361617603423430837574/22853419027738432292462655\ 67*c_1001_3^17 + 37939987229882771485424343136/22853419027738432292\ 46265567*c_1001_3^16 - 23307521089054239198953039504/22853419027738\ 43229246265567*c_1001_3^15 + 357639728076524993966864418733/2285341\ 902773843229246265567*c_1001_3^14 - 195660720631945520909323104931/2285341902773843229246265567*c_1001_\ 3^13 + 1925465430861913859526641735804/2285341902773843229246265567\ *c_1001_3^12 - 880252537400930651721072750861/228534190277384322924\ 6265567*c_1001_3^11 + 6215887121873248004340282131740/2285341902773\ 843229246265567*c_1001_3^10 - 2278508888250791516691772814620/22853\ 41902773843229246265567*c_1001_3^9 + 11516636906207986323259087408299/2285341902773843229246265567*c_100\ 1_3^8 - 3510124550635485791778423839951/228534190277384322924626556\ 7*c_1001_3^7 + 10413481819102351333552612767597/2285341902773843229\ 246265567*c_1001_3^6 - 3289796004590472174225877720357/228534190277\ 3843229246265567*c_1001_3^5 - 1104170638456085953585227285808/22853\ 41902773843229246265567*c_1001_3^4 + 923462728418317827144355429519/2285341902773843229246265567*c_1001_\ 3^3 + 75814386933709913823263585112/2285341902773843229246265567*c_\ 1001_3^2 - 77298857398027152397665687328/22853419027738432292462655\ 67*c_1001_3 + 8975768004273400927217049354/228534190277384322924626\ 5567, c_0101_0 - 217754396812293619828924979/2285341902773843229246265567*c_1\ 001_3^18 + 66457952487342191464417653/2285341902773843229246265567*\ c_1001_3^17 - 4461294555528282824196951245/228534190277384322924626\ 5567*c_1001_3^16 + 554595026015685069574523171/22853419027738432292\ 46265567*c_1001_3^15 - 41585498413318487540532311016/22853419027738\ 43229246265567*c_1001_3^14 + 2372615773206015853552289067/228534190\ 2773843229246265567*c_1001_3^13 - 220447359196942650665994141231/22\ 85341902773843229246265567*c_1001_3^12 - 7790266324658761072088808185/2285341902773843229246265567*c_1001_3^\ 11 - 700329905149106671675673180779/2285341902773843229246265567*c_\ 1001_3^10 - 92316714889490463490568327644/2285341902773843229246265\ 567*c_1001_3^9 - 1270048173942384978180434180216/228534190277384322\ 9246265567*c_1001_3^8 - 256489832147059269302333724245/228534190277\ 3843229246265567*c_1001_3^7 - 1083915610894417550006031214026/22853\ 41902773843229246265567*c_1001_3^6 - 218640085994735355759779226202/2285341902773843229246265567*c_1001_\ 3^5 + 295156010439619472984829609722/2285341902773843229246265567*c\ _1001_3^4 - 42353659932981854193828869653/2285341902773843229246265\ 567*c_1001_3^3 - 40468408681807852351934807433/22853419027738432292\ 46265567*c_1001_3^2 + 1030615806045866031030508250/2285341902773843\ 229246265567*c_1001_3 - 900133706185711943055023446/228534190277384\ 3229246265567, c_0101_10 - 1, c_0101_11 + 73790112488937396487749784/2285341902773843229246265567*c_1\ 001_3^18 + 177886923011775935855728422/2285341902773843229246265567\ *c_1001_3^17 + 1400371261380618523312506793/22853419027738432292462\ 65567*c_1001_3^16 + 3953621398123638428939996519/228534190277384322\ 9246265567*c_1001_3^15 + 12538833667072929403810105664/228534190277\ 3843229246265567*c_1001_3^14 + 38016636036667289223736824132/228534\ 1902773843229246265567*c_1001_3^13 + 62722439336246620727433775059/2285341902773843229246265567*c_1001_3\ ^12 + 210011336642611824057956444365/2285341902773843229246265567*c\ _1001_3^11 + 191971253274999382607789562316/22853419027738432292462\ 65567*c_1001_3^10 + 695125798703789757720833251471/2285341902773843\ 229246265567*c_1001_3^9 + 346640897070678478520060090166/2285341902\ 773843229246265567*c_1001_3^8 + 1302611554585713588926308308324/228\ 5341902773843229246265567*c_1001_3^7 + 293079255036063476085310998010/2285341902773843229246265567*c_1001_\ 3^6 + 1140095232040625468086229941674/2285341902773843229246265567*\ c_1001_3^5 - 174408628716651471410343383815/22853419027738432292462\ 65567*c_1001_3^4 - 187830168695611813276796901811/22853419027738432\ 29246265567*c_1001_3^3 + 94521500210995947955890579943/228534190277\ 3843229246265567*c_1001_3^2 + 20280035838760450061231794212/2285341\ 902773843229246265567*c_1001_3 - 5975638099308427537229709592/22853\ 41902773843229246265567, c_0101_12 - 544981587616583613224320865/2285341902773843229246265567*c_\ 1001_3^18 + 326727715130091890488239055/228534190277384322924626556\ 7*c_1001_3^17 - 11277660191966160249135594028/228534190277384322924\ 6265567*c_1001_3^16 + 4721310711201872062546056338/2285341902773843\ 229246265567*c_1001_3^15 - 105805603654020634779141858657/228534190\ 2773843229246265567*c_1001_3^14 + 37312436525786309160336344366/228\ 5341902773843229246265567*c_1001_3^13 - 565940324782895049201343947497/2285341902773843229246265567*c_1001_\ 3^12 + 149074968791140034468314259523/2285341902773843229246265567*\ c_1001_3^11 - 1814410014997255641175272790587/228534190277384322924\ 6265567*c_1001_3^10 + 312318835867902619601553275803/22853419027738\ 43229246265567*c_1001_3^9 - 3329829769060628169621996424109/2285341\ 902773843229246265567*c_1001_3^8 + 363606157924725443600059247699/2285341902773843229246265567*c_1001_\ 3^7 - 2935946734017451711785265857569/2285341902773843229246265567*\ c_1001_3^6 + 358595251300362394389183245575/22853419027738432292462\ 65567*c_1001_3^5 + 514628763725499249930764726463/22853419027738432\ 29246265567*c_1001_3^4 - 216590653803291324036872198576/22853419027\ 73843229246265567*c_1001_3^3 - 48161417749685776914976548244/228534\ 1902773843229246265567*c_1001_3^2 + 15641287047072901868263025919/2285341902773843229246265567*c_1001_3 - 283983578303878938424518025/2285341902773843229246265567, c_0101_5 - 327227190804289993395395886/2285341902773843229246265567*c_1\ 001_3^18 + 260269762642749699023821402/2285341902773843229246265567\ *c_1001_3^17 - 6816365636437877424938642783/22853419027738432292462\ 65567*c_1001_3^16 + 4166715685186186992971533167/228534190277384322\ 9246265567*c_1001_3^15 - 64220105240702147238609547641/228534190277\ 3843229246265567*c_1001_3^14 + 34939820752580293306784055299/228534\ 1902773843229246265567*c_1001_3^13 - 345492965585952398535349806266/2285341902773843229246265567*c_1001_\ 3^12 + 156865235115798795540403067708/2285341902773843229246265567*\ c_1001_3^11 - 1114080109848148969499599609808/228534190277384322924\ 6265567*c_1001_3^10 + 404635550757393083092121603447/22853419027738\ 43229246265567*c_1001_3^9 - 2059781595118243191441562243893/2285341\ 902773843229246265567*c_1001_3^8 + 620095990071784712902392971944/2285341902773843229246265567*c_1001_\ 3^7 - 1852031123123034161779234643543/2285341902773843229246265567*\ c_1001_3^6 + 577235337295097750148962471777/22853419027738432292462\ 65567*c_1001_3^5 + 219472753285879776945935116741/22853419027738432\ 29246265567*c_1001_3^4 - 174236993870309469843043328923/22853419027\ 73843229246265567*c_1001_3^3 - 7693009067877924563041740811/2285341\ 902773843229246265567*c_1001_3^2 + 14610671241027035837232517669/2285341902773843229246265567*c_1001_3 + 616150127881833004630505421/2285341902773843229246265567, c_1001_0 + 217754396812293619828924979/2285341902773843229246265567*c_1\ 001_3^18 - 66457952487342191464417653/2285341902773843229246265567*\ c_1001_3^17 + 4461294555528282824196951245/228534190277384322924626\ 5567*c_1001_3^16 - 554595026015685069574523171/22853419027738432292\ 46265567*c_1001_3^15 + 41585498413318487540532311016/22853419027738\ 43229246265567*c_1001_3^14 - 2372615773206015853552289067/228534190\ 2773843229246265567*c_1001_3^13 + 220447359196942650665994141231/22\ 85341902773843229246265567*c_1001_3^12 + 7790266324658761072088808185/2285341902773843229246265567*c_1001_3^\ 11 + 700329905149106671675673180779/2285341902773843229246265567*c_\ 1001_3^10 + 92316714889490463490568327644/2285341902773843229246265\ 567*c_1001_3^9 + 1270048173942384978180434180216/228534190277384322\ 9246265567*c_1001_3^8 + 256489832147059269302333724245/228534190277\ 3843229246265567*c_1001_3^7 + 1083915610894417550006031214026/22853\ 41902773843229246265567*c_1001_3^6 + 218640085994735355759779226202/2285341902773843229246265567*c_1001_\ 3^5 - 295156010439619472984829609722/2285341902773843229246265567*c\ _1001_3^4 + 42353659932981854193828869653/2285341902773843229246265\ 567*c_1001_3^3 + 40468408681807852351934807433/22853419027738432292\ 46265567*c_1001_3^2 - 1030615806045866031030508250/2285341902773843\ 229246265567*c_1001_3 + 900133706185711943055023446/228534190277384\ 3229246265567, c_1001_2 + 22411862332210919468690979/2285341902773843229246265567*c_10\ 01_3^18 + 99032455103990329698135896/2285341902773843229246265567*c\ _1001_3^17 + 377637706480575649194720410/22853419027738432292462655\ 67*c_1001_3^16 + 2146037317115762073389855528/228534190277384322924\ 6265567*c_1001_3^15 + 2984250603009913711283523813/2285341902773843\ 229246265567*c_1001_3^14 + 20496968888033585341614892579/2285341902\ 773843229246265567*c_1001_3^13 + 11841278242225626840681431834/2285\ 341902773843229246265567*c_1001_3^12 + 112267367669904979154188313905/2285341902773843229246265567*c_1001_\ 3^11 + 23544715563092690890277743307/2285341902773843229246265567*c\ _1001_3^10 + 368517632893928642383328859217/22853419027738432292462\ 65567*c_1001_3^9 + 5876764926747262271209383353/2285341902773843229\ 246265567*c_1001_3^8 + 689041221688438831756980880017/2285341902773\ 843229246265567*c_1001_3^7 - 81261942688618830353984982204/22853419\ 02773843229246265567*c_1001_3^6 + 615971667298589516001026741142/22\ 85341902773843229246265567*c_1001_3^5 - 217321954796550888321321390321/2285341902773843229246265567*c_1001_\ 3^4 - 70313158779752363071827230432/2285341902773843229246265567*c_\ 1001_3^3 + 46341352029815467493297295418/22853419027738432292462655\ 67*c_1001_3^2 + 7835994732872439875021640232/2285341902773843229246\ 265567*c_1001_3 - 2575798546851089621414707069/22853419027738432292\ 46265567, c_1001_3^19 - c_1001_3^18 + 21*c_1001_3^17 - 17*c_1001_3^16 + 199*c_1001_3^15 - 147*c_1001_3^14 + 1079*c_1001_3^13 - 696*c_1001_3^12 + 3510*c_1001_3^11 - 1936*c_1001_3^10 + 6572*c_1001_3^9 - 3191*c_1001_3^8 + 6096*c_1001_3^7 - 2937*c_1001_3^6 - 256*c_1001_3^5 + 652*c_1001_3^4 - 65*c_1001_3^3 - 51*c_1001_3^2 + 14*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.760 Total time: 5.960 seconds, Total memory usage: 64.12MB