Patrick Fournier ps-pat

## proof.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                ps-pat
                / proof.md
            
            
              Created
              April 23, 2026 18:08
            
              
                Keyoxide verification
              
          
    openpgp4fpr:AC2D25E7E59D5740936F48A9407DA3D98F93442B

  
## cours-2.R
## Expérimentation avec les vecteurs `raw` ##

v1 <- 1:3
as.raw(v1)
#> [1] 01 02 03

v2 <- c(10, 20, 30)
as.raw(v2)
#> [1] 0a 14 1e

## basic.R
library(Rmpi)

## Crée les workers.
nworkers <- 5
mpi.spawn.Rslaves(nslaves = nworkers)

## Demande à chaque worker de retourner son rang.
mpi.remote.exec(mpi.comm.rank())

## On termine!

## fonctions.R
## Constructeur

point <-  function(v){
    v <- as.numeric(v)

    stopifnot(identical(length(v), 2L))

    structure(v, class = c("point", class(v)))
}

## fonctions.R
## Debug
fact <- function(x) {
    x < 0 && return(x)

    x * fact(x - 1.0)
}

## Profile
cutVector <- function(vec, m) {
    n <- length(vec) / m
	## Expérimentation avec les vecteurs `raw` ##

	v1 <- 1:3
	as.raw(v1)
	#> [1] 01 02 03

	v2 <- c(10, 20, 30)
	as.raw(v2)
	#> [1] 0a 14 1e
	library(Rmpi)

	## Crée les workers.
	nworkers <- 5
	mpi.spawn.Rslaves(nslaves = nworkers)

	## Demande à chaque worker de retourner son rang.
	mpi.remote.exec(mpi.comm.rank())

	## On termine!
	## Constructeur

	point <- function(v){
	v <- as.numeric(v)

	stopifnot(identical(length(v), 2L))

	structure(v, class = c("point", class(v)))
	}
	## Debug
	fact <- function(x) {
	x < 0 && return(x)

	x * fact(x - 1.0)
	}

	## Profile
	cutVector <- function(vec, m) {
	n <- length(vec) / m