Go to the next section.

Version 1.0

This manual is part of the SUIF compiler documentation set.

Copyright (C) 1994 Stanford University. All rights reserved.

Permission is given to use, copy, and modify this documentation for any non-commercial purpose as long as this copyright notice is not removed. All other uses, including redistribution in whole or in part, are forbidden without prior written permission.

The mathematics library of the SUIF compiler provides common mathematical functions that are used by the SUIF compiler. Currently the math library provides integer matrices and linear inequalities.

- How to Use the SUIF Mathematics Library Instructions on how to compile and link a program that uses the mathematics library.
- Matrix Library: A matrix manipulation class
- Linear Inequality Library: A linear inequality class with a solver
- Linear Algebra: Support for linear algebra functions
- Library of Linear Inequalities with Names
- Library of Linear Inequalities with Symbolic Coefficients
- Function Index: Index of functions, variables and types
- Concept Index: Index of concepts.

*Due to interdependences between the suifmath and dependence class
structures, most of the implementation of the suifmath library was moved
to the dependence library in the current release.*

Go to the next section.