86ebe4c5-9c66-4da1-a5ec-1e80a6353daa 38 6 5 auto

&[DATE] &[TIME] - &[FILENAME]

Solving the Diophantine equation

4 x * 5 y * + 7 z * + 3 t * + 16 ≡ isolve maple 312_N1 * - (* - 4_N2 * + 7_N3 * + (-_N1_N2 1_N2 + 2_N1 * + 3_N3 * + 41 mat

t x y z 41 mat 36 Z1 * - 4 Z2 * - 7 Z3 * - Z1 Z2 12 Z1 * + Z2 + 3 Z3 * + 41 mat ≡

Do NOT nest the construct

x y q 12 x * 42 y * + 6 - :

x y q z isolve maple 37 z * + (- 12 z * + 21 mat

z 3 - 3 range : i 1 z rows range SolX i el 37 z * + (- : for SolX 31 line

z 3 - 3 range : i 1 z rows range SolY i el 12 z * + : for SolY 31 line

SolX 1 el 181143 - 10 - 17 - 24 - 71 mat

SolY 1 el 5 - 3 - 1 - 135771 mat

SolX 1 el SolY 1 el q 000000071 mat

x y eq2 36 x * 56 y * + 8 - :

x y eq2 w isolve maple 237 w * + (* - 49 w * + 21 mat

w 3 - 3 range : i 1 w rows range SolX i el 237 w * + (* - : for SolX 31 line

w 3 - 3 range : i 1 w rows range SolY i el 49 w * + : for SolY 31 line

SolX 1 el 362286 - 20 - 34 - 48 - 71 mat

SolY 1 el 23 - 14 - 5 - 413223171 mat

SolX 1 el SolY 1 el eq2 000000071 mat

x y eq3 3 x * 4 y * - 7 - :

3 x * 4 y * - 7 - λ isolve maple 54 λ * + 23 λ * + 21 mat

λ 3 - 3 range : i 1 λ rows range SolX i el 54 λ * + : for SolX 31 line

λ 3 - 3 range : i 1 λ rows range SolY i el 23 λ * + : for SolY 31 line

SolX 1 el 7 - 3 - 159131771 mat

SolY 1 el 7 - 4 - 1 - 2581171 mat

SolX 1 el SolY 1 el eq3 000000071 mat

x y eq1 30 x * 56 y * + 8 - :

x y eq1 ω isolve maple 467 ω * + (* - 1315 ω * + 21 mat

ω 3 - 3 range : i 1 ω rows range SolX i el 467 ω * + (* - : for SolX 31 line

ω 3 - 3 range : i 1 ω rows range SolY i el 1315 ω * + : for SolY 31 line

SolX 1 el 6032424 - 52 - 80 - 108 - 71 mat

SolY 1 el 32 - 17 - 2 - 1328435871 mat

SolX 1 el SolY 1 el eq1 000000071 mat

x y f 3 x 2^* 4 y * - 7 - :

n sol x y f n isolve maple :

n Sol n sol mat2sys :

n Sol 1 el

y 1 - 6 n * 1 - 2 n * + (* + (≡

n Sol 2 el

x 14 n * - (≡

n Sol 3 el

y 56 n * 3 - 2 n * + (* + (≡

n Sol 4 el

x 34 n * - (≡

n 3 - 3 range : i 1 n rows range SolX i el 14 n * - 34 n * - 21 mat : for SolX 31 line

n 3 - 3 range : i 1 n rows range SolY i el 1 - 6 n * - 12 n 2^* + 518 n * - 12 n 2^* + 21 mat : for SolY 31 line

14 n * - 34 n * - 21 mat 1 - 6 n * - 12 n 2^* + 518 n * - 12 n 2^* + 21 mat f 147915031527155115751599162371 mat 131113831455152715991671174371 mat 21 mat

SolX 1 el 139513 - 7 - 11 - 71 mat 1511731 - 5 - 9 - 71 mat 21 mat

SolY 1 el 35334734133532932331771 mat 39537735934132330528771 mat 21 mat

SolX 1 el SolY 1 el f 147915031527155115751599162371 mat 131113831455152715991671174371 mat 21 mat

U 131521 mat 91121 mat 5721 mat 1321 mat 3 - 1 - 21 mat 7 - 5 - 21 mat 11 - 9 - 21 mat 71 mat :

V 12516721 mat 598921 mat 173521 mat 1 - 521 mat 51 - 21 mat 351721 mat 895921 mat 71 mat :

U V f 2391222321 mat 2655253521 mat 2823275121 mat 2895287121 mat 2871289521 mat 2751282321 mat 2535265521 mat 71 mat

n 1 - :

XY 14 n * - 34 n * - 21 mat 1 - 6 n * - 12 n 2^* + 518 n * - 12 n 2^* + 21 mat augment :

XY 51773522 mat

14 n * - 34 n * - 21 mat 1 - 6 n * - 12 n 2^* + 518 n * - 12 n 2^* + 21 mat f 1477521 mat

<= I don't understand this result: Do you ?

f XY 2 1 sys