latte-files: Format/read/write a matrix in latte's style

In dkahle/latter: Interface to 'LattE' and '4ti2'

Format/read/write a matrix in latte's style

Description

format_latte() formats a matrix in latte's style. write_latte() writes a latte-formatted file to file. read_latte() reads a latte-formatted file from disk.

Usage

format_latte(mat, file)

write_latte(mat, file)

write.latte(mat, file)

read_latte(file, format = c("mat", "Ab"))

read.latte(file, format = c("mat", "Ab"))

Arguments

mat	A matrix
file	A filename
format	"mat" or "Ab"

Value

• format_latte() – A character string of the matrix in latte format.

• write_latte() – An invisible character string of the formatted output.

• read_latte() – An integer matrix.

Examples

(mat <- matrix(sample(9), 3, 3))

format_latte(mat)
cat(format_latte(mat))

(file <- file.path(tempdir(), "foo.hrep"))
write_latte(mat, file)
file.show(file)
read_latte(file)
read_latte(file, "Ab")

attr(mat, "linearity") <- c(1, 3)
attr(mat, "nonnegative") <- 2
mat
format_latte(mat)
cat(format_latte(mat))
write_latte(mat, file)
file.show(file)
read_latte(file)

file.remove(file)

dkahle/latter documentation built on March 22, 2023, 9:05 p.m.