|
|
|
last edited 7 years ago by test1 |
Edit detail for #385 useful function not exported revision 2 of 2
| 1 2 | ||
|
Editor: test1
Time: 2017/02/23 18:35:03 GMT+0 |
||
| Note: | ||
added:
From test1 Thu Feb 23 18:35:03 +0000 2017
From: test1
Date: Thu, 23 Feb 2017 18:35:03 +0000
Subject:
Message-ID: <20170223183503+0000@axiom-wiki.newsynthesis.org>
Status: open => fixed somewhere
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
... --test1, Thu, 23 Feb 2017 18:35:03 +0000 reply
Status: open => fixed somewhere