Name:

bezout Computes the gcd as well as the co-factors (Bezout coefficients)

Library name:

sollya_obj_t sollya_lib_bezout(sollya_obj_t, sollya_obj_t)

Usage:

bezout(p, q) : (function, function) -> structure

Parameters:

Description:

Example 1:

   > bezout(1001, 231);
   { .b = -4, .a = 1, .r = 0, .g = 77 }
   > bezout(13, 17);
   { .b = -3, .a = 4, .r = 0, .g = 1 }
   > bezout(-210, 462);
   { .b = 1, .a = 2, .r = 0, .g = 42 }

Example 2:

   > rationalmode = on!;
   > bezout(6/7, 33/13);
   { .b = -1, .a = 3, .r = 0, .g = 3 / 91 }

Example 3:

   > bezout(exp(13),sin(17));
   { .b = 0, .a = 1, .r = -0.96139749187955685726163694486915609849206725405894, .g = 4.4241339200892050332610277594908828178439130606059e5 }

Example 4:

   > bezout(24 + 68 * x + 74 * x^2 + 39 * x^3 + 10 * x^4 + x^5, 480 + 776 * x + 476 * x^2 + 138 * x^3 + 19 * x^4 + x^5);
   { .b = 9.1666666666666666666666666666666666666666666666665e-2 + x * (0.125 + x * 5e-2), .a = -1.6666666666666666666666666666666666666666666666667 + x * (-0.575 + x * (-5e-2)), .r = 0, .g = 4 + x * (4 + x) }
   > bezout(1001 * x^2, 231 * x);
   { .b = 0.33333333333333333333333333333333333333333333333333, .a = 0, .r = 0, .g = x * 77 }

Example 5:

   > bezout(exp(x), x^2);
   { .b = 0, .a = 1, .r = x^2, .g = exp(x) }
See also: gcd, div, mod, numberroots
Go back to the list of commands