Sponsored links: Algebra eBooks
 

Help Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

The Maxima on-line user's manual

Algebra Calculator

Search:

Gcdex Calculator

Gcdex

Function: gcdex (<f>, <g>)

load(gcdex);
igcdex(23972,31846);

Function: gcdex (<f>, <g>, <x>) Returns a list [<a>, <b>, <u>] where <u> is the greatest common divisor (gcd) of <f> and <g>, and <u> is equal to <a> <f> + <b> <g>. The arguments <f> and <g> should be univariate polynomials, or else polynomials in <x> a supplied main variable since we need to be in a principal ideal domain for this to work. The gcd means the gcd regarding <f> and <g> as univariate polynomials with coefficients being rational functions in the other variables.

gcdex implements the Euclidean algorithm, where we have a sequence of L[i]: [a[i], b[i], r[i]] which are all perpendicular to [f, g, -1] and the next one is built as if q = quotient(r[i]/r[i+1]) then L[i+2]: L[i] - q L[i+1], and it terminates at L[i+1] when the remainder r[i+2] is zero.

          (%i1) gcdex (x^2 + 1, x^3 + 4);
                                 2
                                x  + 4 x - 1  x + 4
          (%o1)/R/           [- ------------, -----, 1]
                                     17        17
          (%i2) % . [x^2 + 1, x^3 + 4, -1];
          (%o2)/R/                        0

Note that the gcd in the following is 1 since we work in k(y)[x], not the y+1 we would expect in k[y, x].

          (%i1) gcdex (x*(y + 1), y^2 - 1, x);
                                         1
          (%o1)/R/                 [0, ------, 1]
                                        2
                                       y  - 1

(%o1)                                true
(%i2) 

Gcdex Example

Related Examples

gcdex-load

load(gcdex);

igcdex(92921627500946...

Calculate

gcdex-load

load(gcdex);

igcdex(31846,10915);

Calculate

gcdex-genmatrix-load-map

load(gcdex);

f[i,j]:=x^i+x^j;

M:genmatrix(f,3,3);

Calculate

gcdex

gcdex(75,38,50000);

Calculate

gcdex

gcdex(75,38,10);

Calculate

gcdex-load

load(gcdex);

igcdex(92921627500946...

Calculate

gcdex-ibase-load-obase

load(gcdex);

ibase : 10;

obase:16;

Calculate

gcdex-ibase-load

load(gcdex);

ibase : 16;

a:800080;

Calculate

gcdex-ibase-load

load(gcdex);

ibase : 16;

a:800080;

Calculate

gcdex

gcdex(3*x^4+9*x^3-3*x...

Calculate