Magma V2.19-8 Tue Aug 20 2013 23:56:19 on localhost [Seed = 2648438155] Type ? for help. Type -D to quit. Loading file "K12n856__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n856 geometric_solution 11.70662233 oriented_manifold CS_known 0.0000000000000008 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 0 1 1 0 0 -1 -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.135045945854 0.842329857441 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 -1 0 0 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.549065220914 0.744065079399 4 0 7 6 0213 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 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 0.655346765213 1.038270673739 3 3 6 0 1230 3012 3201 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.750932209875 0.884519486089 2 8 0 9 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 -1 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.213935535174 0.692232392504 1 1 10 8 2031 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 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.357897654602 0.870144227703 3 11 1 2 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315384164011 0.418977330639 9 12 10 2 0321 0132 2103 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.027939745077 1.522928248693 9 4 5 12 1023 0132 0132 0132 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 -1 0 0 1 7 -1 0 -6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.027939745077 1.522928248693 7 8 4 11 0321 1023 0132 2310 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 1 -1 0 -1 0 1 0 0 -7 0 7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.021783803570 0.821479398619 7 11 12 5 2103 0321 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.271216172734 1.005533664681 9 6 12 10 3201 0132 1302 0321 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 0 0 0 -7 0 6 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 1.081365679149 1.626118912663 11 7 8 10 2031 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 0 0 0 0 0 -1 1 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.397601388209 0.539262692480 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_0101_8'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_10'], 'c_0101_11' : negation(d['c_0011_12']), '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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_10'], 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1100_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : d['c_1100_10'], '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_1100_10'], '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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_11']), '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_10']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_10'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_12'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0011_3'], 'c_1100_9' : d['c_0011_11'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_3']), '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_12, c_0011_3, c_0011_4, c_0101_10, c_0101_3, c_0101_5, c_0101_8, c_1001_12, c_1001_5, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 3634795819158103727717395924102729659227435327/47042227209426860706\ 097101254355232101275128320*c_1100_10^15 - 57415508992424206732555285276948635513730367407/9408445441885372141\ 2194202508710464202550256640*c_1100_10^14 - 143972678828017814914941491756539338373708263047/627229696125691476\ 08129468339140309468366837760*c_1100_10^13 - 286181483118136047707605117203906518748766913641/470422272094268607\ 06097101254355232101275128320*c_1100_10^12 - 301218740890442786672170563913958562350489339711/171062644397915857\ 11308036819765538945918228480*c_1100_10^11 - 7264814052044787508773305298698380458309142131043/18816890883770744\ 2824388405017420928405100513280*c_1100_10^10 - 3527696267731834450808766154134046068316963149281/62722969612569147\ 608129468339140309468366837760*c_1100_10^9 - 14254194519135099160796777598338948305512511638349/1881689088377074\ 42824388405017420928405100513280*c_1100_10^8 - 26383671633148378294445593998339491257347979767083/1881689088377074\ 42824388405017420928405100513280*c_1100_10^7 - 15792730394532167357615643352857236089425167435/4228514805341740288\ 18850348353754895292360704*c_1100_10^6 + 247403303134355960385416202004891219174979095389/627229696125691476\ 08129468339140309468366837760*c_1100_10^5 + 21187653949617353406315353458985073548213423321903/1881689088377074\ 42824388405017420928405100513280*c_1100_10^4 - 18695320793802266135103066685960408944705633321503/2352111360471343\ 0353048550627177616050637564160*c_1100_10^3 + 29382208039517025661960881235931775630466701638767/2352111360471343\ 0353048550627177616050637564160*c_1100_10^2 - 4922032863490236131010016794777649135094541502363/58802784011783575\ 88262137656794404012659391040*c_1100_10 + 108908362162913057173690248036607262408280959491/490023200098196465\ 688511471399533667721615920, c_0011_0 - 1, c_0011_10 + 8188169342326883488729974100222353/126677487625635715592390\ 913750489780544*c_1100_10^15 + 92302841437911217270598429427432409/\ 253354975251271431184781827500979561088*c_1100_10^14 + 367911239019315449060379733654378163/506709950502542862369563655001\ 959122176*c_1100_10^13 + 7982388629412291170034302161047329/1583468\ 5953204464449048864218811222568*c_1100_10^12 + 1342164916144887710377565061483560611/50670995050254286236956365500\ 1959122176*c_1100_10^11 - 881588788915595204603055757998600639/5067\ 09950502542862369563655001959122176*c_1100_10^10 - 14147547427978728141116967317436986383/5067099505025428623695636550\ 01959122176*c_1100_10^9 - 20403740793146358182445386230587484489/50\ 6709950502542862369563655001959122176*c_1100_10^8 + 114913944533011523664414752985978145/506709950502542862369563655001\ 959122176*c_1100_10^7 - 94342052413912502549738101444967589611/5067\ 09950502542862369563655001959122176*c_1100_10^6 - 2283816046476188210765454752570234805/50670995050254286236956365500\ 1959122176*c_1100_10^5 + 73226172608509440223913669690029602731/506\ 709950502542862369563655001959122176*c_1100_10^4 + 136555600227298107617853378015103778281/126677487625635715592390913\ 750489780544*c_1100_10^3 - 76371011766413472988977351607303936531/3\ 1669371906408928898097728437622445136*c_1100_10^2 + 11078998071451373696992045538350744661/3958671488301116112262216054\ 702805642*c_1100_10 - 852845347974864674733912108380364536/19793357\ 44150558056131108027351402821, c_0011_11 + 94655152756587095246250403647974085/12667748762563571559239\ 0913750489780544*c_1100_10^15 + 16386894569914586060183408674931706\ 69/253354975251271431184781827500979561088*c_1100_10^14 + 13802706655442939867668389256340917903/5067099505025428623695636550\ 01959122176*c_1100_10^13 + 159696641745119804785430343092773980/197\ 9335744150558056131108027351402821*c_1100_10^12 + 119930742300109437175559652019156299647/506709950502542862369563655\ 001959122176*c_1100_10^11 + 288336305619443461075951306160145841813\ /506709950502542862369563655001959122176*c_1100_10^10 + 518897910598247809636673161798544670789/506709950502542862369563655\ 001959122176*c_1100_10^9 + 823284172837676078089246680491363325123/\ 506709950502542862369563655001959122176*c_1100_10^8 + 1412376918151693435114452602189673788405/50670995050254286236956365\ 5001959122176*c_1100_10^7 + 139054872381575498936759351757266473746\ 5/506709950502542862369563655001959122176*c_1100_10^6 + 1242427068891121915763621902202368207335/50670995050254286236956365\ 5001959122176*c_1100_10^5 + 502355376882610289998096468753111621767\ /506709950502542862369563655001959122176*c_1100_10^4 + 1038098089773778066253348954977148710645/12667748762563571559239091\ 3750489780544*c_1100_10^3 - 209262017369786820737500839751682670175\ /31669371906408928898097728437622445136*c_1100_10^2 + 17893427635975320591627331229800094405/3958671488301116112262216054\ 702805642*c_1100_10 - 734645758169112135972370734997565044/19793357\ 44150558056131108027351402821, c_0011_12 + 2505969713396021890386002266102649/316693719064089288980977\ 28437622445136*c_1100_10^15 + 51141026360798979642724027007828269/6\ 3338743812817857796195456875244890272*c_1100_10^14 + 508264595170613983222122653743155287/126677487625635715592390913750\ 489780544*c_1100_10^13 + 858221296636268306751188331211317449/63338\ 743812817857796195456875244890272*c_1100_10^12 + 5094036063732749190597544247871398691/12667748762563571559239091375\ 0489780544*c_1100_10^11 + 13063679653028240396755473912748970251/12\ 6677487625635715592390913750489780544*c_1100_10^10 + 26720689538397667792148089833967974039/1266774876256357155923909137\ 50489780544*c_1100_10^9 + 45116379871860866989123110202908321341/12\ 6677487625635715592390913750489780544*c_1100_10^8 + 72291342006469548079053655327316227387/1266774876256357155923909137\ 50489780544*c_1100_10^7 + 91612690662883971573669933336595080123/12\ 6677487625635715592390913750489780544*c_1100_10^6 + 84650154961837375454643549831018321865/1266774876256357155923909137\ 50489780544*c_1100_10^5 + 42983570277925042941461475335152112685/12\ 6677487625635715592390913750489780544*c_1100_10^4 + 53686390260783438923500576701552087599/6333874381281785779619545687\ 5244890272*c_1100_10^3 + 704739507260652966082034040434608351/79173\ 42976602232224524432109405611284*c_1100_10^2 - 732459595432556522901858410847374647/197933574415055805613110802735\ 1402821*c_1100_10 - 1280485686744361873355251897681708806/197933574\ 4150558056131108027351402821, c_0011_3 - 8426302362021081124189616599355873/3166937190640892889809772\ 8437622445136*c_1100_10^15 - 130536847273076378093059290604409637/6\ 3338743812817857796195456875244890272*c_1100_10^14 - 919988941431461666066456546315104207/126677487625635715592390913750\ 489780544*c_1100_10^13 - 1056710483152605604885619915629087713/6333\ 8743812817857796195456875244890272*c_1100_10^12 - 5479631487230255905076217052297875855/12667748762563571559239091375\ 0489780544*c_1100_10^11 - 10006595932855666661667271302092018203/12\ 6677487625635715592390913750489780544*c_1100_10^10 - 5781636053912305719449789133562215611/12667748762563571559239091375\ 0489780544*c_1100_10^9 + 10161944827231600291209532823107150071/126\ 677487625635715592390913750489780544*c_1100_10^8 + 19064450701868737376597521114483218905/1266774876256357155923909137\ 50489780544*c_1100_10^7 + 110286025743329878116595478126166449921/1\ 26677487625635715592390913750489780544*c_1100_10^6 + 184598455126159957297308253681492131627/126677487625635715592390913\ 750489780544*c_1100_10^5 + 246595263812208080116563619693681246599/\ 126677487625635715592390913750489780544*c_1100_10^4 - 96513835209645246385842400744137170333/6333874381281785779619545687\ 5244890272*c_1100_10^3 + 143936196878260665488947023585221314835/31\ 669371906408928898097728437622445136*c_1100_10^2 - 4783351967094512922460227018520469881/39586714883011161122622160547\ 02805642*c_1100_10 + 647358398666489862629923344218279667/197933574\ 4150558056131108027351402821, c_0011_4 + 61780664383261051749105146746627119/126677487625635715592390\ 913750489780544*c_1100_10^15 + 102618455621329009338607375807261069\ 5/253354975251271431184781827500979561088*c_1100_10^14 + 8221051249283109709982909714164804269/50670995050254286236956365500\ 1959122176*c_1100_10^13 + 1450192230786886730347923762889046513/316\ 69371906408928898097728437622445136*c_1100_10^12 + 67601454964026850513846051180573420349/5067099505025428623695636550\ 01959122176*c_1100_10^11 + 157084650586696677285838250412600731119/\ 506709950502542862369563655001959122176*c_1100_10^10 + 262207722611391067196985315667770262591/506709950502542862369563655\ 001959122176*c_1100_10^9 + 393232929829224222496650726784944239673/\ 506709950502542862369563655001959122176*c_1100_10^8 + 691622245543616478146852866362121596463/506709950502542862369563655\ 001959122176*c_1100_10^7 + 534252181543513272201091065117235291291/\ 506709950502542862369563655001959122176*c_1100_10^6 + 397971793898532733796426307615426410213/506709950502542862369563655\ 001959122176*c_1100_10^5 - 31208069684972125867847252584641089563/5\ 06709950502542862369563655001959122176*c_1100_10^4 + 656825895235312251069046942714865238587/126677487625635715592390913\ 750489780544*c_1100_10^3 - 188219342813572472368423776425259105823/\ 31669371906408928898097728437622445136*c_1100_10^2 + 6964611406444456154083948816247351579/19793357441505580561311080273\ 51402821*c_1100_10 - 869995431240777964194753295603812070/197933574\ 4150558056131108027351402821, c_0101_10 + 61780664383261051749105146746627119/12667748762563571559239\ 0913750489780544*c_1100_10^15 + 10261845562132900933860737580726106\ 95/253354975251271431184781827500979561088*c_1100_10^14 + 8221051249283109709982909714164804269/50670995050254286236956365500\ 1959122176*c_1100_10^13 + 1450192230786886730347923762889046513/316\ 69371906408928898097728437622445136*c_1100_10^12 + 67601454964026850513846051180573420349/5067099505025428623695636550\ 01959122176*c_1100_10^11 + 157084650586696677285838250412600731119/\ 506709950502542862369563655001959122176*c_1100_10^10 + 262207722611391067196985315667770262591/506709950502542862369563655\ 001959122176*c_1100_10^9 + 393232929829224222496650726784944239673/\ 506709950502542862369563655001959122176*c_1100_10^8 + 691622245543616478146852866362121596463/506709950502542862369563655\ 001959122176*c_1100_10^7 + 534252181543513272201091065117235291291/\ 506709950502542862369563655001959122176*c_1100_10^6 + 397971793898532733796426307615426410213/506709950502542862369563655\ 001959122176*c_1100_10^5 - 31208069684972125867847252584641089563/5\ 06709950502542862369563655001959122176*c_1100_10^4 + 656825895235312251069046942714865238587/126677487625635715592390913\ 750489780544*c_1100_10^3 - 188219342813572472368423776425259105823/\ 31669371906408928898097728437622445136*c_1100_10^2 + 6964611406444456154083948816247351579/19793357441505580561311080273\ 51402821*c_1100_10 - 869995431240777964194753295603812070/197933574\ 4150558056131108027351402821, c_0101_3 - 22964415930113746783236183099752149/126677487625635715592390\ 913750489780544*c_1100_10^15 - 352050149969207326922271391911783437\ /253354975251271431184781827500979561088*c_1100_10^14 - 2577213473479367941484845085131865295/50670995050254286236956365500\ 1959122176*c_1100_10^13 - 839633914494463221791428387401996971/6333\ 8743812817857796195456875244890272*c_1100_10^12 - 19596163836614597731378837793579901743/5067099505025428623695636550\ 01959122176*c_1100_10^11 - 41469867981056759696261140987755177789/5\ 06709950502542862369563655001959122176*c_1100_10^10 - 56796058672946407331375302795175527069/5067099505025428623695636550\ 01959122176*c_1100_10^9 - 74619000308793038729581490828858109627/50\ 6709950502542862369563655001959122176*c_1100_10^8 - 142636043470182165973128459275421946813/506709950502542862369563655\ 001959122176*c_1100_10^7 + 2659108798444700369462670691325676399/50\ 6709950502542862369563655001959122176*c_1100_10^6 + 13762311488244471887927630050541429953/5067099505025428623695636550\ 01959122176*c_1100_10^5 + 84576385683760128707668159017708141169/50\ 6709950502542862369563655001959122176*c_1100_10^4 - 279163629098344353182904803934016875675/126677487625635715592390913\ 750489780544*c_1100_10^3 + 103411828064412922162869183653011294689/\ 31669371906408928898097728437622445136*c_1100_10^2 - 24667177377482155210532555371017328415/7917342976602232224524432109\ 405611284*c_1100_10 + 572753445427998922845074681073586211/19793357\ 44150558056131108027351402821, c_0101_5 + 26740885850891623845537203570779/791734297660223222452443210\ 9405611284*c_1100_10^15 - 146971554114441455162754537578715/1583468\ 5953204464449048864218811222568*c_1100_10^14 - 7258637439495448637161042870984957/31669371906408928898097728437622\ 445136*c_1100_10^13 - 40937175829731865313716775209589629/316693719\ 06408928898097728437622445136*c_1100_10^12 - 142910160138371047210341535766996027/316693719064089288980977284376\ 22445136*c_1100_10^11 - 228160734202368178014036974839394037/158346\ 85953204464449048864218811222568*c_1100_10^10 - 146994062210591682677110700384768243/395867148830111611226221605470\ 2805642*c_1100_10^9 - 1206653604093558159186013347087312207/1583468\ 5953204464449048864218811222568*c_1100_10^8 - 2074775374971257548963026160763562525/15834685953204464449048864218\ 811222568*c_1100_10^7 - 1699342626727420507742369576185489579/79173\ 42976602232224524432109405611284*c_1100_10^6 - 3774065505735554374646720757559449655/15834685953204464449048864218\ 811222568*c_1100_10^5 - 1113511421500260609387314489327079501/39586\ 71488301116112262216054702805642*c_1100_10^4 - 1286146668920255375977616190318183805/31669371906408928898097728437\ 622445136*c_1100_10^3 - 1820758412334994368529839388422431781/39586\ 71488301116112262216054702805642*c_1100_10^2 + 1786100854370273685519683682784511548/19793357441505580561311080273\ 51402821*c_1100_10 - 716943087989439192170696389047226487/197933574\ 4150558056131108027351402821, c_0101_8 + 2399006169992455395003853451819533/3166937190640892889809772\ 8437622445136*c_1100_10^15 + 51728912577256745463375045158143129/63\ 338743812817857796195456875244890272*c_1100_10^14 + 537299144928595777770766825227095115/126677487625635715592390913750\ 489780544*c_1100_10^13 + 940095648295732037378621881630496707/63338\ 743812817857796195456875244890272*c_1100_10^12 + 5665676704286233379438910390939382799/12667748762563571559239091375\ 0489780544*c_1100_10^11 + 14888965526647185820867769711464122547/12\ 6677487625635715592390913750489780544*c_1100_10^10 + 31424499529136601637815632246280557815/1266774876256357155923909137\ 50489780544*c_1100_10^9 + 54769608704609332262611216979606818997/12\ 6677487625635715592390913750489780544*c_1100_10^8 + 88889545006239608470757864613424727587/1266774876256357155923909137\ 50489780544*c_1100_10^7 + 118802172690522699697547846555562913387/1\ 26677487625635715592390913750489780544*c_1100_10^6 + 114842679007721810451817315891493919105/126677487625635715592390913\ 750489780544*c_1100_10^5 + 78615935765933382441855538993618656717/1\ 26677487625635715592390913750489780544*c_1100_10^4 + 56258683598623949675455809082188455209/6333874381281785779619545687\ 5244890272*c_1100_10^3 + 4346256331930641703141712817279471913/7917\ 342976602232224524432109405611284*c_1100_10^2 - 539224705652272152290434066280483374/197933574415055805613110802735\ 1402821*c_1100_10 + 1415793145395635374946552518716920502/197933574\ 4150558056131108027351402821, c_1001_12 - 23978041365271530053461722888576413/12667748762563571559239\ 0913750489780544*c_1100_10^15 - 43334105447967455984951016645654352\ 5/253354975251271431184781827500979561088*c_1100_10^14 - 3676140599061953299921758232935861303/50670995050254286236956365500\ 1959122176*c_1100_10^13 - 651075692769524251740927178931137995/3166\ 9371906408928898097728437622445136*c_1100_10^12 - 28463238544598467083285696005676211431/5067099505025428623695636550\ 01959122176*c_1100_10^11 - 65886907109503429528363318685426988893/5\ 06709950502542862369563655001959122176*c_1100_10^10 - 104275233390911079452319830608558427725/506709950502542862369563655\ 001959122176*c_1100_10^9 - 123135940033418398621471869736742506651/\ 506709950502542862369563655001959122176*c_1100_10^8 - 180324839731671631923116771956754937885/506709950502542862369563655\ 001959122176*c_1100_10^7 - 94261106731588962515305476660616287649/5\ 06709950502542862369563655001959122176*c_1100_10^6 + 156118582627809529579511781937281590305/506709950502542862369563655\ 001959122176*c_1100_10^5 + 399244762419619795675762603085075696161/\ 506709950502542862369563655001959122176*c_1100_10^4 - 166038863686416464325771396333636041953/126677487625635715592390913\ 750489780544*c_1100_10^3 + 21489824906918857641602353550130551245/3\ 1669371906408928898097728437622445136*c_1100_10^2 + 4163010576793105461740149067185113693/19793357441505580561311080273\ 51402821*c_1100_10 - 1051125490019133065112432647786711506/19793357\ 44150558056131108027351402821, c_1001_5 + 2399006169992455395003853451819533/3166937190640892889809772\ 8437622445136*c_1100_10^15 + 51728912577256745463375045158143129/63\ 338743812817857796195456875244890272*c_1100_10^14 + 537299144928595777770766825227095115/126677487625635715592390913750\ 489780544*c_1100_10^13 + 940095648295732037378621881630496707/63338\ 743812817857796195456875244890272*c_1100_10^12 + 5665676704286233379438910390939382799/12667748762563571559239091375\ 0489780544*c_1100_10^11 + 14888965526647185820867769711464122547/12\ 6677487625635715592390913750489780544*c_1100_10^10 + 31424499529136601637815632246280557815/1266774876256357155923909137\ 50489780544*c_1100_10^9 + 54769608704609332262611216979606818997/12\ 6677487625635715592390913750489780544*c_1100_10^8 + 88889545006239608470757864613424727587/1266774876256357155923909137\ 50489780544*c_1100_10^7 + 118802172690522699697547846555562913387/1\ 26677487625635715592390913750489780544*c_1100_10^6 + 114842679007721810451817315891493919105/126677487625635715592390913\ 750489780544*c_1100_10^5 + 78615935765933382441855538993618656717/1\ 26677487625635715592390913750489780544*c_1100_10^4 + 56258683598623949675455809082188455209/6333874381281785779619545687\ 5244890272*c_1100_10^3 + 4346256331930641703141712817279471913/7917\ 342976602232224524432109405611284*c_1100_10^2 - 539224705652272152290434066280483374/197933574415055805613110802735\ 1402821*c_1100_10 - 563542598754922681184555508634482319/1979335744\ 150558056131108027351402821, c_1100_10^16 + 17/2*c_1100_10^15 + 139/4*c_1100_10^14 + 99*c_1100_10^13 + 1139/4*c_1100_10^12 + 2653/4*c_1100_10^11 + 4421/4*c_1100_10^10 + 6379/4*c_1100_10^9 + 10765/4*c_1100_10^8 + 7977/4*c_1100_10^7 + 3919/4*c_1100_10^6 - 3897/4*c_1100_10^5 + 9740*c_1100_10^4 - 10088*c_1100_10^3 + 4176*c_1100_10^2 + 128*c_1100_10 + 256 ], 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_12, c_0011_3, c_0011_4, c_0101_10, c_0101_3, c_0101_5, c_0101_8, c_1001_12, c_1001_5, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 264849156451292389/2324529363463932147*c_1001_5*c_1100_10^9 - 4318512976524794773/2324529363463932147*c_1001_5*c_1100_10^8 + 25339213671186129497/2324529363463932147*c_1001_5*c_1100_10^7 - 83955687562950229172/2324529363463932147*c_1001_5*c_1100_10^6 + 75606241673133904551/774843121154644049*c_1001_5*c_1100_10^5 - 3690161763767588086/26718728315677381*c_1001_5*c_1100_10^4 + 442615501083855363994/2324529363463932147*c_1001_5*c_1100_10^3 - 336980849392737870190/2324529363463932147*c_1001_5*c_1100_10^2 + 103321960770228013945/2324529363463932147*c_1001_5*c_1100_10 - 36076131050654394613/2324529363463932147*c_1001_5 + 8839718606549211046/2324529363463932147*c_1100_10^9 - 25779738917174481247/774843121154644049*c_1100_10^8 + 244729999757955830915/2324529363463932147*c_1100_10^7 - 268122371798031355334/774843121154644049*c_1100_10^6 + 335100986600591926370/774843121154644049*c_1100_10^5 - 17588517196735772056/26718728315677381*c_1100_10^4 + 1054291414207111750771/2324529363463932147*c_1100_10^3 - 36968031709640765801/774843121154644049*c_1100_10^2 + 62364464782305484348/2324529363463932147*c_1100_10 + 12715893653752852871/774843121154644049, c_0011_0 - 1, c_0011_10 - 30550/121351*c_1001_5*c_1100_10^9 + 275533/121351*c_1001_5*c_1100_10^8 - 917631/121351*c_1001_5*c_1100_10^7 + 3007312/121351*c_1001_5*c_1100_10^6 - 4231327/121351*c_1001_5*c_1100_10^5 + 6236195/121351*c_1001_5*c_1100_10^4 - 5154583/121351*c_1001_5*c_1100_10^3 + 1393755/121351*c_1001_5*c_1100_10^2 - 440391/121351*c_1001_5*c_1100_10 + 11462/121351*c_1001_5 - 104016515/391842379*c_1100_10^9 + 913547263/391842379*c_1100_10^8 - 2909756137/391842379*c_1100_10^7 + 9561209041/391842379*c_1100_10^6 - 12177692826/391842379*c_1100_10^5 + 18514106732/391842379*c_1100_10^4 - 13339508830/391842379*c_1100_10^3 + 2140232343/391842379*c_1100_10^2 - 1000345805/391842379*c_1100_10 - 123833746/391842379, c_0011_11 + 160844544/391842379*c_1100_10^9 - 1452971461/391842379*c_1100_10^8 + 4849187526/391842379*c_1100_10^7 - 15870335494/391842379*c_1100_10^6 + 22368834753/391842379*c_1100_10^5 - 32774625815/391842379*c_1100_10^4 + 27007761909/391842379*c_1100_10^3 - 7311100227/391842379*c_1100_10^2 + 2304289224/391842379*c_1100_10 - 60856898/391842379, c_0011_12 + 90738/391842379*c_1100_10^9 - 8268038/391842379*c_1100_10^8 + 67340724/391842379*c_1100_10^7 - 195866102/391842379*c_1100_10^6 + 561339822/391842379*c_1100_10^5 - 514991762/391842379*c_1100_10^4 + 200023356/391842379*c_1100_10^3 - 90068122/391842379*c_1100_10^2 - 1650547637/391842379*c_1100_10 - 3170278/391842379, c_0011_3 + 149576712/391842379*c_1100_10^9 - 1347775547/391842379*c_1100_10^8 + 4501522242/391842379*c_1100_10^7 - 14851514639/391842379*c_1100_10^6 + 21063998079/391842379*c_1100_10^5 - 31983826065/391842379*c_1100_10^4 + 26681619432/391842379*c_1100_10^3 - 9896721853/391842379*c_1100_10^2 + 4342332144/391842379*c_1100_10 - 449665106/391842379, c_0011_4 + 160844544/391842379*c_1001_5*c_1100_10^9 - 1452971461/391842379*c_1001_5*c_1100_10^8 + 4849187526/391842379*c_1001_5*c_1100_10^7 - 15870335494/391842379*c_1001_5*c_1100_10^6 + 22368834753/391842379*c_1001_5*c_1100_10^5 - 32774625815/391842379*c_1001_5*c_1100_10^4 + 27007761909/391842379*c_1001_5*c_1100_10^3 - 7311100227/391842379*c_1001_5*c_1100_10^2 + 2304289224/391842379*c_1001_5*c_1100_10 - 60856898/391842379*c_1001_5 - 91392878/391842379*c_1100_10^9 + 862192852/391842379*c_1100_10^8 - 3071643463/391842379*c_1100_10^7 + 10007489972/391842379*c_1100_10^6 - 16023130635/391842379*c_1100_10^5 + 22674071171/391842379*c_1100_10^4 - 21958985989/391842379*c_1100_10^3 + 8299347458/391842379*c_1100_10^2 - 2102626325/391842379*c_1100_10 + 296501292/391842379, c_0101_10 - 160844544/391842379*c_1001_5*c_1100_10^9 + 1452971461/391842379*c_1001_5*c_1100_10^8 - 4849187526/391842379*c_1001_5*c_1100_10^7 + 15870335494/391842379*c_1001_5*c_1100_10^6 - 22368834753/391842379*c_1001_5*c_1100_10^5 + 32774625815/391842379*c_1001_5*c_1100_10^4 - 27007761909/391842379*c_1001_5*c_1100_10^3 + 7311100227/391842379*c_1001_5*c_1100_10^2 - 2304289224/391842379*c_1001_5*c_1100_10 + 60856898/391842379*c_1001_5 - 7253072/391842379*c_1100_10^9 + 27503205/391842379*c_1100_10^8 + 108612964/391842379*c_1100_10^7 - 296879524/391842379*c_1100_10^6 + 2360175752/391842379*c_1100_10^5 - 2537397516/391842379*c_1100_10^4 + 5314837482/391842379*c_1100_10^3 - 3798912563/391842379*c_1100_10^2 + 680603786/391842379*c_1100_10 - 259490494/391842379, c_0101_3 - 136998444/391842379*c_1100_10^9 + 1300555155/391842379*c_1100_10^8 - 4697079930/391842379*c_1100_10^7 + 15395728621/391842379*c_1100_10^6 - 25190105799/391842379*c_1100_10^5 + 36401286385/391842379*c_1100_10^4 - 35401108269/391842379*c_1100_10^3 + 16100871029/391842379*c_1100_10^2 - 4423417656/391842379*c_1100_10 + 871585283/391842379, c_0101_5 - c_1001_5 - 1585139/391842379*c_1100_10^9 + 14220882/391842379*c_1100_10^8 - 43420151/391842379*c_1100_10^7 + 123258399/391842379*c_1100_10^6 - 123986409/391842379*c_1100_10^5 + 56964696/391842379*c_1100_10^4 - 24658861/391842379*c_1100_10^3 + 4607496/391842379*c_1100_10^2 - 934970/391842379*c_1100_10 + 242265667/391842379, c_0101_8 - 45369/391842379*c_1100_10^9 + 4134019/391842379*c_1100_10^8 - 33670362/391842379*c_1100_10^7 + 97933051/391842379*c_1100_10^6 - 280669911/391842379*c_1100_10^5 + 257495881/391842379*c_1100_10^4 - 100011678/391842379*c_1100_10^3 + 45034061/391842379*c_1100_10^2 + 629352629/391842379*c_1100_10 + 1585139/391842379, c_1001_12 - 160844544/391842379*c_1100_10^9 + 1452971461/391842379*c_1100_10^8 - 4849187526/391842379*c_1100_10^7 + 15870335494/391842379*c_1100_10^6 - 22368834753/391842379*c_1100_10^5 + 32774625815/391842379*c_1100_10^4 - 27007761909/391842379*c_1100_10^3 + 7311100227/391842379*c_1100_10^2 - 2304289224/391842379*c_1100_10 + 60856898/391842379, c_1001_5^2 + 1675877/391842379*c_1001_5*c_1100_10^9 - 22488920/391842379*c_1001_5*c_1100_10^8 + 110760875/391842379*c_1001_5*c_1100_10^7 - 319124501/391842379*c_1001_5*c_1100_10^6 + 685326231/391842379*c_1001_5*c_1100_10^5 - 571956458/391842379*c_1001_5*c_1100_10^4 + 224682217/391842379*c_1001_5*c_1100_10^3 - 94675618/391842379*c_1001_5*c_1100_10^2 - 1257770288/391842379*c_1001_5*c_1100_10 - 245435945/391842379*c_1001_5 + 3816436/391842379*c_1100_10^9 - 40577330/391842379*c_1100_10^8 + 160782244/391842379*c_1100_10^7 - 470184353/391842379*c_1100_10^6 + 809172106/391842379*c_1100_10^5 - 606927758/391842379*c_1100_10^4 + 242063063/391842379*c_1100_10^3 + 932442587/391842379*c_1100_10^2 - 1257256226/391842379*c_1100_10 + 388717470/391842379, c_1100_10^10 - 9*c_1100_10^9 + 30*c_1100_10^8 - 99*c_1100_10^7 + 140*c_1100_10^6 - 213*c_1100_10^5 + 178*c_1100_10^4 - 66*c_1100_10^3 + 29*c_1100_10^2 - 3*c_1100_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.970 Total time: 5.179 seconds, Total memory usage: 82.06MB