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

/* @see pobyso.h#pobyso_is_constant_expression*/

int

pobyso_is_constant_expression(sollya_obj_t obj_to_test)

{

  mpfr_t dummy;

  int test;

  sollya_obj_t verbosity_level      = NULL;

  /* Test argument. */

  if (obj_to_test == NULL)

  {

    pobyso_error_message("pobyso_parse_string",

                        "NULL_POINTER_ARGUMENT",

                        "The expression is a NULL pointer");

    return 0;

  }

  verbosity_level = pobyso_set_verbosity_off();

  if (! sollya_lib_obj_is_function(obj_to_test))

  {

    pobyso_set_verbosity_to(verbosity_level);

    sollya_lib_clear_obj(verbosity_level);

    return 0;

  }

  mpfr_init2(dummy,64);

  /* Call to previous Sollya function resets verbosity. */

  verbosity_level = pobyso_set_verbosity_off();

  test = sollya_lib_get_constant(dummy, obj_to_test);

  mpfr_clear(dummy);

  pobyso_set_verbosity_to(verbosity_level);

  sollya_lib_clear_obj(verbosity_level);

  return test;

} /* End pobyso_is_constant_expression. */

/** @see pobyso.h#pobyso_new_monomial. */

pobyso_func_exp_t

pobyso_new_monomial(pobyso_func_exp_t coefficientSa, long degree)

{

  sollya_obj_t degreeSa   = NULL;

  sollya_obj_t varToPowSa = NULL;

  sollya_obj_t monomialSa = NULL;

  if (coefficientSa == NULL)

  {

    pobyso_error_message("pobyso_parse_string",

                        "NULL_POINTER_ARGUMENT",

                        "The expression is a NULL pointer");

    return sollya_lib_error();

  }

  if (! pobyso_is_constant_expression(coefficientSa))

  {

    return sollya_lib_error();

  }

  if (degree < 0)

  {

    return sollya_lib_error();

  }

  degreeSa    = sollya_lib_constant_from_int64(degree);

  varToPowSa  = sollya_lib_build_function_pow(sollya_lib_free_variable(),

                                              degreeSa);

  monomialSa = sollya_lib_mul(coefficientSa,varToPowSa);

  sollya_lib_clear_obj(varToPowSa);

  return monomialSa;

} /* End pobyso_new_monomial. */