Magma V2.19-8 Tue Aug 20 2013 17:59:39 on localhost [Seed = 1915995805] Type ? for help. Type -D to quit. Loading file "11_143__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_143 geometric_solution 12.34342061 oriented_manifold CS_known -0.0000000000000001 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 -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 -5 5 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594747738053 0.543619584548 0 2 3 5 0132 0213 0213 0132 0 0 0 0 0 1 0 -1 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 4 0 -4 0 0 -4 4 4 -4 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928401203408 0.672152282106 6 0 1 7 0132 0132 0213 0132 0 0 0 0 0 0 -1 1 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 -4 5 0 0 4 -4 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.549707259032 0.611372936288 8 1 9 0 0132 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -5 0 0 5 0 4 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096964606335 1.253639207606 8 9 0 10 1302 0132 0132 0132 0 0 0 0 0 0 0 0 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 1 -1 5 0 -5 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134926785550 0.920348683015 6 6 1 11 1023 0321 0132 0132 0 0 0 0 0 -1 1 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 -4 4 0 4 0 -4 0 -1 0 0 1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781025450270 1.060416434474 2 5 8 5 0132 1023 1023 0321 0 0 0 0 0 -1 0 1 0 0 1 -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 -4 0 4 0 0 5 -5 -1 1 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.549707259032 0.611372936288 10 11 2 8 0321 0321 0132 1023 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 -5 5 -4 0 4 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.453142106839 1.437624455632 3 4 6 7 0132 2031 1023 1023 0 0 0 0 0 1 -1 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 5 -5 0 5 0 0 -5 1 0 0 -1 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410088166945 0.694937290934 12 4 10 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685721117570 1.302897637358 7 12 4 9 0321 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 4 1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.023984428104 0.720296614697 12 12 5 7 3120 1230 0132 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 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693205201590 0.581899754906 9 10 11 11 0132 0132 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693205201590 0.581899754906 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_5']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_5'], 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_0'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : 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_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_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' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : negation(d['c_0011_7']), 'c_0110_12' : negation(d['c_0011_7']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_3'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_1001_0, c_1001_1, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 82062157259286854133578866858/275815734605114859501676198407*c_1100\ _0^15 + 258568480246729177097329169726/2758157346051148595016761984\ 07*c_1100_0^14 - 339326520379215823809295660/6582714429716345095505\ 39853*c_1100_0^13 - 417269012794008381630435554816/9193857820170495\ 3167225399469*c_1100_0^12 - 51571364570190068402137858424/102153975\ 77967217018580599941*c_1100_0^11 + 1718560271163214679742454958956/275815734605114859501676198407*c_11\ 00_0^10 + 7265839793650631184624106510699/2758157346051148595016761\ 98407*c_1100_0^9 + 2000838794281262829505127739892/2758157346051148\ 59501676198407*c_1100_0^8 - 4557418807316775814314125975639/9193857\ 8201704953167225399469*c_1100_0^7 - 36060153630239365568195201145064/275815734605114859501676198407*c_1\ 100_0^6 - 58594426806769490171067505478237/275815734605114859501676\ 198407*c_1100_0^5 - 84115694536699466635963067661019/27581573460511\ 4859501676198407*c_1100_0^4 - 104632997369343177055110914127680/275\ 815734605114859501676198407*c_1100_0^3 - 11499090897367559942068581917138/30646192733901651055741799823*c_11\ 00_0^2 - 7311383824362862808352390011285/30646192733901651055741799\ 823*c_1100_0 - 696453238804646171883613137854/102153975779672170185\ 80599941, c_0011_0 - 1, c_0011_10 + 10083123708389880893/2375376432023449910511*c_1100_0^15 + 21255937770269853328/2375376432023449910511*c_1100_0^14 - 49093857106829708353/2375376432023449910511*c_1100_0^13 - 42777026549317523192/791792144007816636837*c_1100_0^12 - 664576984245103969/263930714669272212279*c_1100_0^11 + 354812539639494450368/2375376432023449910511*c_1100_0^10 + 609095742179690986175/2375376432023449910511*c_1100_0^9 - 656971297065952786309/2375376432023449910511*c_1100_0^8 - 577160114351999646629/791792144007816636837*c_1100_0^7 - 2442892640568581150930/2375376432023449910511*c_1100_0^6 - 2923031718132820901218/2375376432023449910511*c_1100_0^5 - 4060466721838401682931/2375376432023449910511*c_1100_0^4 - 3462498103664898487354/2375376432023449910511*c_1100_0^3 - 1023277647387655988248/791792144007816636837*c_1100_0^2 + 253735467197500013537/263930714669272212279*c_1100_0 + 105940723091002219030/87976904889757404093, c_0011_11 - 11600585637579903190/2375376432023449910511*c_1100_0^15 - 22487108867481358082/2375376432023449910511*c_1100_0^14 + 56712521779832368925/2375376432023449910511*c_1100_0^13 + 44219036563383129736/791792144007816636837*c_1100_0^12 + 480083191935812468/263930714669272212279*c_1100_0^11 - 378689606518561742620/2375376432023449910511*c_1100_0^10 - 630785871181171703863/2375376432023449910511*c_1100_0^9 + 752581784149653854486/2375376432023449910511*c_1100_0^8 + 532462750922216428969/791792144007816636837*c_1100_0^7 + 2911196609157919012606/2375376432023449910511*c_1100_0^6 + 3393516871894272836387/2375376432023449910511*c_1100_0^5 + 4870874424407384945128/2375376432023449910511*c_1100_0^4 + 4108635343675299480428/2375376432023449910511*c_1100_0^3 + 512583198118145002601/791792144007816636837*c_1100_0^2 - 110374613864377496755/263930714669272212279*c_1100_0 - 115012967162182007012/87976904889757404093, c_0011_3 - 1023809348796120767/139728025413144112383*c_1100_0^15 - 1943774219055793870/139728025413144112383*c_1100_0^14 + 5732252647301536222/139728025413144112383*c_1100_0^13 + 3962093292889508588/46576008471048037461*c_1100_0^12 - 410781600629610443/15525336157016012487*c_1100_0^11 - 34611489743350998767/139728025413144112383*c_1100_0^10 - 53495605830842280446/139728025413144112383*c_1100_0^9 + 78099151126867612174/139728025413144112383*c_1100_0^8 + 54596691067118984678/46576008471048037461*c_1100_0^7 + 201958592985477575213/139728025413144112383*c_1100_0^6 + 289802249599838769349/139728025413144112383*c_1100_0^5 + 239751182491627982222/139728025413144112383*c_1100_0^4 + 241025499493433189029/139728025413144112383*c_1100_0^3 + 25472472780749832376/46576008471048037461*c_1100_0^2 - 27538299041259977183/15525336157016012487*c_1100_0 - 10343671768637611792/5175112052338670829, c_0011_7 - 589782546963053842/791792144007816636837*c_1100_0^15 - 2566375330888601912/791792144007816636837*c_1100_0^14 + 2952921612651987965/791792144007816636837*c_1100_0^13 + 1941295432823503142/87976904889757404093*c_1100_0^12 - 41648490299516678/29325634963252468031*c_1100_0^11 - 46059682048068659698/791792144007816636837*c_1100_0^10 - 56489655203081736085/791792144007816636837*c_1100_0^9 + 82724032854174305960/791792144007816636837*c_1100_0^8 + 84816274244652587053/263930714669272212279*c_1100_0^7 - 14985011253165845906/791792144007816636837*c_1100_0^6 + 239339169503284483961/791792144007816636837*c_1100_0^5 + 283329248109527120908/791792144007816636837*c_1100_0^4 + 689895992541850019351/791792144007816636837*c_1100_0^3 - 60098076373064181809/263930714669272212279*c_1100_0^2 - 8687881410070967237/29325634963252468031*c_1100_0 + 15121421474991334836/29325634963252468031, c_0101_0 + 16464010564213099301/2375376432023449910511*c_1100_0^15 + 44198563667015825353/2375376432023449910511*c_1100_0^14 - 65390878467708377665/2375376432023449910511*c_1100_0^13 - 88673814538758140894/791792144007816636837*c_1100_0^12 - 11418513034337099266/263930714669272212279*c_1100_0^11 + 648805390473692855498/2375376432023449910511*c_1100_0^10 + 1312680067572599797433/2375376432023449910511*c_1100_0^9 - 761863007993380152859/2375376432023449910511*c_1100_0^8 - 1228987333767494880578/791792144007816636837*c_1100_0^7 - 5080458193282611287276/2375376432023449910511*c_1100_0^6 - 6223505698376562876190/2375376432023449910511*c_1100_0^5 - 8427810847237932516140/2375376432023449910511*c_1100_0^4 - 9226493875430130374740/2375376432023449910511*c_1100_0^3 - 1426130046495228834856/791792144007816636837*c_1100_0^2 + 336376326497346017576/263930714669272212279*c_1100_0 + 198795284638611714712/87976904889757404093, c_0101_10 + 8211777952155448720/791792144007816636837*c_1100_0^15 + 19242010007385602156/791792144007816636837*c_1100_0^14 - 39044198449787973902/791792144007816636837*c_1100_0^13 - 12868113062364079634/87976904889757404093*c_1100_0^12 - 949564050570560101/87976904889757404093*c_1100_0^11 + 300733614610645092148/791792144007816636837*c_1100_0^10 + 526571634590619233218/791792144007816636837*c_1100_0^9 - 509687114509709809856/791792144007816636837*c_1100_0^8 - 518061973555525326728/263930714669272212279*c_1100_0^7 - 1944847582832041892311/791792144007816636837*c_1100_0^6 - 2817610889490645379964/791792144007816636837*c_1100_0^5 - 3553678310108644111336/791792144007816636837*c_1100_0^4 - 3840641145413916308066/791792144007816636837*c_1100_0^3 - 543525085771312872262/263930714669272212279*c_1100_0^2 + 63560086866055106827/29325634963252468031*c_1100_0 + 81765841672275140322/29325634963252468031, c_0101_11 - 330539922206936828/2375376432023449910511*c_1100_0^15 - 7616414118924936058/2375376432023449910511*c_1100_0^14 - 4721083121861898896/2375376432023449910511*c_1100_0^13 + 17406905681633897012/791792144007816636837*c_1100_0^12 + 4484851891673384296/263930714669272212279*c_1100_0^11 - 96888765410123510216/2375376432023449910511*c_1100_0^10 - 220643141821881530042/2375376432023449910511*c_1100_0^9 - 104243419275581425532/2375376432023449910511*c_1100_0^8 + 297938504441318139464/791792144007816636837*c_1100_0^7 + 506357762908708386326/2375376432023449910511*c_1100_0^6 + 584382585494591202421/2375376432023449910511*c_1100_0^5 + 736300733746725141272/2375376432023449910511*c_1100_0^4 + 1176441265293304670518/2375376432023449910511*c_1100_0^3 + 430885344806021125552/791792144007816636837*c_1100_0^2 - 65851171410736735442/263930714669272212279*c_1100_0 - 15675604203061789666/87976904889757404093, c_0101_12 - 160703784531471229/2375376432023449910511*c_1100_0^15 + 8077120645321168786/2375376432023449910511*c_1100_0^14 + 8842821167054310179/2375376432023449910511*c_1100_0^13 - 19128701129590209434/791792144007816636837*c_1100_0^12 - 5391019231768666489/263930714669272212279*c_1100_0^11 + 114127426217312763233/2375376432023449910511*c_1100_0^10 + 224836033136836511165/2375376432023449910511*c_1100_0^9 + 87849608080162908662/2375376432023449910511*c_1100_0^8 - 319950666142161867248/791792144007816636837*c_1100_0^7 - 332573321594388500915/2375376432023449910511*c_1100_0^6 - 306602414536221461671/2375376432023449910511*c_1100_0^5 - 882811648637410449188/2375376432023449910511*c_1100_0^4 - 1816797744623532474838/2375376432023449910511*c_1100_0^3 - 220949756117510544493/791792144007816636837*c_1100_0^2 + 54330162324690914840/263930714669272212279*c_1100_0 - 4443409705841750189/87976904889757404093, c_1001_0 + 8171323292253246859/2375376432023449910511*c_1100_0^15 + 13527466355140981115/2375376432023449910511*c_1100_0^14 - 51741716881655544041/2375376432023449910511*c_1100_0^13 - 27139203022518575812/791792144007816636837*c_1100_0^12 + 8569820882625418963/263930714669272212279*c_1100_0^11 + 253395453358242420946/2375376432023449910511*c_1100_0^10 + 267034836199257902221/2375376432023449910511*c_1100_0^9 - 767198335535749276709/2375376432023449910511*c_1100_0^8 - 325198586899081099606/791792144007816636837*c_1100_0^7 - 754084555213514389657/2375376432023449910511*c_1100_0^6 - 2229326970095373263702/2375376432023449910511*c_1100_0^5 - 2233224083087999817868/2375376432023449910511*c_1100_0^4 - 2295429560811618549458/2375376432023449910511*c_1100_0^3 - 204445210818709781930/791792144007816636837*c_1100_0^2 + 235664455297149943867/263930714669272212279*c_1100_0 + 46502240378213706254/87976904889757404093, c_1001_1 - 330539922206936828/2375376432023449910511*c_1100_0^15 - 7616414118924936058/2375376432023449910511*c_1100_0^14 - 4721083121861898896/2375376432023449910511*c_1100_0^13 + 17406905681633897012/791792144007816636837*c_1100_0^12 + 4484851891673384296/263930714669272212279*c_1100_0^11 - 96888765410123510216/2375376432023449910511*c_1100_0^10 - 220643141821881530042/2375376432023449910511*c_1100_0^9 - 104243419275581425532/2375376432023449910511*c_1100_0^8 + 297938504441318139464/791792144007816636837*c_1100_0^7 + 506357762908708386326/2375376432023449910511*c_1100_0^6 + 584382585494591202421/2375376432023449910511*c_1100_0^5 + 736300733746725141272/2375376432023449910511*c_1100_0^4 + 1176441265293304670518/2375376432023449910511*c_1100_0^3 + 430885344806021125552/791792144007816636837*c_1100_0^2 - 65851171410736735442/263930714669272212279*c_1100_0 - 103652509092819193759/87976904889757404093, c_1001_5 + 7410404922382903166/2375376432023449910511*c_1100_0^15 + 15973663143764887150/2375376432023449910511*c_1100_0^14 - 36124750131522570610/2375376432023449910511*c_1100_0^13 - 31622098914729005798/791792144007816636837*c_1100_0^12 - 517362799236333853/263930714669272212279*c_1100_0^11 + 262052894128974280526/2375376432023449910511*c_1100_0^10 + 463961407692988157807/2375376432023449910511*c_1100_0^9 - 522880278871767502288/2375376432023449910511*c_1100_0^8 - 440540194316192086187/791792144007816636837*c_1100_0^7 - 1687578303147483349946/2375376432023449910511*c_1100_0^6 - 2185210940241098219887/2375376432023449910511*c_1100_0^5 - 2677240326906653307803/2375376432023449910511*c_1100_0^4 - 4011578187375231771655/2375376432023449910511*c_1100_0^3 - 467844264260591442868/791792144007816636837*c_1100_0^2 + 65432026310995421228/263930714669272212279*c_1100_0 + 49420633333442718529/87976904889757404093, c_1100_0^16 + 3*c_1100_0^15 - 3*c_1100_0^14 - 17*c_1100_0^13 - 12*c_1100_0^12 + 34*c_1100_0^11 + 92*c_1100_0^10 - 10*c_1100_0^9 - 227*c_1100_0^8 - 397*c_1100_0^7 - 525*c_1100_0^6 - 651*c_1100_0^5 - 723*c_1100_0^4 - 509*c_1100_0^3 + 48*c_1100_0^2 + 468*c_1100_0 + 297 ], 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_3, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_1001_0, c_1001_1, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 81788038144437/677564981749100*c_1100_0^15 + 1107161943169/35661314828900*c_1100_0^14 - 1829825328131/19928381816150*c_1100_0^13 - 410871964619/2097724401700*c_1100_0^12 + 391653384847449/677564981749100*c_1100_0^11 + 25748173980481/33878249087455*c_1100_0^10 + 101660351041174/169391245437275*c_1100_0^9 + 874785507952531/677564981749100*c_1100_0^8 + 199604962007763/39856763632300*c_1100_0^7 + 3435518523853747/677564981749100*c_1100_0^6 + 33223677810413/17830657414450*c_1100_0^5 + 18891343312517/135512996349820*c_1100_0^4 + 6232906028543/2097724401700*c_1100_0^3 + 1767144744201/67756498174910*c_1100_0^2 - 638261288229566/169391245437275*c_1100_0 - 2296281788103151/677564981749100, c_0011_0 - 1, c_0011_10 - 1232097263/41954488034*c_1100_0^15 + 2248721203/41954488034*c_1100_0^14 + 2737812977/41954488034*c_1100_0^13 - 1401010379/20977244017*c_1100_0^12 - 3538692630/20977244017*c_1100_0^11 + 3321416291/41954488034*c_1100_0^10 + 14342893215/41954488034*c_1100_0^9 - 6066290959/41954488034*c_1100_0^8 - 13728459621/41954488034*c_1100_0^7 + 62268939987/41954488034*c_1100_0^6 + 98667809987/41954488034*c_1100_0^5 + 6133441622/20977244017*c_1100_0^4 + 9255982996/20977244017*c_1100_0^3 + 80676572097/41954488034*c_1100_0^2 + 47023879523/41954488034*c_1100_0 - 15122154399/41954488034, c_0011_11 + 194414753/41954488034*c_1100_0^15 + 784368769/20977244017*c_1100_0^14 - 1061526326/20977244017*c_1100_0^13 + 194895538/20977244017*c_1100_0^12 + 1199233240/20977244017*c_1100_0^11 + 5242295565/41954488034*c_1100_0^10 - 756388067/20977244017*c_1100_0^9 + 4032230333/20977244017*c_1100_0^8 + 31382891075/41954488034*c_1100_0^7 + 24552071459/20977244017*c_1100_0^6 - 2991692503/20977244017*c_1100_0^5 + 18486630453/20977244017*c_1100_0^4 + 28914059470/20977244017*c_1100_0^3 - 4647925381/41954488034*c_1100_0^2 - 20492086248/20977244017*c_1100_0 + 9214923238/20977244017, c_0011_3 + 1209450792/20977244017*c_1100_0^15 - 1717665583/41954488034*c_1100_0^14 + 929332447/41954488034*c_1100_0^13 - 1075336964/20977244017*c_1100_0^12 + 4516731463/20977244017*c_1100_0^11 + 3350232903/20977244017*c_1100_0^10 + 12852248397/41954488034*c_1100_0^9 + 29580640773/41954488034*c_1100_0^8 + 35675057045/20977244017*c_1100_0^7 + 46744933219/41954488034*c_1100_0^6 + 76553342809/41954488034*c_1100_0^5 + 22234775643/20977244017*c_1100_0^4 + 9736291159/20977244017*c_1100_0^3 + 26276519784/20977244017*c_1100_0^2 + 33860378575/41954488034*c_1100_0 - 15696528845/41954488034, c_0011_7 + 28699209/41954488034*c_1100_0^15 + 637512645/20977244017*c_1100_0^14 - 1451806177/20977244017*c_1100_0^13 - 1204584463/20977244017*c_1100_0^12 + 2048584027/20977244017*c_1100_0^11 + 5215141323/41954488034*c_1100_0^10 - 2001227977/20977244017*c_1100_0^9 - 7401492178/20977244017*c_1100_0^8 + 9206143877/41954488034*c_1100_0^7 + 3189411420/20977244017*c_1100_0^6 - 44724586281/20977244017*c_1100_0^5 - 47093726109/20977244017*c_1100_0^4 - 65629991/20977244017*c_1100_0^3 - 56862375433/41954488034*c_1100_0^2 - 37538120260/20977244017*c_1100_0 - 9830112767/20977244017, c_0101_0 - 139964471/20977244017*c_1100_0^15 + 2077028751/41954488034*c_1100_0^14 - 80590163/20977244017*c_1100_0^13 + 386132846/20977244017*c_1100_0^12 - 3526246115/20977244017*c_1100_0^11 + 5379371699/20977244017*c_1100_0^10 + 6298862081/41954488034*c_1100_0^9 + 7417849464/20977244017*c_1100_0^8 + 2372485276/20977244017*c_1100_0^7 + 69028924789/41954488034*c_1100_0^6 + 31858859484/20977244017*c_1100_0^5 + 23706773180/20977244017*c_1100_0^4 - 3739740117/20977244017*c_1100_0^3 + 33851413045/20977244017*c_1100_0^2 + 20920630663/41954488034*c_1100_0 + 3587097794/20977244017, c_0101_10 - 15115117/20977244017*c_1100_0^15 - 3650998847/41954488034*c_1100_0^14 + 1998308510/20977244017*c_1100_0^13 + 904240265/20977244017*c_1100_0^12 - 401249000/20977244017*c_1100_0^11 - 8115884561/20977244017*c_1100_0^10 - 3469740217/41954488034*c_1100_0^9 + 533710771/20977244017*c_1100_0^8 - 18488531014/20977244017*c_1100_0^7 - 86045941199/41954488034*c_1100_0^6 + 7474816161/20977244017*c_1100_0^5 + 10392168441/20977244017*c_1100_0^4 - 16962895690/20977244017*c_1100_0^3 - 691919801/20977244017*c_1100_0^2 + 27730539487/41954488034*c_1100_0 + 6309678368/20977244017, c_0101_11 - 1, c_0101_12 + 341872833/41954488034*c_1100_0^15 - 1276556315/41954488034*c_1100_0^14 + 157066755/41954488034*c_1100_0^13 + 1751086796/20977244017*c_1100_0^12 - 1422498120/20977244017*c_1100_0^11 - 438183101/41954488034*c_1100_0^10 - 5902455719/41954488034*c_1100_0^9 + 12518796773/41954488034*c_1100_0^8 - 6636536843/41954488034*c_1100_0^7 - 22291435647/41954488034*c_1100_0^6 + 16822923001/41954488034*c_1100_0^5 + 17996540913/20977244017*c_1100_0^4 - 26074624480/20977244017*c_1100_0^3 + 27993332659/41954488034*c_1100_0^2 + 21647462031/41954488034*c_1100_0 - 21015178743/41954488034, c_1001_0 + 15115117/20977244017*c_1100_0^15 + 3650998847/41954488034*c_1100_0^14 - 1998308510/20977244017*c_1100_0^13 - 904240265/20977244017*c_1100_0^12 + 401249000/20977244017*c_1100_0^11 + 8115884561/20977244017*c_1100_0^10 + 3469740217/41954488034*c_1100_0^9 - 533710771/20977244017*c_1100_0^8 + 18488531014/20977244017*c_1100_0^7 + 86045941199/41954488034*c_1100_0^6 - 7474816161/20977244017*c_1100_0^5 - 10392168441/20977244017*c_1100_0^4 + 16962895690/20977244017*c_1100_0^3 + 691919801/20977244017*c_1100_0^2 - 27730539487/41954488034*c_1100_0 - 6309678368/20977244017, c_1001_1 - 447700636/20977244017*c_1100_0^15 - 568034652/20977244017*c_1100_0^14 + 2036736938/20977244017*c_1100_0^13 - 1151560816/20977244017*c_1100_0^12 - 2528384785/20977244017*c_1100_0^11 - 3892012201/20977244017*c_1100_0^10 + 2784854357/20977244017*c_1100_0^9 - 7479359336/20977244017*c_1100_0^8 - 25646517052/20977244017*c_1100_0^7 - 21704467517/20977244017*c_1100_0^6 + 18127093077/20977244017*c_1100_0^5 - 31841807918/20977244017*c_1100_0^4 - 38050823483/20977244017*c_1100_0^3 - 4756312867/20977244017*c_1100_0^2 + 3334869107/20977244017*c_1100_0 - 24014225312/20977244017, c_1001_5 - 155079588/20977244017*c_1100_0^15 - 786985048/20977244017*c_1100_0^14 + 1917718347/20977244017*c_1100_0^13 + 1290373111/20977244017*c_1100_0^12 - 3927495115/20977244017*c_1100_0^11 - 2736512862/20977244017*c_1100_0^10 + 1414560932/20977244017*c_1100_0^9 + 7951560235/20977244017*c_1100_0^8 - 16116045738/20977244017*c_1100_0^7 - 8508508205/20977244017*c_1100_0^6 + 39333675645/20977244017*c_1100_0^5 + 34098941621/20977244017*c_1100_0^4 - 20702635807/20977244017*c_1100_0^3 + 33159493244/20977244017*c_1100_0^2 + 24325585075/20977244017*c_1100_0 + 9896776162/20977244017, c_1100_0^16 - c_1100_0^14 + 5*c_1100_0^12 + 4*c_1100_0^11 + 3*c_1100_0^10 + 14*c_1100_0^9 + 44*c_1100_0^8 + 32*c_1100_0^7 + 19*c_1100_0^6 + 44*c_1100_0^5 + 57*c_1100_0^4 + 14*c_1100_0^3 + 13*c_1100_0^2 + 18*c_1100_0 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.590 Total time: 1.800 seconds, Total memory usage: 64.12MB