login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #385 useful function not exported revision 1 of 2

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

Submitted by : (unknown) at: 2007-11-17T22:35:48-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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