Magma V2.19-8 Tue Aug 20 2013 18:12:40 on localhost [Seed = 559979176] Type ? for help. Type -D to quit. Loading file "11_300__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_300 geometric_solution 12.69652934 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 14 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 0 1 -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.493165156045 1.345126837298 0 4 6 5 0132 1023 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.074803958949 1.133731210663 7 0 5 8 0132 0132 1302 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 0 0 0 0 13 0 0 -13 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511878428343 0.659737542138 7 9 10 0 2031 0132 0132 0132 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 1 0 -1 1 0 0 -1 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.051564246293 1.555287387356 1 7 0 8 1023 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 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.380448460557 0.629239872113 2 11 1 12 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 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.119567135895 0.681039987147 8 9 10 1 1230 1230 3120 0132 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 0 0 0 0 0 13 -12 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265885358687 0.946168000623 2 4 3 12 0132 0132 1302 1230 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 -13 1 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.050174099113 0.999256143356 9 6 2 4 0213 3012 0132 0213 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 1 0 0 -1 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.942054752486 0.878220037271 8 3 6 13 0213 0132 3012 0132 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 -1 0 1 0 0 0 0 -1 0 0 1 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.119567135895 0.681039987147 12 13 6 3 3120 0321 3120 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.425955836741 0.320258514008 12 5 13 13 1023 0132 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.044222375794 0.961222960411 7 11 5 10 3012 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286192822492 0.801782467088 11 11 9 10 3012 3201 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 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.044222375794 0.961222960411 ==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' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0101_11']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0101_13'], 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : negation(d['c_0101_11']), 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_13' : negation(d['c_0101_11']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_13'], 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], '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_13' : 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' : negation(d['1']), 's_0_4' : 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_1001_10'], 'c_1100_8' : d['c_0101_0'], 'c_0011_13' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : d['c_0101_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_6']), 'c_1100_13' : d['c_1001_10'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_0101_11'], 's_0_13' : d['1'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_0101_13'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0101_6']), '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' : negation(d['c_0101_10']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], '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' : 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_3'], 'c_0110_13' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_3'], 'c_1010_4' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_2_8' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : negation(d['c_0101_13']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_13'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0011_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_13, c_0101_3, c_0101_6, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 3907411769503006754707255/5284585403059795866768*c_1001_10^15 - 337200756864507555311611/377470385932842561912*c_1001_10^14 - 3103767768518506231170559/754940771865685123824*c_1001_10^13 + 309134143192111578756712783/42276683224478366934144*c_1001_10^12 + 166767185623689589886523861/14092227741492788978048*c_1001_10^11 - 3678337151946563003699785783/169106732897913467736576*c_1001_10^10 - 524327277279653153747197499/28184455482985577956096*c_1001_10^9 + 26472468561884679347788703/660573175382474483346*c_1001_10^8 + 488708896292703929873350391/24158104699701923962368*c_1001_10^7 - 2656843784357146595964844773/56368910965971155912192*c_1001_10^6 - 317972521948251699618803699/21138341612239183467072*c_1001_10^5 + 2037845361325445657275504355/56368910965971155912192*c_1001_10^4 + 398066037658522462562917103/56368910965971155912192*c_1001_10^3 - 2843500255830069461006516899/169106732897913467736576*c_1001_10^2 - 38062226722701878354690981/24158104699701923962368*c_1001_10 + 5565098447170103439494647/1509881543731370247648, c_0011_0 - 1, c_0011_10 + 1835833067053458688/320978219330648437*c_1001_10^15 - 1747481780303285120/320978219330648437*c_1001_10^14 - 11256956824146770432/320978219330648437*c_1001_10^13 + 16864118945983301024/320978219330648437*c_1001_10^12 + 35056583331862894608/320978219330648437*c_1001_10^11 - 53512132473900484472/320978219330648437*c_1001_10^10 - 58225870591684500596/320978219330648437*c_1001_10^9 + 103090107170254531084/320978219330648437*c_1001_10^8 + 66116054668691012004/320978219330648437*c_1001_10^7 - 124042776348179351565/320978219330648437*c_1001_10^6 - 50365455946759503775/320978219330648437*c_1001_10^5 + 96412973752559614268/320978219330648437*c_1001_10^4 + 24136714092400564448/320978219330648437*c_1001_10^3 - 45083298310855036024/320978219330648437*c_1001_10^2 - 5310752858082222252/320978219330648437*c_1001_10 + 9697453814837036916/320978219330648437, c_0011_11 + c_1001_10, c_0011_3 - 1909752113222627296/320978219330648437*c_1001_10^15 + 1905829451513467936/320978219330648437*c_1001_10^14 + 11642867623715297728/320978219330648437*c_1001_10^13 - 17583447145086082460/320978219330648437*c_1001_10^12 - 2164772462265981760/18881071725332261*c_1001_10^11 + 55917865139184011447/320978219330648437*c_1001_10^10 + 64132982367009155387/320978219330648437*c_1001_10^9 - 109105266111427718661/320978219330648437*c_1001_10^8 - 76558707785327556544/320978219330648437*c_1001_10^7 + 135340447629400838242/320978219330648437*c_1001_10^6 + 62772377875896592311/320978219330648437*c_1001_10^5 - 109144083410456056097/320978219330648437*c_1001_10^4 - 33001899468413047523/320978219330648437*c_1001_10^3 + 53959586545097057992/320978219330648437*c_1001_10^2 + 8700739177933543348/320978219330648437*c_1001_10 - 755755154186624077/18881071725332261, c_0011_6 + 2535082470060828064/320978219330648437*c_1001_10^15 - 2993133776929304000/320978219330648437*c_1001_10^14 - 14143410134849215296/320978219330648437*c_1001_10^13 + 24792317963857958516/320978219330648437*c_1001_10^12 + 40572814199732036692/320978219330648437*c_1001_10^11 - 73227507927177218921/320978219330648437*c_1001_10^10 - 3708694062297089014/18881071725332261*c_1001_10^9 + 133301497388995339831/320978219330648437*c_1001_10^8 + 68175125718165343490/320978219330648437*c_1001_10^7 - 154248411260667218284/320978219330648437*c_1001_10^6 - 50512264383351925892/320978219330648437*c_1001_10^5 + 115702821405976192400/320978219330648437*c_1001_10^4 + 23529823945774355051/320978219330648437*c_1001_10^3 - 52161250854388376013/320978219330648437*c_1001_10^2 - 5121250294626195638/320978219330648437*c_1001_10 + 10782849662471780835/320978219330648437, c_0011_8 - 2535082470060828064/320978219330648437*c_1001_10^15 + 2993133776929304000/320978219330648437*c_1001_10^14 + 14143410134849215296/320978219330648437*c_1001_10^13 - 24792317963857958516/320978219330648437*c_1001_10^12 - 40572814199732036692/320978219330648437*c_1001_10^11 + 73227507927177218921/320978219330648437*c_1001_10^10 + 3708694062297089014/18881071725332261*c_1001_10^9 - 133301497388995339831/320978219330648437*c_1001_10^8 - 68175125718165343490/320978219330648437*c_1001_10^7 + 154248411260667218284/320978219330648437*c_1001_10^6 + 50512264383351925892/320978219330648437*c_1001_10^5 - 115702821405976192400/320978219330648437*c_1001_10^4 - 23529823945774355051/320978219330648437*c_1001_10^3 + 52161250854388376013/320978219330648437*c_1001_10^2 + 5121250294626195638/320978219330648437*c_1001_10 - 10782849662471780835/320978219330648437, c_0101_0 - 1688903840592170768/320978219330648437*c_1001_10^15 + 110351224897370976/18881071725332261*c_1001_10^14 + 9920853010801514736/320978219330648437*c_1001_10^13 - 16570413877879654450/320978219330648437*c_1001_10^12 - 29744287877393240850/320978219330648437*c_1001_10^11 + 103242213661681334257/641956438661296874*c_1001_10^10 + 48049769973256877783/320978219330648437*c_1001_10^9 - 98378576357312783256/320978219330648437*c_1001_10^8 - 106067916967664303295/641956438661296874*c_1001_10^7 + 237405847833806615553/641956438661296874*c_1001_10^6 + 39342136134707544605/320978219330648437*c_1001_10^5 - 187513532205893484495/641956438661296874*c_1001_10^4 - 37187983551297023381/641956438661296874*c_1001_10^3 + 5289992261814651891/37762143450664522*c_1001_10^2 + 8111960884836538021/641956438661296874*c_1001_10 - 10272728004343964846/320978219330648437, c_0101_10 + 240258636247292336/320978219330648437*c_1001_10^15 - 3922661709159360/320978219330648437*c_1001_10^14 - 1501378171060671760/320978219330648437*c_1001_10^13 + 778204070722714118/320978219330648437*c_1001_10^12 + 5546970637866237362/320978219330648437*c_1001_10^11 - 3826118725180659747/641956438661296874*c_1001_10^10 - 10293554180420710856/320978219330648437*c_1001_10^9 + 4477963493389588262/320978219330648437*c_1001_10^8 + 28439675936052631165/641956438661296874*c_1001_10^7 - 9152778858736824915/641956438661296874*c_1001_10^6 - 12185100927229083452/320978219330648437*c_1001_10^5 + 6560210422022985431/641956438661296874*c_1001_10^4 + 13081396028320051861/641956438661296874*c_1001_10^3 - 3100475913658421357/641956438661296874*c_1001_10^2 - 3545617850292105263/641956438661296874*c_1001_10 + 556050071226383234/320978219330648437, c_0101_11 - 973492846084489504/320978219330648437*c_1001_10^15 + 1099968202563327456/320978219330648437*c_1001_10^14 + 5840468189066292768/320978219330648437*c_1001_10^13 - 9955430554874091332/320978219330648437*c_1001_10^12 - 17218664850375063104/320978219330648437*c_1001_10^11 + 31315157662948416749/320978219330648437*c_1001_10^10 + 27235436238117221729/320978219330648437*c_1001_10^9 - 59027605606915276426/320978219330648437*c_1001_10^8 - 29094074364634982074/320978219330648437*c_1001_10^7 + 71097041758898072868/320978219330648437*c_1001_10^6 + 21032049725635871505/320978219330648437*c_1001_10^5 - 55489253670463503259/320978219330648437*c_1001_10^4 - 9240997652443287537/320978219330648437*c_1001_10^3 + 26306731720461003333/320978219330648437*c_1001_10^2 + 1835150036961323639/320978219330648437*c_1001_10 - 5700221221515506788/320978219330648437, c_0101_12 + 1688903840592170768/320978219330648437*c_1001_10^15 - 110351224897370976/18881071725332261*c_1001_10^14 - 9920853010801514736/320978219330648437*c_1001_10^13 + 16570413877879654450/320978219330648437*c_1001_10^12 + 29744287877393240850/320978219330648437*c_1001_10^11 - 103242213661681334257/641956438661296874*c_1001_10^10 - 48049769973256877783/320978219330648437*c_1001_10^9 + 98378576357312783256/320978219330648437*c_1001_10^8 + 106067916967664303295/641956438661296874*c_1001_10^7 - 237405847833806615553/641956438661296874*c_1001_10^6 - 39342136134707544605/320978219330648437*c_1001_10^5 + 187513532205893484495/641956438661296874*c_1001_10^4 + 37187983551297023381/641956438661296874*c_1001_10^3 - 5289992261814651891/37762143450664522*c_1001_10^2 - 8111960884836538021/641956438661296874*c_1001_10 + 10272728004343964846/320978219330648437, c_0101_13 - 2882392627835317856/320978219330648437*c_1001_10^15 + 2296658383643234784/320978219330648437*c_1001_10^14 + 18512491027076368448/320978219330648437*c_1001_10^13 - 24424401563625139116/320978219330648437*c_1001_10^12 - 61128630635218961560/320978219330648437*c_1001_10^11 + 80651810545820594899/320978219330648437*c_1001_10^10 + 108167295293313470909/320978219330648437*c_1001_10^9 - 161790176847796443865/320978219330648437*c_1001_10^8 - 130544444477058753624/320978219330648437*c_1001_10^7 + 11828542478303702613/18881071725332261*c_1001_10^6 + 105996726921960338614/320978219330648437*c_1001_10^5 - 161923344895202456525/320978219330648437*c_1001_10^4 - 3209004976019779045/18881071725332261*c_1001_10^3 + 79008935608244911869/320978219330648437*c_1001_10^2 + 13362777126473764798/320978219330648437*c_1001_10 - 18366513897250623492/320978219330648437, c_0101_3 - 571740886918173360/320978219330648437*c_1001_10^15 + 175277541022406080/320978219330648437*c_1001_10^14 + 4343257141912764720/320978219330648437*c_1001_10^13 - 3811710903779628166/320978219330648437*c_1001_10^12 - 16414571500546993234/320978219330648437*c_1001_10^11 + 30639113010193908027/641956438661296874*c_1001_10^10 + 1916997495256084648/18881071725332261*c_1001_10^9 - 34851574133231742111/320978219330648437*c_1001_10^8 - 84848595254445471663/641956438661296874*c_1001_10^7 + 94212409941289294597/641956438661296874*c_1001_10^6 + 36937518555969898882/320978219330648437*c_1001_10^5 - 80348114857761508963/641956438661296874*c_1001_10^4 - 40512215347869365637/641956438661296874*c_1001_10^3 + 41342576551487288723/641956438661296874*c_1001_10^2 + 10793749072506281713/641956438661296874*c_1001_10 - 5089883898848438908/320978219330648437, c_0101_6 + 240258636247292336/320978219330648437*c_1001_10^15 - 3922661709159360/320978219330648437*c_1001_10^14 - 1501378171060671760/320978219330648437*c_1001_10^13 + 778204070722714118/320978219330648437*c_1001_10^12 + 5546970637866237362/320978219330648437*c_1001_10^11 - 3826118725180659747/641956438661296874*c_1001_10^10 - 10293554180420710856/320978219330648437*c_1001_10^9 + 4477963493389588262/320978219330648437*c_1001_10^8 + 28439675936052631165/641956438661296874*c_1001_10^7 - 9152778858736824915/641956438661296874*c_1001_10^6 - 12185100927229083452/320978219330648437*c_1001_10^5 + 6560210422022985431/641956438661296874*c_1001_10^4 + 13081396028320051861/641956438661296874*c_1001_10^3 - 3100475913658421357/641956438661296874*c_1001_10^2 - 2903661411630808389/641956438661296874*c_1001_10 + 556050071226383234/320978219330648437, c_1001_10^16 - 7*c_1001_10^14 + 25/8*c_1001_10^13 + 223/8*c_1001_10^12 - 313/32*c_1001_10^11 - 485/8*c_1001_10^10 + 23*c_1001_10^9 + 2975/32*c_1001_10^8 - 943/32*c_1001_10^7 - 1565/16*c_1001_10^6 + 739/32*c_1001_10^5 + 2213/32*c_1001_10^4 - 335/32*c_1001_10^3 - 959/32*c_1001_10^2 + 35/16*c_1001_10 + 49/8 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_13, c_0101_3, c_0101_6, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 2540953911635638/1165184765*c_0101_3*c_1001_10^9 + 1339661032656031/233036953*c_0101_3*c_1001_10^8 + 5184935329197948/1165184765*c_0101_3*c_1001_10^7 - 4443198716385735/233036953*c_0101_3*c_1001_10^6 + 1616469921680402/233036953*c_0101_3*c_1001_10^5 + 1954055262335704/233036953*c_0101_3*c_1001_10^4 + 16771142706987764/1165184765*c_0101_3*c_1001_10^3 - 44220326960336662/1165184765*c_0101_3*c_1001_10^2 + 5249820907430091/233036953*c_0101_3*c_1001_10 - 6997891823088189/1165184765*c_0101_3 - 2754015200908311/1165184765*c_1001_10^9 - 7262338988519107/1165184765*c_1001_10^8 - 1125360325777131/233036953*c_1001_10^7 + 4814347115448013/233036953*c_1001_10^6 - 1748175481101915/233036953*c_1001_10^5 - 2117819114977916/233036953*c_1001_10^4 - 18188291397890843/1165184765*c_1001_10^3 + 47908008538212978/1165184765*c_1001_10^2 - 28414916887365589/1165184765*c_1001_10 + 1515084512120498/233036953, c_0011_0 - 1, c_0011_10 + 7631/28597*c_1001_10^9 + 24207/28597*c_1001_10^8 + 29677/28597*c_1001_10^7 - 43826/28597*c_1001_10^6 + 18075/28597*c_1001_10^5 + 50741/28597*c_1001_10^4 + 68245/28597*c_1001_10^3 - 96744/28597*c_1001_10^2 + 32689/28597*c_1001_10 + 1073/28597, c_0011_11 + c_1001_10, c_0011_3 + 3532/28597*c_0101_3*c_1001_10^9 + 8877/28597*c_0101_3*c_1001_10^8 + 3288/28597*c_0101_3*c_1001_10^7 - 37467/28597*c_0101_3*c_1001_10^6 + 16899/28597*c_0101_3*c_1001_10^5 + 48987/28597*c_0101_3*c_1001_10^4 + 13944/28597*c_0101_3*c_1001_10^3 - 79101/28597*c_0101_3*c_1001_10^2 + 33429/28597*c_0101_3*c_1001_10 + 14070/28597*c_0101_3 + 2151/28597*c_1001_10^9 + 4054/28597*c_1001_10^8 - 3147/28597*c_1001_10^7 - 31327/28597*c_1001_10^6 + 5717/28597*c_1001_10^5 + 12369/28597*c_1001_10^4 - 22113/28597*c_1001_10^3 - 17414/28597*c_1001_10^2 + 23346/28597*c_1001_10 - 26878/28597, c_0011_6 + 12068/28597*c_0101_3*c_1001_10^9 + 42022/28597*c_0101_3*c_1001_10^8 + 58842/28597*c_0101_3*c_1001_10^7 - 60944/28597*c_0101_3*c_1001_10^6 - 23258/28597*c_0101_3*c_1001_10^5 + 30189/28597*c_0101_3*c_1001_10^4 + 112610/28597*c_0101_3*c_1001_10^3 - 100598/28597*c_0101_3*c_1001_10^2 - 17269/28597*c_0101_3*c_1001_10 + 790/28597*c_0101_3 - 5251/28597*c_1001_10^9 - 16185/28597*c_1001_10^8 - 12499/28597*c_1001_10^7 + 54366/28597*c_1001_10^6 + 14428/28597*c_1001_10^5 - 63299/28597*c_1001_10^4 - 40065/28597*c_1001_10^3 + 98402/28597*c_1001_10^2 - 22891/28597*c_1001_10 - 10538/28597, c_0011_8 + 12068/28597*c_0101_3*c_1001_10^9 + 42022/28597*c_0101_3*c_1001_10^8 + 58842/28597*c_0101_3*c_1001_10^7 - 60944/28597*c_0101_3*c_1001_10^6 - 23258/28597*c_0101_3*c_1001_10^5 + 30189/28597*c_0101_3*c_1001_10^4 + 112610/28597*c_0101_3*c_1001_10^3 - 100598/28597*c_0101_3*c_1001_10^2 - 17269/28597*c_0101_3*c_1001_10 + 790/28597*c_0101_3 + 5786/28597*c_1001_10^9 + 15465/28597*c_1001_10^8 + 12155/28597*c_1001_10^7 - 56082/28597*c_1001_10^6 - 4298/28597*c_1001_10^5 + 2441/28597*c_1001_10^4 + 77640/28597*c_1001_10^3 - 81568/28597*c_1001_10^2 - 19/28597*c_1001_10 + 4265/28597, c_0101_0 + 13787/28597*c_0101_3*c_1001_10^9 + 49330/28597*c_0101_3*c_1001_10^8 + 68053/28597*c_0101_3*c_1001_10^7 - 77843/28597*c_0101_3*c_1001_10^6 - 54585/28597*c_0101_3*c_1001_10^5 + 44501/28597*c_0101_3*c_1001_10^4 + 138731/28597*c_0101_3*c_1001_10^3 - 148496/28597*c_0101_3*c_1001_10^2 - 27807/28597*c_0101_3*c_1001_10 - 2742/28597*c_0101_3 + 1719/28597*c_1001_10^9 + 7308/28597*c_1001_10^8 + 9211/28597*c_1001_10^7 - 16899/28597*c_1001_10^6 - 31327/28597*c_1001_10^5 + 14312/28597*c_1001_10^4 + 26121/28597*c_1001_10^3 - 19301/28597*c_1001_10^2 - 10538/28597*c_1001_10 - 3532/28597, c_0101_10 - 2243/28597*c_0101_3*c_1001_10^9 + 346/28597*c_0101_3*c_1001_10^8 + 17959/28597*c_0101_3*c_1001_10^7 + 51346/28597*c_0101_3*c_1001_10^6 - 42203/28597*c_0101_3*c_1001_10^5 - 40817/28597*c_0101_3*c_1001_10^4 - 7333/28597*c_0101_3*c_1001_10^3 + 117896/28597*c_0101_3*c_1001_10^2 - 51745/28597*c_0101_3*c_1001_10 - 20578/28597*c_0101_3 + 1314/28597*c_1001_10^9 + 6784/28597*c_1001_10^8 + 17222/28597*c_1001_10^7 + 18075/28597*c_1001_10^6 + 12586/28597*c_1001_10^5 + 7197/28597*c_1001_10^4 + 17721/28597*c_1001_10^3 + 30762/28597*c_1001_10^2 - 6558/28597*c_1001_10 + 7631/28597, c_0101_11 - 12068/28597*c_1001_10^9 - 42022/28597*c_1001_10^8 - 58842/28597*c_1001_10^7 + 60944/28597*c_1001_10^6 + 23258/28597*c_1001_10^5 - 30189/28597*c_1001_10^4 - 112610/28597*c_1001_10^3 + 100598/28597*c_1001_10^2 - 11328/28597*c_1001_10 - 790/28597, c_0101_12 + 13787/28597*c_0101_3*c_1001_10^9 + 49330/28597*c_0101_3*c_1001_10^8 + 68053/28597*c_0101_3*c_1001_10^7 - 77843/28597*c_0101_3*c_1001_10^6 - 54585/28597*c_0101_3*c_1001_10^5 + 44501/28597*c_0101_3*c_1001_10^4 + 138731/28597*c_0101_3*c_1001_10^3 - 148496/28597*c_0101_3*c_1001_10^2 - 27807/28597*c_0101_3*c_1001_10 - 2742/28597*c_0101_3 + 1289/28597*c_1001_10^9 + 9223/28597*c_1001_10^8 + 21247/28597*c_1001_10^7 + 13879/28597*c_1001_10^6 - 25304/28597*c_1001_10^5 + 8170/28597*c_1001_10^4 + 6611/28597*c_1001_10^3 + 38795/28597*c_1001_10^2 - 18316/28597*c_1001_10 - 6508/28597, c_0101_13 - 10607/28597*c_1001_10^9 - 33565/28597*c_1001_10^8 - 36690/28597*c_1001_10^7 + 79670/28597*c_1001_10^6 + 12703/28597*c_1001_10^5 - 59598/28597*c_1001_10^4 - 98195/28597*c_1001_10^3 + 121874/28597*c_1001_10^2 - 15094/28597*c_1001_10 - 11827/28597, c_0101_3^2 + 2174/28597*c_0101_3*c_1001_10^9 + 2954/28597*c_0101_3*c_1001_10^8 - 6850/28597*c_0101_3*c_1001_10^7 - 43481/28597*c_0101_3*c_1001_10^6 + 540/28597*c_0101_3*c_1001_10^5 + 19481/28597*c_0101_3*c_1001_10^4 + 56741/28597*c_0101_3*c_1001_10^3 - 85430/28597*c_0101_3*c_1001_10^2 + 8998/28597*c_0101_3*c_1001_10 + 13583/28597*c_0101_3 + 9487/28597*c_1001_10^9 + 39883/28597*c_1001_10^8 + 74025/28597*c_1001_10^7 + 1161/28597*c_1001_10^6 - 22952/28597*c_1001_10^5 + 11678/28597*c_1001_10^4 + 115213/28597*c_1001_10^3 - 53685/28597*c_1001_10^2 + 37398/28597*c_1001_10 - 3905/28597, c_0101_6 - 4099/28597*c_1001_10^9 - 15330/28597*c_1001_10^8 - 26389/28597*c_1001_10^7 + 6359/28597*c_1001_10^6 - 1176/28597*c_1001_10^5 - 1754/28597*c_1001_10^4 - 54301/28597*c_1001_10^3 + 17643/28597*c_1001_10^2 + 740/28597*c_1001_10 - 15600/28597, c_1001_10^10 + 3*c_1001_10^9 + 3*c_1001_10^8 - 8*c_1001_10^7 + 5*c_1001_10^5 + 8*c_1001_10^4 - 15*c_1001_10^3 + 4*c_1001_10^2 + c_1001_10 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 27.160 Total time: 27.379 seconds, Total memory usage: 196.50MB