Laboratoire de l'Informatique et du Parallélisme » Pobyso

/** @file test-pobyso-new-monomial.c

 * Name & purpose

 *

 * @author S.T.

 * @date 2014-11-10

 *

 * @details

 */

/******************************************************************************/

/* Headers, applying the "particular to general" convention.*/

#include "pobyso.h"

/* includes of local headers */

/* includes of project headers */

/* includes of system headers */

/* Other declarations */

/* Internal prototypes */

/* Types, constants and macros definitions */

/* Global variables */

/* Functions */

int

main(int argc, char** argv)

{

  pobyso_func_exp_t func_exp  = NULL;

  pobyso_func_exp_t monomial  = NULL;

  int verbosity               = 0;

  long degree                 = 4;

  long negativeDegree         = -1;

  long zeroDegree             = 0;

  sollya_lib_init();

  pobyso_set_canonical_on();

  verbosity = pobyso_get_verbosity();

  /* NULL coefficient. */

  fprintf(stdout, "\nNULL coefficient:\n");

  if (pobyso_new_monomial(NULL, degree) == NULL)

  {

    fprintf(stdout, "OK for NULL coefficient and degree %ld.\n", degree);

  }

  else

  {

    fprintf(stdout, "Error for NULL coefficient and degree %ld.\n", degree);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Integer constant argument "1". */

  fprintf(stdout, "Coefficient \"1\":\n");

  func_exp = pobyso_parse_string("1");

  monomial = pobyso_new_monomial(func_exp, degree);

  if (monomial != NULL)

  {

    pobyso_autoprint(monomial);

    fprintf(stdout, "OK for coefficient \"1\" and degree %ld.\n", degree);

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

  }

  else

  {

    fprintf(stdout, "Error for \"1\" and degree %ld.\n", degree);

    sollya_lib_clear_obj(func_exp);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Double coefficient. */

  fprintf(stdout, "Coefficient \"1.1\":\n");

  pobyso_set_verbosity_off();

  func_exp = pobyso_parse_string("1.1");

  pobyso_set_verbosity_to(verbosity);

  monomial = pobyso_new_monomial(func_exp, degree);

  if (monomial != NULL)

  {

    pobyso_autoprint(monomial);

    fprintf(stdout, "OK.\n");

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

  }

  else

  {

    fprintf(stdout, "Error for \"1.1\" and degree %ld.\n", degree);

    sollya_lib_clear_obj(func_exp);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Rational coefficient. */

  fprintf(stdout, "Coefficient \"1/2\":\n");

  func_exp = pobyso_parse_string("1/2");

  monomial = pobyso_new_monomial(func_exp, degree);

  if (monomial != NULL)

  {

    pobyso_autoprint(monomial);

    fprintf(stdout, "OK for coefficient \"1/2\" and degree %ld.\n", degree);

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

  }

  else

  {

    fprintf(stdout, "Error for coefficient \"1/2\" and degree %ld.\n", degree);

    sollya_lib_clear_obj(func_exp);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Pi constant argument */

  fprintf(stdout, "Coefficient pi:\n");

  pobyso_set_verbosity_off();

  func_exp = sollya_lib_pi();

  pobyso_set_verbosity_to(verbosity);

  monomial = pobyso_new_monomial(func_exp, degree);

  if (monomial != NULL)

  {

    pobyso_set_verbosity_off();

    pobyso_autoprint(monomial);

    pobyso_set_verbosity_to(verbosity);

    fprintf(stdout,"OK for coefficient \"pi\" and degree %ld.\n", degree);

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

  }

  else

  {

    fprintf(stdout, "Error for coefficient \"pi\" and degree %ld.\n", degree);

    sollya_lib_clear_obj(func_exp);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Non constant functional expression x^2. */

  fprintf(stdout,"Coefficient \"x^2\":\n");

  func_exp = pobyso_parse_string("x^2");

  monomial = pobyso_new_monomial(func_exp, degree);

  if (monomial == NULL)

  {

    fprintf(stdout,

       "OK for non-constant expression coefficient \"x^2\" with degree %ld.\n",

       degree);

    sollya_lib_clear_obj(func_exp);

  }

  else

  {

    pobyso_autoprint(monomial);

    fprintf(stdout,

            "Error for non-constant expression \"x^2\" with degree %ld.\n",

            degree);

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Non-constant functional expression cos(x). */

  fprintf(stdout, "Coefficient \"cos(x)\":\n");

  func_exp = pobyso_parse_string("cos(x)");

  monomial = pobyso_new_monomial(func_exp, degree);

  if (monomial == NULL)

  {

    pobyso_autoprint(func_exp);

    fprintf(stdout,

            "OK for non-constant expression \"cos(x)\" with degree %ld.\n",

            degree);

    sollya_lib_clear_obj(func_exp);

  }

  else

  {

    fprintf(stdout,

            "Error for coefficient \"cos(x)\" with degree %ld.\n",

            degree);

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Constant functional expression cos(pi). */

  fprintf(stdout, "Coefficient \"cos(pi)\":\n");

  pobyso_set_verbosity_off();

  func_exp = pobyso_parse_string("cos(pi)");

  pobyso_set_verbosity_to(verbosity);

  monomial = pobyso_new_monomial(func_exp, degree);

  if (monomial != NULL)

  {

    pobyso_set_verbosity_off();

    pobyso_autoprint(monomial);

    pobyso_set_verbosity_to(verbosity);

    fprintf(stdout, "OK for coefficient \"cos(pi)\" and degree %ld.\n", degree);

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

  }

  else

  {

    fprintf(stdout,

            "Error for coefficient \"cos(pi)\" and degree %ld.\n",

            degree);

    sollya_lib_clear_obj(func_exp);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Constant functional expression cos(pi) but with negative degree. */

  fprintf(stdout, "Coefficient \"cos(pi)\" with a negative degree:\n");

  pobyso_set_verbosity_off();

  func_exp = pobyso_parse_string("cos(pi)");

  pobyso_set_verbosity_to(verbosity);

  monomial = pobyso_new_monomial(func_exp, negativeDegree);

  if (monomial == NULL)

  {

    fprintf(stdout, "OK for \"cos(pi)\" and degree %ld.\n", negativeDegree);

    sollya_lib_clear_obj(func_exp);

  }

  else

  {

    pobyso_set_verbosity_off();

    pobyso_autoprint(monomial);

    pobyso_set_verbosity_to(verbosity);

    fprintf(stdout, "Error for \"cos(pi)\" and degree %ld.\n", negativeDegree);

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

    return 1;

  }

  fprintf(stdout, "\n");

  /* Constant functional expression cos(pi) but with degree == 0. */

  fprintf(stdout, "Coefficient \"cos(pi)\" with a degree ==  0:\n");

  pobyso_set_verbosity_off();

  func_exp = pobyso_parse_string("cos(pi)");

  pobyso_set_verbosity_to(verbosity);

  monomial = pobyso_new_monomial(func_exp, zeroDegree);

  if (monomial != NULL)

  {

    pobyso_set_verbosity_off();

    pobyso_autoprint(monomial);

    pobyso_set_verbosity_to(verbosity);

    fprintf(stdout, "OK for \"cos(pi)\" and degree %ld.\n", zeroDegree);

    sollya_lib_clear_obj(func_exp);

    sollya_lib_clear_obj(monomial);

  }

  else

  {

    fprintf(stdout, "Error for \"cos(pi)\" and degree %ld.\n", zeroDegree);

    sollya_lib_clear_obj(func_exp);

    return 1;

  }

  fprintf(stdout, "\n");

  fprintf(stdout, "Check correctly finished.\n");

  fprintf(stdout, "\n");

/*  */

  sollya_lib_close();

  return 0;

} /* End main */