|
|
last edited 8 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