Stručná uživatelská dokumentace k programu, který počítá Groebnerovu bázi.
***************************************************************************
VSTUP:
a)
-vstup ze souboru "polynom.txt", ten musí být ve stejním adresáři jako soubor Groebner.exe
-jednotlivé údaje budeme zadávat samostatně na nové řádky, viz příklad na konec
1) zadáme počet proměných se kterými budeme pracovat, např. pro Q[x,y] zadáme 2
2) startovní počet polynomů báze R, tedy počet polynomů, které budeme následně zadávat
3) Zadání jednoho polynomu:
   příklad: polynom 1+ (2/3)*x^1*y^2 + 5* x^4 zadáme následovně
   1 1    // .... 1
   0 0    // .... x^0*y^0 
   2 3    // .... 2/3
   1 2    // .... x^1*y^2
   5 1    // .... 5
   4 0    // .... x^4
   0 0    // .... 0 0 na místě koeficientu značí konec polynomu  
4) polynomy zadáváme za sebou bez žádných mezer.

VÝSTUP:
- má stejný formát jako vstup

v přiloženém souboru polynom.txt je zadán tato báze:
R=< r_1= -1 + y + x^2*y^2 , r_2= x + x^2*y >


Přepracované pokyny pro uživatele programu na počítání a redukci Grobnerovy báze:
*********************************************************************************

VSTUP:
------
-ze souboru "polynom.txt", bohuzel se mnou nemluvi knihovna SysUtils, takze tento soubor musi byt primo na disku c (tj. v zadne slozce)
-termy musí být zadány lexikograficky seřazené od nejmenšího po největší
1)uvedeme promenne(bez mezer, za posledni konec radky) pr: xy
2)uvedeme startovni pocet polynomu
3)uvedeme polynomy, podle pravidel:
	a)kazdy na novy radek a ukoncen znakem "#"
	b)uvedeme vsechny nenulove exponenty (tj. x1 pro x)
	c)se znamenkem i u prvniho termu

priklad: vyse uvedeny polynom se nove zada:
	+1+2/3x1y2+5x4#
	
-u zadavani polynomu rucne plati stejny vzor


VÝSTUP:
- je pevně doufám dostatečně srozumitelný


V přiloženém souboru je nově přepsaná výše uvedená báze, v souboru "polynom2.txt" pak jeden příklad ze skript.