Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Stránky: 1
Dobrý večer přeji,
našel by se tu nějaký odborník na Gröbnerovy báze? Zápasím tu s jedním příkladem. Už jsem myslel, že jsem tomu přišel na kloub. Chybí mi ale k cíli ještě pár kroků.
Zadání:
Wolfram ukazuje odpověď:
...a to vypadá jako dobrá odpověď, chtěl bych k ní dojít sám (tj. umět k ní dojít, proto žádám o pomoc, teď mi připadne, že to sám nedokážu)
Počítám , no díky symetrii je docela jedno, které vezmu, takže:
To podle vedoucích koeficientů, tímto se jich zbavím. Pak je potřeba dále se zbavovat koeficientů a postupně jsem došel (nebudu to sem dávat celé) k následující kombinaci:
Symetricky se lze dostat k
.
Teď nevím, jestli vzít dva z nich a na konci se jednoho zbavím, nebo už teď mi stačí přidat ten wolframem napovězený třetí. Řekněme, že pojedu takto:
a potřebuji dále počítat
Ono se s tím počítá jako s kongruencemi, mám:
A s mám pořád problém, možná nakonec mám vzít nějaký ten symetrický a počítat ?
Jak s tímhle pak pracovat? Můžu x^2 nahradit 1-y-z (protože f_1), a y+z^2-z nahradit y^2 (protože f_4)...
To je nula? Je to dobře? Jak mám pokračovat v tomto Buchbergerově algoritmu?
Děkuji za jakoukoliv radu.
kolejo
Offline
↑ kolejo:
nazdar kolejo, ty měchu, už jsem na to přišel. je to fakt jednoduchý, tys na to šel totiž docela blbě! (špatně jsi pochopil to uspořádání)
nebudu ti to TeXovat, to je zbytečný, se v tom vyznáš, ne?
nejdřív vezmeš S(f2,f3)=f2-f3=y^2-y-z^z+z, to je tvůj f4 a máš ho hned.
S(f1,f3)=f1-xf3=-xy-xz^2+x+y^2+yz^2+z-1
přičti yf3 ... -xz^2+x+y^2+yz^2+z-1
přičti z^2f3 ... x+y^2+2yz^2+z^4-z^2+z-1
přičti -f2 (to jest odečti f2, f2=f3+f4 btw)
f4=2yz^2+z^4-z^2
S(f4,f5)=2z^2f4+(-y+z^2*1/2+1/2)f5
to je jako celá kombinace, pak vyhodíš f1,f2, a máš čtyři polynomy v bázi...
není to všechno, ale takhle ti to stačí, žejo?
když tak dej vědět. jsem na příjmu
Offline
Stránky: 1