Magma V2.19-8 Fri Sep 13 2013 02:21:14 on localhost [Seed = 4221241178] Type ? for help. Type -D to quit. Loading file "m034__sl3_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation m034 geometric_solution 3.16633332 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 4 1 1 2 2 0132 0321 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 -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 1 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.341163901914 1.161541399997 0 3 3 0 0132 0132 1023 0321 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0.426050482148 0.368989407482 3 0 3 0 0321 2310 1230 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 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.341163901914 1.161541399997 2 1 1 2 0321 0132 1023 3012 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 -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 1.232785615938 0.792551992515 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0201_1'], 'c_1020_3' : d['c_0102_3'], 'c_1020_0' : d['c_0102_1'], 'c_1020_1' : d['c_0102_1'], 'c_0201_0' : d['c_0012_0'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0102_3'], 'c_0201_3' : d['c_0102_2'], 'c_2100_0' : d['c_0012_2'], 'c_2100_1' : d['c_0102_1'], 'c_2100_2' : d['c_0012_2'], 'c_2100_3' : d['c_0201_1'], 'c_2010_2' : d['c_0102_1'], 'c_2010_3' : d['c_0102_2'], 'c_2010_0' : d['c_0201_1'], 'c_2010_1' : d['c_0201_1'], 'c_0102_0' : d['c_0012_1'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0102_3'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : negation(d['c_1101_1']), 'c_1200_2' : d['c_0021_2'], 'c_1200_3' : d['c_0102_1'], 'c_1200_0' : d['c_0021_2'], 'c_1200_1' : d['c_0201_1'], 'c_1110_2' : d['c_1101_0'], 'c_1110_3' : d['c_1101_2'], 'c_1110_0' : negation(d['c_1011_2']), 'c_1110_1' : negation(d['c_1011_0']), 'c_0120_0' : d['c_0102_1'], 'c_0120_1' : d['c_0012_1'], 'c_0120_2' : d['c_0012_1'], 'c_0120_3' : d['c_0021_2'], 'c_2001_0' : d['c_0102_1'], 'c_2001_1' : d['c_0102_2'], 'c_2001_2' : d['c_0102_1'], 'c_2001_3' : d['c_0201_1'], 'c_0012_2' : d['c_0012_2'], 'c_0012_3' : d['c_0012_0'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']), 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : negation(d['c_0111_2']), 'c_0210_2' : d['c_0012_0'], 'c_0210_3' : d['c_0012_2'], 'c_0210_0' : d['c_0201_1'], 'c_0210_1' : d['c_0012_0'], 'c_1002_2' : d['c_0201_1'], 'c_1002_3' : d['c_0102_1'], 'c_1002_0' : d['c_0201_1'], 'c_1002_1' : d['c_0102_3'], 'c_1011_2' : d['c_1011_2'], 'c_1011_3' : negation(d['c_1011_1']), 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0021_2'], 'c_0021_3' : d['c_0012_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 100.410 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0021_2, c_0102_1, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0201_1, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ t*c_1101_0 + 2*t*c_1101_1 - 5987143514371/7943851199250*t*c_1101_2^18 + 284081469673987/15887702398500*t*c_1101_2^17 - 1093648739433443/7943851199250*t*c_1101_2^16 + 392820509085491/882650133250*t*c_1101_2^15 - 2127652383168398/3971925599625*t*c_1101_2^14 - 987501855578467/7943851199250*t*c_1101_2^13 + 2119116955369/3530600533*t*c_1101_2^12 + 2096527511485231/7943851199250*t*c_1101_2^11 - 7964691582218971/7943851199250*t*c_1101_2^10 + 618907462454207/7943851199250*t*c_1101_2^9 + 2987713784905768/3971925599625*t*c_1101_2^8 - 859269528031493/7943851199250*t*c_1101_2^7 - 1601134981916072/3971925599625*t*c_1101_2^6 + 513072802784921/7943851199250*t*c_1101_2^5 + 5583173534881/35306005330*t*c_1101_2^4 - 1022885902458527/15887702398500*t*c_1101_2^3 - 19996926733489/2647950399750*t*c_1101_2^2 + 7145919898843/1323975199875*t*c_1101_2 + t - 1177744247052404102863636/7632453556214599875*c_1101_0*c_1101_2^2 + 9964456860966125894521189/45794721337287599250*c_1101_0*c_1101_2 - 650590774046266438710319/7632453556214599875*c_1101_0 + 1430927299934669/2224278335790*c_1101_1^2*c_1101_2^9 - 154335542949049481/10379965567020*c_1101_1^2*c_1101_2^8 + 55542919828695711/513133891025*c_1101_1^2*c_1101_2^7 - 102654980532225088831/331707595293900*c_1101_1^2*c_1101_2^6 + 1025454589431028235464/4450410236859825*c_1101_1^2*c_1101_2^5 + 1336597908333052065599/3168088643188350*c_1101_1^2*c_1101_2^4 - 163146452305172578503349/218070101606131425*c_1101_1^2*c_1101_2^3 + 828393718407742020414374/4579472133728759925*c_1101_1^2*c_1101_2^2 + 231488272785862841744788/1526490711242919975*c_1101_1^2*c_1101_2 + 7558078235662594/88265013325*c_1101_1^2 - 1981744503256801/3707130559650*c_1101_1*c_1101_2^10 + 2151702103710862849/155699483505300*c_1101_1*c_1101_2^9 - 337349580801317488171/2724740961342750*c_1101_1*c_1101_2^8 + 19227047854924859889437/38146373458798500*c_1101_1*c_1101_2^7 - 48215199386382308846707/53404922842317900*c_1101_1*c_1101_2^6 + 16414806855031630703687/74766891979245060*c_1101_1*c_1101_2^5 + 18927923328357086980663343/13084206096367885500*c_1101_1*c_1101_2^4 - 155432333591277667859162639/91589442674575198500*c_1101_1*c_1101_\ 2^3 + 1249418820087091873059242/7632453556214599875*c_1101_1*c_1101\ _2^2 + 2522994844039702265360804/4579472133728759925*c_1101_1*c_110\ 1_2 - 349036467171287595364261/7632453556214599875*c_1101_1 - 1275261568561023/6178550932750*c_1101_2^11 + 1160006104558052803/259499139175500*c_1101_2^10 - 36829550104396546102/1362370480671375*c_1101_2^9 + 131047590440220035741/4238485939866500*c_1101_2^8 + 1220712218391124276911/5933880315813100*c_1101_2^7 - 624357718224572057661769/934586149740563250*c_1101_2^6 + 6992198713823093052782237/13084206096367885500*c_1101_2^5 + 37656237121945996148496901/91589442674575198500*c_1101_2^4 - 16492217376158305908762688/22897360668643799625*c_1101_2^3 + 590974273905501901775057/18317888534915039700*c_1101_2^2 + 348526965718953505840231/995537420375817375*c_1101_2 - 673826853449391982865477/7632453556214599875, t*c_1101_1*c_1101_2 + 642645368332/3971925599625*t*c_1101_2^18 - 2908329663527/794385119925*t*c_1101_2^17 + 101287257738086/3971925599625*t*c_1101_2^16 - 1059139493338403/15887702398500*t*c_1101_2^15 + 111969702610903/3177540479700*t*c_1101_2^14 + 673023273821143/7943851199250*t*c_1101_2^13 - 285516363107153/5295900799500*t*c_1101_2^12 - 502364438391773/3971925599625*t*c_1101_2^11 + 162528084996419/1765300266500*t*c_1101_2^10 + 57761891133587/529590079950*t*c_1101_2^9 - 1196983902715493/15887702398500*t*c_1101_2^8 - 554846776544867/7943851199250*t*c_1101_2^7 + 478590033410603/15887702398500*t*c_1101_2^6 + 2564154272297/88265013325*t*c_1101_2^5 - 637783375199/46051311300*t*c_1101_2^4 - 9003765780227/2647950399750*t*c_1101_2^3 + 25857759864259/15887702398500*t*c_1101_2^2 + 1890265457569/3177540479700*t*c_1101_2 - 50195136405670487641027/22897360668643799625*c_1101_0*c_1101_2^2 + 6415862503075616158808/22897360668643799625*c_1101_0*c_1101_2 + 16723095694005410642101/5088302370809733250*c_1101_0 - 153592243031348/1112139167895*c_1101_1^2*c_1101_2^9 + 23670108778231387/7784974175265*c_1101_1^2*c_1101_2^8 - 3989578989496382/200791522575*c_1101_1^2*c_1101_2^7 + 66969342264445483127/1525854938351940*c_1101_1^2*c_1101_2^6 + 206740006270904952703/53404922842317900*c_1101_1^2*c_1101_2^5 - 630327715056161936893/6336177286376700*c_1101_1^2*c_1101_2^4 + 74543396188527106568239/1308420609636788550*c_1101_1^2*c_1101_2^3 + 44964583953481614080639/1017660474161946650*c_1101_1^2*c_1101_2^2 - 11500197196643907455425/366357770698300794*c_1101_1^2*c_1101_2 + 18054131256463/52959007995*c_1101_1^2 + 212715616917892/1853565279825*c_1101_1*c_1101_2^10 - 110581151872037837/38924870876325*c_1101_1*c_1101_2^9 + 10642719436184779604/454123493557125*c_1101_1*c_1101_2^8 - 3120280204524900750317/38146373458798500*c_1101_1*c_1101_2^7 + 26184766920478224536741/267024614211589500*c_1101_1*c_1101_2^6 + 155536085416597564943587/1869172299481126500*c_1101_1*c_1101_2^5 - 1108368705472187623512451/4361402032122628500*c_1101_1*c_1101_2^4 + 380856499616802168528488/4579472133728759925*c_1101_1*c_1101_2^3 + 5050208775232159131569663/45794721337287599250*c_1101_1*c_1101_2^2 - 5661734429985077080631011/91589442674575198500*c_1101_1*c_1101_2 + 130844457867985537448054/22897360668643799625*c_1101_1 + 136883463454716/3089275466375*c_1101_2^11 - 59104179139920347/64874784793875*c_1101_2^10 + 6530638926102270566/1362370480671375*c_1101_2^9 - 43990050955432566853/38146373458798500*c_1101_2^8 - 12471302871403623903161/267024614211589500*c_1101_2^7 + 1512876860504689880551/16253672169401100*c_1101_2^6 - 7574403228316934303411/4361402032122628500*c_1101_2^5 - 93767933867371571988043/796429936300653900*c_1101_2^4 + 1088109405977828808213673/18317888534915039700*c_1101_2^3 + 1086785235024067880352497/30529814224858399500*c_1101_2^2 - 822229912198081504720579/30529814224858399500*c_1101_2 + 116068742828119649170873/91589442674575198500, t*c_1101_2^19 - 23*t*c_1101_2^18 + 166*t*c_1101_2^17 - 470*t*c_1101_2^16 + 367*t*c_1101_2^15 + 449*t*c_1101_2^14 - 514*t*c_1101_2^13 - 699*t*c_1101_2^12 + 870*t*c_1101_2^11 + 497*t*c_1101_2^10 - 710*t*c_1101_2^9 - 315*t*c_1101_2^8 + 362*t*c_1101_2^7 + 133*t*c_1101_2^6 - 147*t*c_1101_2^5 - 4*t*c_1101_2^4 + 20*t*c_1101_2^3 - t*c_1101_2^2 - t*c_1101_2 + 608830133308/40353607*c_1101_0*c_1101_2^2 - 431513032032/40353607*c_1101_0*c_1101_2 + 258871112732/40353607*c_1101_0 - 5975/7*c_1101_1^2*c_1101_2^10 + 936375/49*c_1101_1^2*c_1101_2^9 - 44511385/343*c_1101_1^2*c_1101_2^\ 8 + 759683935/2401*c_1101_1^2*c_1101_2^7 - 1241280615/16807*c_1101_1^2*c_1101_2^6 - 73781474125/117649*c_1101_1^2*c_1101_2^5 + 465849118885/823543*c_1101_1^2*c_1101_2^4 + 991052232750/5764801*c_1101_1^2*c_1101_2^3 - 11379328186480/40353607*c_1101_1^2*c_1101_2^2 + 1698859616430/40353607*c_1101_1^2*c_1101_2 - 25620*c_1101_1^2 + 4965/7*c_1101_1*c_1101_2^11 - 873295/49*c_1101_1*c_1101_2^10 + 51916201/343*c_1101_1*c_1101_2^9 - 1342001190/2401*c_1101_1*c_1101_2^8 + 13282638163/16807*c_1101_1*c_1101_2^7 + 35151634379/117649*c_1101_1*c_1101_2^6 - 1447228340941/823543*c_1101_1*c_1101_2^5 + 5996787141244/5764801*c_1101_1*c_1101_2^4 + 22407440871908/40353607*c_1101_1*c_1101_2^3 - 23960173886568/40353607*c_1101_1*c_1101_2^2 + 3847888419271/40353607*c_1101_1*c_1101_2 - 1155479735184/40353607*c_1101_1 + 1917/7*c_1101_2^12 - 280905/49*c_1101_2^11 + 10877975/343*c_1101_2^10 - 43181790/2401*c_1101_2^9 - 4819130990/16807*c_1101_2^8 + 80193904010/117649*c_1101_2^7 - 176505326635/823543*c_1101_2^6 - 4219523488854/5764801*c_1101_2^5 + 24245006682914/40353607*c_1101_2^4 + 5248233390296/40353607*c_1101_2^3 - 9314104839723/40353607*c_1101_2^2 + 812413638215/40353607*c_1101_2 + 48265637799/40353607, c_0012_0 - 1, c_0012_1 + 1, c_0012_2 - 14/5*c_1101_0*c_1101_2^2 + 5*c_1101_0*c_1101_2 + 1/5*c_1101_0 - 2*c_1101_1^2*c_1101_2 + 5*c_1101_1^2 - 2/5*c_1101_1*c_1101_2^2 - 7/5*c_1101_1*c_1101_2 + 32/5*c_1101_1 + 8/5*c_1101_2^3 - 4*c_1101_2^2 + 2*c_1101_2 + 6/5, c_0021_2 + 14/5*c_1101_0*c_1101_2^2 - 5*c_1101_0*c_1101_2 - 1/5*c_1101_0 + 2*c_1101_1^2*c_1101_2 - 5*c_1101_1^2 + 2/5*c_1101_1*c_1101_2^2 + 7/5*c_1101_1*c_1101_2 - 32/5*c_1101_1 - 8/5*c_1101_2^3 + 4*c_1101_2^2 - 2*c_1101_2 - 6/5, c_0102_1 - 21/5*c_1101_0*c_1101_2^2 + 4*c_1101_0*c_1101_2 - 11/5*c_1101_0 - 3*c_1101_1^2*c_1101_2 + 5*c_1101_1^2 - 3/5*c_1101_1*c_1101_2^2 - 13/5*c_1101_1*c_1101_2 + 33/5*c_1101_1 + 12/5*c_1101_2^3 - 4*c_1101_2^2 + 3*c_1101_2 + 4/5, c_0102_2 + 14/5*c_1101_0*c_1101_2^2 - 5*c_1101_0*c_1101_2 - 1/5*c_1101_0 + 2*c_1101_1^2*c_1101_2 - 5*c_1101_1^2 + 2/5*c_1101_1*c_1101_2^2 + 7/5*c_1101_1*c_1101_2 - 32/5*c_1101_1 - 8/5*c_1101_2^3 + 4*c_1101_2^2 - 2*c_1101_2 - 6/5, c_0102_3 - 14/5*c_1101_0*c_1101_2^2 + 5*c_1101_0*c_1101_2 + 1/5*c_1101_0 - 2*c_1101_1^2*c_1101_2 + 5*c_1101_1^2 - 2/5*c_1101_1*c_1101_2^2 - 7/5*c_1101_1*c_1101_2 + 32/5*c_1101_1 + 8/5*c_1101_2^3 - 4*c_1101_2^2 + 2*c_1101_2 + 6/5, c_0111_0 - 1, c_0111_2 + 7/5*c_1101_0*c_1101_2^2 + c_1101_0*c_1101_2 + 2/5*c_1101_0 + c_1101_1^2*c_1101_2 + 1/5*c_1101_1*c_1101_2^2 + 6/5*c_1101_1*c_1101_2 - 6/5*c_1101_1 - 4/5*c_1101_2^3 - c_1101_2 - 3/5, c_0201_1 + 21/5*c_1101_0*c_1101_2^2 - 4*c_1101_0*c_1101_2 + 11/5*c_1101_0 + 3*c_1101_1^2*c_1101_2 - 5*c_1101_1^2 + 3/5*c_1101_1*c_1101_2^2 + 13/5*c_1101_1*c_1101_2 - 33/5*c_1101_1 - 12/5*c_1101_2^3 + 4*c_1101_2^2 - 3*c_1101_2 - 4/5, c_1011_0 - 21/5*c_1101_0*c_1101_2^2 + 4*c_1101_0*c_1101_2 - 6/5*c_1101_0 - 3*c_1101_1^2*c_1101_2 + 5*c_1101_1^2 - 3/5*c_1101_1*c_1101_2^2 - 13/5*c_1101_1*c_1101_2 + 33/5*c_1101_1 + 12/5*c_1101_2^3 - 4*c_1101_2^2 + 3*c_1101_2 + 4/5, c_1011_1 - c_1101_0, c_1011_2 + c_1101_1, c_1101_0^2 + 14/5*c_1101_0*c_1101_2^2 - 4*c_1101_0*c_1101_2 - 1/5*c_1101_0 + 2*c_1101_1^2*c_1101_2 - 4*c_1101_1^2 + 2/5*c_1101_1*c_1101_2^2 + 7/5*c_1101_1*c_1101_2 - 22/5*c_1101_1 - 8/5*c_1101_2^3 + 3*c_1101_2^2 - c_1101_2 - 6/5, c_1101_0*c_1101_1 - 7/5*c_1101_0*c_1101_2^2 + c_1101_0*c_1101_2 + 3/5*c_1101_0 - c_1101_1^2*c_1101_2 + 2*c_1101_1^2 - 1/5*c_1101_1*c_1101_2^2 - 6/5*c_1101_1*c_1101_2 + 11/5*c_1101_1 + 4/5*c_1101_2^3 - c_1101_2^2 + 3/5, c_1101_0*c_1101_2^3 - 9/7*c_1101_0*c_1101_2^2 + 2/7*c_1101_0*c_1101_2 + 1/7*c_1101_0 + 5/7*c_1101_1^2*c_1101_2^2 - 10/7*c_1101_1^2*c_1101_2 + 1/7*c_1101_1*c_1101_2^3 + 4/7*c_1101_1*c_1101_2^2 - 13/7*c_1101_1*c_1101_2 + 2/7*c_1101_1 - 4/7*c_1101_2^4 + 8/7*c_1101_2^3 - 5/7*c_1101_2^2 - 3/7*c_1101_2 + 1/7, c_1101_1^3 - 3/5*c_1101_1^2*c_1101_2 + 11/5*c_1101_1^2 - 2/5*c_1101_1*c_1101_2^2 + 1/5*c_1101_1*c_1101_2 + 6/5*c_1101_1 - 1/5*c_1101_2^3 + 1/5*c_1101_2 + 1/5 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0021_2, c_0102_1, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0201_1, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 3/16*c_1101_2 + 23/32, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 - 2*c_1101_2 - 3, c_0021_2 + 2*c_1101_2 + 2, c_0102_1 - 1, c_0102_2 - 2*c_1101_2 - 3, c_0102_3 + 2*c_1101_2 + 2, c_0111_0 - 1, c_0111_2 - 2*c_1101_2 - 3, c_0201_1 - 1, c_1011_0 - c_1101_2 - 2, c_1011_1 - c_1101_2 - 1, c_1011_2 - c_1101_2 - 1, c_1101_0 - c_1101_2 - 1, c_1101_1 + c_1101_2 + 1, c_1101_2^2 + 5/2*c_1101_2 + 2 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0021_2, c_0102_1, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0201_1, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 362981/7*c_1101_2^2 - 501060*c_1101_2 + 615896/7, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 - c_1101_2, c_0021_2 - c_1101_2, c_0102_1 + 1/7*c_1101_2^2 - 2*c_1101_2 + 5/7, c_0102_2 - c_1101_2, c_0102_3 - c_1101_2, c_0111_0 - 1, c_0111_2 + 1/7*c_1101_2^2 - c_1101_2 + 5/7, c_0201_1 + 1/7*c_1101_2^2 - 2*c_1101_2 + 5/7, c_1011_0 + 2/7*c_1101_2^2 - 3*c_1101_2 + 3/7, c_1011_1 + 1/7*c_1101_2^2 - c_1101_2 - 2/7, c_1011_2 - 2/7*c_1101_2^2 + 2*c_1101_2 - 3/7, c_1101_0 + 1/7*c_1101_2^2 - c_1101_2 - 2/7, c_1101_1 + 2/7*c_1101_2^2 - 2*c_1101_2 + 3/7, c_1101_2^3 - 10*c_1101_2^2 + 5*c_1101_2 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0021_2, c_0102_1, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0201_1, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 13*c_1101_2^2 + 32*c_1101_2 - 28, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 + c_1101_2, c_0021_2 + c_1101_2, c_0102_1 - c_1101_2^2 + 2*c_1101_2 - 1, c_0102_2 + c_1101_2, c_0102_3 + c_1101_2, c_0111_0 - 1, c_0111_2 + c_1101_2^2 - c_1101_2 - 1, c_0201_1 - c_1101_2^2 + 2*c_1101_2 - 1, c_1011_0 + c_1101_2 - 1, c_1011_1 + c_1101_2^2 - c_1101_2, c_1011_2 - 1, c_1101_0 + c_1101_2^2 - c_1101_2, c_1101_1 + 1, c_1101_2^3 - 2*c_1101_2^2 + c_1101_2 + 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0021_2, c_0102_1, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0201_1, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 63507634560/4908943*c_1101_1*c_1101_2^7 + 263159562132/4908943*c_1101_1*c_1101_2^6 + 2510864765936/4908943*c_1101_1*c_1101_2^5 + 4693650520388/4908943*c_1101_1*c_1101_2^4 + 3157534956883/4908943*c_1101_1*c_1101_2^3 + 1602950498639/4908943*c_1101_1*c_1101_2^2 + 440095858926/4908943*c_1101_1*c_1101_2 + 73628025371/4908943*c_1101_1 + 54273126772/4908943*c_1101_2^7 - 226374164812/4908943*c_1101_2^6 - 2139716786769/4908943*c_1101_2^5 - 3952025551691/4908943*c_1101_2^4 - 2586892856555/4908943*c_1101_2^3 - 1300018864532/4908943*c_1101_2^2 - 349581811577/4908943*c_1101_2 - 55725144257/4908943, c_0012_0 - 1, c_0012_1 + 40321/29047*c_1101_1*c_1101_2^7 - 206769/29047*c_1101_1*c_1101_2^6 - 1427864/29047*c_1101_1*c_1101_2^5 - 1412178/29047*c_1101_1*c_1101_2^4 + 826474/29047*c_1101_1*c_1101_2^3 + 597395/29047*c_1101_1*c_1101_2^2 + 311631/29047*c_1101_1*c_1101_2 + 71030/29047*c_1101_1, c_0012_2 - 1822/29047*c_1101_1*c_1101_2^7 + 19024/29047*c_1101_1*c_1101_2^6 + 14145/29047*c_1101_1*c_1101_2^5 - 274310/29047*c_1101_1*c_1101_2^4 - 351618/29047*c_1101_1*c_1101_2^3 + 140025/29047*c_1101_1*c_1101_2^2 + 2135/29047*c_1101_1*c_1101_2 + 38164/29047*c_1101_1 + 11695/29047*c_1101_2^7 - 64208/29047*c_1101_2^6 - 393300/29047*c_1101_2^5 - 252374/29047*c_1101_2^4 + 396640/29047*c_1101_2^3 + 75434/29047*c_1101_2^2 + 68160/29047*c_1101_2 + 6509/29047, c_0021_2 - 19259/29047*c_1101_1*c_1101_2^7 + 98866/29047*c_1101_1*c_1101_2^6 + 679616/29047*c_1101_1*c_1101_2^5 + 681290/29047*c_1101_1*c_1101_2^4 - 338949/29047*c_1101_1*c_1101_2^3 - 244849/29047*c_1101_1*c_1101_2^2 - 173157/29047*c_1101_1*c_1101_2 - 3223/29047*c_1101_1 + 12485/29047*c_1101_2^7 - 65155/29047*c_1101_2^6 - 436260/29047*c_1101_2^5 - 395433/29047*c_1101_2^4 + 274634/29047*c_1101_2^3 + 145193/29047*c_1101_2^2 + 140346/29047*c_1101_2 + 21081/29047, c_0102_1 - 2634/29047*c_1101_2^7 + 16247/29047*c_1101_2^6 + 79627/29047*c_1101_2^5 - 7917/29047*c_1101_2^4 - 154369/29047*c_1101_2^3 + 8538/29047*c_1101_2^2 + 14565/29047*c_1101_2 + 21789/29047, c_0102_2 - 19259/29047*c_1101_1*c_1101_2^7 + 98866/29047*c_1101_1*c_1101_2^6 + 679616/29047*c_1101_1*c_1101_2^5 + 681290/29047*c_1101_1*c_1101_2^4 - 338949/29047*c_1101_1*c_1101_2^3 - 244849/29047*c_1101_1*c_1101_2^2 - 173157/29047*c_1101_1*c_1101_2 - 3223/29047*c_1101_1 + 12485/29047*c_1101_2^7 - 65155/29047*c_1101_2^6 - 436260/29047*c_1101_2^5 - 395433/29047*c_1101_2^4 + 274634/29047*c_1101_2^3 + 145193/29047*c_1101_2^2 + 140346/29047*c_1101_2 + 21081/29047, c_0102_3 - 1822/29047*c_1101_1*c_1101_2^7 + 19024/29047*c_1101_1*c_1101_2^6 + 14145/29047*c_1101_1*c_1101_2^5 - 274310/29047*c_1101_1*c_1101_2^4 - 351618/29047*c_1101_1*c_1101_2^3 + 140025/29047*c_1101_1*c_1101_2^2 + 2135/29047*c_1101_1*c_1101_2 + 38164/29047*c_1101_1 + 11695/29047*c_1101_2^7 - 64208/29047*c_1101_2^6 - 393300/29047*c_1101_2^5 - 252374/29047*c_1101_2^4 + 396640/29047*c_1101_2^3 + 75434/29047*c_1101_2^2 + 68160/29047*c_1101_2 + 6509/29047, c_0111_0 - 1, c_0111_2 + 9345/29047*c_1101_2^7 - 47419/29047*c_1101_2^6 - 332426/29047*c_1101_2^5 - 355180/29047*c_1101_2^4 + 166128/29047*c_1101_2^3 + 215384/29047*c_1101_2^2 + 125883/29047*c_1101_2 + 30448/29047, c_0201_1 - 11189/29047*c_1101_1*c_1101_2^7 + 62719/29047*c_1101_1*c_1101_2^6 + 369093/29047*c_1101_1*c_1101_2^5 + 204204/29047*c_1101_1*c_1101_2^4 - 442503/29047*c_1101_1*c_1101_2^3 - 137087/29047*c_1101_1*c_1101_2^2 - 68179/29047*c_1101_1*c_1101_2 - 23134/29047*c_1101_1, c_1011_0 - 11695/29047*c_1101_2^7 + 64208/29047*c_1101_2^6 + 393300/29047*c_1101_2^5 + 252374/29047*c_1101_2^4 - 396640/29047*c_1101_2^3 - 75434/29047*c_1101_2^2 - 68160/29047*c_1101_2 - 6509/29047, c_1011_1 - 30448/29047*c_1101_1*c_1101_2^7 + 161585/29047*c_1101_1*c_1101_2^6 + 1048709/29047*c_1101_1*c_1101_2^5 + 885494/29047*c_1101_1*c_1101_2^4 - 781452/29047*c_1101_1*c_1101_2^3 - 381936/29047*c_1101_1*c_1101_2^2 - 241336/29047*c_1101_1*c_1101_2 - 26357/29047*c_1101_1 + 18753/29047*c_1101_2^7 - 97377/29047*c_1101_2^6 - 655409/29047*c_1101_2^5 - 633120/29047*c_1101_2^4 + 384812/29047*c_1101_2^3 + 306502/29047*c_1101_2^2 + 173176/29047*c_1101_2 + 48895/29047, c_1011_2 - c_1101_1 - 9061/29047*c_1101_2^7 + 47961/29047*c_1101_2^6 + 313673/29047*c_1101_2^5 + 260291/29047*c_1101_2^4 - 242271/29047*c_1101_2^3 - 83972/29047*c_1101_2^2 - 82725/29047*c_1101_2 + 749/29047, c_1101_0 + 30448/29047*c_1101_1*c_1101_2^7 - 161585/29047*c_1101_1*c_1101_2^6 - 1048709/29047*c_1101_1*c_1101_2^5 - 885494/29047*c_1101_1*c_1101_2^4 + 781452/29047*c_1101_1*c_1101_2^3 + 381936/29047*c_1101_1*c_1101_2^2 + 241336/29047*c_1101_1*c_1101_2 + 26357/29047*c_1101_1, c_1101_1^2 + 9061/29047*c_1101_1*c_1101_2^7 - 47961/29047*c_1101_1*c_1101_2^6 - 313673/29047*c_1101_1*c_1101_2^5 - 260291/29047*c_1101_1*c_1101_2^4 + 242271/29047*c_1101_1*c_1101_2^3 + 83972/29047*c_1101_1*c_1101_2^2 + 82725/29047*c_1101_1*c_1101_2 - 749/29047*c_1101_1 - 2656/29047*c_1101_2^7 + 12523/29047*c_1101_2^6 + 102149/29047*c_1101_2^5 + 115417/29047*c_1101_2^4 - 79126/29047*c_1101_2^3 - 24143/29047*c_1101_2^2 - 46054/29047*c_1101_2 - 9061/29047, c_1101_2^8 - 5*c_1101_2^7 - 36*c_1101_2^6 - 40*c_1101_2^5 + 14*c_1101_2^4 + 18*c_1101_2^3 + 15*c_1101_2^2 + 5*c_1101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_1101_2" ], [ ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 100.430 Total time: 100.629 seconds, Total memory usage: 263.09MB