home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.math.symbolic      Symbolic algebra discussion      10,432 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 9,479 of 10,432   
   antispam@math.uni.wroc.pl to clicliclic@freenet.de   
   Re: Test Cases for Gr?bner Base computat   
   12 Jun 17 18:11:24   
   
   clicliclic@freenet.de wrote:   
   >   
   > antispam@math.uni.wroc.pl schrieb:   
   > >   
   > > groebner([(5 + (5 + a^2)+b - a*b^2)*t,   
   > >   (5*a^2*b - (a + 4*a^2)*b^2)*(1-t)], "info")   
   > >   
   >   
   > When calling groebner() on FriCAS, how does one change the variable   
   > order, and possibly the monomial ordering to be used?   
      
   Monomial order is part of polynomial type.  Polynomial   
   gives lexicographic order.  HomogeneousDistributedMultivariatePolynomial   
   gives total-degree then reverse lexicographic.  The   
   OrderedVariable type allows specifing variable ordering.   
      
   --   
                                 Waldek Hebisch   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca