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} | 10107405ac+1841220bc+5498388c2-14748300ad+2292430bd+1683360cd+175
     {-2} | 43798755b2-4903260bc-19100844c2+23219280ad+9529870bd+26412120cd-2
     {-2} | 26953080ab+50828040bc+165825576c2-59232180ad+25679920bd+85096200c
     {-2} | 2085655a2-2980548bc-10195794c2+13162464ad-1004192bd-5026518cd+193
     {-3} | 799994857701821389572765432300552c2d-1063868224786024747301014097
     {-3} | 266664952567273796524255144100184bcd+7611318035498228361074381295
     {-3} | 7199953719316392506154888890704968c3-1032098914277566124043754037
     {-3} | 2399984573105464168718296296901656bc2-151076521960047290934461237
     {-4} | 15156570391344069901793614885683424687914550933384979772891178588
     {-4} | 50521901304480233005978716285611415626381836444616599242970595296
     {-4} | 75782851956720349508968074428417123439572754666924898864455892944
     {-5} | d5                                                               
     ------------------------------------------------------------------------
     455d2                                                                   
     255400d2                                                                
     d+9399075d2                                                             
     8636d2                                                                  
     7804615ad2+5802102085460756195115523785100540bd2-75327450522016941746601
     008715ad2-4827468663972437993590357956301910bd2+683884284514440482581124
     8747605ad2-4349460218789373458162561992612810bd2+51089402601137586026271
     01559590ad2+14956688259363076778970130784811530bd2-214352666129606309832
     8cd3-75789223439175607409734602171611298413596899018263709767110013635d4
     bd3+38285343195715839120934685932316459058452819144084382239807765241d4 
     ad3+18587379567604350563852438067889786639589957234317349057651254183d4 
                                                                             
     ------------------------------------------------------------------------
                                                             |
                                                             |
                                                             |
                                                             |
     42657066690cd2+5610285419039505957290003800197510d3     |
     1270496296cd2-5006466254743315475334777594310335d3      |
     90368515530cd2-8043605461495645090986449181231120d3     |
     68947951895175cd2+17393900767091916773440282406971350d3 |
                                                             |
                                                             |
                                                             |
                                                             |

             12       1
o2 : Matrix R   <--- R