Bergman demo

This demo shows only a part of bergman. Look at the manual or download the system for all its features.
Near each menu point there is a button pressing which you will get an explanation (help)
See help on limitations of this bergman demo
 
Commutativity      Ordering          Characteristic
Commutative Non commutative      Lex Rev-lex           

 

Variables
   Please enter variable names (lowercase letters only) separated by commas
   If used, weights should be separated by commas like variables
 Do not use weights
Weights Variables Example (variables)
aa, x,y,
z,
t,b

Relations
 
  Please enter homogeneous non-linear relations separated by commas  Example
aa**2-2*t*b, x^2-y*y,
t^3+5*x*y*z-b^3,
2*b**2-6*x*z

 
Max Degree      Show results for:          send results by email
     Groebner Basis            email
    Hilbert Series      
    Anick resolution and
      Betti numbers
      Your e-mail will be used only to send you a link
to your results. It will not be stored
in the system or transferred to any third party.