Magma V2.19-8 Tue Aug 20 2013 23:48:56 on localhost [Seed = 1982864614] Type ? for help. Type -D to quit. Loading file "K11n117__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n117 geometric_solution 11.39518474 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 0 1 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.272868018263 0.565541939242 0 5 6 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.443271103637 0.646929010966 3 0 5 1 0321 0132 3201 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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.978858023515 0.467118170623 2 7 8 0 0321 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 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.147896040942 0.909470023447 9 10 0 11 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 -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.613127335999 0.794043838154 2 1 7 9 2310 0132 3120 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.988579016751 0.435496506912 11 12 7 1 1023 0132 3201 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 1 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.269218274092 1.623995247676 6 3 5 10 2310 0132 3120 0213 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 5 0 -1 -4 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.057415018009 1.638390360775 11 10 12 3 0213 0213 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 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 1.441971104040 1.023918644490 4 5 12 11 0132 2310 3120 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 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.870800231005 0.439793821709 12 4 8 7 3120 0132 0213 0213 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 -4 0 0 4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.287369982543 1.320830841986 8 6 4 9 0213 1023 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 -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.438639559898 0.997739097376 8 6 9 10 2031 0132 3120 3120 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 0 -1 0 0 0 0 1 -5 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.097538772385 0.613893356070 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_6'], 'c_1001_10' : d['c_0101_6'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0101_6'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_1'], 'c_1010_10' : negation(d['c_0101_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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : 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' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_0101_12'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_12'], 'c_1100_3' : d['c_0101_12'], 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_1001_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_0101_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_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_0011_8']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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_3']), 'c_0011_6' : 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' : d['c_0101_2'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0101_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_3, c_0011_8, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_6, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 87511930892330192662337767027724318290/2925846167441942301787368343\ 08353904710483*c_1001_3^11 + 64293343911194032529483310236020268547\ 1/585169233488388460357473668616707809420966*c_1001_3^10 - 4300143434458213247534380935170784644005/58516923348838846035747366\ 8616707809420966*c_1001_3^9 + 2881781241328563729914580561761092598\ 3/34421719616964027079851392271571047612998*c_1001_3^8 + 3874255867264263904421613210875124277049/41797802392027747168390976\ 329764843530069*c_1001_3^7 - 77103871588967979010055697816949479736\ 05/15399190354957591062038780753071258142657*c_1001_3^6 + 53106348492236948096040388370607407983827/3079838070991518212407756\ 1506142516285314*c_1001_3^5 + 1453578532889972341551030538988026624\ 9528/292584616744194230178736834308353904710483*c_1001_3^4 + 759843697140499296292247215613987143609169/292584616744194230178736\ 834308353904710483*c_1001_3^3 - 20940192604713534229349829934830277\ 751975/585169233488388460357473668616707809420966*c_1001_3^2 - 5296850503160334028858761180060449263106819/29258461674419423017873\ 6834308353904710483*c_1001_3 - 944039636239416654496676886732871629\ 3914099/585169233488388460357473668616707809420966, c_0011_0 - 1, c_0011_10 + 610506914266799518753658/7356851728806888523544707721*c_100\ 1_3^11 + 3482134225616040264255399/7356851728806888523544707721*c_1\ 001_3^10 - 7332392924299580594331102/7356851728806888523544707721*c\ _1001_3^9 - 686391774575096381797876/432755984047464030796747513*c_\ 1001_3^8 + 147802590728798463244378736/7356851728806888523544707721\ *c_1001_3^7 - 705689527720709377128596786/7356851728806888523544707\ 721*c_1001_3^6 + 326185212332635537039325088/1050978818400984074792\ 101103*c_1001_3^5 + 3549691386457220624269082453/735685172880688852\ 3544707721*c_1001_3^4 + 16884210757796079138723870352/7356851728806\ 888523544707721*c_1001_3^3 + 30830801448540058918863953326/73568517\ 28806888523544707721*c_1001_3^2 + 28427179672859891265531280914/735\ 6851728806888523544707721*c_1001_3 + 2038396736211322783721985110/1050978818400984074792101103, c_0011_11 + 1261919222114212488099789/7356851728806888523544707721*c_10\ 01_3^11 + 6260977038637442363986122/7356851728806888523544707721*c_\ 1001_3^10 - 21133995122749285318409720/7356851728806888523544707721\ *c_1001_3^9 - 1756798826098206633269447/865511968094928061593495026\ *c_1001_3^8 + 683697503096417727060194559/1471370345761377704708941\ 5442*c_1001_3^7 - 481585158409722039239931205/210195763680196814958\ 4202206*c_1001_3^6 + 5553860052433913584166360247/73568517288068885\ 23544707721*c_1001_3^5 + 9727028048749336349863968419/1471370345761\ 3777047089415442*c_1001_3^4 + 26157850239196622703662338772/7356851\ 728806888523544707721*c_1001_3^3 + 75254467273654188298232487727/14713703457613777047089415442*c_1001_\ 3^2 + 11756880704532982564240818486/7356851728806888523544707721*c_\ 1001_3 + 7427459014192436143540706086/7356851728806888523544707721, c_0011_3 + 250994373105825825844139/7356851728806888523544707721*c_1001\ _3^11 + 3033908359399851526116695/14713703457613777047089415442*c_1\ 001_3^10 - 4685265992790174494158173/14713703457613777047089415442*\ c_1001_3^9 - 649338862469321867572883/865511968094928061593495026*c\ _1001_3^8 + 52845457832258677619317169/7356851728806888523544707721\ *c_1001_3^7 - 525534077152162632432638537/1471370345761377704708941\ 5442*c_1001_3^6 + 887058571714393356148124363/735685172880688852354\ 4707721*c_1001_3^5 + 2710131671175099560037212561/14713703457613777\ 047089415442*c_1001_3^4 + 9306444918660472456864992830/735685172880\ 6888523544707721*c_1001_3^3 + 13273426187670755439592672283/7356851\ 728806888523544707721*c_1001_3^2 + 16118682578733479457876005993/7356851728806888523544707721*c_1001_3 + 10722149410349253750073757357/7356851728806888523544707721, c_0011_8 - 398661491130981019913093/7356851728806888523544707721*c_1001\ _3^11 - 2292109125441783750841513/7356851728806888523544707721*c_10\ 01_3^10 + 705221938423864217698500/1050978818400984074792101103*c_1\ 001_3^9 + 531439658501915030885630/432755984047464030796747513*c_10\ 01_3^8 - 200339636429607782026569627/14713703457613777047089415442*\ c_1001_3^7 + 913902609990943402125121569/14713703457613777047089415\ 442*c_1001_3^6 - 401465239994088400938522077/2101957636801968149584\ 202206*c_1001_3^5 - 2761211496004429718384315142/735685172880688852\ 3544707721*c_1001_3^4 - 19954943996819264501485634193/1471370345761\ 3777047089415442*c_1001_3^3 - 20351052631879267557217265345/7356851\ 728806888523544707721*c_1001_3^2 - 27496393762821109257895426567/14713703457613777047089415442*c_1001_\ 3 - 1175700353709712077331753081/1050978818400984074792101103, c_0101_1 + 56353933793688/1646362498580585381*c_1001_3^11 + 162338328282070/1646362498580585381*c_1001_3^10 - 1506135744722424/1646362498580585381*c_1001_3^9 + 82033995887873/96844852857681493*c_1001_3^8 + 16339486058972090/1646362498580585381*c_1001_3^7 - 107257936003870105/1646362498580585381*c_1001_3^6 + 409915273211999332/1646362498580585381*c_1001_3^5 - 326190259205563145/1646362498580585381*c_1001_3^4 + 772750526334121752/1646362498580585381*c_1001_3^3 - 680909847740164217/1646362498580585381*c_1001_3^2 - 2236135342069377300/1646362498580585381*c_1001_3 - 1566424741514471623/1646362498580585381, c_0101_12 - 1413298599893629991992151/14713703457613777047089415442*c_1\ 001_3^11 - 6879181002356436129373889/14713703457613777047089415442*\ c_1001_3^10 + 3331235141483085035443899/210195763680196814958420220\ 6*c_1001_3^9 + 578116519107580767751891/865511968094928061593495026\ *c_1001_3^8 - 183330833693145527537872499/7356851728806888523544707\ 721*c_1001_3^7 + 1928315068163084455853380007/147137034576137770470\ 89415442*c_1001_3^6 - 6656152452354038854067249473/1471370345761377\ 7047089415442*c_1001_3^5 - 3504855983681809491547074103/14713703457\ 613777047089415442*c_1001_3^4 - 16883534087775409647539369431/73568\ 51728806888523544707721*c_1001_3^3 - 40537666760406030217408571213/14713703457613777047089415442*c_1001_\ 3^2 - 20507414954745033350673683147/7356851728806888523544707721*c_\ 1001_3 - 7833214889073274221619946368/7356851728806888523544707721, c_0101_2 + 331473206728586515421303/2101957636801968149584202206*c_1001\ _3^11 + 12875267589057614684487219/14713703457613777047089415442*c_\ 1001_3^10 - 31335838038103800623203791/1471370345761377704708941544\ 2*c_1001_3^9 - 2813190990944718300369465/86551196809492806159349502\ 6*c_1001_3^8 + 42158982828049035347975135/1050978818400984074792101\ 103*c_1001_3^7 - 2730009858028313479927334671/147137034576137770470\ 89415442*c_1001_3^6 + 8683925857778125472928188223/1471370345761377\ 7047089415442*c_1001_3^5 + 1953045635270025986313660027/21019576368\ 01968149584202206*c_1001_3^4 + 28776622324446055368387866237/735685\ 1728806888523544707721*c_1001_3^3 + 98004738369179884883981206959/14713703457613777047089415442*c_1001_\ 3^2 + 4129773122258409027677959865/1050978818400984074792101103*c_1\ 001_3 + 16990117912287799501743698749/7356851728806888523544707721, c_0101_5 - 59788833420330629923045/432755984047464030796747513*c_1001_3\ ^11 - 622530124471468416102537/865511968094928061593495026*c_1001_3\ ^10 + 1812813107644797613381563/865511968094928061593495026*c_1001_\ 3^9 + 1734511458835112237372313/865511968094928061593495026*c_1001_\ 3^8 - 15554576048305150928595843/432755984047464030796747513*c_1001\ _3^7 + 151216504096245737870216847/865511968094928061593495026*c_10\ 01_3^6 - 249737840280584608595642205/432755984047464030796747513*c_\ 1001_3^5 - 522180743478545540285206799/865511968094928061593495026*\ c_1001_3^4 - 1426745516094903475504261138/4327559840474640307967475\ 13*c_1001_3^3 - 1979161649941576276513281467/4327559840474640307967\ 47513*c_1001_3^2 - 1710166936989495763952530355/4327559840474640307\ 96747513*c_1001_3 - 309267329614925343165754751/4327559840474640307\ 96747513, c_0101_6 - 16271165108743942798478/1050978818400984074792101103*c_1001_\ 3^11 - 1143524679175878048475135/7356851728806888523544707721*c_100\ 1_3^10 - 1459739531788246702327283/14713703457613777047089415442*c_\ 1001_3^9 + 703990539307469319922951/432755984047464030796747513*c_1\ 001_3^8 - 29132025956014890478659479/7356851728806888523544707721*c\ _1001_3^7 - 4655461828265400067146297/7356851728806888523544707721*\ c_1001_3^6 + 49477093223834502236802170/105097881840098407479210110\ 3*c_1001_3^5 - 472131033323653602037705473/105097881840098407479210\ 1103*c_1001_3^4 - 6803170680099635786180651869/14713703457613777047\ 089415442*c_1001_3^3 - 15418715684115487040320698650/73568517288068\ 88523544707721*c_1001_3^2 - 12888115302841258699846233401/735685172\ 8806888523544707721*c_1001_3 - 2328183537353876277434157229/2101957\ 636801968149584202206, c_1001_0 + 18698225010591722543115/1050978818400984074792101103*c_1001_\ 3^11 + 331959754787873709344211/2101957636801968149584202206*c_1001\ _3^10 + 394204758031873630611369/14713703457613777047089415442*c_10\ 01_3^9 - 1275732181898000037833901/865511968094928061593495026*c_10\ 01_3^8 + 32777371101263235970931391/7356851728806888523544707721*c_\ 1001_3^7 - 63998530650953994933864321/14713703457613777047089415442\ *c_1001_3^6 - 152484185466487430912277251/7356851728806888523544707\ 721*c_1001_3^5 + 856952127018751482918238343/2101957636801968149584\ 202206*c_1001_3^4 + 574434389545543668494958318/1050978818400984074\ 792101103*c_1001_3^3 + 13228840045885772233640843925/73568517288068\ 88523544707721*c_1001_3^2 + 16469358337007831360978404321/735685172\ 8806888523544707721*c_1001_3 + 4267343529687877751897562548/7356851\ 728806888523544707721, c_1001_1 - 1121510482609263077079657/14713703457613777047089415442*c_10\ 01_3^11 - 6737739473058378470485935/14713703457613777047089415442*c\ _1001_3^10 + 12184442832370138673537451/147137034576137770470894154\ 42*c_1001_3^9 + 1805733802196853337193305/8655119680949280615934950\ 26*c_1001_3^8 - 133942416960300715867574001/73568517288068885235447\ 07721*c_1001_3^7 + 1167899578625255720372944929/1471370345761377704\ 7089415442*c_1001_3^6 - 3609051260614624550480834223/14713703457613\ 777047089415442*c_1001_3^5 - 8082348326628564253338654041/147137034\ 57613777047089415442*c_1001_3^4 - 16677584604498421892898062745/735\ 6851728806888523544707721*c_1001_3^3 - 53300681712949074063228343231/14713703457613777047089415442*c_1001_\ 3^2 - 3526300793258553442056476983/1050978818400984074792101103*c_1\ 001_3 - 8146479124729710362271641756/7356851728806888523544707721, c_1001_3^12 + 6*c_1001_3^11 - 11*c_1001_3^10 - 26*c_1001_3^9 + 249*c_1001_3^8 - 1072*c_1001_3^7 + 3192*c_1001_3^6 + 7780*c_1001_3^5 + 26577*c_1001_3^4 + 55484*c_1001_3^3 + 52630*c_1001_3^2 + 28710*c_1001_3 + 11443 ], 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_8, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_6, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 4513004029628403827203511861479/20258154243569000807260928545*c_100\ 1_3^12 + 25163672402094486957374577404883/2025815424356900080726092\ 8545*c_1001_3^11 - 197856175211771532638552220280233/81032616974276\ 003229043714180*c_1001_3^10 + 503095589373897926486855768937291/162\ 065233948552006458087428360*c_1001_3^9 - 1638982606305018794915132150909733/162065233948552006458087428360*c\ _1001_3^8 + 3105355249384387158914718651354677/16206523394855200645\ 8087428360*c_1001_3^7 + 482407916405020236441961680195853/162065233\ 948552006458087428360*c_1001_3^6 - 3568563267934683900550393772502827/162065233948552006458087428360*c\ _1001_3^5 - 470184792459750611743908660031231/405163084871380016145\ 21857090*c_1001_3^4 + 206727460574775469518472103586565/16206523394\ 855200645808742836*c_1001_3^3 + 395040036927607365621016438796209/1\ 62065233948552006458087428360*c_1001_3^2 + 471308158971690643256452569670757/162065233948552006458087428360*c_\ 1001_3 - 266694654544882402700778402111053/810326169742760032290437\ 14180, c_0011_0 - 1, c_0011_10 - 55898135440914983712/568949470621487910541*c_1001_3^12 + 282599801421139415640/568949470621487910541*c_1001_3^11 - 477234065135554565056/568949470621487910541*c_1001_3^10 + 580093633670144936390/568949470621487910541*c_1001_3^9 - 2306491056388225114771/568949470621487910541*c_1001_3^8 + 3703680173827592638875/568949470621487910541*c_1001_3^7 + 2249003705924676565185/568949470621487910541*c_1001_3^6 - 3858888892994666838086/568949470621487910541*c_1001_3^5 - 4375461415028689923988/568949470621487910541*c_1001_3^4 + 511122234392967024621/568949470621487910541*c_1001_3^3 + 284872009864502237013/568949470621487910541*c_1001_3^2 + 732335111187565103072/568949470621487910541*c_1001_3 + 182498968973594750982/568949470621487910541, c_0011_11 - 36660895920562776776/568949470621487910541*c_1001_3^12 + 174994125872807102992/568949470621487910541*c_1001_3^11 - 249597185480748184110/568949470621487910541*c_1001_3^10 + 241050147027843396531/568949470621487910541*c_1001_3^9 - 1300953037871931435862/568949470621487910541*c_1001_3^8 + 1823150201664912386169/568949470621487910541*c_1001_3^7 + 2646584481662511069959/568949470621487910541*c_1001_3^6 - 2836208435290955861376/568949470621487910541*c_1001_3^5 - 3322675367017834998130/568949470621487910541*c_1001_3^4 - 47974597162054597624/568949470621487910541*c_1001_3^3 - 365171901180092021222/568949470621487910541*c_1001_3^2 - 157486429680914197809/568949470621487910541*c_1001_3 + 37466838577495604237/568949470621487910541, c_0011_3 + 22370022057374276252/568949470621487910541*c_1001_3^12 - 116820349869583705340/568949470621487910541*c_1001_3^11 + 200982707463912174905/568949470621487910541*c_1001_3^10 - 397494913872664069875/1137898941242975821082*c_1001_3^9 + 1587388014204368119393/1137898941242975821082*c_1001_3^8 - 2839523983154173648945/1137898941242975821082*c_1001_3^7 - 2308553166722951585709/1137898941242975821082*c_1001_3^6 + 5987962638570257769245/1137898941242975821082*c_1001_3^5 + 969909546495175457504/568949470621487910541*c_1001_3^4 - 2513198414855182488515/568949470621487910541*c_1001_3^3 + 905025154462702835643/1137898941242975821082*c_1001_3^2 + 1902625221394425217245/1137898941242975821082*c_1001_3 + 216845325981643304909/568949470621487910541, c_0011_8 - 5753528975423510036/568949470621487910541*c_1001_3^12 + 45500143645401189588/568949470621487910541*c_1001_3^11 - 109078101459701761635/568949470621487910541*c_1001_3^10 + 188184126414501247625/1137898941242975821082*c_1001_3^9 - 449799167844295479383/1137898941242975821082*c_1001_3^8 + 1560839144426512671893/1137898941242975821082*c_1001_3^7 + 184493724469743312137/1137898941242975821082*c_1001_3^6 - 4701561469334884284923/1137898941242975821082*c_1001_3^5 + 289034451896805972815/568949470621487910541*c_1001_3^4 + 2110308399130542379084/568949470621487910541*c_1001_3^3 - 37475229030076206259/1137898941242975821082*c_1001_3^2 - 557815934118149562043/1137898941242975821082*c_1001_3 + 100530564080073451207/568949470621487910541, c_0101_1 - 11065743960291130252/568949470621487910541*c_1001_3^12 + 20982214858772913260/568949470621487910541*c_1001_3^11 + 63572671681768122899/568949470621487910541*c_1001_3^10 - 160403197858257755825/1137898941242975821082*c_1001_3^9 - 566694229674404069021/1137898941242975821082*c_1001_3^8 - 984734405132157045859/1137898941242975821082*c_1001_3^7 + 3925351823408751352259/1137898941242975821082*c_1001_3^6 + 4296353515250996296889/1137898941242975821082*c_1001_3^5 - 2670287040736355521873/568949470621487910541*c_1001_3^4 - 4597115377209984256018/568949470621487910541*c_1001_3^3 - 2175016281206243824819/1137898941242975821082*c_1001_3^2 + 2840750216143541551231/1137898941242975821082*c_1001_3 + 1029924892657787260429/568949470621487910541, c_0101_12 + 45133496408704090640/568949470621487910541*c_1001_3^12 - 214702071025373446256/568949470621487910541*c_1001_3^11 + 299448582431732598500/568949470621487910541*c_1001_3^10 - 276806332658551845594/568949470621487910541*c_1001_3^9 + 1612828419872316582856/568949470621487910541*c_1001_3^8 - 2286862284655077125103/568949470621487910541*c_1001_3^7 - 3363688946254683564259/568949470621487910541*c_1001_3^6 + 3344262735418110755605/568949470621487910541*c_1001_3^5 + 5308582968054897276749/568949470621487910541*c_1001_3^4 + 97277340261515472650/568949470621487910541*c_1001_3^3 - 1233093323913206317033/568949470621487910541*c_1001_3^2 - 998860823568875581798/568949470621487910541*c_1001_3 - 147449811320467615099/568949470621487910541, c_0101_2 - 43346087303835327680/568949470621487910541*c_1001_3^12 + 179920751310006361456/568949470621487910541*c_1001_3^11 - 156464628532959235448/568949470621487910541*c_1001_3^10 + 50169565904292067916/568949470621487910541*c_1001_3^9 - 1303805200395063258648/568949470621487910541*c_1001_3^8 + 1193076051731777044147/568949470621487910541*c_1001_3^7 + 4809408335750589912446/568949470621487910541*c_1001_3^6 - 1939623820409597272355/568949470621487910541*c_1001_3^5 - 7311538743428130989817/568949470621487910541*c_1001_3^4 - 1632137805636009409406/568949470621487910541*c_1001_3^3 + 2182675279585126673884/568949470621487910541*c_1001_3^2 + 271333875161841610568/568949470621487910541*c_1001_3 - 208410721099647412165/568949470621487910541, c_0101_5 + 50864672950317141108/568949470621487910541*c_1001_3^12 - 262730061415191541324/568949470621487910541*c_1001_3^11 + 451441480789872474275/568949470621487910541*c_1001_3^10 - 1055228859795045346533/1137898941242975821082*c_1001_3^9 + 4146981685253132436749/1137898941242975821082*c_1001_3^8 - 6928309443173685422507/1137898941242975821082*c_1001_3^7 - 4268208595823784099305/1137898941242975821082*c_1001_3^6 + 8659055682617241098695/1137898941242975821082*c_1001_3^5 + 3676500895204904229809/568949470621487910541*c_1001_3^4 - 1145690316924129624139/568949470621487910541*c_1001_3^3 - 478034780554775887667/1137898941242975821082*c_1001_3^2 - 1129435713859025390017/1137898941242975821082*c_1001_3 + 339310925225812716309/568949470621487910541, c_0101_6 - 1643263163281828/24736933505282083067*c_1001_3^12 - 752784584312884868/24736933505282083067*c_1001_3^11 + 4329138914642522113/24736933505282083067*c_1001_3^10 - 14898948796016635743/49473867010564166134*c_1001_3^9 + 12626469750235044739/49473867010564166134*c_1001_3^8 - 58559366517906380539/49473867010564166134*c_1001_3^7 + 117262018918417266169/49473867010564166134*c_1001_3^6 + 103958569574108130949/49473867010564166134*c_1001_3^5 - 115662232849364809578/24736933505282083067*c_1001_3^4 - 88863770657664086552/24736933505282083067*c_1001_3^3 + 62918546678878871825/49473867010564166134*c_1001_3^2 + 57966433217083948583/49473867010564166134*c_1001_3 + 19298125268707529175/24736933505282083067, c_1001_0 + 50864672950317141108/568949470621487910541*c_1001_3^12 - 262730061415191541324/568949470621487910541*c_1001_3^11 + 451441480789872474275/568949470621487910541*c_1001_3^10 - 1055228859795045346533/1137898941242975821082*c_1001_3^9 + 4146981685253132436749/1137898941242975821082*c_1001_3^8 - 6928309443173685422507/1137898941242975821082*c_1001_3^7 - 4268208595823784099305/1137898941242975821082*c_1001_3^6 + 8659055682617241098695/1137898941242975821082*c_1001_3^5 + 3676500895204904229809/568949470621487910541*c_1001_3^4 - 1145690316924129624139/568949470621487910541*c_1001_3^3 - 478034780554775887667/1137898941242975821082*c_1001_3^2 - 1129435713859025390017/1137898941242975821082*c_1001_3 + 339310925225812716309/568949470621487910541, c_1001_1 - 16638845515761225784/568949470621487910541*c_1001_3^12 + 68792359479765610272/568949470621487910541*c_1001_3^11 - 48989809105772299130/568949470621487910541*c_1001_3^10 - 52060640302638792735/568949470621487910541*c_1001_3^9 - 333031584347934424178/568949470621487910541*c_1001_3^8 + 242469554645321238322/568949470621487910541*c_1001_3^7 + 2383861231704267307461/568949470621487910541*c_1001_3^6 - 2008716213394619090880/568949470621487910541*c_1001_3^5 - 2601991619345168504444/568949470621487910541*c_1001_3^4 + 1270230757669537391726/568949470621487910541*c_1001_3^3 + 541563356404466955378/568949470621487910541*c_1001_3^2 - 517169644057849721833/568949470621487910541*c_1001_3 + 269915410564637026499/568949470621487910541, c_1001_3^13 - 5*c_1001_3^12 + 31/4*c_1001_3^11 - 61/8*c_1001_3^10 + 299/8*c_1001_3^9 - 479/8*c_1001_3^8 - 503/8*c_1001_3^7 + 729/8*c_1001_3^6 + 109*c_1001_3^5 - 109/4*c_1001_3^4 - 351/8*c_1001_3^3 - 155/8*c_1001_3^2 + 29/4*c_1001_3 + 17/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.850 Total time: 7.059 seconds, Total memory usage: 83.19MB