# fine control of a Groebner basis computation

Sometimes a Groebner basis computation doesn't finish quickly enough. If so then this section might be of use. THIS PAGE IS UNDER CONSTRUCTION.

## Partially computed Groebner bases

Suppose that you have computed part of a Groebner basis. For example, you may have interrupted the computation using CTRL-C (typing 'c' while holding the CTRL key down, in emacs, you have to type CTRL-C twice), or you may have given options requesting only partial computation.
 i1 : R = ZZ/32003[a..e]; i2 : I = ideal(random(3,R),random(3,R),random(3,R)) 3 2 2 3 2 o2 = ideal (107a + 4376a b - 5307a*b - 6203b - 5570a c + 8570a*b*c + ------------------------------------------------------------------------ 2 2 2 3 2 12365b c - 10480a*c - 11950b*c + 9534c + 3187a d - 15344a*b*d - ------------------------------------------------------------------------ 2 2 2 2 13508b d + 10359a*c*d + 8231b*c*d - 7216c d - 8251a*d + 5026b*d + ------------------------------------------------------------------------ 2 3 2 2 7256c*d + 9033d + 3783a e + 8444a*b*e - 9480b e - 7464a*c*e + ------------------------------------------------------------------------ 2 2 5864b*c*e - 10125c e + 2653a*d*e + 10259b*d*e - 5321c*d*e + 5107d e + ------------------------------------------------------------------------ 2 2 2 2 3 3 2 5071a*e - 7501b*e + 6230c*e - 3996d*e + 9398e , 13177a + 13990a b + ------------------------------------------------------------------------ 2 3 2 2 2 10866a*b + 1031b - 11521a c + 5398a*b*c - 2036b c + 2627a*c - ------------------------------------------------------------------------ 2 3 2 2 6922b*c - 3589c - 1309a d + 5549a*b*d - 6325b d - 5326a*c*d - ------------------------------------------------------------------------ 2 2 2 2 3 2 5080b*c*d - 5599c d + 5679a*d + 8922b*d + 13707c*d + 8971d - 1779a e ------------------------------------------------------------------------ 2 2 - 7061a*b*e - 11740b e + 2998a*c*e + 1236b*c*e + 4259c e - 7152a*d*e - ------------------------------------------------------------------------ 2 2 2 2 5006b*d*e - 13892c*d*e - 14165d e + 15317a*e + 8880b*e - 994c*e - ------------------------------------------------------------------------ 2 3 3 2 2 3 2 3002d*e + 2177e , - 10521a - 1946a b - 11045a*b - 15333b - 7021a c + ------------------------------------------------------------------------ 2 2 2 3 2 10370a*b*c - 7600b c - 7028a*c - 3560b*c + 5969c + 1206a d - ------------------------------------------------------------------------ 2 2 2 9702a*b*d - 6040b d - 15a*c*d - 7194b*c*d - 5483c d + 6377a*d - ------------------------------------------------------------------------ 2 2 3 2 2 6627b*d + 9074c*d - 11726d - 6453a e + 8886a*b*e - 3164b e - ------------------------------------------------------------------------ 2 6723a*c*e - 7092b*c*e + 5874c e - 11435a*d*e + 4700b*d*e - 15250c*d*e + ------------------------------------------------------------------------ 2 2 2 2 2 3 8022d e - 1192a*e + 9797b*e + 10567c*e + 295d*e + 2292e ) o2 : Ideal of R i3 : gens gb(I,PairLimit=>7); 1 7 o3 : Matrix R <--- R
Get the Groebner basis object:
 i4 : g = gb(I,StopBeforeComputation => true); i5 : leadTerm gens g o5 = | ab2 a2b a3 b3c b4 abc3 a2c3 | 1 7 o5 : Matrix R <--- R
