Singular e Groebner basis

[faenil]

salve ragazzi c'è un mio amico che sta scrivendo un programma e gli serve risolvere questa "roba"
ha trovato che può risolverla usando Singular ma il problema è che il mio computer durante il calcolo al 29000 numero più o meno si ferma e dice no more memory (ho 4gb di ram, ed ho messo 10gb di paging per l'occasione) mentre il suo portatile che ha linux e 1024mb di ram si ferma a circa 31000, dopodichè diventa tutto scuro e il pc si blocca perchè non ce la fa più

come possiamo risolvere questo sistema? è un sistema a tre variabili, con 3 equazioni
vi riscrivo qui quello che lui scrive in singular per cominciare il calcolo
spero possiate essermi d'aiuto ^^
abbiamo chiesto ai prof all'università come era possibile risolvere questo sistema ma nessuno ha saputo dare una risposta, tutti dovevano pensarci o parlare con altri professori, così abbiamo cercato un po' online ed abbiamo scoperto che bisognava usare le groebner basis, ma ci siamo bloccati dove vi ho descritto. questo è ciò che il mio amico scrive in singular

ring r = (0, a(1..11), b(1..11), c(1..11)), (s, t, u), lp;
ideal I = a(1)*s^2*t^2+a(2)*s^2*t+a(3)*s^2+a(4)*s*t^2+a(5)*s*t+a(6)*s+a(7)*t^2+a(8)*t+a(9)*u^2+a(10)*u+a(11), b(1)*s^2*t^2+b(2)*s^2*t+b(3)*s^2+b(4)*s*t^2+b(5)*s*t+b(6)*s+b(7)*t^2+b(8)*t+b(9)*u^2+b(10)*u+b(11), c(1)*s^2*t^2+c(2)*s^2*t+c(3)*s^2+c(4)*s*t^2+c(5)*s*t+c(6)*s+c(7)*t^2+c(8)*t+c(9)*u^2+c(10)*u+c(11);
I;
option(prot);
ideal G = groebner(I);
G;

[Lord K]

Forse l'algoritmo usato non è molto efficiente per il problema che devi risolvere... ti consiglio di dare una occhiata anche a questi altri due metodi:

http://en.wikipedia.org/wiki/Buchberger%27s_algorithm
http://en.wikipedia.org/wiki/Faug%C3%A8re_F4_algorithm