Magma V2.19-8 Mon Sep 16 2013 21:53:27 on localhost [Seed = 3135200992] Type ? for help. Type -D to quit. Loading file "m136__sl3_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation m136 geometric_solution 3.66386238 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 4 1 1 2 2 0132 3201 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.500000000000 0 3 0 3 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.000000000000 1.000000000000 3 0 3 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 1 -1 -1 0 0 1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 2 1 2 1 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 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.500000000000 0.500000000000 ==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_0'], 'c_1020_0' : d['c_0201_0'], 'c_1020_1' : d['c_0102_2'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_2'], 'c_0201_3' : d['c_0201_0'], 'c_2100_0' : d['c_0012_1'], 'c_2100_1' : d['c_0012_1'], 'c_2100_2' : d['c_0012_1'], 'c_2100_3' : d['c_0012_0'], 'c_2010_2' : d['c_0102_1'], 'c_2010_3' : d['c_0201_0'], 'c_2010_0' : d['c_0102_0'], 'c_2010_1' : d['c_0201_2'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0102_0'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_0'], 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : negation(d['c_1101_2']), 'c_1200_2' : d['c_0012_0'], 'c_1200_3' : d['c_0012_1'], 'c_1200_0' : d['c_0012_0'], 'c_1200_1' : d['c_0012_0'], 'c_1110_2' : d['c_1101_0'], 'c_1110_3' : negation(d['c_1110_1']), 'c_1110_0' : negation(d['c_1011_2']), 'c_1110_1' : d['c_1110_1'], 'c_0120_0' : d['c_0102_1'], 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0102_0'], 'c_0120_3' : d['c_0102_2'], 'c_2001_0' : d['c_0102_1'], 'c_2001_1' : d['c_0201_0'], 'c_2001_2' : d['c_0201_0'], 'c_2001_3' : d['c_0201_2'], 'c_0012_2' : d['c_0012_1'], '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_0201_0'], 'c_0210_3' : d['c_0201_2'], 'c_0210_0' : d['c_0201_1'], 'c_0210_1' : d['c_0201_0'], 'c_1002_2' : d['c_0102_0'], 'c_1002_3' : d['c_0102_2'], 'c_1002_0' : d['c_0201_1'], 'c_1002_1' : d['c_0102_0'], '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_0012_0'], 'c_0021_3' : d['c_0012_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 9514.630 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_0102_0, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ t*c_0201_2^6 + 2*t*c_0201_2^5 + t*c_0201_2^4 + 1, c_0012_0 - 1, c_0012_1 - 1, c_0102_0 + c_0201_2 + 1, c_0102_1 - c_0201_2, c_0102_2 - c_0201_2, c_0111_0 - 1, c_0111_2 + 1, c_0201_0 + c_0201_2 + 1, c_0201_1 - c_0201_2, c_1011_0 + 1, c_1011_1 - 1, c_1011_2 - 1, c_1101_0 - 1, c_1101_2 + 1, c_1110_1 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 1/4, c_0012_0 - 1, c_0012_1 - 1, c_0102_0 + c_1110_1, c_0102_1 - c_1110_1 - 1, c_0102_2 + c_1110_1 + 1, c_0111_0 - 1, c_0111_2 - c_1110_1, c_0201_0 + c_1110_1, c_0201_1 - c_1110_1 - 1, c_0201_2 + c_1110_1 + 1, c_1011_0 + 1, c_1011_1 - c_1110_1, c_1011_2 + 1, c_1101_0 + 1, c_1101_2 - c_1110_1, c_1110_1^2 + 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 3713189776362444923832451/127324959357742444892685*c_1110_1^7 + 32137387844289525315713278479/253716202346861445189490310*c_1110_1^\ 6 + 23624467010451060811340734/479917154502259984595505*c_1110_1^5 - 468365150794867946249705660227/761148607040584335568470930*c_1110_1\ ^4 + 50559157526898456433526893061/108735515291512047938352990*c_11\ 10_1^3 + 293377028124970810597290573/36245171763837349312784330*c_1\ 110_1^2 - 3752939628691782259309711421/29274946424637859060325805*c\ _1110_1 - 344968541471234874098322541/15533645041644578276907570, c_0012_0 - 1, c_0012_1 - 515690140739729683391/742419588091792681590*c_1110_1^7 - 48517266104277521799413/18189279908248920698955*c_1110_1^6 + 333112465393024735227/932783585038406189690*c_1110_1^5 + 559654992573594492136321/36378559816497841397910*c_1110_1^4 - 93281219341223954869123/5196937116642548771130*c_1110_1^3 + 4947955372082099061333/866156186107091461855*c_1110_1^2 + 5796984253717255320671/2798350755115218569070*c_1110_1 - 72207107172631545091/371209794045896340795, c_0102_0 + 1780094910224463556493/2227258764275378044770*c_1110_1^7 + 55229303106547560829739/15590811349927646313390*c_1110_1^6 + 868614199315432537277/399764393587888367010*c_1110_1^5 - 821961096064092786704/58612072744088895915*c_1110_1^4 + 16485999469666520324311/1113629382137689022385*c_1110_1^3 - 1475320866447435582977/273523006139081514270*c_1110_1^2 - 742064556649950089939/1199293180763665101030*c_1110_1 + 2135102499129673871491/2227258764275378044770, c_0102_1 + 349589164624254908629/742419588091792681590*c_1110_1^7 + 68821718012502858577969/36378559816497841397910*c_1110_1^6 + 143214378406576633577/932783585038406189690*c_1110_1^5 - 183572237061711985745917/18189279908248920698955*c_1110_1^4 + 27920457132284100601211/2598468558321274385565*c_1110_1^3 - 4924819602692301373809/1732312372214182923710*c_1110_1^2 - 4302311873927498255929/2798350755115218569070*c_1110_1 - 207722409811325448697/742419588091792681590, c_0102_2 - 614815172349061577446/1113629382137689022385*c_1110_1^7 - 1990815115011134625089/820569018417244542810*c_1110_1^6 - 43078323761117283202/28554599541992026215*c_1110_1^5 + 20542646813297559516343/2227258764275378044770*c_1110_1^4 - 175602165011593941933191/15590811349927646313390*c_1110_1^3 + 28169911078840062201707/5196937116642548771130*c_1110_1^2 - 230604756133112353142/599646590381832550515*c_1110_1 - 1587420836758037789449/2227258764275378044770, c_0111_0 - 1, c_0111_2 + 14905602007113114437/58612072744088895915*c_1110_1^7 + 78054281624090044223/91174335379693838090*c_1110_1^6 - 1436601574300377494/3506705206911301465*c_1110_1^5 - 3712650856311499051007/820569018417244542810*c_1110_1^4 + 3003043502902203667499/273523006139081514270*c_1110_1^3 - 1906916765793828261329/273523006139081514270*c_1110_1^2 + 32532209537528093389/31560346862201713185*c_1110_1 + 17452310510445514687/13024905054241976870, c_0201_0 - 36172570165071685801/445451752855075608954*c_1110_1^7 - 5831325625897232940293/10913567944949352419373*c_1110_1^6 - 39916132561786987927/29456323738054932306*c_1110_1^5 - 18968745703738299634939/21827135889898704838746*c_1110_1^4 - 1615884443577867665185/3118162269985529262678*c_1110_1^3 + 1339545227076315808028/519693711664254877113*c_1110_1^2 - 3227080441529213542355/1679010453069131141442*c_1110_1 + 1667069808336390923/222725876427537804477, c_0201_1 - 83050488057737387381/371209794045896340795*c_1110_1^7 - 9404271398684061673619/12126186605499280465970*c_1110_1^6 + 238163421899800684402/466391792519203094845*c_1110_1^5 + 192510518450170520644487/36378559816497841397910*c_1110_1^4 - 12480101692218584555567/1732312372214182923710*c_1110_1^3 + 4971091141471896748857/1732312372214182923710*c_1110_1^2 + 747336189894878532371/1399175377557609284535*c_1110_1 + 130094321311734714237/247473196030597560530, c_0201_2 + 365663708175849415303/1113629382137689022385*c_1110_1^7 + 90069983854162175037133/54567839724746762096865*c_1110_1^6 + 2825328129994148930104/1399175377557609284535*c_1110_1^5 - 214529069250534427183673/54567839724746762096865*c_1110_1^4 + 31640624890813340466544/7795405674963823156695*c_1110_1^3 - 6628318827212185977568/2598468558321274385565*c_1110_1^2 + 3856241862616422069107/4197526132672827853605*c_1110_1 + 13973972744428215074/58612072744088895915, c_1011_0 - 6167206697872214174/58612072744088895915*c_1110_1^7 - 2242243495250511920729/2871991564460355899835*c_1110_1^6 - 129973834450668519952/73640809345137330765*c_1110_1^5 + 1968200751301346760199/2871991564460355899835*c_1110_1^4 + 1512478484665245541618/410284509208622271405*c_1110_1^3 - 160972113491907365677/45587167689846919045*c_1110_1^2 - 136163297698579469266/220922428035411992295*c_1110_1 + 86293117388573476757/58612072744088895915, c_1011_1 - 51453864062289010697/58612072744088895915*c_1110_1^7 - 11375195955869911294132/2871991564460355899835*c_1110_1^6 - 195902874535785186566/73640809345137330765*c_1110_1^5 + 43917934485183044066002/2871991564460355899835*c_1110_1^4 - 6308316934384004258116/410284509208622271405*c_1110_1^3 + 448770091544066229292/136761503069540757135*c_1110_1^2 + 318551945558988057932/220922428035411992295*c_1110_1 - 67978108041189241364/58612072744088895915, c_1011_2 + 41556058230210955219/117224145488177791830*c_1110_1^7 + 429253952031498268658/319110173828928433315*c_1110_1^6 - 46219284928056099793/147281618690274661530*c_1110_1^5 - 46842596092566167494889/5743983128920711799670*c_1110_1^4 + 846106968015930185093/91174335379693838090*c_1110_1^3 - 93912236632463329324/45587167689846919045*c_1110_1^2 - 915600328849206339979/441844856070823984590*c_1110_1 - 1995038030993251384/6512452527120988435, c_1101_0 - 17361383870678667611/39074715162725930610*c_1110_1^7 - 5386579136147635675664/2871991564460355899835*c_1110_1^6 - 43233843329320158373/49093872896758220510*c_1110_1^5 + 14415285835174884163381/1914661042973570599890*c_1110_1^4 - 8873809345064313710059/820569018417244542810*c_1110_1^3 + 781832376453637773644/136761503069540757135*c_1110_1^2 + 13700342698033341331/147281618690274661530*c_1110_1 - 96098788538917126993/58612072744088895915, c_1101_2 + 13320089112732889354/19537357581362965305*c_1110_1^7 + 2472420168390896380087/820569018417244542810*c_1110_1^6 + 21625199948121276608/10520115620733904395*c_1110_1^5 - 2912169221219124183349/273523006139081514270*c_1110_1^4 + 12165385031926837572817/820569018417244542810*c_1110_1^3 - 1957968039034782480079/273523006139081514270*c_1110_1^2 + 11639486962974542573/10520115620733904395*c_1110_1 + 210648163381713953723/117224145488177791830, c_1110_1^8 + 12553/2989*c_1110_1^7 + 4460/2989*c_1110_1^6 - 56240/2989*c_1110_1^5 + 69913/2989*c_1110_1^4 - 2344/427*c_1110_1^3 - 14536/2989*c_1110_1^2 + 7079/2989*c_1110_1 + 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 26847201790765003429472521781722479/2819482739312515139563572978398\ 54*c_1110_1^15 + 71917580464417971459005857430037320/14097413696562\ 5756978178648919927*c_1110_1^14 + 210613726749312382615450439310775\ 013/281948273931251513956357297839854*c_1110_1^13 - 302957183944064414568430184495158170/140974136965625756978178648919\ 927*c_1110_1^12 + 3270050556933227868179691869435902369/56389654786\ 2503027912714595679708*c_1110_1^11 + 5581689159288904793838018770022627331/28194827393125151395635729783\ 9854*c_1110_1^10 - 11881944609835652239858168783584644001/281948273\ 931251513956357297839854*c_1110_1^9 - 3498781191989757079110904521718414209/14097413696562575697817864891\ 9927*c_1110_1^8 + 78558033070658371784551342825407515239/5638965478\ 62503027912714595679708*c_1110_1^7 - 7397954684641274744497884984544590891/14097413696562575697817864891\ 9927*c_1110_1^6 - 87231552485672838476084935120090968259/5638965478\ 62503027912714595679708*c_1110_1^5 + 70561091911309320342354830785575246767/5638965478625030279127145956\ 79708*c_1110_1^4 + 4528148398438520592363278111861872043/2819482739\ 31251513956357297839854*c_1110_1^3 - 23931256948703186059646685024634456843/5638965478625030279127145956\ 79708*c_1110_1^2 - 9126403020109491625394590431532857821/5638965478\ 62503027912714595679708*c_1110_1 - 253195868355119391982617998654014369/281948273931251513956357297839\ 854, c_0012_0 - 1, c_0012_1 - 1, c_0102_0 - 596235443292954595488822510/64166653147758651332807760091*c_\ 1110_1^15 - 2653178062451613856569513630/64166653147758651332807760\ 091*c_1110_1^14 - 1321767196631986219780920052/64166653147758651332\ 807760091*c_1110_1^13 + 20086405843188843048329931672/6416665314775\ 8651332807760091*c_1110_1^12 - 45600853597979736801064714819/641666\ 53147758651332807760091*c_1110_1^11 - 103999760234223405062770546897/64166653147758651332807760091*c_1110\ _1^10 + 400066986726140934111561039585/6416665314775865133280776009\ 1*c_1110_1^9 + 8348980135274419261816826701/64166653147758651332807\ 760091*c_1110_1^8 - 1243077639817330361831533004451/641666531477586\ 51332807760091*c_1110_1^7 + 941099127950714140681271751837/64166653\ 147758651332807760091*c_1110_1^6 + 1388723261895038390744134257138/64166653147758651332807760091*c_111\ 0_1^5 - 1832773548617148309925762119574/641666531477586513328077600\ 91*c_1110_1^4 - 285236884233889024844867515541/64166653147758651332\ 807760091*c_1110_1^3 + 826740714469853402939184249317/6416665314775\ 8651332807760091*c_1110_1^2 + 44103544368629626571287522787/6416665\ 3147758651332807760091*c_1110_1 - 45472489659336449975418558317/641\ 66653147758651332807760091, c_0102_1 + 1573615544883958580569700586/64166653147758651332807760091*c\ _1110_1^15 + 8109700294854376412129063968/6416665314775865133280776\ 0091*c_1110_1^14 + 10979839981952489655158736774/641666531477586513\ 32807760091*c_1110_1^13 - 36480217524233305360968676734/64166653147\ 758651332807760091*c_1110_1^12 + 103529670068831075982114562733/641\ 66653147758651332807760091*c_1110_1^11 + 293903199407358421436497489830/64166653147758651332807760091*c_1110\ _1^10 - 740163655018607927301522897548/6416665314775865133280776009\ 1*c_1110_1^9 - 210060871556474736783499269593/641666531477586513328\ 07760091*c_1110_1^8 + 2136506952883735173801946247998/6416665314775\ 8651332807760091*c_1110_1^7 - 1391613812329994064894953407927/64166\ 653147758651332807760091*c_1110_1^6 - 1675358611437629246753301598905/64166653147758651332807760091*c_111\ 0_1^5 + 2153359021861876096950113227251/641666531477586513328077600\ 91*c_1110_1^4 - 949679417900109340220286354997/64166653147758651332\ 807760091*c_1110_1^3 - 57015867398303909037115684148/64166653147758\ 651332807760091*c_1110_1^2 + 52922789338602157248683355323/64166653\ 147758651332807760091*c_1110_1 + 40153766675918965916705534084/6416\ 6653147758651332807760091, c_0102_2 + 558299847984501101126012666/64166653147758651332807760091*c_\ 1110_1^15 + 3000370551874258870942997338/64166653147758651332807760\ 091*c_1110_1^14 + 5093415434856806100326418654/64166653147758651332\ 807760091*c_1110_1^13 - 9124350296421829165806413282/64166653147758\ 651332807760091*c_1110_1^12 + 38091717663082630411035981519/6416665\ 3147758651332807760091*c_1110_1^11 + 99133471221374978978487642583/64166653147758651332807760091*c_1110_\ 1^10 - 206494726847271913164909350974/64166653147758651332807760091\ *c_1110_1^9 - 27041284290758043428985276018/64166653147758651332807\ 760091*c_1110_1^8 + 497888667966144817066193506783/6416665314775865\ 1332807760091*c_1110_1^7 - 471580796542248728303642722382/641666531\ 47758651332807760091*c_1110_1^6 - 5631149947034128321268080688/6416\ 6653147758651332807760091*c_1110_1^5 + 412085043655130429356428760959/64166653147758651332807760091*c_1110\ _1^4 - 872128027185397463072323144090/64166653147758651332807760091\ *c_1110_1^3 + 309068948105058177444540314848/6416665314775865133280\ 7760091*c_1110_1^2 + 39856496075034493742447913230/6416665314775865\ 1332807760091*c_1110_1 + 10039201055843848327894821925/641666531477\ 58651332807760091, c_0111_0 - 1, c_0111_2 - 632788693385614415241476476/64166653147758651332807760091*c_\ 1110_1^15 - 2641871680026539618101013306/64166653147758651332807760\ 091*c_1110_1^14 - 992980308470692443671317192/641666531477586513328\ 07760091*c_1110_1^13 + 20040075600886130395190485124/64166653147758\ 651332807760091*c_1110_1^12 - 55163103340534983909592587698/6416665\ 3147758651332807760091*c_1110_1^11 - 84038185368771386938521496215/64166653147758651332807760091*c_1110_\ 1^10 + 431694915391248448672298272954/64166653147758651332807760091\ *c_1110_1^9 - 170442861262157421984113089459/6416665314775865133280\ 7760091*c_1110_1^8 - 1080537967615330633478504006970/64166653147758\ 651332807760091*c_1110_1^7 + 1430305690385975007580328697538/641666\ 53147758651332807760091*c_1110_1^6 + 497127972709052571952182980009/64166653147758651332807760091*c_1110\ _1^5 - 1896252606820660454995821510657/6416665314775865133280776009\ 1*c_1110_1^4 + 1026904798845325640142641048518/64166653147758651332\ 807760091*c_1110_1^3 + 164065675373704891823566713474/6416665314775\ 8651332807760091*c_1110_1^2 - 172398568234336245218700267299/641666\ 53147758651332807760091*c_1110_1 + 26290738669547367936326473522/64166653147758651332807760091, c_0201_0 + 2735206007703341717629871522/64166653147758651332807760091*c\ _1110_1^15 + 14200796189528919846134993922/641666531477586513328077\ 60091*c_1110_1^14 + 19147090048021804181644824842/64166653147758651\ 332807760091*c_1110_1^13 - 65043792781492239975827815158/6416665314\ 7758651332807760091*c_1110_1^12 + 175142130033315149656426845219/64\ 166653147758651332807760091*c_1110_1^11 + 532424892600758400145358694789/64166653147758651332807760091*c_1110\ _1^10 - 1294172721023211100988990118860/641666531477586513328077600\ 91*c_1110_1^9 - 502043079363936859324596380504/64166653147758651332\ 807760091*c_1110_1^8 + 3963532850982858592128330071477/641666531477\ 58651332807760091*c_1110_1^7 - 2137629058777803319329697967577/6416\ 6653147758651332807760091*c_1110_1^6 - 3761459601087306441649756788970/64166653147758651332807760091*c_111\ 0_1^5 + 3946656777907515337447033894560/641666531477586513328077600\ 91*c_1110_1^4 - 626623845518917693850517585536/64166653147758651332\ 807760091*c_1110_1^3 - 683880774484755437082090912906/6416665314775\ 8651332807760091*c_1110_1^2 - 52269826834955440731989665285/6416665\ 3147758651332807760091*c_1110_1 - 30011812590604532738856417355/641\ 66653147758651332807760091, c_0201_1 + 1573615544883958580569700586/64166653147758651332807760091*c\ _1110_1^15 + 8109700294854376412129063968/6416665314775865133280776\ 0091*c_1110_1^14 + 10979839981952489655158736774/641666531477586513\ 32807760091*c_1110_1^13 - 36480217524233305360968676734/64166653147\ 758651332807760091*c_1110_1^12 + 103529670068831075982114562733/641\ 66653147758651332807760091*c_1110_1^11 + 293903199407358421436497489830/64166653147758651332807760091*c_1110\ _1^10 - 740163655018607927301522897548/6416665314775865133280776009\ 1*c_1110_1^9 - 210060871556474736783499269593/641666531477586513328\ 07760091*c_1110_1^8 + 2136506952883735173801946247998/6416665314775\ 8651332807760091*c_1110_1^7 - 1391613812329994064894953407927/64166\ 653147758651332807760091*c_1110_1^6 - 1675358611437629246753301598905/64166653147758651332807760091*c_111\ 0_1^5 + 2153359021861876096950113227251/641666531477586513328077600\ 91*c_1110_1^4 - 949679417900109340220286354997/64166653147758651332\ 807760091*c_1110_1^3 - 57015867398303909037115684148/64166653147758\ 651332807760091*c_1110_1^2 + 52922789338602157248683355323/64166653\ 147758651332807760091*c_1110_1 + 40153766675918965916705534084/6416\ 6653147758651332807760091, c_0201_2 - 1309523018380868734112662866/64166653147758651332807760091*c\ _1110_1^15 - 5390060247506517997336201542/6416665314775865133280776\ 0091*c_1110_1^14 - 2479412428456918910709368180/6416665314775865133\ 2807760091*c_1110_1^13 + 37067413179083713761406861734/641666531477\ 58651332807760091*c_1110_1^12 - 126006612880423607134869779871/6416\ 6653147758651332807760091*c_1110_1^11 - 158664509371243444291546312099/64166653147758651332807760091*c_1110\ _1^10 + 862789090213718142467580251205/6416665314775865133280776009\ 1*c_1110_1^9 - 577801840459774788243551627314/641666531477586513328\ 07760091*c_1110_1^8 - 2030191323507320714343179246376/6416665314775\ 8651332807760091*c_1110_1^7 + 3353685911782358811774039789507/64166\ 653147758651332807760091*c_1110_1^6 + 159411210036128978425287508816/64166653147758651332807760091*c_1110\ _1^5 - 4029175164031242359777095168861/6416665314775865133280776009\ 1*c_1110_1^4 + 2940101849074521677714970627365/64166653147758651332\ 807760091*c_1110_1^3 - 70647953252933739043134267090/64166653147758\ 651332807760091*c_1110_1^2 - 194089492565197175070972439625/6416665\ 3147758651332807760091*c_1110_1 + 63514539635089608670864429378/641\ 66653147758651332807760091, c_1011_0 - 1789617252953137601305830298/64166653147758651332807760091*c\ _1110_1^15 - 9055946697293774754683603452/6416665314775865133280776\ 0091*c_1110_1^14 - 11254453723468551877567959740/641666531477586513\ 32807760091*c_1110_1^13 + 44398660263364157002804773588/64166653147\ 758651332807760091*c_1110_1^12 - 120450992906600831762626074347/641\ 66653147758651332807760091*c_1110_1^11 - 336187763220531801113821353334/64166653147758651332807760091*c_1110\ _1^10 + 896011627398362249429543519925/6416665314775865133280776009\ 1*c_1110_1^9 + 228724759283285157731042500734/641666531477586513328\ 07760091*c_1110_1^8 - 2689509111266869578316803768464/6416665314775\ 8651332807760091*c_1110_1^7 + 1728552844797371914484000379529/64166\ 653147758651332807760091*c_1110_1^6 + 2471592407621143609575964324837/64166653147758651332807760091*c_111\ 0_1^5 - 2995500734565227011365228549624/641666531477586513328077600\ 91*c_1110_1^4 + 496600644535913816208557519745/64166653147758651332\ 807760091*c_1110_1^3 + 647477161672914612444304499864/6416665314775\ 8651332807760091*c_1110_1^2 + 133764551451662434171054555835/641666\ 53147758651332807760091*c_1110_1 - 52140856006183565608529081465/64166653147758651332807760091, c_1011_1 - 632788693385614415241476476/64166653147758651332807760091*c_\ 1110_1^15 - 2641871680026539618101013306/64166653147758651332807760\ 091*c_1110_1^14 - 992980308470692443671317192/641666531477586513328\ 07760091*c_1110_1^13 + 20040075600886130395190485124/64166653147758\ 651332807760091*c_1110_1^12 - 55163103340534983909592587698/6416665\ 3147758651332807760091*c_1110_1^11 - 84038185368771386938521496215/64166653147758651332807760091*c_1110_\ 1^10 + 431694915391248448672298272954/64166653147758651332807760091\ *c_1110_1^9 - 170442861262157421984113089459/6416665314775865133280\ 7760091*c_1110_1^8 - 1080537967615330633478504006970/64166653147758\ 651332807760091*c_1110_1^7 + 1430305690385975007580328697538/641666\ 53147758651332807760091*c_1110_1^6 + 497127972709052571952182980009/64166653147758651332807760091*c_1110\ _1^5 - 1896252606820660454995821510657/6416665314775865133280776009\ 1*c_1110_1^4 + 1026904798845325640142641048518/64166653147758651332\ 807760091*c_1110_1^3 + 164065675373704891823566713474/6416665314775\ 8651332807760091*c_1110_1^2 - 172398568234336245218700267299/641666\ 53147758651332807760091*c_1110_1 + 26290738669547367936326473522/64166653147758651332807760091, c_1011_2 + 1, c_1101_0 - 1789617252953137601305830298/64166653147758651332807760091*c\ _1110_1^15 - 9055946697293774754683603452/6416665314775865133280776\ 0091*c_1110_1^14 - 11254453723468551877567959740/641666531477586513\ 32807760091*c_1110_1^13 + 44398660263364157002804773588/64166653147\ 758651332807760091*c_1110_1^12 - 120450992906600831762626074347/641\ 66653147758651332807760091*c_1110_1^11 - 336187763220531801113821353334/64166653147758651332807760091*c_1110\ _1^10 + 896011627398362249429543519925/6416665314775865133280776009\ 1*c_1110_1^9 + 228724759283285157731042500734/641666531477586513328\ 07760091*c_1110_1^8 - 2689509111266869578316803768464/6416665314775\ 8651332807760091*c_1110_1^7 + 1728552844797371914484000379529/64166\ 653147758651332807760091*c_1110_1^6 + 2471592407621143609575964324837/64166653147758651332807760091*c_111\ 0_1^5 - 2995500734565227011365228549624/641666531477586513328077600\ 91*c_1110_1^4 + 496600644535913816208557519745/64166653147758651332\ 807760091*c_1110_1^3 + 647477161672914612444304499864/6416665314775\ 8651332807760091*c_1110_1^2 + 133764551451662434171054555835/641666\ 53147758651332807760091*c_1110_1 - 52140856006183565608529081465/64166653147758651332807760091, c_1101_2 - c_1110_1, c_1110_1^16 + 5*c_1110_1^15 + 6*c_1110_1^14 - 25*c_1110_1^13 + 139/2*c_1110_1^12 + 369/2*c_1110_1^11 - 1025/2*c_1110_1^10 - 88*c_1110_1^9 + 1524*c_1110_1^8 - 2181/2*c_1110_1^7 - 1323*c_1110_1^6 + 1849*c_1110_1^5 - 413*c_1110_1^4 - 811/2*c_1110_1^3 - 11/2*c_1110_1^2 + 39/2*c_1110_1 - 13/2 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 11684816552764818775/350564381144778176*c_1110_1^15 - 60484677835580249953/350564381144778176*c_1110_1^14 + 76251933972323109571/87641095286194544*c_1110_1^13 - 261847752122410384999/175282190572389088*c_1110_1^12 - 328469182964511160121/175282190572389088*c_1110_1^11 + 1454889968616917048683/350564381144778176*c_1110_1^10 + 317839049553277241599/87641095286194544*c_1110_1^9 - 966150440633799462749/350564381144778176*c_1110_1^8 - 1386020365485678809051/350564381144778176*c_1110_1^7 - 288252636204483113117/87641095286194544*c_1110_1^6 - 123433518010367039699/87641095286194544*c_1110_1^5 + 40552946230500764913/350564381144778176*c_1110_1^4 + 62367582361681987501/175282190572389088*c_1110_1^3 + 39148683215362643673/175282190572389088*c_1110_1^2 + 403912094678855960/5477568455387159*c_1110_1 + 265978502373483241/175282190572389088, c_0012_0 - 1, c_0012_1 - 15489181075039966151/5609030098316450816*c_1110_1^15 + 62768096147997500143/5609030098316450816*c_1110_1^14 - 10137998600130479619/175282190572389088*c_1110_1^13 + 143679201822409755483/2804515049158225408*c_1110_1^12 + 705071102860402808217/2804515049158225408*c_1110_1^11 - 623349520557984930775/5609030098316450816*c_1110_1^10 - 1538232446049814816799/2804515049158225408*c_1110_1^9 - 1550058897101776571589/5609030098316450816*c_1110_1^8 + 1648147042287527914779/5609030098316450816*c_1110_1^7 + 1884839783200135489207/2804515049158225408*c_1110_1^6 + 1854135212146763454149/2804515049158225408*c_1110_1^5 + 2204642990393348676733/5609030098316450816*c_1110_1^4 + 465755282669821172265/2804515049158225408*c_1110_1^3 + 135777695824306902623/2804515049158225408*c_1110_1^2 + 14692783548731376519/1402257524579112704*c_1110_1 + 7457302974716891447/2804515049158225408, c_0102_0 + 32905162563021895861/11218060196632901632*c_1110_1^15 - 151643295658888335575/11218060196632901632*c_1110_1^14 + 24295328287666128817/350564381144778176*c_1110_1^13 - 530455404053975634309/5609030098316450816*c_1110_1^12 - 1156653623268955939689/5609030098316450816*c_1110_1^11 + 2485334825649676013549/11218060196632901632*c_1110_1^10 + 304524679236373707905/701128762289556352*c_1110_1^9 + 865571211692828671785/11218060196632901632*c_1110_1^8 - 3319141861178435970005/11218060196632901632*c_1110_1^7 - 1513465645594586044613/2804515049158225408*c_1110_1^6 - 1277576618136643628187/2804515049158225408*c_1110_1^5 - 2617073492070076015033/11218060196632901632*c_1110_1^4 - 477478957607545798217/5609030098316450816*c_1110_1^3 - 113700354248060400909/5609030098316450816*c_1110_1^2 - 990394862469695799/350564381144778176*c_1110_1 - 10054906306176289623/5609030098316450816, c_0102_1 + 56375780441943390285/5609030098316450816*c_1110_1^15 - 245323601490001779017/5609030098316450816*c_1110_1^14 + 314542857934882035667/1402257524579112704*c_1110_1^13 - 720551001690269045847/2804515049158225408*c_1110_1^12 - 2303006124003855853361/2804515049158225408*c_1110_1^11 + 3512608731779030798681/5609030098316450816*c_1110_1^10 + 4931598524300955545541/2804515049158225408*c_1110_1^9 + 3016609742742510547011/5609030098316450816*c_1110_1^8 - 6230231560034536921669/5609030098316450816*c_1110_1^7 - 5917236859935364906969/2804515049158225408*c_1110_1^6 - 5312192202327168294797/2804515049158225408*c_1110_1^5 - 5586294018946554176175/5609030098316450816*c_1110_1^4 - 1019948176730330614163/2804515049158225408*c_1110_1^3 - 234218205798936110989/2804515049158225408*c_1110_1^2 - 12963950289396758559/1402257524579112704*c_1110_1 - 9777741735051414773/2804515049158225408, c_0102_2 + 21844652772249294845/11218060196632901632*c_1110_1^15 - 89864905369348133869/11218060196632901632*c_1110_1^14 + 116686074675714288463/2804515049158225408*c_1110_1^13 - 225510463961660202743/5609030098316450816*c_1110_1^12 - 937018878021815235333/5609030098316450816*c_1110_1^11 + 875947584599088555113/11218060196632901632*c_1110_1^10 + 2008302444837443792835/5609030098316450816*c_1110_1^9 + 2228039831560683639783/11218060196632901632*c_1110_1^8 - 1853627884171229117229/11218060196632901632*c_1110_1^7 - 2576207555237306089067/5609030098316450816*c_1110_1^6 - 2716343703061927416939/5609030098316450816*c_1110_1^5 - 3454017699255504044019/11218060196632901632*c_1110_1^4 - 769552098521210500527/5609030098316450816*c_1110_1^3 - 236619762674734998045/5609030098316450816*c_1110_1^2 - 18271652048786677797/2804515049158225408*c_1110_1 - 8933928270161201689/5609030098316450816, c_0111_0 - 1, c_0111_2 - c_1110_1, c_0201_0 + 32905162563021895861/11218060196632901632*c_1110_1^15 - 151643295658888335575/11218060196632901632*c_1110_1^14 + 24295328287666128817/350564381144778176*c_1110_1^13 - 530455404053975634309/5609030098316450816*c_1110_1^12 - 1156653623268955939689/5609030098316450816*c_1110_1^11 + 2485334825649676013549/11218060196632901632*c_1110_1^10 + 304524679236373707905/701128762289556352*c_1110_1^9 + 865571211692828671785/11218060196632901632*c_1110_1^8 - 3319141861178435970005/11218060196632901632*c_1110_1^7 - 1513465645594586044613/2804515049158225408*c_1110_1^6 - 1277576618136643628187/2804515049158225408*c_1110_1^5 - 2617073492070076015033/11218060196632901632*c_1110_1^4 - 477478957607545798217/5609030098316450816*c_1110_1^3 - 113700354248060400909/5609030098316450816*c_1110_1^2 - 990394862469695799/350564381144778176*c_1110_1 - 10054906306176289623/5609030098316450816, c_0201_1 + 13/4096*c_1110_1^15 - 39/4096*c_1110_1^14 + 29/512*c_1110_1^13 - 1/2048*c_1110_1^12 - 581/2048*c_1110_1^11 - 755/4096*c_1110_1^10 + 55/128*c_1110_1^9 + 3321/4096*c_1110_1^8 + 2219/4096*c_1110_1^7 - 253/1024*c_1110_1^6 - 1121/1024*c_1110_1^5 - 6753/4096*c_1110_1^4 - 3889/2048*c_1110_1^3 - 4053/2048*c_1110_1^2 - 511/256*c_1110_1 - 4095/2048, c_0201_2 + 21844652772249294845/11218060196632901632*c_1110_1^15 - 89864905369348133869/11218060196632901632*c_1110_1^14 + 116686074675714288463/2804515049158225408*c_1110_1^13 - 225510463961660202743/5609030098316450816*c_1110_1^12 - 937018878021815235333/5609030098316450816*c_1110_1^11 + 875947584599088555113/11218060196632901632*c_1110_1^10 + 2008302444837443792835/5609030098316450816*c_1110_1^9 + 2228039831560683639783/11218060196632901632*c_1110_1^8 - 1853627884171229117229/11218060196632901632*c_1110_1^7 - 2576207555237306089067/5609030098316450816*c_1110_1^6 - 2716343703061927416939/5609030098316450816*c_1110_1^5 - 3454017699255504044019/11218060196632901632*c_1110_1^4 - 769552098521210500527/5609030098316450816*c_1110_1^3 - 236619762674734998045/5609030098316450816*c_1110_1^2 - 18271652048786677797/2804515049158225408*c_1110_1 - 8933928270161201689/5609030098316450816, c_1011_0 + 2499314990626580217/2804515049158225408*c_1110_1^15 - 5498298262183615109/1402257524579112704*c_1110_1^14 + 27849812642515799943/1402257524579112704*c_1110_1^13 - 15933413815636309963/701128762289556352*c_1110_1^12 - 107681320213763099711/1402257524579112704*c_1110_1^11 + 185013720736389146907/2804515049158225408*c_1110_1^10 + 477913784699625198723/2804515049158225408*c_1110_1^9 + 99447890755593403/5477568455387159*c_1110_1^8 - 389883036456077783841/2804515049158225408*c_1110_1^7 - 482848616969821166301/2804515049158225408*c_1110_1^6 - 336234535262103527081/2804515049158225408*c_1110_1^5 - 69878420047195553591/1402257524579112704*c_1110_1^4 - 5104302439114490013/350564381144778176*c_1110_1^3 - 8143175763498656517/1402257524579112704*c_1110_1^2 - 4420331618715253637/1402257524579112704*c_1110_1 - 82470072659510719/87641095286194544, c_1011_1 - 4839589622974585089/2804515049158225408*c_1110_1^15 + 4906099942038180977/701128762289556352*c_1110_1^14 - 51115890085003006947/1402257524579112704*c_1110_1^13 + 23490219595005670047/701128762289556352*c_1110_1^12 + 210249479875812576001/1402257524579112704*c_1110_1^11 - 166613085449129101827/2804515049158225408*c_1110_1^10 - 905401507665024551497/2804515049158225408*c_1110_1^9 - 278270794914246458773/1402257524579112704*c_1110_1^8 + 394201650447278176837/2804515049158225408*c_1110_1^7 + 1187724967125586912583/2804515049158225408*c_1110_1^6 + 1268493254417269527103/2804515049158225408*c_1110_1^5 + 102211095096917063389/350564381144778176*c_1110_1^4 + 91324145585561606989/701128762289556352*c_1110_1^3 + 53587635019447755341/1402257524579112704*c_1110_1^2 + 9830939281786885411/1402257524579112704*c_1110_1 + 906696295575445453/701128762289556352, c_1011_2 + 2499314990626580217/2804515049158225408*c_1110_1^15 - 5498298262183615109/1402257524579112704*c_1110_1^14 + 27849812642515799943/1402257524579112704*c_1110_1^13 - 15933413815636309963/701128762289556352*c_1110_1^12 - 107681320213763099711/1402257524579112704*c_1110_1^11 + 185013720736389146907/2804515049158225408*c_1110_1^10 + 477913784699625198723/2804515049158225408*c_1110_1^9 + 99447890755593403/5477568455387159*c_1110_1^8 - 389883036456077783841/2804515049158225408*c_1110_1^7 - 482848616969821166301/2804515049158225408*c_1110_1^6 - 336234535262103527081/2804515049158225408*c_1110_1^5 - 69878420047195553591/1402257524579112704*c_1110_1^4 - 5104302439114490013/350564381144778176*c_1110_1^3 - 8143175763498656517/1402257524579112704*c_1110_1^2 - 4420331618715253637/1402257524579112704*c_1110_1 - 82470072659510719/87641095286194544, c_1101_0 + 1, c_1101_2 - 4839589622974585089/2804515049158225408*c_1110_1^15 + 4906099942038180977/701128762289556352*c_1110_1^14 - 51115890085003006947/1402257524579112704*c_1110_1^13 + 23490219595005670047/701128762289556352*c_1110_1^12 + 210249479875812576001/1402257524579112704*c_1110_1^11 - 166613085449129101827/2804515049158225408*c_1110_1^10 - 905401507665024551497/2804515049158225408*c_1110_1^9 - 278270794914246458773/1402257524579112704*c_1110_1^8 + 394201650447278176837/2804515049158225408*c_1110_1^7 + 1187724967125586912583/2804515049158225408*c_1110_1^6 + 1268493254417269527103/2804515049158225408*c_1110_1^5 + 102211095096917063389/350564381144778176*c_1110_1^4 + 91324145585561606989/701128762289556352*c_1110_1^3 + 53587635019447755341/1402257524579112704*c_1110_1^2 + 9830939281786885411/1402257524579112704*c_1110_1 + 906696295575445453/701128762289556352, c_1110_1^16 - 4*c_1110_1^15 + 271/13*c_1110_1^14 - 18*c_1110_1^13 - 1160/13*c_1110_1^12 + 407/13*c_1110_1^11 + 2515/13*c_1110_1^10 + 1561/13*c_1110_1^9 - 1102/13*c_1110_1^8 - 3231/13*c_1110_1^7 - 3472/13*c_1110_1^6 - 2269/13*c_1110_1^5 - 1025/13*c_1110_1^4 - 328/13*c_1110_1^3 - 70/13*c_1110_1^2 - 14/13*c_1110_1 - 2/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_0201_2" ], [ ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 9514.640 Total time: 9514.850 seconds, Total memory usage: 1593.50MB