We can make a Groebner basis snapshot by using StopBeforeComputation, or gbSnapshot:
 i6 : gens gb(I,StopBeforeComputation => true) o6 = | ab2-11391b3-5320a2c-13396abc-13493b2c-1240ac2+7608bc2-3232c3-1589a2d- ------------------------------------------------------------------------ 10031abd+4261b2d-8339acd+11672bcd-8273c2d+9919ad2+2784bd2-9469cd2-467d3+ ------------------------------------------------------------------------ 10443a2e-8047abe-804b2e-8732ace-4103bce-11320c2e+15116ade+8081bde+ ------------------------------------------------------------------------ 13170cde+8155d2e+14681ae2+6840be2-4060ce2+4697de2-10579e3 ------------------------------------------------------------------------ a2b-1245b3-6307a2c-11752abc+4739b2c-7117ac2+4604bc2-2102c3-1103a2d+ ------------------------------------------------------------------------ 14036abd+12312b2d+4931acd+10339bcd-8058c2d+11980ad2+8057bd2+13937cd2- ------------------------------------------------------------------------ 85d3+14455a2e+8260abe+2037b2e+9647ace-15410bce+921c2e+9551ade-3204bde- ------------------------------------------------------------------------ 8696cde+6879d2e+12651ae2-7056be2+10714ce2-1787de2+14941e3 ------------------------------------------------------------------------ a3+8403b3-1190a2c-15323abc+13420b2c+6342ac2+15466bc2-3361c3-7950a2d- ------------------------------------------------------------------------ 1838abd+14555b2d+12332acd+5108bcd+2903c2d-5539ad2-10429bd2-2305cd2- ------------------------------------------------------------------------ 7937d3-1697a2e+9091abe+14609b2e-8778ace+9245bce+4957c2e-5753ade+10314bde ------------------------------------------------------------------------ +1752cde+12225d2e+15200ae2-1840be2+2970ce2+7214de2-6578e3 ------------------------------------------------------------------------ b3c+5081a2c2-8259abc2-14376b2c2+3188ac3-769bc3+9944c4-7494b3d+7852a2cd+ ------------------------------------------------------------------------ 10219abcd+4847b2cd+1132ac2d-7248bc2d-1825c3d-5344a2d2-6809abd2+11727b2d2 ------------------------------------------------------------------------ -3821acd2-12167bcd2-7415c2d2-5912ad3+8110bd3+4202cd3+1057d4-2905b3e+ ------------------------------------------------------------------------ 5014a2ce+6780abce+15730b2ce-14498ac2e+8288bc2e+8027c3e+4400a2de-2006abde ------------------------------------------------------------------------ -11279b2de-12106acde+85bcde+4702c2de-6507ad2e+375bd2e+1276cd2e-75d3e+ ------------------------------------------------------------------------ 8509a2e2+11161abe2-1461b2e2-13786ace2+13233bce2-13146c2e2-4294ade2+ ------------------------------------------------------------------------ 2115bde2-8341cde2+6748d2e2-3680ae3-9994be3+13199ce3+9404de3-7442e4 ------------------------------------------------------------------------ b4+8597a2c2+2008abc2+10927b2c2+11183ac3-2334bc3+2651c4-11800b3d-2247a2cd ------------------------------------------------------------------------ -3514abcd-10663b2cd-4703ac2d+3223bc2d-31c3d-8220a2d2-14532abd2+9140b2d2- ------------------------------------------------------------------------ 15426acd2-8204bcd2+4041c2d2+1695ad3-12050bd3-9450cd3-1043d4-13002b3e+ ------------------------------------------------------------------------ 7568a2ce-8466abce+2203b2ce-520ac2e-10283bc2e+15655c3e-4914a2de+14891abde ------------------------------------------------------------------------ +7008b2de+4316acde+5553bcde+13770c2de+14595ad2e-3748bd2e-3132cd2e- ------------------------------------------------------------------------ 4247d3e+5929a2e2-223abe2-13618b2e2-4800ace2-14221bce2-10331c2e2+ ------------------------------------------------------------------------ 15289ade2+11676bde2+13221cde2+10864d2e2-3953ae3-12193be3-3354ce3-9362de3 ------------------------------------------------------------------------ +5003e4 abc3+14563b2c3+7076ac4-3805bc4-998c5-11331a2c2d+14001abc2d- ------------------------------------------------------------------------ 9559b2c2d+13974ac3d+1972bc3d+7522c4d-15602b3d2-5593a2cd2-14073abcd2- ------------------------------------------------------------------------ 9437b2cd2-3338ac2d2+3652bc2d2-7670c3d2+2680a2d3+8342abd3-14061b2d3+ ------------------------------------------------------------------------ 1909acd3+10705bcd3+6541c2d3+1512ad4-6422bd4+6813cd4+12171d5+849a2c2e- ------------------------------------------------------------------------ 4307abc2e-11850b2c2e-11391ac3e-13420bc3e-15487c4e-959b3de-64a2cde+ ------------------------------------------------------------------------ 3520abcde+11428b2cde+6361ac2de-9883bc2de-8624c3de+2129a2d2e+15459abd2e- ------------------------------------------------------------------------ 9432b2d2e-11415acd2e-14940bcd2e+1863c2d2e-14855ad3e-14014bd3e-2661cd3e- ------------------------------------------------------------------------ 4619d4e-950b3e2+10361a2ce2-5000abce2+15729b2ce2+2961ac2e2-1806bc2e2- ------------------------------------------------------------------------ 15236c3e2-4319a2de2-1113abde2+3734b2de2+7689acde2-1337bcde2-12800c2de2+ ------------------------------------------------------------------------ 13550ad2e2-312bd2e2+3671cd2e2-7034d3e2-14914a2e3-9352abe3-7633b2e3- ------------------------------------------------------------------------ 8892ace3-5755bce3+7215c2e3-13530ade3-4610bde3-338cde3+8929d2e3-6303ae4- ------------------------------------------------------------------------ 9672be4-8826ce4-5872de4-14853e5 ------------------------------------------------------------------------ a2c3+12817b2c3+4227ac4-1643bc4+11820c5+13424a2c2d+421abc2d-9343b2c2d- ------------------------------------------------------------------------ 8104ac3d-208bc3d-2264c4d-4618b3d2-9256a2cd2-13197abcd2+12517b2cd2+ ------------------------------------------------------------------------ 8613ac2d2-10602bc2d2+8080c3d2-12173a2d3+7845abd3+11470b2d3-15645acd3+ ------------------------------------------------------------------------ 14068bcd3+1614c2d3-2477ad4+14757bd4-10489cd4+8593d5-8625a2c2e+547abc2e+ ------------------------------------------------------------------------ 9666b2c2e-7182ac3e+4055bc3e-2460c4e+11055b3de+15233a2cde-2278abcde+ ------------------------------------------------------------------------ 14497b2cde-8061ac2de+9802bc2de+14712c3de-8847a2d2e-2836abd2e+7338b2d2e+ ------------------------------------------------------------------------ 9402acd2e+10024bcd2e+15998c2d2e-3436ad3e+12062bd3e+7886cd3e+7886d4e+ ------------------------------------------------------------------------ 9628b3e2-6744a2ce2-1535abce2-1802b2ce2+10769ac2e2+269bc2e2-8136c3e2+ ------------------------------------------------------------------------ 1243a2de2-763abde2-6341b2de2-2584acde2+11620bcde2+10174c2de2+10935ad2e2+ ------------------------------------------------------------------------ 6495bd2e2+4855cd2e2-12580d3e2+8827a2e3+15208abe3+11344b2e3+3458ace3- ------------------------------------------------------------------------ 69bce3-4243c2e3+3442ade3-7654bde3-15312cde3+11297d2e3+14040ae4+10946be4+ ------------------------------------------------------------------------ 15202ce4+14150de4+3493e5 | 1 7 o6 : Matrix R <--- R i7 : leadTerm gbSnapshot(I) o7 = | ab2 a2b a3 b3c b4 abc3 a2c3 | 1 7 o7 : Matrix R <--- R