pnome-error.c File Reference

#include <stdio.h>
#include <stdarg.h>
#include <stdlib.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "polynome.h"

Include dependency graph for pnome-error.c:

Go to the source code of this file.

Functions
void	polynome_error (const char *name, char *fmt,...)
	INTLIBRARY. More...
void	good_polynome_assert (char *function,...)
	void good_polynome_assert(va_alist) Check if the second argument is a valid polynomial. More...
bool	monome_check (Pmonome pm)
	bool monome_check(Pmonome pm) Return true if all's right. More...
bool	polynome_check (Ppolynome pp)
	bool polynome_check(Ppolynome pp) Return true if all's right. More...
bool	is_polynome_a_monome (Ppolynome pp)
	bool is_polynome_a_monome(Ppolynome pp) Return true if the pp is just a monome. More...

Function Documentation

good_polynome_assert()

void good_polynome_assert	(	char *	function,
			...
	)

void good_polynome_assert(va_alist) Check if the second argument is a valid polynomial.

If not, print first argument ((char *) function name) and abort.

Parameters

function

unction

Definition at line 84 of file pnome-error.c.

{
    va_list args;
    Ppolynome pp;
 
    va_start(args, function);
    pp = va_arg(args, Ppolynome);
 
    if (polynome_check(pp)) return;
 
    fprintf(stderr, "Bad internal polynomial representation in %s\n", function);
    va_end(args);
    abort();
}

References abort, fprintf(), and polynome_check().

Referenced by polynome_monome_add(), and polynome_monome_addition().

Here is the call graph for this function:

Here is the caller graph for this function:

is_polynome_a_monome()

bool is_polynome_a_monome

(

Ppolynome

pp

)

bool is_polynome_a_monome(Ppolynome pp) Return true if the pp is just a monome.

that means the polynom has only one term Check each monomial, make sure there's no nul or undefined monomial, then check unicity of each monomial.

LZ 06 Nov. 92

Parameters

pp

p

Definition at line 162 of file pnome-error.c.

{
    if ( ! polynome_check(pp) )
        return (false);
    else if ( pp != POLYNOME_NUL && polynome_succ(pp) == POLYNOME_NUL )
        return (true);
    else
        return (false);
}

References polynome_check(), POLYNOME_NUL, and polynome_succ.

Referenced by polynome_power_n().

Here is the call graph for this function:

Here is the caller graph for this function:

monome_check()

bool monome_check

(

Pmonome

pm

)

bool monome_check(Pmonome pm) Return true if all's right.

Looks if pm is MONOME_UNDEFINED; if not: make sure that the coeff is non nul, that the term is non nul, and checks the (Pvecteur) term. All this also checks that pm is pointing to a valid address.

Modification:

• MONOME_NUL means 0 monome, and it's a good monome. LZ 10/10/91

Parameters

pm

m

Definition at line 110 of file pnome-error.c.

{
    if ( MONOME_UNDEFINED_P(pm) )
        return (false); 
    else if (MONOME_NUL_P(pm) )
        return (true);
    else 
        return ((monome_coeff(pm) != 0) && 
                !VECTEUR_NUL_P(monome_term(pm)) &&
                vect_check(monome_term(pm)));
}

References monome_coeff, MONOME_NUL_P, monome_term, MONOME_UNDEFINED_P, vect_check(), and VECTEUR_NUL_P.

Referenced by polynome_check().

Here is the call graph for this function:

Here is the caller graph for this function:

polynome_check()

bool polynome_check

(

Ppolynome

pp

)

bool polynome_check(Ppolynome pp) Return true if all's right.

Check each monomial, make sure there's no nul or undefined monomial, then check unicity of each monomial.

Modification:

• POLYNOME_NUL means 0 polynome, and it's a good one. LZ 10/10/91

Parameters

pp

p

Definition at line 131 of file pnome-error.c.

{
    if ( POLYNOME_UNDEFINED_P(pp) )
        return (false);
    if ( POLYNOME_NUL_P(pp) )
        return (true);
    else {
        Ppolynome curpp, curpp2;
 
        for (curpp = pp; curpp != POLYNOME_NUL; curpp = polynome_succ(curpp)) {
            if ( !monome_check(polynome_monome(curpp)) ) {
                return (false);
            }
            for (curpp2 = polynome_succ(curpp); curpp2 != POLYNOME_NUL;
                 curpp2 = polynome_succ(curpp2))
                if (monome_colin(polynome_monome(curpp),polynome_monome(curpp2))) 
                    return (false);
        }
        return (true);
    }
}

References monome_check(), monome_colin(), polynome_monome, POLYNOME_NUL, POLYNOME_NUL_P, polynome_succ, and POLYNOME_UNDEFINED_P.

Referenced by complexity_check(), good_polynome_assert(), and is_polynome_a_monome().

Here is the call graph for this function:

Here is the caller graph for this function:

polynome_error()

void polynome_error	(	const char *	name,
		char *	fmt,
			...
	)

INTLIBRARY.

pnome-error.c

void polynome_error(va_dcl va_list): should be called to terminate execution and to core dump when data structures are corrupted or when an undefined operation is requested (zero divide for instance). polynome_error should be called as:

polynome_error(function_name, format, expression-list)

where function_name is a string containing the name of the function calling POLYNOME_ERROR, and where format and expression-list are passed as arguments to vprintf. POLYNOME_ERROR terminates execution with abort. Ex: polynome_error("polynome_power_n", "negative power: %d\n", p); ARARGS0

print name of function causing error

print out remainder of message

create a core file for debug

Parameters

name	ame
fmt	mt

Definition at line 62 of file pnome-error.c.

{
    va_list args;
 
    va_start(args, fmt);
 
    /* print name of function causing error */
    (void) fprintf(stderr, "\npolynome error in %s: ", name);
 
    /* print out remainder of message */
    (void) vfprintf(stderr, fmt, args);
    va_end(args);
 
    /* create a core file for debug */
    (void) abort();
}

References abort, and fprintf().

Referenced by Bernouilli(), factorielle(), monome_monome_div(), polynome_equal(), polynome_power_n(), polynome_roots(), polynome_sum_of_power(), and polynome_used_var().

Here is the call graph for this function:

Here is the caller graph for this function: