240
edits
m (→Parameter checking: Fix indentation) |
(→VERSOFT: Updated dependencies, after p-coded files have been disclosed) |
||
Line 228: | Line 228: | ||
== VERSOFT == | == VERSOFT == | ||
The [http://uivtx.cs.cas.cz/~rohn/matlab/ VERSOFT] software package (by Jiří Rohn) has been released under a free software license (Expat license) and algorithms may be migrated into the interval package. | The [http://uivtx.cs.cas.cz/~rohn/matlab/ VERSOFT] software package (by Jiří Rohn) has been released under a free software license (Expat license) and algorithms may be migrated into the interval package. | ||
{| | {| | ||
Line 248: | Line 246: | ||
|verdet | |verdet | ||
|style="color:red"| trapped | |style="color:red"| trapped | ||
| depends on | | depends on <code>vereig</code> | ||
|- | |- | ||
|verdistsing | |verdistsing | ||
Line 255: | Line 253: | ||
|- | |- | ||
|verfullcolrank | |verfullcolrank | ||
|style="color:red"| | |style="color:red"| trapped | ||
| | | depends on <code>verpinv</code> | ||
|- | |- | ||
|vernorm2 | |vernorm2 | ||
Line 297: | Line 295: | ||
|- | |- | ||
|vereig | |vereig | ||
|style="color:red"| | |style="color:red"| trapped | ||
| | | depends on proprietary <code>verifyeig</code> function from INTLAB, depends on complex interval arithmetic | ||
|- | |- | ||
|<s>vereigback</s> | |<s>vereigback</s> | ||
Line 306: | Line 304: | ||
|verspectrad | |verspectrad | ||
|style="color:red"| trapped | |style="color:red"| trapped | ||
| main part implemented in | | main part implemented in <code>vereig</code> | ||
|- | |- | ||
|colspan="3"|Real (or complex) data only: Matrices: Decompositions | |colspan="3"|Real (or complex) data only: Matrices: Decompositions | ||
Line 320: | Line 318: | ||
|verspectdec | |verspectdec | ||
|style="color:red"| trapped | |style="color:red"| trapped | ||
| main part implemented in | | main part implemented in <code>vereig</code> | ||
|- | |- | ||
|verthinsvd | |verthinsvd | ||
|style="color:red"| | |style="color:red"| trapped | ||
| implemented in | | implemented in <code>vereig</code> | ||
|- | |- | ||
|colspan="3"|Real (or complex) data only: Matrix functions | |colspan="3"|Real (or complex) data only: Matrix functions | ||
Line 330: | Line 328: | ||
|vermatfun | |vermatfun | ||
|style="color:red"| trapped | |style="color:red"| trapped | ||
| main part implemented in | | main part implemented in <code>vereig</code> | ||
|- | |- | ||
|colspan="3"|Real data only: Linear systems (rectangular) | |colspan="3"|Real data only: Linear systems (rectangular) | ||
Line 349: | Line 347: | ||
|- | |- | ||
|verlcpall | |verlcpall | ||
|style="color: | |style="color:green"| free | ||
| depends on <code | | depends on <code>verabsvaleqnall</code> | ||
|- | |- | ||
|<s>verlinprog</s> | |<s>verlinprog</s> | ||
Line 357: | Line 355: | ||
|- | |- | ||
|verlinprogg | |verlinprogg | ||
|style="color:red"| | |style="color:red"| trapped | ||
| | | depends on <code>verfullcolrank</code> | ||
|- | |- | ||
|verquadprog | |verquadprog | ||
Line 368: | Line 366: | ||
|verroots | |verroots | ||
|style="color:red"| trapped | |style="color:red"| trapped | ||
| main part implemented in | | main part implemented in <code>vereig</code> | ||
|- | |- | ||
|colspan="3"|Interval (or real) data: Matrices | |colspan="3"|Interval (or real) data: Matrices | ||
Line 377: | Line 375: | ||
|- | |- | ||
|verinverse | |verinverse | ||
|style="color:red"| | |style="color:red"| free | ||
| depends on <code style="color: | | depends on <code style="color:green">verintervalhull</code>, to be migrated | ||
|- | |- | ||
|<s>verinvnonneg</s> | |<s>verinvnonneg</s> | ||
Line 389: | Line 387: | ||
|verregsing | |verregsing | ||
|style="color:red"| trapped | |style="color:red"| trapped | ||
| dependency <code>verifylss</code> is implemented as <code>mldivide</code>; depends on <code>isspd</code> (by Rump, to be checked) and <code | | dependency <code>verifylss</code> is implemented as <code>mldivide</code>; depends on <code>isspd</code> (by Rump, to be checked) and <code>verintervalhull</code>; see also [http://uivtx.cs.cas.cz/~rohn/publist/singreg.pdf] | ||
|- | |- | ||
|colspan="3"|Interval (or real) data: Matrices: Eigenvalues and singular values | |colspan="3"|Interval (or real) data: Matrices: Eigenvalues and singular values | ||
Line 395: | Line 393: | ||
|vereigsym | |vereigsym | ||
|style="color:red"| trapped | |style="color:red"| trapped | ||
| main part implemented in | | main part implemented in <code>vereig</code>, depends on <code style="color:red">verspectrad</code> | ||
|- | |- | ||
|vereigval | |vereigval | ||
Line 425: | Line 423: | ||
|- | |- | ||
|verenclinthull | |verenclinthull | ||
|style="color:red"| | |style="color:red"| free | ||
| | | to be migrated | ||
|- | |- | ||
|verhullparam | |verhullparam | ||
|style="color:red"| | |style="color:red"| free | ||
| | | depends on <code>verintervalhull</code>, to be migrated | ||
|- | |- | ||
|verhullpatt | |verhullpatt | ||
|style="color:red"| | |style="color:red"| free | ||
| | | depends on <code>verhullparam</code>, to be migrated | ||
|- | |- | ||
|verintervalhull | |verintervalhull | ||
|style="color:red"| | |style="color:red"| free | ||
| | | to be migrated | ||
|- | |- | ||
|colspan="3"|Interval (or real) data: Linear systems (rectangular) | |colspan="3"|Interval (or real) data: Linear systems (rectangular) | ||
Line 464: | Line 462: | ||
|- | |- | ||
| verabsvaleqn | | verabsvaleqn | ||
|style="color: | |style="color:green"| free | ||
| | | to be migrated | ||
|- | |- | ||
| verabsvaleqnall | | verabsvaleqnall | ||
|style="color: | |style="color:green"| free | ||
| depends on <code | | depends on <code>verabsvaleqn</code>, see also [http://uivtx.cs.cas.cz/~rohn/publist/absvaleqnall.pdf], to be migrated | ||
|- | |- | ||
| verbasintnpprob | | verbasintnpprob |
edits