matrice_io.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include "linear_assert.h"
#include "boolean.h"
#include "arithmetique.h"
#include "matrice.h"

Include dependency graph for matrice_io.c:

Go to the source code of this file.

Functions
static void	pr_quot (FILE *f, Value a, Value b __attribute__((unused)))
	package matrice More...
void	matrice_fprint (FILE *f, matrice a, int n, int m)
	void matrice_fprint(File * f, matrice a,n,m): print an (nxm) rational matrix More...
void	matrice_print (matrice a, int n, int m)
	void matrice_print(matrice a, int n, int m): print an (nxm) rational matrix More...
void	matrice_fscan (FILE *f, matrice *a, int *n, int *m)
	void matrice_fscan(FILE * f, matrice * a, int * n, int * m): read an (nxm) rational matrix in an ASCII file accessible via file descriptor f; a is allocated as a function of its number of columns and rows, n and m. More...

Function Documentation

matrice_fprint()

void matrice_fprint	(	FILE *	f,
		matrice	a,
		int	n,
		int	m
	)

void matrice_fprint(File * f, matrice a,n,m): print an (nxm) rational matrix

matrice_io.c

Note: the output format is incompatible with matrice_fscan() row size

Parameters

m	Note: the output format is incompatible with matrice_fscan() column size

Definition at line 62 of file matrice_io.c.

{
    int loop1,loop2;
 
    assert(value_notzero_p(DENOMINATOR(a)));
 
    (void) fprintf(f,"\n\n");
 
    for(loop1=1; loop1<=n; loop1++) {
        for(loop2=1; loop2<=m; loop2++)
            pr_quot(f, ACCESS(a,n,loop1,loop2), DENOMINATOR(a));
        (void) fprintf(f,"\n\n");
    }
    (void) fprintf(f," ......denominator = ");
    fprint_Value(f,DENOMINATOR(a));
    fprintf(f, "\n");
}

References ACCESS, assert, DENOMINATOR, f(), fprint_Value(), fprintf(), loop1, pr_quot(), and value_notzero_p.

Referenced by average_probability_matrix(), hyperplane(), interactive_partitioning_matrix(), local_tile_constraints(), make_tile_constraints(), matrice_print(), parallel_tiling(), partial_broadcast_coefficients(), prototype_dimension(), sc_image_computation(), tile_hyperplane_constraints(), tile_membership(), tile_membership_constraints(), tiling_transformation(), transformer_equality_fix_point(), and unstructured_to_complexity().

Here is the call graph for this function:

Here is the caller graph for this function:

matrice_fscan()

void matrice_fscan	(	FILE *	f,
		matrice *	a,
		int *	n,
		int *	m
	)

void matrice_fscan(FILE * f, matrice * a, int * n, int * m): read an (nxm) rational matrix in an ASCII file accessible via file descriptor f; a is allocated as a function of its number of columns and rows, n and m.

Format:

n m denominator a[1,1] a[1,2] ... a[1,m] a[2,1] ... a[2,m] ... a[n,m]

After the two dimensions and the global denominator, the matrix as usually displayed, line by line. Line feed can be used anywhere. Example for a (2x3) integer matrix: 2 3 1 1 2 3 4 5 6 row size

number of read elements

read dimensions

allocate a

read denominator

necessaires pour eviter les divisions par zero

pour "normaliser" un peu les representations

Parameters

m

Format:

n m denominator a[1,1] a[1,2] ... a[1,m] a[2,1] ... a[2,m] ... a[n,m]

After the two dimensions and the global denominator, the matrix as usually displayed, line by line. Line feed can be used anywhere. Example for a (2x3) integer matrix: 2 3 1 1 2 3 4 5 6 column size

Definition at line 115 of file matrice_io.c.

{
    int r;
    int c;
 
    /* number of read elements */
    int n_read;
 
    /* read dimensions */
    n_read = fscanf(f,"%d%d", n, m);
    assert(n_read==2);
    assert(1 <= *n && 1 <= *m);
 
    /* allocate a */
    *a = matrice_new(*n,*m); 
 
    /* read denominator */
    n_read = fscan_Value(f,&(DENOMINATOR(*a)));
    assert(n_read == 1);
    /* necessaires pour eviter les divisions par zero */
    assert(value_notzero_p(DENOMINATOR(*a)));
    /* pour "normaliser" un peu les representations */
    assert(value_pos_p(DENOMINATOR(*a)));
 
    for(r = 1; r <= *n; r++) 
        for(c = 1; c <= *m; c++) {
            n_read = fscan_Value(f,&ACCESS(*a,*n,r,c));
            assert(n_read == 1);
        }
}

References ACCESS, assert, DENOMINATOR, f(), fscan_Value(), matrice_new, value_notzero_p, and value_pos_p.

Referenced by unimodular().

Here is the call graph for this function:

Here is the caller graph for this function:

matrice_print()

void matrice_print	(	matrice	a,
		int	n,
		int	m
	)

void matrice_print(matrice a, int n, int m): print an (nxm) rational matrix

Note: the output format is incompatible with matrice_fscan() this should be implemented as a macro, but it's a function for dbx's sake row size

Parameters

m	Note: the output format is incompatible with matrice_fscan() this should be implemented as a macro, but it's a function for dbx's sake column size

Definition at line 90 of file matrice_io.c.

{
    matrice_fprint(stdout,a,n,m);
}

References matrice_fprint().

Referenced by matrice_smith().

Here is the call graph for this function:

Here is the caller graph for this function:

pr_quot()

static void pr_quot ( FILE *  f, Value  a, Value b   __attribute__(unused)  )

static

package matrice

void pr_quot(FILE * f, int a, int b): print quotient a/b in a sensible way, i.e. add a space in front of positive number to compensate for the minus sign of negative number

FI: a quoi sert le parametre b? A quoi sert la variable d? =>ARGSUSED

Definition at line 47 of file matrice_io.c.

{
    if (value_pos_p(a))
        fprintf(f, " ");
    fprintf(f, " ");
    fprint_Value(f, a);
    fprintf(f, " ");
}

References f(), fprint_Value(), fprintf(), and value_pos_p.

Referenced by matrice_fprint().

Here is the call graph for this function:

Here is the caller graph for this function: