next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

groebnerBasis -- Gröbner basis, as a matrix

Synopsis

Description

i1 : R = QQ[a..d]

o1 = R

o1 : PolynomialRing
i2 : transpose groebnerBasis random(R^1,R^{4:-2})

o2 = {-2} | 1088100ac+10865640bc-2179143c2+1817172ad+1210608bd+790196cd+28118
     {-2} | 16740b2-136680bc+51921c2-18504ad-6471bd+4328cd-38164d2           
     {-2} | 29016ab+693960bc-267678c2+194760ad+386091bd+331132cd+341044d2    
     {-2} | 12400a2-90720bc+43344c2-24696ad-41769bd-39228cd-35196d2          
     {-3} | 1987596030865534205120415515571543c2d-264822047061139030437286774
     {-3} | 662532010288511401706805171857181bcd+6238898307657128097214200664
     {-3} | 89441821388949039230418698200719435c3-300539832284206722095423236
     {-3} | 5962788092596602615361246546714629bc2-874899074586933156854084026
     {-4} | 17879689884499698623868364477974896445391984658605143184298233403
     {-4} | 17879689884499698623868364477974896445391984658605143184298233403
     {-4} | 17879689884499698623868364477974896445391984658605143184298233403
     {-5} | d5                                                               
     ------------------------------------------------------------------------
     72d2                                                                    
                                                                             
                                                                             
                                                                             
     133472ad2+413498353646295285848818002378312bd2+1248881677313395691775914
     7616ad2+131152553716511260983168831940137bd2+149006287536993497794634801
     798561116ad2-979021277891149501713057873121872084bd2-1106576720156425878
     8156372ad2-26488453042813264193098165592038278bd2-2852807038161318206207
     cd3+906527444283209302967376658939248399966441937403281676167295498d4   
     bd3+16575249681725864520083035101067658649091868667815311741295477916d4 
     ad3-24951107424343328430494050165239454888008757210975051217686490040d4 
                                                                             
     ------------------------------------------------------------------------
                                                                  |
                                                                  |
                                                                  |
                                                                  |
     728061444cd2-145597206407922258038973072259312d3             |
     449064cd2+164114744098507092511632793737500d3                |
     034636484545313128cd2-507827598808625582884044937779594016d3 |
     2639804656136cd2-14019339584349682124348921763493672d3       |
                                                                  |
                                                                  |
                                                                  |
                                                                  |

             12       1
o2 : Matrix R   <--- R