### 1.25.9 Επιλογή του αλγορίθμου για την εύρεση του ΜΚΔ (GCD) δύο πολυωνύμων : ezgcd heugcd modgcd psrgcd

ezgcd heugcd modgcd psrgcd δηλώνει τον μέγιστο κοινό διαιρέτη (gcd) δύο μονομεταβλητών ή πολυμεταβλητών πολυωνύμων με συντελεστές στο ℤ ή ℤ[i] χρησιμοποιώντας έναν συγκεκριμένο αλγόριθμο :

- ezgcd ezgcd algorithm,
- heugcd heuristic gcd algorithm,
- modgcd modular algorithm,
- psrgcd sub-resultant algorithm.

Είσοδος :

ezgcd(x`^`2-2*x*y+y`^`2-1,x-y)

ή

heugcd(x`^`2-2*x*y+y`^`2-1,x-y)

ή

modgcd(x`^`2-2*x*y+y`^`2-1,x-y)

ή

psrgcd(x`^`2-2*x*y+y`^`2-1,x-y)

Έξοδος :

1

Είσοδος :

ezgcd((x+y-1)*(x+y+1),(x+y+1)`^`2)

ή

heugcd((x+y-1)*(x+y+1),(x+y+1)`^`2)

ή

modgcd((x+y-1)*(x+y+1),(x+y+1)`^`2)

Έξοδος :

x+y+1

Είσοδος :

psrgcd((x+y-1)*(x+y+1),(x+y+1)`^`2)

Έξοδος :

-x-y-1

Είσοδος :

ezgcd((x+1)`^`4-y`^`4,(x+1-y)`^`2)

Έξοδος :

"GCD not successfull Error: Bad Argument Value"

Αλλά είσοδος :

heugcd((x+1)`^`4-y`^`4,(x+1-y)`^`2)

ή

modgcd((x+1)`^`4-y`^`4,(x+1-y)`^`2)

ή

psrgcd((x+1)`^`4-y`^`4,(x+1-y)`^`2)

Έξοδος :

x-y+1