|
|
|
last edited 9 years ago by test1 |
| 1 2 | ||
|
Editor:
Time: 2007/11/17 22:35:48 GMT-8 |
||
| Note: | ||
changed: - 'LinearSystemPolynomialPackage' internally defines a function that converts a list of linear polynomials into a matrix and a vector. Since this functionality is useful also for the end user, it should be exported somehow - but needs to be given a better name. Personally, I will use the function to make it easy to transform inequalities into a form supported by LattE. Martin
LinearSystemPolynomialPackage internally defines a function that converts a list of linear polynomials into a matrix and a vector. Since this functionality is useful also for the end user, it should be exported somehow - but needs to be given a better name.
Personally, I will use the function to make it easy to transform inequalities into a form supported by LattE?.
Martin