The SUIFMATH Library
A set of routines for the manipulation of matrices and linear inequalities
Stanford Compiler Group
Preface
How to Use the SUIF Mathematics Library
Matrix Library
Matrix Manipulation
Matrix Math
A Single Row
Row Manipulation
Row Math
Linear Inequality Library
Linear Inequality Manipulation
Linear Inequality Math
An Inequality
Constraint Manipulation
Constraint Math
Linear Inequalities with Names
Name Table Entry
Name Table
Named Linear Inequality
Example: An Implementation of include_for()
Example: Loop Tiling
tile.cc
Testing
test.c
test.sfo.c
Linear Inequalities with Symbolic Coefficients
Linear Algebra
Vectors for Linear Algebra
Basic Vector Functions
Vector Math Operations
Vector Utilities
Vector Spaces for Linear Algebra
Basic Vector Space Functions
Vector Space Math Operations
Vector Space Utilities
Matrices for Linear Algebra
Basic Functions
Matrix Math Operations
Linear Algebra Operations
Matrix Utilities
Function, Variable, and Type Index
Concept Index