IRO 2007 Domácí úkol č. 7 - DU-07

1. Implementujte Buchbergerův algoritmus s použitím vašich funkcí pro dělení polynomů z DU-06.
2. Zamyslete se, jak změnou jednoho příkazu urychlit běh algoritmu.
3. Vypočtěte Groebnerovu bázi ideálu s generátory v úloze "Task 1"
   http://cmp.felk.cvut.cz/cmp/courses/IRO/2007/Labs/IRO-2007-Groebner-Basis-Assignment.mws
   vzhledem ke všem lexikografickým uspořádáním na proměnných x, y, z a vyhodnoťte , jak se báze a doby jejich výpočtu liší.
4. Vypočtěte Groebnerovu bázi ideálu s generátory v úloze "Task 2" 
   http://cmp.felk.cvut.cz/cmp/courses/IRO/2007/Labs/IRO-2007-Groebner-Basis-Assignment.mws
   pro uspořádání dané Vaším IRO číslem a ukažte, že to skutečně je Groebnerova báze ideálu generovaného zadanými polynomy.

Vypracovanou úlohu tvoří zip archiv obsahující:

1. index.html - číslo úlohy, jméno, odkazy na ostatní soubory.
2. buchberg.mws - Maple worksheet obsahující požadované výpočty a výsledky:
   1. Buchbergerův alfgoritmus a všechny další potřebné algoritmy.
   2. Popis vylepšení algoritmu a jeho zdůvodnění.
   3. Výsledky obou příkladů.

Zpět na stránky předmětu.