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

/** @file test-pobyso-02.c

 * Name & purpose

 *

 * @author

 * @date

 *

 */

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

/* 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 f = NULL;

  pobyso_func_exp_t one = NULL;

  sollya_lib_init();

  pobyso_set_canonical_on();

  f = pobyso_parse_string(argv[1]);

  if (pobyso_is_function(f))

  {

    pobyso_autoprint(f);

    pobyso_set_canonical_on();

    pobyso_autoprint(sollya_lib_canonical(f));

  }

  else

  {

    fprintf(stderr,

        "%s can't be converted into a functional expression.\n",

        argv[1]);

  }

  sollya_lib_clear_obj(f);

  /*  */

  one = pobyso_parse_string("1");

  if (pobyso_is_function(one))

  {

    pobyso_is_constant_expression(one);

    fprintf(stdout, "%s is a function.\n", "1");

  }

  else

  {

    fprintf(stdout,"%s is not a function.\n", "1");

  }

  sollya_lib_clear_obj(one);

  sollya_lib_close();

  return 0;

} /* End main */