komputeralgebra rendszerek - eötvös loránd...
TRANSCRIPT
![Page 1: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/1.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
Komputeralgebra RendszerekNormálformák, algebrai reprezentáció
Czirbusz SándorELTE IK, Komputeralgebra Tanszék
2014. április 8.
TARTALOMJEGYZÉK 1 of 113
![Page 2: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/2.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
TARTALOMJEGYZÉK I1 TARTALOMJEGYZÉK
2 Az absztrakció szintjei
3 Normál- és kanonikus formaAz egyszerusítés problémájaEgyszerusítok
4 Polinomok normálformájaTöbbváltozós polinomokNormál formákRacionális kifejezések
5 MAPLE megvalósításokKifejtésSzorzattá alakításEgyszerusítésNormalizációEgyütthatók összevonásaRendezés
6 SAGE megvalósításokKifejtés
TARTALOMJEGYZÉK 2 of 113
![Page 3: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/3.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
TARTALOMJEGYZÉK IISzorzattá alakításEgyszerusítésNormalizáció
TARTALOMJEGYZÉK 3 of 113
![Page 4: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/4.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ ABSZTRAKCIÓ SZINTJEI
Objektum-szintMaga a matematikai objektum.
A forma szintjeAz objektum egy megjelenési formája a kiválasztottszimbólumok segítségével.
a(x, y) = 12x2y− 4xy + 9x− 3a(x, y) = (3x− 1)(4xy + 3)
a(x, y) = (12y)x2 + (−4y + 9)x
Az adatstruktúra szintjeAz adott forma számítógépes reprezentációja.
Az absztrakció szintjei 4 of 113
![Page 5: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/5.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ ABSZTRAKCIÓ SZINTJEI
Objektum-szintMaga a matematikai objektum.
A forma szintjeAz objektum egy megjelenési formája a kiválasztottszimbólumok segítségével.
a(x, y) = 12x2y− 4xy + 9x− 3a(x, y) = (3x− 1)(4xy + 3)
a(x, y) = (12y)x2 + (−4y + 9)x
Az adatstruktúra szintjeAz adott forma számítógépes reprezentációja.
Az absztrakció szintjei 5 of 113
![Page 6: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/6.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ ABSZTRAKCIÓ SZINTJEI
Objektum-szintMaga a matematikai objektum.
A forma szintjeAz objektum egy megjelenési formája a kiválasztottszimbólumok segítségével.
a(x, y) = 12x2y− 4xy + 9x− 3a(x, y) = (3x− 1)(4xy + 3)
a(x, y) = (12y)x2 + (−4y + 9)x
Az adatstruktúra szintjeAz adott forma számítógépes reprezentációja.
Az absztrakció szintjei 6 of 113
![Page 7: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/7.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ ABSZTRAKCIÓ SZINTJEI
Objektum-szintMaga a matematikai objektum.
A forma szintjeAz objektum egy megjelenési formája a kiválasztottszimbólumok segítségével.
a(x, y) = 12x2y− 4xy + 9x− 3
a(x, y) = (3x− 1)(4xy + 3)
a(x, y) = (12y)x2 + (−4y + 9)x
Az adatstruktúra szintjeAz adott forma számítógépes reprezentációja.
Az absztrakció szintjei 7 of 113
![Page 8: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/8.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ ABSZTRAKCIÓ SZINTJEI
Objektum-szintMaga a matematikai objektum.
A forma szintjeAz objektum egy megjelenési formája a kiválasztottszimbólumok segítségével.
a(x, y) = 12x2y− 4xy + 9x− 3a(x, y) = (3x− 1)(4xy + 3)
a(x, y) = (12y)x2 + (−4y + 9)x
Az adatstruktúra szintjeAz adott forma számítógépes reprezentációja.
Az absztrakció szintjei 8 of 113
![Page 9: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/9.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ ABSZTRAKCIÓ SZINTJEI
Objektum-szintMaga a matematikai objektum.
A forma szintjeAz objektum egy megjelenési formája a kiválasztottszimbólumok segítségével.
a(x, y) = 12x2y− 4xy + 9x− 3a(x, y) = (3x− 1)(4xy + 3)
a(x, y) = (12y)x2 + (−4y + 9)x
Az adatstruktúra szintjeAz adott forma számítógépes reprezentációja.
Az absztrakció szintjei 9 of 113
![Page 10: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/10.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ ABSZTRAKCIÓ SZINTJEI
Objektum-szintMaga a matematikai objektum.
A forma szintjeAz objektum egy megjelenési formája a kiválasztottszimbólumok segítségével.
a(x, y) = 12x2y− 4xy + 9x− 3a(x, y) = (3x− 1)(4xy + 3)
a(x, y) = (12y)x2 + (−4y + 9)x
Az adatstruktúra szintjeAz adott forma számítógépes reprezentációja.
Az absztrakció szintjei 10 of 113
![Page 11: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/11.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ EGYSZERUSÍTÉS PROBLÉMÁJA
Az egyszerusítés célja
Eroforrás-kímélésEmberi értelmezhetoség(x + y)1000 − y1000 vs. x1000 − y1000
Zéró-ekvivalenciaEgyszerubb kérdés, teljes általánosságban algoritmikusanmegoldhatatlan:
log(
tan(x
2
))+ sec
(x2
)− sinh−1
(sin x
1 + cos x
)(−1 5 x 5 1)
Normál- és kanonikus forma 11 of 113
![Page 12: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/12.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ EGYSZERUSÍTÉS PROBLÉMÁJA
Az egyszerusítés célja
Eroforrás-kímélésEmberi értelmezhetoség(x + y)1000 − y1000 vs. x1000 − y1000
Zéró-ekvivalenciaEgyszerubb kérdés, teljes általánosságban algoritmikusanmegoldhatatlan:
log(
tan(x
2
))+ sec
(x2
)− sinh−1
(sin x
1 + cos x
)(−1 5 x 5 1)
Normál- és kanonikus forma 12 of 113
![Page 13: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/13.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ EGYSZERUSÍTÉS PROBLÉMÁJA
Az egyszerusítés céljaEroforrás-kímélés
Emberi értelmezhetoség(x + y)1000 − y1000 vs. x1000 − y1000
Zéró-ekvivalenciaEgyszerubb kérdés, teljes általánosságban algoritmikusanmegoldhatatlan:
log(
tan(x
2
))+ sec
(x2
)− sinh−1
(sin x
1 + cos x
)(−1 5 x 5 1)
Normál- és kanonikus forma 13 of 113
![Page 14: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/14.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ EGYSZERUSÍTÉS PROBLÉMÁJA
Az egyszerusítés céljaEroforrás-kímélésEmberi értelmezhetoség
(x + y)1000 − y1000 vs. x1000 − y1000
Zéró-ekvivalenciaEgyszerubb kérdés, teljes általánosságban algoritmikusanmegoldhatatlan:
log(
tan(x
2
))+ sec
(x2
)− sinh−1
(sin x
1 + cos x
)(−1 5 x 5 1)
Normál- és kanonikus forma 14 of 113
![Page 15: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/15.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ EGYSZERUSÍTÉS PROBLÉMÁJA
Az egyszerusítés céljaEroforrás-kímélésEmberi értelmezhetoség(x + y)1000 − y1000 vs. x1000 − y1000
Zéró-ekvivalenciaEgyszerubb kérdés, teljes általánosságban algoritmikusanmegoldhatatlan:
log(
tan(x
2
))+ sec
(x2
)− sinh−1
(sin x
1 + cos x
)(−1 5 x 5 1)
Normál- és kanonikus forma 15 of 113
![Page 16: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/16.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
AZ EGYSZERUSÍTÉS PROBLÉMÁJA
Az egyszerusítés céljaEroforrás-kímélésEmberi értelmezhetoség(x + y)1000 − y1000 vs. x1000 − y1000
Zéró-ekvivalenciaEgyszerubb kérdés, teljes általánosságban algoritmikusanmegoldhatatlan:
log(
tan(x
2
))+ sec
(x2
)− sinh−1
(sin x
1 + cos x
)(−1 5 x 5 1)
Normál- és kanonikus forma 16 of 113
![Page 17: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/17.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTOK
E a kifejezések halmaza, valamilyen rendezési relációval.∼ egy ekvivalenciareláció.
≡ a forma szintu, = az ojektum szintu egyenloség.Normál függvény: f : E→ E-re teljesülnek a következok:
f (a) ∼ a minden a ∈ E-reHa a ∼ 0, akkor f (a) ≡ f (0)
Kanonikus függvény: normál függvény és ha a ∼ b, akkorf (a) ≡ f (b)
Normál függvény megvalósítása: végezzük el a polinomraa lehetséges beszorzásokat, majd gyujtsük össze az azonosfokú tagokat.Kanonikus függvény megvalósítása: normál fv. +rendezzük a tagokat csökkeno sorrendben.
Normál- és kanonikus forma 17 of 113
![Page 18: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/18.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTOK
E a kifejezések halmaza, valamilyen rendezési relációval.∼ egy ekvivalenciareláció.≡ a forma szintu, = az ojektum szintu egyenloség.
Normál függvény: f : E→ E-re teljesülnek a következok:
f (a) ∼ a minden a ∈ E-reHa a ∼ 0, akkor f (a) ≡ f (0)
Kanonikus függvény: normál függvény és ha a ∼ b, akkorf (a) ≡ f (b)
Normál függvény megvalósítása: végezzük el a polinomraa lehetséges beszorzásokat, majd gyujtsük össze az azonosfokú tagokat.Kanonikus függvény megvalósítása: normál fv. +rendezzük a tagokat csökkeno sorrendben.
Normál- és kanonikus forma 18 of 113
![Page 19: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/19.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTOK
E a kifejezések halmaza, valamilyen rendezési relációval.∼ egy ekvivalenciareláció.≡ a forma szintu, = az ojektum szintu egyenloség.Normál függvény: f : E→ E-re teljesülnek a következok:
f (a) ∼ a minden a ∈ E-reHa a ∼ 0, akkor f (a) ≡ f (0)
Kanonikus függvény: normál függvény és ha a ∼ b, akkorf (a) ≡ f (b)
Normál függvény megvalósítása: végezzük el a polinomraa lehetséges beszorzásokat, majd gyujtsük össze az azonosfokú tagokat.Kanonikus függvény megvalósítása: normál fv. +rendezzük a tagokat csökkeno sorrendben.
Normál- és kanonikus forma 19 of 113
![Page 20: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/20.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTOK
E a kifejezések halmaza, valamilyen rendezési relációval.∼ egy ekvivalenciareláció.≡ a forma szintu, = az ojektum szintu egyenloség.Normál függvény: f : E→ E-re teljesülnek a következok:
f (a) ∼ a minden a ∈ E-re
Ha a ∼ 0, akkor f (a) ≡ f (0)
Kanonikus függvény: normál függvény és ha a ∼ b, akkorf (a) ≡ f (b)
Normál függvény megvalósítása: végezzük el a polinomraa lehetséges beszorzásokat, majd gyujtsük össze az azonosfokú tagokat.Kanonikus függvény megvalósítása: normál fv. +rendezzük a tagokat csökkeno sorrendben.
Normál- és kanonikus forma 20 of 113
![Page 21: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/21.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTOK
E a kifejezések halmaza, valamilyen rendezési relációval.∼ egy ekvivalenciareláció.≡ a forma szintu, = az ojektum szintu egyenloség.Normál függvény: f : E→ E-re teljesülnek a következok:
f (a) ∼ a minden a ∈ E-reHa a ∼ 0, akkor f (a) ≡ f (0)
Kanonikus függvény: normál függvény és ha a ∼ b, akkorf (a) ≡ f (b)
Normál függvény megvalósítása: végezzük el a polinomraa lehetséges beszorzásokat, majd gyujtsük össze az azonosfokú tagokat.Kanonikus függvény megvalósítása: normál fv. +rendezzük a tagokat csökkeno sorrendben.
Normál- és kanonikus forma 21 of 113
![Page 22: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/22.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTOK
E a kifejezések halmaza, valamilyen rendezési relációval.∼ egy ekvivalenciareláció.≡ a forma szintu, = az ojektum szintu egyenloség.Normál függvény: f : E→ E-re teljesülnek a következok:
f (a) ∼ a minden a ∈ E-reHa a ∼ 0, akkor f (a) ≡ f (0)
Kanonikus függvény: normál függvény és ha a ∼ b, akkorf (a) ≡ f (b)
Normál függvény megvalósítása: végezzük el a polinomraa lehetséges beszorzásokat, majd gyujtsük össze az azonosfokú tagokat.Kanonikus függvény megvalósítása: normál fv. +rendezzük a tagokat csökkeno sorrendben.
Normál- és kanonikus forma 22 of 113
![Page 23: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/23.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTOK
E a kifejezések halmaza, valamilyen rendezési relációval.∼ egy ekvivalenciareláció.≡ a forma szintu, = az ojektum szintu egyenloség.Normál függvény: f : E→ E-re teljesülnek a következok:
f (a) ∼ a minden a ∈ E-reHa a ∼ 0, akkor f (a) ≡ f (0)
Kanonikus függvény: normál függvény és ha a ∼ b, akkorf (a) ≡ f (b)
Normál függvény megvalósítása: végezzük el a polinomraa lehetséges beszorzásokat, majd gyujtsük össze az azonosfokú tagokat.
Kanonikus függvény megvalósítása: normál fv. +rendezzük a tagokat csökkeno sorrendben.
Normál- és kanonikus forma 23 of 113
![Page 24: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/24.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTOK
E a kifejezések halmaza, valamilyen rendezési relációval.∼ egy ekvivalenciareláció.≡ a forma szintu, = az ojektum szintu egyenloség.Normál függvény: f : E→ E-re teljesülnek a következok:
f (a) ∼ a minden a ∈ E-reHa a ∼ 0, akkor f (a) ≡ f (0)
Kanonikus függvény: normál függvény és ha a ∼ b, akkorf (a) ≡ f (b)
Normál függvény megvalósítása: végezzük el a polinomraa lehetséges beszorzásokat, majd gyujtsük össze az azonosfokú tagokat.Kanonikus függvény megvalósítása: normál fv. +rendezzük a tagokat csökkeno sorrendben.
Normál- és kanonikus forma 24 of 113
![Page 25: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/25.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
TULAJDONSÁGOK I
TételHa f egy kanonikus függvény az (E,∼)-en, akkor
1 f idempotens, azaz f ◦ f = f ;2 f (a) ≡ f (b) pontosan akkor, ha a ∼ b;3 Minden E/∼ ekvivalencia osztályban pontosan egy kanonikus
alak van.
Bizonyítás
1 Mivel f normál függvény, minden a ∈ E esetén f (a) ∼ a,viszont a kanonikus volta miatt f (f (a)) ≡ f (a);
2 A „ha” irány a definíció; az akkor irányhoz: ha f (a) ≡ f (b),úgy a ∼ f (a) ≡ f (b) ∼ b, ezért a ∼ b;
Normál- és kanonikus forma 25 of 113
![Page 26: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/26.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
TULAJDONSÁGOK II
3 Létezés: Legyen a ∈ E, és a ≡ f (a). Ekkor azidempotencia miatt f (a) ≡ f (f (a)) ≡ f (a) ≡ a
Egyértelmuség: Ha a1 és a2 két kanonikus formaugyanabban az ekvivalencia osztályban,akkor a1 ∼ a2, a függvény kanonikus voltamiatt ezért f (a1) ≡ f (a2), így a1 ≡ a2.
Normál- és kanonikus forma 26 of 113
![Page 27: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/27.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
TÖBBVÁLTOZÓS POLINOMOK
Legyenek R egy gyuru, n pozitív egész szám, x1, x2, . . . , xnszimbólumok.Rekurzív: a ∈ R[x1, x2, . . . , xn] magadása∑deg1(a)
i=0 ai(x2), . . . xn) · xi1
Disztributív: a(x) =∑
e∈Nn axe
Polinomok normálformája 27 of 113
![Page 28: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/28.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
TÖBBVÁLTOZÓS POLINOMOK
Legyenek R egy gyuru, n pozitív egész szám, x1, x2, . . . , xnszimbólumok.Rekurzív: a ∈ R[x1, x2, . . . , xn] magadása∑deg1(a)
i=0 ai(x2), . . . xn) · xi1
Disztributív: a(x) =∑
e∈Nn axe
Polinomok normálformája 28 of 113
![Page 29: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/29.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 29 of 113
![Page 30: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/30.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;
ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 30 of 113
![Page 31: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/31.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 31 of 113
![Page 32: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/32.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 32 of 113
![Page 33: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/33.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.
Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 33 of 113
![Page 34: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/34.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 34 of 113
![Page 35: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/35.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 35 of 113
![Page 36: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/36.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 36 of 113
![Page 37: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/37.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK I
Az R[x1, . . . , xn] polinomgyuruben aKiszorzott normál forma az
f1:
i) végezzük el az összes polinomszorzást;ii) gyujtsük össze az azonos fokszámúakat;
normál függvény.Kiszorzott kanonikus forma az
f2:
iii) rendezzük a tagokat fokszám szerintcsökkeno sorrendbe.
kanonikus függvény.
Polinomok normálformája 37 of 113
![Page 38: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/38.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK II
Faktorizált normál forma:f3:
Ha a kifejezés∏k
i=1 pi, pi ∈ R[x1, . . . , xn] alakú, ahola pi-k már kiszorzottak, helyettesítsük a kifejezést∏k
i=1 f2(pi)-vel, ahol f2 az elozo kanonikusfüggvény. A szorzatakkor zérus, ha valamelyik pizérus.
Faktorizált kanonikus forma:
f4:Alkalmazzuk f3-at, majd az összes f2(pi)-tfaktorizáljuk és gyujtsük össze az azonosfaktorokat.
Polinomok normálformája 38 of 113
![Page 39: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/39.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK II
Faktorizált normál forma:f3:
Ha a kifejezés∏k
i=1 pi, pi ∈ R[x1, . . . , xn] alakú, ahola pi-k már kiszorzottak, helyettesítsük a kifejezést∏k
i=1 f2(pi)-vel, ahol f2 az elozo kanonikusfüggvény. A szorzatakkor zérus, ha valamelyik pizérus.
Faktorizált kanonikus forma:
f4:Alkalmazzuk f3-at, majd az összes f2(pi)-tfaktorizáljuk és gyujtsük össze az azonosfaktorokat.
Polinomok normálformája 39 of 113
![Page 40: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/40.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK II
Faktorizált normál forma:f3:
Ha a kifejezés∏k
i=1 pi, pi ∈ R[x1, . . . , xn] alakú, ahola pi-k már kiszorzottak, helyettesítsük a kifejezést∏k
i=1 f2(pi)-vel, ahol f2 az elozo kanonikusfüggvény. A szorzatakkor zérus, ha valamelyik pizérus.
Faktorizált kanonikus forma:f4:
Alkalmazzuk f3-at, majd az összes f2(pi)-tfaktorizáljuk és gyujtsük össze az azonosfaktorokat.
Polinomok normálformája 40 of 113
![Page 41: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/41.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK II
Faktorizált normál forma:f3:
Ha a kifejezés∏k
i=1 pi, pi ∈ R[x1, . . . , xn] alakú, ahola pi-k már kiszorzottak, helyettesítsük a kifejezést∏k
i=1 f2(pi)-vel, ahol f2 az elozo kanonikusfüggvény. A szorzatakkor zérus, ha valamelyik pizérus.
Faktorizált kanonikus forma:f4:
Alkalmazzuk f3-at, majd az összes f2(pi)-tfaktorizáljuk és gyujtsük össze az azonosfaktorokat.
Polinomok normálformája 41 of 113
![Page 42: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/42.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMÁL FORMÁK II
Faktorizált normál forma:f3:
Ha a kifejezés∏k
i=1 pi, pi ∈ R[x1, . . . , xn] alakú, ahola pi-k már kiszorzottak, helyettesítsük a kifejezést∏k
i=1 f2(pi)-vel, ahol f2 az elozo kanonikusfüggvény. A szorzatakkor zérus, ha valamelyik pizérus.
Faktorizált kanonikus forma:f4:
Alkalmazzuk f3-at, majd az összes f2(pi)-tfaktorizáljuk és gyujtsük össze az azonosfaktorokat.
Polinomok normálformája 42 of 113
![Page 43: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/43.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
PÉLDA I
Legyen Z[x, y]-ben
a(x, y) =((x2 − xy + x) + (x2 + 3)(x− y + 1))·((y3 − 3y2 − 9y− 5) + x4(y2 + 2y + 1))q, .
Disztributív reprezentációban a kiszorzott normál forma:
fl(a(x, y)) = 5x2y3 + 3x2y2 − 13x2y− 10x2 + 3x6y + 2x6 − xy4 + 7xy3
− 3xy2 − 31xy− x5y3 + 2x5y2 + 7x5y− 20x + 4x5 + x3y3
− 3x3y2 − 9x3y− 5x3 + x7y2 + 2x7y + x7 − x2y4 − x6y3
+ 7xy3 − 3xy2 − 31xy− 20x− 3y4 + 12y3 + 18y2 − 12y− 15 .
A kiszorzott kanonikus forma:
Polinomok normálformája 43 of 113
![Page 44: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/44.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
PÉLDA IIf2(a(x, y)) = x7y32 + 2x7y + x7 − x6y3 + 3x6y + 2x6 − x5y3 + 2x5y2
+ 7x5y + 4x53x4y3− 3x4y2 + 3x4y + 3x4 + x3y3 − 3x3y2
− 9x3y− 5x3 − x2y4 + 5x2y3 + 3x2y32− 13x2y− 10x32− xy4
+ 7xy3 − 3xy2 − 31xy− 20x− 3y4 + 12y3 + 18y2 − 12y− 15 .
Faktorizált normál forma:
f3(a(x, y)) =(x3 − x2y + 2x2 − xy + 4x− 3y + 3)·(x4y32 + 2x4y + x4 + y3 − 3y2 − 9y− 5) .
Faktorizált kanonikus forma:
f4(a(x, y)) = (x− y + 1)(x2 + x + 3)(x4 + y− 5)(y + 1)2 .
Polinomok normálformája 44 of 113
![Page 45: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/45.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
ÉSZREVÉTELEK
A polinomfaktorizáció költséges, ezért az f4-et ritkánvalósítják meg;
Az f1 és f2 közötti költségtöbblet jelentéktelen, gyakranösszevonják
Polinomok normálformája 45 of 113
![Page 46: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/46.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
ÉSZREVÉTELEK
A polinomfaktorizáció költséges, ezért az f4-et ritkánvalósítják meg;Az f1 és f2 közötti költségtöbblet jelentéktelen, gyakranösszevonják
Polinomok normálformája 46 of 113
![Page 47: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/47.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RACIONÁLIS KIFEJEZÉSEK
Az R(x1, . . . , xn) hányadostestben egy elem kiszorzottkanonikus formája
f5:
i) ab alakra hozás, ahol a, b ∈ R[x1, . . . , xn]polinomok;
ii) egyszerusítés az lnko-val;iii) egység-normalizálás;iv) a számláló és a nevezo kanonikus alakra
hozása.
Polinomok normálformája 47 of 113
![Page 48: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/48.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RACIONÁLIS KIFEJEZÉSEK
Az R(x1, . . . , xn) hányadostestben egy elem kiszorzottkanonikus formája
f5:
i) ab alakra hozás, ahol a, b ∈ R[x1, . . . , xn]polinomok;
ii) egyszerusítés az lnko-val;iii) egység-normalizálás;iv) a számláló és a nevezo kanonikus alakra
hozása.
Polinomok normálformája 48 of 113
![Page 49: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/49.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RACIONÁLIS KIFEJEZÉSEK
Az R(x1, . . . , xn) hányadostestben egy elem kiszorzottkanonikus formája
f5:
i) ab alakra hozás, ahol a, b ∈ R[x1, . . . , xn]polinomok;
ii) egyszerusítés az lnko-val;
iii) egység-normalizálás;iv) a számláló és a nevezo kanonikus alakra
hozása.
Polinomok normálformája 49 of 113
![Page 50: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/50.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RACIONÁLIS KIFEJEZÉSEK
Az R(x1, . . . , xn) hányadostestben egy elem kiszorzottkanonikus formája
f5:
i) ab alakra hozás, ahol a, b ∈ R[x1, . . . , xn]polinomok;
ii) egyszerusítés az lnko-val;iii) egység-normalizálás;
iv) a számláló és a nevezo kanonikus alakrahozása.
Polinomok normálformája 50 of 113
![Page 51: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/51.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RACIONÁLIS KIFEJEZÉSEK
Az R(x1, . . . , xn) hányadostestben egy elem kiszorzottkanonikus formája
f5:
i) ab alakra hozás, ahol a, b ∈ R[x1, . . . , xn]polinomok;
ii) egyszerusítés az lnko-val;iii) egység-normalizálás;iv) a számláló és a nevezo kanonikus alakra
hozása.
Polinomok normálformája 51 of 113
![Page 52: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/52.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
VARIÁCIÓK
faktorizált/faktorizált;
faktorizált/kiszorzott;kiszorzott/faktorizált;kiszorzott/kiszorzott azaz a kanonikus alak.
Polinomok normálformája 52 of 113
![Page 53: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/53.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
VARIÁCIÓK
faktorizált/faktorizált;faktorizált/kiszorzott;
kiszorzott/faktorizált;kiszorzott/kiszorzott azaz a kanonikus alak.
Polinomok normálformája 53 of 113
![Page 54: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/54.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
VARIÁCIÓK
faktorizált/faktorizált;faktorizált/kiszorzott;kiszorzott/faktorizált;
kiszorzott/kiszorzott azaz a kanonikus alak.
Polinomok normálformája 54 of 113
![Page 55: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/55.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
VARIÁCIÓK
faktorizált/faktorizált;faktorizált/kiszorzott;kiszorzott/faktorizált;kiszorzott/kiszorzott azaz a kanonikus alak.
Polinomok normálformája 55 of 113
![Page 56: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/56.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
expand
Szintaxis: expand(kif[,kif1,kif2,...]) - "Felbontjaa zárójeleket" ;A kifn-részkifejezéseket „nem bántja”;A negatív kitevokkel nem foglalkozik (a nevezore különalkalmazandó);A nem-egész kitevokkel nem foglalkozik;Véges gyuruk, testek fölött: Expand(expr) mod nplusz evala;Nem csak polinomokra alkalmazható (lásd HELP).
MAPLE megvalósítások 56 of 113
![Page 57: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/57.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
expand
Szintaxis: expand(kif[,kif1,kif2,...]) - "Felbontjaa zárójeleket" ;
A kifn-részkifejezéseket „nem bántja”;A negatív kitevokkel nem foglalkozik (a nevezore különalkalmazandó);A nem-egész kitevokkel nem foglalkozik;Véges gyuruk, testek fölött: Expand(expr) mod nplusz evala;Nem csak polinomokra alkalmazható (lásd HELP).
MAPLE megvalósítások 57 of 113
![Page 58: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/58.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
expand
Szintaxis: expand(kif[,kif1,kif2,...]) - "Felbontjaa zárójeleket" ;A kifn-részkifejezéseket „nem bántja”;
A negatív kitevokkel nem foglalkozik (a nevezore különalkalmazandó);A nem-egész kitevokkel nem foglalkozik;Véges gyuruk, testek fölött: Expand(expr) mod nplusz evala;Nem csak polinomokra alkalmazható (lásd HELP).
MAPLE megvalósítások 58 of 113
![Page 59: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/59.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
expand
Szintaxis: expand(kif[,kif1,kif2,...]) - "Felbontjaa zárójeleket" ;A kifn-részkifejezéseket „nem bántja”;A negatív kitevokkel nem foglalkozik (a nevezore különalkalmazandó);
A nem-egész kitevokkel nem foglalkozik;Véges gyuruk, testek fölött: Expand(expr) mod nplusz evala;Nem csak polinomokra alkalmazható (lásd HELP).
MAPLE megvalósítások 59 of 113
![Page 60: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/60.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
expand
Szintaxis: expand(kif[,kif1,kif2,...]) - "Felbontjaa zárójeleket" ;A kifn-részkifejezéseket „nem bántja”;A negatív kitevokkel nem foglalkozik (a nevezore különalkalmazandó);A nem-egész kitevokkel nem foglalkozik;
Véges gyuruk, testek fölött: Expand(expr) mod nplusz evala;Nem csak polinomokra alkalmazható (lásd HELP).
MAPLE megvalósítások 60 of 113
![Page 61: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/61.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
expand
Szintaxis: expand(kif[,kif1,kif2,...]) - "Felbontjaa zárójeleket" ;A kifn-részkifejezéseket „nem bántja”;A negatív kitevokkel nem foglalkozik (a nevezore különalkalmazandó);A nem-egész kitevokkel nem foglalkozik;Véges gyuruk, testek fölött: Expand(expr) mod nplusz evala;
Nem csak polinomokra alkalmazható (lásd HELP).
MAPLE megvalósítások 61 of 113
![Page 62: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/62.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
expand
Szintaxis: expand(kif[,kif1,kif2,...]) - "Felbontjaa zárójeleket" ;A kifn-részkifejezéseket „nem bántja”;A negatív kitevokkel nem foglalkozik (a nevezore különalkalmazandó);A nem-egész kitevokkel nem foglalkozik;Véges gyuruk, testek fölött: Expand(expr) mod nplusz evala;Nem csak polinomokra alkalmazható (lásd HELP).
MAPLE megvalósítások 62 of 113
![Page 63: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/63.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
factor
Szintaxis: A factor(a [, K]) procedúra - az expand„testvére”.Tényezokre bontja az alapstruktúra fölött apolinomot.(Faktorizált normálforma);A K polinom a Q test bovítését írja le;Véges gyuruk fölött: Factor;Felbontási test generálása:PolynomialTools:-Split(polynom);AFactor - a C fölötti faktorizációNégyzetmentes faktorizációconvert(poly,squarefree).
MAPLE megvalósítások 63 of 113
![Page 64: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/64.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
factor
Szintaxis: A factor(a [, K]) procedúra - az expand„testvére”.Tényezokre bontja az alapstruktúra fölött apolinomot.(Faktorizált normálforma);
A K polinom a Q test bovítését írja le;Véges gyuruk fölött: Factor;Felbontási test generálása:PolynomialTools:-Split(polynom);AFactor - a C fölötti faktorizációNégyzetmentes faktorizációconvert(poly,squarefree).
MAPLE megvalósítások 64 of 113
![Page 65: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/65.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
factor
Szintaxis: A factor(a [, K]) procedúra - az expand„testvére”.Tényezokre bontja az alapstruktúra fölött apolinomot.(Faktorizált normálforma);A K polinom a Q test bovítését írja le;
Véges gyuruk fölött: Factor;Felbontási test generálása:PolynomialTools:-Split(polynom);AFactor - a C fölötti faktorizációNégyzetmentes faktorizációconvert(poly,squarefree).
MAPLE megvalósítások 65 of 113
![Page 66: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/66.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
factor
Szintaxis: A factor(a [, K]) procedúra - az expand„testvére”.Tényezokre bontja az alapstruktúra fölött apolinomot.(Faktorizált normálforma);A K polinom a Q test bovítését írja le;Véges gyuruk fölött: Factor;
Felbontási test generálása:PolynomialTools:-Split(polynom);AFactor - a C fölötti faktorizációNégyzetmentes faktorizációconvert(poly,squarefree).
MAPLE megvalósítások 66 of 113
![Page 67: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/67.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
factor
Szintaxis: A factor(a [, K]) procedúra - az expand„testvére”.Tényezokre bontja az alapstruktúra fölött apolinomot.(Faktorizált normálforma);A K polinom a Q test bovítését írja le;Véges gyuruk fölött: Factor;Felbontási test generálása:PolynomialTools:-Split(polynom);
AFactor - a C fölötti faktorizációNégyzetmentes faktorizációconvert(poly,squarefree).
MAPLE megvalósítások 67 of 113
![Page 68: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/68.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
factor
Szintaxis: A factor(a [, K]) procedúra - az expand„testvére”.Tényezokre bontja az alapstruktúra fölött apolinomot.(Faktorizált normálforma);A K polinom a Q test bovítését írja le;Véges gyuruk fölött: Factor;Felbontási test generálása:PolynomialTools:-Split(polynom);AFactor - a C fölötti faktorizáció
Négyzetmentes faktorizációconvert(poly,squarefree).
MAPLE megvalósítások 68 of 113
![Page 69: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/69.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
factor
Szintaxis: A factor(a [, K]) procedúra - az expand„testvére”.Tényezokre bontja az alapstruktúra fölött apolinomot.(Faktorizált normálforma);A K polinom a Q test bovítését írja le;Véges gyuruk fölött: Factor;Felbontási test generálása:PolynomialTools:-Split(polynom);AFactor - a C fölötti faktorizációNégyzetmentes faktorizációconvert(poly,squarefree).
MAPLE megvalósítások 69 of 113
![Page 70: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/70.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
Az automatikus egyszerusítés mellett szükségünk van az„igény szerinti” egyszerusítésre:
simplify
Szintaxis: simplify(expr, options). Teljes: ?simplify;Értelmezés: A kifejezést egyszerusíti „igény” szerint;
Opciók : pl. radical, ln. A különbözo jellegukifejezések speciális egyszerusítoinekmeghívására. .
MAPLE megvalósítások 70 of 113
![Page 71: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/71.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
Az automatikus egyszerusítés mellett szükségünk van az„igény szerinti” egyszerusítésre:
simplify
Szintaxis: simplify(expr, options). Teljes: ?simplify;
Értelmezés: A kifejezést egyszerusíti „igény” szerint;Opciók : pl. radical, ln. A különbözo jellegu
kifejezések speciális egyszerusítoinekmeghívására. .
MAPLE megvalósítások 71 of 113
![Page 72: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/72.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
Az automatikus egyszerusítés mellett szükségünk van az„igény szerinti” egyszerusítésre:
simplify
Szintaxis: simplify(expr, options). Teljes: ?simplify;Értelmezés: A kifejezést egyszerusíti „igény” szerint;
Opciók : pl. radical, ln. A különbözo jellegukifejezések speciális egyszerusítoinekmeghívására. .
MAPLE megvalósítások 72 of 113
![Page 73: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/73.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
Az automatikus egyszerusítés mellett szükségünk van az„igény szerinti” egyszerusítésre:
simplify
Szintaxis: simplify(expr, options). Teljes: ?simplify;Értelmezés: A kifejezést egyszerusíti „igény” szerint;
Opciók : pl. radical, ln. A különbözo jellegukifejezések speciális egyszerusítoinekmeghívására. .
MAPLE megvalósítások 73 of 113
![Page 74: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/74.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
normal
Normalizálást (Q) fölötti racionális kifejezéseken. (Faktorizáltnormálforma)
Szintaxis: normal(f [, expanded]);Racionális törtfüggvényt hoz normálformára ;Az expanded paraméter a számlálót és a nevezotfelbontja;Általánosított racionális kifejezéseken is muködik;Normal + mod a véges struktúrákban.
MAPLE megvalósítások 74 of 113
![Page 75: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/75.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
normal
Normalizálást (Q) fölötti racionális kifejezéseken. (Faktorizáltnormálforma)
Szintaxis: normal(f [, expanded]);
Racionális törtfüggvényt hoz normálformára ;Az expanded paraméter a számlálót és a nevezotfelbontja;Általánosított racionális kifejezéseken is muködik;Normal + mod a véges struktúrákban.
MAPLE megvalósítások 75 of 113
![Page 76: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/76.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
normal
Normalizálást (Q) fölötti racionális kifejezéseken. (Faktorizáltnormálforma)
Szintaxis: normal(f [, expanded]);Racionális törtfüggvényt hoz normálformára ;
Az expanded paraméter a számlálót és a nevezotfelbontja;Általánosított racionális kifejezéseken is muködik;Normal + mod a véges struktúrákban.
MAPLE megvalósítások 76 of 113
![Page 77: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/77.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
normal
Normalizálást (Q) fölötti racionális kifejezéseken. (Faktorizáltnormálforma)
Szintaxis: normal(f [, expanded]);Racionális törtfüggvényt hoz normálformára ;Az expanded paraméter a számlálót és a nevezotfelbontja;
Általánosított racionális kifejezéseken is muködik;Normal + mod a véges struktúrákban.
MAPLE megvalósítások 77 of 113
![Page 78: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/78.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
normal
Normalizálást (Q) fölötti racionális kifejezéseken. (Faktorizáltnormálforma)
Szintaxis: normal(f [, expanded]);Racionális törtfüggvényt hoz normálformára ;Az expanded paraméter a számlálót és a nevezotfelbontja;Általánosított racionális kifejezéseken is muködik;
Normal + mod a véges struktúrákban.
MAPLE megvalósítások 78 of 113
![Page 79: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/79.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
normal
Normalizálást (Q) fölötti racionális kifejezéseken. (Faktorizáltnormálforma)
Szintaxis: normal(f [, expanded]);Racionális törtfüggvényt hoz normálformára ;Az expanded paraméter a számlálót és a nevezotfelbontja;Általánosított racionális kifejezéseken is muködik;Normal + mod a véges struktúrákban.
MAPLE megvalósítások 79 of 113
![Page 80: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/80.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYÜTTHATÓK ÖSSZEVONÁSA
collect
Szintaxis: collect(a, x [, form] [, func]): azegyütthatók összevonását végzi;A form paraméter „recursive” (default), vagy„distributed” lehet;A func opció többnyire egyszerusítés, vagy faktorizáció;Alkalmazható általánosított rac. kifejezésre;LargeExpressions csomag: Veil Unveil összetettkifejezés elrejtésére
MAPLE megvalósítások 80 of 113
![Page 81: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/81.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYÜTTHATÓK ÖSSZEVONÁSA
collectSzintaxis: collect(a, x [, form] [, func]): azegyütthatók összevonását végzi;
A form paraméter „recursive” (default), vagy„distributed” lehet;A func opció többnyire egyszerusítés, vagy faktorizáció;Alkalmazható általánosított rac. kifejezésre;LargeExpressions csomag: Veil Unveil összetettkifejezés elrejtésére
MAPLE megvalósítások 81 of 113
![Page 82: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/82.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYÜTTHATÓK ÖSSZEVONÁSA
collectSzintaxis: collect(a, x [, form] [, func]): azegyütthatók összevonását végzi;A form paraméter „recursive” (default), vagy„distributed” lehet;
A func opció többnyire egyszerusítés, vagy faktorizáció;Alkalmazható általánosított rac. kifejezésre;LargeExpressions csomag: Veil Unveil összetettkifejezés elrejtésére
MAPLE megvalósítások 82 of 113
![Page 83: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/83.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYÜTTHATÓK ÖSSZEVONÁSA
collectSzintaxis: collect(a, x [, form] [, func]): azegyütthatók összevonását végzi;A form paraméter „recursive” (default), vagy„distributed” lehet;A func opció többnyire egyszerusítés, vagy faktorizáció;
Alkalmazható általánosított rac. kifejezésre;LargeExpressions csomag: Veil Unveil összetettkifejezés elrejtésére
MAPLE megvalósítások 83 of 113
![Page 84: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/84.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYÜTTHATÓK ÖSSZEVONÁSA
collectSzintaxis: collect(a, x [, form] [, func]): azegyütthatók összevonását végzi;A form paraméter „recursive” (default), vagy„distributed” lehet;A func opció többnyire egyszerusítés, vagy faktorizáció;Alkalmazható általánosított rac. kifejezésre;
LargeExpressions csomag: Veil Unveil összetettkifejezés elrejtésére
MAPLE megvalósítások 84 of 113
![Page 85: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/85.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYÜTTHATÓK ÖSSZEVONÁSA
collectSzintaxis: collect(a, x [, form] [, func]): azegyütthatók összevonását végzi;A form paraméter „recursive” (default), vagy„distributed” lehet;A func opció többnyire egyszerusítés, vagy faktorizáció;Alkalmazható általánosított rac. kifejezésre;LargeExpressions csomag: Veil Unveil összetettkifejezés elrejtésére
MAPLE megvalósítások 85 of 113
![Page 86: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/86.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RENDEZÉS
sort
Szintaxis: sort(A, [V] [, opt1, opt2, ... ]);„A” a polinom, „V” a változókAz opciók: a rendezés módja
Lehet a polinom fokszám-kezelési módjaLehet „ascending”, „descending”
Listákra is alkalmazható
MAPLE megvalósítások 86 of 113
![Page 87: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/87.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RENDEZÉS
sortSzintaxis: sort(A, [V] [, opt1, opt2, ... ]);
„A” a polinom, „V” a változókAz opciók: a rendezés módja
Lehet a polinom fokszám-kezelési módjaLehet „ascending”, „descending”
Listákra is alkalmazható
MAPLE megvalósítások 87 of 113
![Page 88: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/88.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RENDEZÉS
sortSzintaxis: sort(A, [V] [, opt1, opt2, ... ]);„A” a polinom, „V” a változók
Az opciók: a rendezés módja
Lehet a polinom fokszám-kezelési módjaLehet „ascending”, „descending”
Listákra is alkalmazható
MAPLE megvalósítások 88 of 113
![Page 89: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/89.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RENDEZÉS
sortSzintaxis: sort(A, [V] [, opt1, opt2, ... ]);„A” a polinom, „V” a változókAz opciók: a rendezés módja
Lehet a polinom fokszám-kezelési módjaLehet „ascending”, „descending”
Listákra is alkalmazható
MAPLE megvalósítások 89 of 113
![Page 90: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/90.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RENDEZÉS
sortSzintaxis: sort(A, [V] [, opt1, opt2, ... ]);„A” a polinom, „V” a változókAz opciók: a rendezés módja
Lehet a polinom fokszám-kezelési módja
Lehet „ascending”, „descending”
Listákra is alkalmazható
MAPLE megvalósítások 90 of 113
![Page 91: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/91.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RENDEZÉS
sortSzintaxis: sort(A, [V] [, opt1, opt2, ... ]);„A” a polinom, „V” a változókAz opciók: a rendezés módja
Lehet a polinom fokszám-kezelési módjaLehet „ascending”, „descending”
Listákra is alkalmazható
MAPLE megvalósítások 91 of 113
![Page 92: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/92.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
RENDEZÉS
sortSzintaxis: sort(A, [V] [, opt1, opt2, ... ]);„A” a polinom, „V” a változókAz opciók: a rendezés módja
Lehet a polinom fokszám-kezelési módjaLehet „ascending”, „descending”
Listákra is alkalmazható
MAPLE megvalósítások 92 of 113
![Page 93: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/93.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
.expand
Szintaxis: .expand([side=None]);Használható relációs-kifejezésekre, ekkor van értelme a„side” paraméternek;Használható függvény formában;Léteznek .expand_log(), .expand_trig(),.expand_rational() formák is a megfelelokifejezésekre.
A számstruktúrák fölött automatikus a beszorzás!
SAGE megvalósítások 93 of 113
![Page 94: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/94.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
.expand
Szintaxis: .expand([side=None]);
Használható relációs-kifejezésekre, ekkor van értelme a„side” paraméternek;Használható függvény formában;Léteznek .expand_log(), .expand_trig(),.expand_rational() formák is a megfelelokifejezésekre.
A számstruktúrák fölött automatikus a beszorzás!
SAGE megvalósítások 94 of 113
![Page 95: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/95.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
.expand
Szintaxis: .expand([side=None]);Használható relációs-kifejezésekre, ekkor van értelme a„side” paraméternek;
Használható függvény formában;Léteznek .expand_log(), .expand_trig(),.expand_rational() formák is a megfelelokifejezésekre.
A számstruktúrák fölött automatikus a beszorzás!
SAGE megvalósítások 95 of 113
![Page 96: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/96.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
.expand
Szintaxis: .expand([side=None]);Használható relációs-kifejezésekre, ekkor van értelme a„side” paraméternek;Használható függvény formában;
Léteznek .expand_log(), .expand_trig(),.expand_rational() formák is a megfelelokifejezésekre.
A számstruktúrák fölött automatikus a beszorzás!
SAGE megvalósítások 96 of 113
![Page 97: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/97.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
KIFEJTÉS
.expand
Szintaxis: .expand([side=None]);Használható relációs-kifejezésekre, ekkor van értelme a„side” paraméternek;Használható függvény formában;Léteznek .expand_log(), .expand_trig(),.expand_rational() formák is a megfelelokifejezésekre.
A számstruktúrák fölött automatikus a beszorzás!
SAGE megvalósítások 97 of 113
![Page 98: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/98.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
A .factor() és társai
Szimbolikus gyuru fölött csak egyszeru illetve .factor()illetve egy rögtön listát adó .factor_list() függvénylétezik;Számstruktúrában az alapfügvény mellett lehetoség van agyurubol való kilépés nélkül modulárisan prím szerintfaktorizálni: .factor_mod(3). Ha a faktorizálássaleredménye a zérsupolinom, hibaüzenetet kapunk;Szintén itt muködik a p-adikus felbontás:.factor_padic(p, prec=10).
SAGE megvalósítások 98 of 113
![Page 99: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/99.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
A .factor() és társaiSzimbolikus gyuru fölött csak egyszeru illetve .factor()illetve egy rögtön listát adó .factor_list() függvénylétezik;
Számstruktúrában az alapfügvény mellett lehetoség van agyurubol való kilépés nélkül modulárisan prím szerintfaktorizálni: .factor_mod(3). Ha a faktorizálássaleredménye a zérsupolinom, hibaüzenetet kapunk;Szintén itt muködik a p-adikus felbontás:.factor_padic(p, prec=10).
SAGE megvalósítások 99 of 113
![Page 100: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/100.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
A .factor() és társaiSzimbolikus gyuru fölött csak egyszeru illetve .factor()illetve egy rögtön listát adó .factor_list() függvénylétezik;Számstruktúrában az alapfügvény mellett lehetoség van agyurubol való kilépés nélkül modulárisan prím szerintfaktorizálni: .factor_mod(3). Ha a faktorizálássaleredménye a zérsupolinom, hibaüzenetet kapunk;
Szintén itt muködik a p-adikus felbontás:.factor_padic(p, prec=10).
SAGE megvalósítások 100 of 113
![Page 101: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/101.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
SZORZATTÁ ALAKÍTÁS
A .factor() és társaiSzimbolikus gyuru fölött csak egyszeru illetve .factor()illetve egy rögtön listát adó .factor_list() függvénylétezik;Számstruktúrában az alapfügvény mellett lehetoség van agyurubol való kilépés nélkül modulárisan prím szerintfaktorizálni: .factor_mod(3). Ha a faktorizálássaleredménye a zérsupolinom, hibaüzenetet kapunk;Szintén itt muködik a p-adikus felbontás:.factor_padic(p, prec=10).
SAGE megvalósítások 101 of 113
![Page 102: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/102.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
simplify
A különbözo feladatokra A MAPLE -tol eltéroen különbözofüggvények szolgálnak:
Polinomiális kifejezésekre: .simplify();Trigonometrikus, logaritmikus, exponenciális kifejezések:.simplify_trig(), .simplify_log(),.simplify_exp(), ;Törtkifejezésekre, gyökös kifejezése:.simplify_rational(), .simplify_radical();Kombinatorikus kifejezések: .simplify_factorial();A .simplify_full() függvény sorrendben a„factorial”, „trig”, „rational” és „radical” futtatása.
SAGE megvalósítások 102 of 113
![Page 103: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/103.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
simplify
A különbözo feladatokra A MAPLE -tol eltéroen különbözofüggvények szolgálnak:
Polinomiális kifejezésekre: .simplify();
Trigonometrikus, logaritmikus, exponenciális kifejezések:.simplify_trig(), .simplify_log(),.simplify_exp(), ;Törtkifejezésekre, gyökös kifejezése:.simplify_rational(), .simplify_radical();Kombinatorikus kifejezések: .simplify_factorial();A .simplify_full() függvény sorrendben a„factorial”, „trig”, „rational” és „radical” futtatása.
SAGE megvalósítások 103 of 113
![Page 104: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/104.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
simplify
A különbözo feladatokra A MAPLE -tol eltéroen különbözofüggvények szolgálnak:
Polinomiális kifejezésekre: .simplify();Trigonometrikus, logaritmikus, exponenciális kifejezések:.simplify_trig(), .simplify_log(),.simplify_exp(), ;
Törtkifejezésekre, gyökös kifejezése:.simplify_rational(), .simplify_radical();Kombinatorikus kifejezések: .simplify_factorial();A .simplify_full() függvény sorrendben a„factorial”, „trig”, „rational” és „radical” futtatása.
SAGE megvalósítások 104 of 113
![Page 105: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/105.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
simplify
A különbözo feladatokra A MAPLE -tol eltéroen különbözofüggvények szolgálnak:
Polinomiális kifejezésekre: .simplify();Trigonometrikus, logaritmikus, exponenciális kifejezések:.simplify_trig(), .simplify_log(),.simplify_exp(), ;Törtkifejezésekre, gyökös kifejezése:.simplify_rational(), .simplify_radical();
Kombinatorikus kifejezések: .simplify_factorial();A .simplify_full() függvény sorrendben a„factorial”, „trig”, „rational” és „radical” futtatása.
SAGE megvalósítások 105 of 113
![Page 106: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/106.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
simplify
A különbözo feladatokra A MAPLE -tol eltéroen különbözofüggvények szolgálnak:
Polinomiális kifejezésekre: .simplify();Trigonometrikus, logaritmikus, exponenciális kifejezések:.simplify_trig(), .simplify_log(),.simplify_exp(), ;Törtkifejezésekre, gyökös kifejezése:.simplify_rational(), .simplify_radical();Kombinatorikus kifejezések: .simplify_factorial();
A .simplify_full() függvény sorrendben a„factorial”, „trig”, „rational” és „radical” futtatása.
SAGE megvalósítások 106 of 113
![Page 107: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/107.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYSZERUSÍTÉS
simplify
A különbözo feladatokra A MAPLE -tol eltéroen különbözofüggvények szolgálnak:
Polinomiális kifejezésekre: .simplify();Trigonometrikus, logaritmikus, exponenciális kifejezések:.simplify_trig(), .simplify_log(),.simplify_exp(), ;Törtkifejezésekre, gyökös kifejezése:.simplify_rational(), .simplify_radical();Kombinatorikus kifejezések: .simplify_factorial();A .simplify_full() függvény sorrendben a„factorial”, „trig”, „rational” és „radical” futtatása.
SAGE megvalósítások 107 of 113
![Page 108: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/108.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
A Sage-ben igazi normalizáció nincs. A .simplify()függvény részleges megoldást nyújt.
A method paraméter használata
„simple” két kiszorzott polinom hányadosaként állítja elo;„full” (default) ha szükséges, az elozo többszörialkalmazása;„noexpand” csak közös nevezore hoz.
A „map” (default=false) paraméter a „true” értéknélrészkifejezéseken végzi az egyszerusítéstA .collect_common_factors()-al kikényszerítheto alehetséges egyszerusítés
SAGE megvalósítások 108 of 113
![Page 109: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/109.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
A Sage-ben igazi normalizáció nincs. A .simplify()függvény részleges megoldást nyújt.
A method paraméter használata„simple” két kiszorzott polinom hányadosaként állítja elo;
„full” (default) ha szükséges, az elozo többszörialkalmazása;„noexpand” csak közös nevezore hoz.
A „map” (default=false) paraméter a „true” értéknélrészkifejezéseken végzi az egyszerusítéstA .collect_common_factors()-al kikényszerítheto alehetséges egyszerusítés
SAGE megvalósítások 109 of 113
![Page 110: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/110.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
A Sage-ben igazi normalizáció nincs. A .simplify()függvény részleges megoldást nyújt.
A method paraméter használata„simple” két kiszorzott polinom hányadosaként állítja elo;„full” (default) ha szükséges, az elozo többszörialkalmazása;
„noexpand” csak közös nevezore hoz.
A „map” (default=false) paraméter a „true” értéknélrészkifejezéseken végzi az egyszerusítéstA .collect_common_factors()-al kikényszerítheto alehetséges egyszerusítés
SAGE megvalósítások 110 of 113
![Page 111: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/111.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
A Sage-ben igazi normalizáció nincs. A .simplify()függvény részleges megoldást nyújt.
A method paraméter használata„simple” két kiszorzott polinom hányadosaként állítja elo;„full” (default) ha szükséges, az elozo többszörialkalmazása;„noexpand” csak közös nevezore hoz.
A „map” (default=false) paraméter a „true” értéknélrészkifejezéseken végzi az egyszerusítéstA .collect_common_factors()-al kikényszerítheto alehetséges egyszerusítés
SAGE megvalósítások 111 of 113
![Page 112: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/112.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
A Sage-ben igazi normalizáció nincs. A .simplify()függvény részleges megoldást nyújt.
A method paraméter használata„simple” két kiszorzott polinom hányadosaként állítja elo;„full” (default) ha szükséges, az elozo többszörialkalmazása;„noexpand” csak közös nevezore hoz.
A „map” (default=false) paraméter a „true” értéknélrészkifejezéseken végzi az egyszerusítést
A .collect_common_factors()-al kikényszerítheto alehetséges egyszerusítés
SAGE megvalósítások 112 of 113
![Page 113: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/113.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
NORMALIZÁCIÓ
A Sage-ben igazi normalizáció nincs. A .simplify()függvény részleges megoldást nyújt.
A method paraméter használata„simple” két kiszorzott polinom hányadosaként állítja elo;„full” (default) ha szükséges, az elozo többszörialkalmazása;„noexpand” csak közös nevezore hoz.
A „map” (default=false) paraméter a „true” értéknélrészkifejezéseken végzi az egyszerusítéstA .collect_common_factors()-al kikényszerítheto alehetséges egyszerusítés
SAGE megvalósítások 113 of 113
![Page 114: Komputeralgebra Rendszerek - Eötvös Loránd …compalg.inf.elte.hu/~czirbusz/teaching/kompalgr/2013...(x+ y)1000 y1000 vs. x1000 y1000 Zéró-ekvivalencia Egyszerubb˝ kérdés,](https://reader033.vdocuments.net/reader033/viewer/2022041709/5e473556fb1d04557070a04c/html5/thumbnails/114.jpg)
TARTALOMJEGYZÉK Az absztrakció szintjei Normál- és kanonikus forma Polinomok normálformája MAPLE megvalósítások SAGE megvalósítások
EGYÜTTHATÓK ÖSSZEVONÁSA
A SAGE -ban a beszorzás utáni együttható összevonásszámstruktúra fölött automatikus. (A gyurubelifokszám-rendezettségnek megfeleloen).Szimbolikus gyuruben:.collect(sym) a megfelelo rekurzív formába alakít
SAGE megvalósítások 114 of 113