michael@0: /*
michael@0:  * Simple test driver for MPI library
michael@0:  *
michael@0:  * Test 5: Other number theoretic functions
michael@0:  *
michael@0:  * This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: #include <stdio.h>
michael@0: #include <stdlib.h>
michael@0: #include <string.h>
michael@0: #include <ctype.h>
michael@0: #include <limits.h>
michael@0: 
michael@0: #include "mpi.h"
michael@0: 
michael@0: int main(int argc, char *argv[])
michael@0: {
michael@0:   mp_int   a, b, c, x, y;
michael@0: 
michael@0:   if(argc < 3) {
michael@0:     fprintf(stderr, "Usage: %s <a> <b>\n", argv[0]);
michael@0:     return 1;
michael@0:   }
michael@0: 
michael@0:   printf("Test 5: Number theoretic functions\n\n");
michael@0: 
michael@0:   mp_init(&a);
michael@0:   mp_init(&b);
michael@0: 
michael@0:   mp_read_radix(&a, argv[1], 10);
michael@0:   mp_read_radix(&b, argv[2], 10);
michael@0: 
michael@0:   printf("a = "); mp_print(&a, stdout); fputc('\n', stdout);
michael@0:   printf("b = "); mp_print(&b, stdout); fputc('\n', stdout);
michael@0:   
michael@0:   mp_init(&c);
michael@0:   printf("\nc = (a, b)\n");
michael@0: 
michael@0:   mp_gcd(&a, &b, &c);
michael@0:   printf("Euclid: c = "); mp_print(&c, stdout); fputc('\n', stdout);
michael@0: /*
michael@0:   mp_bgcd(&a, &b, &c);
michael@0:   printf("Binary: c = "); mp_print(&c, stdout); fputc('\n', stdout);
michael@0: */
michael@0:   mp_init(&x);
michael@0:   mp_init(&y);
michael@0:   printf("\nc = (a, b) = ax + by\n");
michael@0: 
michael@0:   mp_xgcd(&a, &b, &c, &x, &y);
michael@0:   printf("c = "); mp_print(&c, stdout); fputc('\n', stdout);
michael@0:   printf("x = "); mp_print(&x, stdout); fputc('\n', stdout);
michael@0:   printf("y = "); mp_print(&y, stdout); fputc('\n', stdout);
michael@0: 
michael@0:   printf("\nc = a^-1 (mod b)\n");
michael@0:   if(mp_invmod(&a, &b, &c) == MP_UNDEF) {
michael@0:     printf("a has no inverse mod b\n");
michael@0:   } else {
michael@0:     printf("c = "); mp_print(&c, stdout); fputc('\n', stdout);
michael@0:   }
michael@0: 
michael@0:   mp_clear(&y);
michael@0:   mp_clear(&x);
michael@0:   mp_clear(&c);
michael@0:   mp_clear(&b);
michael@0:   mp_clear(&a);
michael@0: 
michael@0:   return 0;
michael@0: }