| Singular https://www.singular.uni-kl.de/forum/ |
|
| the capacity of Groebner Basis functions https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1772 |
Page 1 of 1 |
| Author: | gepo [ Thu Sep 10, 2009 7:02 am ] |
| Post subject: | the capacity of Groebner Basis functions |
I am just interested in the performance or efficiency of Greobner Basis functions. If the ideal has thousands of variables and thousands of polynomials, whether the Groebner Basis computing functions can handle such a large scale problem. Another question: If I have thousands of variables and thousands of polynomials in an ideal, how I can put them to the Groebner Basis computing functions. Thanks a lot. |
|
| Author: | dreyer [ Thu Sep 10, 2009 9:26 am ] |
| Post subject: | Re: the capacity of Groebner Basis functions |
In general, Gröbner bases computations are of double-exponential worst-case complexity. So, this would make it impossible to apply them to your problems. But, for a large amount of problem classes there exist more efficient algorithms. SINGULARs Code: groebner command uses a sophisticated heuristic of selecting appropriate subroutines. It might help, if one has some background information about the problem. In that case one can find an optimized routine, or even a good preprocessing.About, calling Singular. The maximum number of variables in Singular is 32767. First you define a ring like this: Code: ring r = 0,x(1..32000),dp; You may also name each variable: Code: ring r = 0,(x, y, a, b, w),dp; For the polynomial system in question you write something like Code: ideal I = (a,b, x*y); groebner(I); Of course, for thousands of variables you should write everything in a file and call Code: Singular filename from the command line. Regards, Alexander |
|
| Author: | bulygin [ Fri Sep 11, 2009 8:29 am ] |
| Post subject: | Re: the capacity of Groebner Basis functions |
I would also recommend first to scale down your problem, i.e. reduce the number of equations and variables in the way that general behavior is supposedly preserved. You can run then GB-computations and see what comes out. This may hint you on some special methods of handling your bigger system. |
|
| Author: | gepo [ Thu Sep 17, 2009 6:50 am ] |
| Post subject: | Re: the capacity of Groebner Basis functions |
Thank you, but I still want to handle the problem by reading it from file and send it to singular. Could you tell me what the files related to compute Groebner Basis are? So maybe I can make some modifications to meet the requirements of my problem. Much appreciation. |
|
| Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|